pith. sign in

arxiv: 2406.06082 · v2 · submitted 2024-06-10 · 🧮 math.LO · math.DS· math.GN· math.GR

The class and dynamics of α-balanced Polish groups

Shaun Allison , Aristotelis Panagiotopoulos This is my paper

Pith reviewed 2026-05-24 00:10 UTC · model grok-4.3

classification 🧮 math.LO math.DSmath.GNmath.GR
keywords Polish groupsα-balanced groupscoanalytic ranksorbit equivalence relationsgeneric ergodicityCLI groupsTSI groups
0
0 comments X

The pith

α-balanced Polish groups form a coanalytic hierarchy between TSI and CLI groups with level-specific ergodicity obstructions.

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

The paper defines α-balanced Polish groups for each countable ordinal α to create a hierarchy that completely fills the space between Polish groups with two-sided invariant metrics and those with complete left-invariant metrics. It shows that α-balancedness is the initial segment of a regular coanalytic rank on CLI groups and develops connections to model theory along with closure properties. The authors introduce generic α-unbalancedness as a dynamical condition that obstructs classification by actions of lower α groups. They construct, for each α, an action of an α-balanced group whose orbit equivalence relation is strongly generically ergodic against all β-balanced groups for β smaller than α.

Core claim

For each ordinal α less than ω1 the class of α-balanced Polish groups forms an initial segment of a regular coanalytic rank on CLI groups. The authors also introduce generic α-unbalancedness as a new dynamical condition for Polish G-spaces that serves as an obstruction to classification by actions of α-balanced Polish groups, and they use this to provide an action of an α-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against actions of any β-balanced Polish group with β<α.

What carries the argument

α-balanced Polish groups, defined so that they stratify the gap between TSI and CLI groups, together with the dynamical condition of generic α-unbalancedness that obstructs reducibility of orbit equivalence relations.

If this is right

  • The boundedness principle holds for the class of all CLI groups via the regular coanalytic rank.
  • The α-balanced classes satisfy various closure properties under group operations and constructions.
  • Model-theoretic notions connect to the metric properties defining each level of the hierarchy.
  • Strong generic ergodicity separates the classification power of actions at each successive α level.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The hierarchy supplies a scale for measuring how finely Polish group actions can classify equivalence relations.
  • Concrete Polish groups such as homeomorphism groups of compact spaces might be placed at specific α levels by direct verification.
  • Similar ordinal-indexed balance conditions could be defined for other classes of topological groups beyond the Polish case.

Load-bearing premise

The specific definitions of α-balanced Polish groups and of generic α-unbalancedness correctly capture the intended metric and dynamical properties that make the hierarchy and the ergodicity obstructions hold.

What would settle it

A concrete CLI Polish group that fails to be α-balanced for any countable ordinal α, or an orbit equivalence relation arising from an α-balanced action that reduces to one arising from a β-balanced action with β<α, would falsify the central claims.

Figures

Figures reproduced from arXiv: 2406.06082 by Aristotelis Panagiotopoulos, Shaun Allison.

Figure 1
Figure 1. Figure 1: The data needed for defining Rαps, r, i, β, Cq Claim 14.9. For all s, r, i, β, C as above, the set Rαps, r, i, β, Cq is comeager in P. Proof of Claim. Clearly Rαps, r, i, β, Cq is open, so its suffices to show that it intersects any basic open set PpF0, F1q, with pF0, F1q P F; see Lemma 14.5. We may assume without loss of generality that s P Fi , as otherwise we can find some pP0, P1q P PpF0, F1q with s R … view at source ↗
read the original abstract

For each ordinal $\alpha<\omega_1$, we introduce the class of $\alpha$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop a boundedness principle for CLI groups by showing that $\alpha$-balancedness is an initial segment of a regular coanalytic rank. In the spirit of Hjorth's turbulence theory we also introduce "generic $\alpha$-unbalancedness": a new dynamical condition for Polish $G$-spaces which serves as an obstruction to classification by actions of $\alpha$-balanced Polish groups. We use this to provide, for each $\alpha<\omega_1$, an action of an $\alpha$-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against actions of any $\beta$-balanced Polish group with $\beta<\alpha$.

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 / 3 minor

