Action principality as a Lie-group certificate
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.22271
curl -X POST /api/v1/records/arxiv/2606.22271/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.22271/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'