pith. sign in

arxiv: 2606.22271 · v2 · pith:XS3WURPInew · submitted 2026-06-20 · 🧮 math.GR · math.AT· math.GN

Action principality as a Lie-group certificate

Alexandru Chirvasitu This is my paper

Pith reviewed 2026-06-30 11:06 UTC · model grok-4.3

classification 🧮 math.GR math.ATmath.GN
keywords compact groupsLie groupsprincipal actionsGleason theoremTychonoff spacesisotropyfiber bundlesabelianization
0
0 comments X

The pith

Compact groups with metrizable abelianization of the identity component are Lie groups if their free actions on Tychonoff spaces are all principal.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that compact groups satisfying a condition on the abelianization of their identity component must be Lie groups whenever every free action on a Tychonoff space is principal. This serves as a converse to Gleason's theorem, which states that Lie groups have principal free actions. The principality condition means that isotropy groups are conjugate and the quotient is a locally trivial fiber bundle. A variant shows the same for connected compact groups when actions have constant central isotropy. Readers interested in the interface between group topology and Lie theory would find this characterization useful.

Core claim

A compact group whose identity component has metrizable abelianization is a Lie group provided that all its free actions on Tychonoff spaces are principal. This is a converse to Gleason's theorem. A variant confirms the conclusion for Tychonoff or compact Hausdorff actions with constant central isotropy by compact connected groups.

What carries the argument

The principality of free actions, requiring all isotropy groups to be conjugate and the quotient map to be a locally trivial fiber bundle.

Load-bearing premise

The identity component of the compact group has metrizable abelianization.

What would settle it

Finding a compact group that is not a Lie group, has metrizable abelianization of its identity component, yet all its free actions on Tychonoff spaces are principal would falsify the claim.

read the original abstract

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 isotropy by compact connected groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proves that compact groups G whose identity component G_0 has metrizable abelianization are Lie groups whenever every free action of G on a Tychonoff space (equivalently, compact Hausdorff space) is principal; this is presented as a converse to Gleason's theorem. A variant establishes the same conclusion for actions of compact connected groups that have constant central isotropy.

Significance. If the result holds, it supplies a new Lie-group certificate phrased in terms of the principality of all free actions, extending the classical Gleason theorem by means of an explicitly stated metrizable-abelianization hypothesis on G_0. The argument is a pure existence proof that derives the Lie property directly from the given hypotheses without fitted parameters or invented entities.

minor comments (1)
  1. The abstract and introduction should explicitly recall the precise statement of Gleason's theorem being conversed, including the reference, to make the novelty of the metrizable-abelianization hypothesis immediately visible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the clear summary of the main result, and the recommendation to accept.

Circularity Check

0 steps flagged

No circularity: self-contained proof of conditional converse to Gleason

full rationale

The paper states and proves a conditional theorem: compact groups G with metrizable abelianization of G_0 are Lie if all free actions on Tychonoff spaces are principal. The metrizable abelianization hypothesis is explicitly part of the premise rather than derived. No equations, parameters, or self-citations are described that reduce the central claim to a fit, a renaming, or a self-referential definition. The derivation is a standard existence proof in topological group theory and remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no information is available on free parameters, axioms, or invented entities used in the proof.