Summary. The paper introduces, for each countable ordinal α, the class of α-balanced Polish groups. These classes form a strict hierarchy between TSI groups and CLI groups. The authors establish closure properties of the classes, connections to model theory, and a boundedness theorem showing that α-balancedness constitutes the initial segments of a regular coanalytic rank on the space of CLI groups. They further define generic α-unbalancedness as a dynamical obstruction to classification by lower-level actions and, for each α, construct an action of an α-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against all β-balanced actions for β < α.

Significance. If the stated results hold, the work provides a fine transfinite stratification of Polish groups together with matching dynamical obstructions in the style of Hjorth turbulence. The boundedness principle for the coanalytic rank and the model-theoretic links are notable strengths that could support further applications in descriptive set theory and ergodic theory.

minor comments (3)
  1. The abstract states the main theorems but does not indicate where the inductive definitions of α-balancedness and generic α-unbalancedness are first introduced; adding explicit section references in the abstract would improve readability.
  2. Notation for the rank function and the precise statement of the boundedness theorem (likely in the section on CLI groups) should be cross-referenced to the earlier definition of α-balancedness to make the initial-segment claim fully transparent.
  3. The construction of the strongly generically ergodic action for each α is central; a brief outline of the inductive step in the construction would help readers verify that the obstruction works uniformly across the hierarchy.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive summary, recognition of the significance of the transfinite stratification and dynamical obstructions, and recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces explicit inductive definitions of the classes of α-balanced Polish groups for each α<ω1, which stratify between TSI and CLI groups, and defines generic α-unbalancedness as a dynamical obstruction. The boundedness theorem (α-balancedness as initial segment of a regular coanalytic rank) and the existence of strongly generically ergodic actions are derived directly from these definitions and standard tools of descriptive set theory. No load-bearing steps reduce to self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work by the same authors; the derivation chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper introduces new definitions of classes and dynamical conditions rather than free parameters, new entities, or non-standard axioms.

axioms (1)
  • standard math ZFC set theory including the existence of countable ordinals and Polish spaces
    Used throughout to define the ordinal-indexed classes and coanalytic ranks.

pith-pipeline@v0.9.0 · 5714 in / 1159 out tokens · 39572 ms · 2026-05-24T00:10:57.071584+00:00 · methodology

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

