{"id":"arxiv/2606.22271","url":"https://arxiv.org/abs/2606.22271","tags":["math.GR","math.AT","math.GN"],"score":0,"title":"Action principality as a Lie-group certificate","domain":"math.GR","source":"arxiv","authors":["Alexandru Chirvasitu"],"reviews":0,"subject":"math.GR","summary":"A continuous action $\\mathbb{G}\\circlearrowright X$ of a topological group is principal if its isotropy groups are all conjugate to $\\mathbb{H}\\le \\mathbb{G}$ and the quotient map $X\\to X/\\mathbb{G}$ is a locally trivial $\\mathbb{G}/\\mathbb{H}$-fiber bundle. We prove that compact groups whose identity component has metrizable abelianization are Lie provided their free actions on Tychonoff (equivalently, compact Hausdorff) spaces are all principal; this is a converse to Gleason's theorem. A variant confirms the conclusion for Tychonoff or compact Hausdorff actions with constant central…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-20","reactions":{}}