pith-pipeline@v0.9.1-grok · 5634 in / 1113 out tokens · 38798 ms · 2026-06-30T11:06:40.315632+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages

  1. [1]

    Moduli spaces of 3-manifolds with boundary are finite, 2024.http://arxiv.org/abs/2404.12748v1

    Rachael Boyd, Corey Bregman, and Jan Steinebrunner. Moduli spaces of 3-manifolds with boundary are finite, 2024.http://arxiv.org/abs/2404.12748v1. 4

    work page arXiv 2024

  2. [2]

    The prime decomposition fibre sequence for moduli spaces of reducible 3-manifolds, 2026.http://arxiv.org/abs/2604

    Rachael Boyd, Corey Bregman, and Jan Steinebrunner. The prime decomposition fibre sequence for moduli spaces of reducible 3-manifolds, 2026.http://arxiv.org/abs/2604. 02099v1. 4

    2026

  3. [3]

    Bredon.Introduction to compact transformation groups, volume 46 ofPure Appl

    Glen E. Bredon.Introduction to compact transformation groups, volume 46 ofPure Appl. Math., Academic Press. Academic Press, New York, NY, 1972. 1, 2, 4, 6

    1972

  4. [4]

    Orbit misbehavior, isotropy discontinuity, and large isotypic compo- nents, 2024.http://arxiv.org/abs/2402.08121v2

    Alexandru Chirvasitu. Orbit misbehavior, isotropy discontinuity, and large isotypic compo- nents, 2024.http://arxiv.org/abs/2402.08121v2. 1, 2, 3, 5, 6

    work page arXiv 2024

  5. [5]

    P. E. Conner and E. E. Floyd. Fixed point free involutions and equivariant maps.Bull. Am. Math. Soc., 66:416–441, 1960. 2 8

    1960

  6. [6]

    E. Fadell. The equivariant Ljusternik-Schnirelmann method for invariant functionals and rela- tive cohomological index theories. InTopological methods in nonlinear analysis, volume 95 of Sém. Math. Sup., pages 41–70. Presses Univ. Montréal, Montreal, QC, 1985. 7, 8

    1985

  7. [7]

    Fadell and Paul H

    Edward R. Fadell and Paul H. Rabinowitz. Generalized cohomological index theories for Lie group actions with an application to bifurcation questions for Hamiltonian systems.Invent. Math., 45(2):139–174, 1978. 7, 8

    1978

  8. [8]

    A. M. Gleason. Spaces with a compact Lie group of transformations.Proc. Amer. Math. Soc., 1:35–43, 1950. 1

    1950

  9. [9]

    Guillemin and Shlomo Sternberg.Supersymmetry and equivariant de Rham theory

    Victor W. Guillemin and Shlomo Sternberg.Supersymmetry and equivariant de Rham theory. Mathematics Past and Present. Springer-Verlag, Berlin, 1999. With an appendix containing two reprints by Henri Cartan [MR0042426 (13,107e); MR0042427 (13,107f)]. 8

    1999

  10. [10]

    Hofmann and Sidney A

    Karl H. Hofmann and Sidney A. Morris.The structure of compact groups. A primer for the student. A handbook for the expert, volume 25 ofDe Gruyter Stud. Math.Berlin: De Gruyter, 5th edition edition, 2023. 1, 3, 5, 6, 7, 8

    2023

  11. [11]

    Husemöller, M

    D. Husemöller, M. Joachim, B. Jurčo, and M. Schottenloher.Basic bundle theory andK- cohomology invariants, volume 726 ofLecture Notes in Physics. Springer, Berlin, 2008. With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz. 7, 8

    2008

  12. [12]

    University of Michigan Press, Ann Arbor, 1954

    Irving Kaplansky.Infinite abelian groups. University of Michigan Press, Ann Arbor, 1954. 5

    1954

  13. [13]

    Lectures on topological methods in combi- natorics and geometry

    Jiří Matoušek.Using the Borsuk-Ulam theorem. Lectures on topological methods in combi- natorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler. Universitext. Berlin: Springer, 2nd corrected printing edition, 2008. 2

    2008

  14. [14]

    Munkres.Topology

    James R. Munkres.Topology. Prentice Hall, Inc., Upper Saddle River, NJ, 2000. Second edition of [ MR0464128]. 3, 4

    2000

  15. [15]

    Math.De Gruyter, Berlin, 1987

    Tammo tom Dieck.Transformation groups, volume 8 ofDe Gruyter Stud. Math.De Gruyter, Berlin, 1987. 1, 2, 4, 7, 8

    1987

  16. [16]

    Dover Publications, Inc., Mineola, NY, 2004

    Stephen Willard.General topology. Dover Publications, Inc., Mineola, NY, 2004. Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. 2, 8 Department of Mathematics, University at Buff alo Buff alo, NY 14260-2900, USA E-mail address:achirvas@buffalo.edu 9

    2004