38 extracted references · 38 canonical work pages

  1. [1]

    S. Allison. Non- A rchimedian TSI polish groups and their potential complexity spectrum. available at https://arxiv.org/abs/2010.05085, 2020

    work page arXiv 2010

  2. [2]

    Allison and A

    S. Allison and A. Panagiotopoulos. Dynamical obstructions to classification by (co)homology and other TSI -group invariants. Trans. Amer. Math. Soc. , 374:8793--8811, 2021

    work page 2021

  3. [3]

    H. Becker. Polish group actions: dichotomies and generalized elementary embeddings. J. Amer. Math. Soc. , 11:397--449, 1998

    work page 1998

  4. [4]

    G. Beer. A polish topology for the closed subsets of a polish space. Proceedings of the American Mathematical Society , 113(4):1123--1133, 1991

    work page 1991

  5. [5]

    Birkhoff

    G. Birkhoff. A note on topological groups. Compositio Math. , 3:427--430, 1936

    work page 1936

  6. [6]

    Becker and A

    H. Becker and A. S. Kechris. The descriptive set theory of P olish group actions , volume 232 of London Mathematical Society Lecture Note Series . Cambridge University Press, 1996

    work page 1996

  7. [7]

    Ben Yaacov, M

    I. Ben Yaacov, M. Doucha, A. Nies, and T. Tsankov. Metric S cott analysis. Adv. Math. , 318:46--87, 2017

    work page 2017

  8. [8]

    J. D. Clemens and S. Coskey. New jump operators on equivalence relations. J. Math. Log. , 22:Paper No. 2250015, 44, 2022

    work page 2022

  9. [9]

    Diels and P

    L. Diels and P. A. Dowerk. Invariant automatic continuity for compact connected simple L ie groups. Topology Appl. , 266:106858, 9, 2019

    work page 2019

  10. [10]

    Deissler

    R. Deissler. Minimal models. J. Symbolic Logic , 42:254--260, 1977

    work page 1977

  11. [11]

    O. Drucker. A boundedness principle for the H jorth rank. Arch. Math. Logic , 61:223--232, 2022

    work page 2022

  12. [12]

    P. A. Dowerk and A. Thom. Bounded normal generation and invariant automatic continuity. Adv. Math. , 346:124--169, 2019

    work page 2019

  13. [13]

    E. G. Effros. Transformation groups and C -algebras. Ann. of Math. (2) , 81:38--55, 1965

    work page 1965

  14. [14]

    S. Gao. On automorphism groups of countable structures. J. Symbolic Logic , 63:891--896, 1998

    work page 1998

  15. [15]

    S. Gao. Invariant descriptive set theory , volume 293 of Pure and Applied Mathematics . CRC Press, 2009

    work page 2009

  16. [16]

    J. Glimm. Locally compact transformation groups. Trans. Amer. Math. Soc. , 101:124--138, 1961

    work page 1961

  17. [17]

    J. Glimm. Type I C -algebras. Ann. of Math. (2) , 73:572--612, 1961

    work page 1961

  18. [18]

    Grosser and M

    S. Grosser and M. Moskowitz. On central topological groups. Trans. Amer. Math. Soc. , 127:317--340, 1967

    work page 1967

  19. [19]

    G. Hjorth. Classification and orbit equivalence relations , volume 75 of Mathematical Surveys and Monographs . American Mathematical Society, 2000

    work page 2000

  20. [20]

    G. Hjorth. The fine structure and borel complexity of orbits. available at https://www.math.ucla.edu/ greg/fineorbits.pdf, 2010

    work page 2010

  21. [21]

    Hjorth and S

    G. Hjorth and S. Solecki. Vaught's conjecture and the G limm- E ffros property for P olish transformation groups. Trans. Amer. Math. Soc. , 351:2623--2641, 1999

    work page 1999

  22. [22]

    K. Iwasawa. Topological groups with invariant compact neighborhoods of the identity. Ann. of Math. (2) , 54:345--348, 1951

    work page 1951

  23. [23]

    Kakutani

    S. Kakutani. \" U ber die M etrisation der topologischen G ruppen. Proc. Imp. Acad. Tokyo , 12:82--84, 1936

    work page 1936

  24. [24]

    V. Kanovei. Borel equivalence relations , volume 44 of University Lecture Series . American Mathematical Society, Providence, RI, 2008. Structure and classification

    work page 2008

  25. [25]

    A. S. Kechris. Classical descriptive set theory , volume 156 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995

    work page 1995

  26. [26]

    V. L. Klee, Jr. Invariant metrics in groups (solution of a problem of B anach). Proc. Amer. Math. Soc. , 3:484--487, 1952

    work page 1952

  27. [27]

    Le Ma\^ i tre and P

    F. Le Ma\^ i tre and P. Wesolek. On strongly just infinite profinite branch groups. J. Group Theory , 20:1--32, 2017

    work page 2017

  28. [28]

    A. T. M. Lau and A. L. T. Paterson. Inner amenable locally compact groups. Trans. Amer. Math. Soc. , 325:155--169, 1991

    work page 1991

  29. [29]

    Lupini and A

    M. Lupini and A. Panagiotopoulos. Games orbits play and obstructions to B orel reducibility. Groups Geom. Dyn. , 12:1461--1483, 2018

    work page 2018

  30. [30]

    Longyun and Zheng Y

    D. Longyun and Zheng Y. On equivalence relations induced by polish groups. arXiv: 2204.04594 , 2022

    work page arXiv 2022

  31. [31]

    P. B. Larson and J. Zapletal. Geometric set theory , volume 248 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2020

    work page 2020

  32. [32]

    G. W. Mackey. Induced representations of locally compact groups. I . Ann. of Math. (2) , 55:101--139, 1952

    work page 1952

  33. [33]

    M. Malicki. On P olish groups admitting a compatible complete left-invariant metric. J. Symbolic Logic , 76:437--447, 2011

    work page 2011

  34. [34]

    G. D. Mostow. On an assertion of W eil. Ann. of Math. (2) , 54:339--344, 1951

    work page 1951

  35. [35]

    R. L. Sami. Polish group actions and the V aught conjecture. Trans. Amer. Math. Soc. , 341:335--353, 1994

    work page 1994

  36. [36]

    P. Urysohn. Sur un espace m \'e trique universel. Bull. Sci. Math , 51(2):43--64, 1927

    work page 1927

  37. [37]

    Uspenskij

    V.V. Uspenskij. On the group of isometries of the urysohn universal metric space. Commentationes Mathematicae Universitatis Carolinae , 31(1):181--182, 1990

    work page 1990

  38. [38]

    R.A. Wijsman. Convergence of sequences of convex sets, cones and functions. ii. Transactions of the American Mathematical Society , 123(1):32--45, 1966

    work page 1966