On dense orbits in the space of subequivalence relations
Pith reviewed 2026-05-24 01:24 UTC · model grok-4.3
The pith
The subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation that have a dense orbit are characterized.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Our main result is a characterization of the subequivalence relations having a dense orbit in the space of subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation. We also show that in this setup, all full groups orbits are meager. We finally provide a few Borel complexity calculations of natural subsets in spaces of subequivalence relations using a natural metric we call the uniform metric.
What carries the argument
The Polish topology on the space of subequivalence relations, which supports the discussion of dense orbits under the action of the full group and the automorphism group.
If this is right
- The characterization identifies precisely which subequivalence relations possess dense orbits under the relevant group actions.
- Every orbit under the full group is meager in the space.
- Natural subsets of the space have explicit Borel complexities computed with the uniform metric.
- Several questions posed in an earlier version of related work on subequivalence relations receive answers.
Where Pith is reading between the lines
- The same topology construction may permit similar density questions to be posed for subequivalence relations of equivalence relations that are not hyperfinite.
- The meagerness result indicates that full-group equivalence is a rare property among subequivalence relations in the Baire-category sense.
- The uniform metric and complexity calculations supply concrete tools for distinguishing generic versus special subequivalence relations in descriptive-set-theoretic terms.
Load-bearing premise
The Polish topology constructed on the space of subequivalence relations extends the prior framework while preserving the topological and group-action properties needed for p.m.p. equivalence relations.
What would settle it
An explicit subequivalence relation of the ergodic hyperfinite p.m.p. equivalence relation that either has a dense orbit while failing the stated characterization or fails to have a dense orbit while satisfying it.
read the original abstract
We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural action of the full group and of the automorphism group of the relation. Our main result is a characterization of the subequivalence relations having a dense orbit in the space of subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation. We also show that in this setup, all full groups orbits are meager. We finally provide a few Borel complexity calculations of natural subsets in spaces of subequivalence relations using a natural metric we call the uniform metric. This answers some questions from an earlier version of Kechris' monograph.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper first constructs a Polish topology on the space of subequivalence relations of any non-singular countable equivalence relation by extending Kechris' p.m.p. framework. Restricting to p.m.p. relations, it characterizes the subequivalence relations of the ergodic hyperfinite equivalence relation that possess dense orbits under the natural actions of the full group and the automorphism group, proves that all full-group orbits are meager, and computes the Borel complexities of several natural subsets via a uniform metric. These results answer questions posed in an earlier version of Kechris' monograph.
Significance. If the main characterization holds, the work supplies a concrete topological and dynamical description of dense orbits in a central example, together with meagerness and complexity results that directly resolve open questions from Kechris' monograph. The extension of the Polish topology to the non-singular setting is a natural and potentially reusable contribution to the descriptive set theory of equivalence relations.
minor comments (2)
- [§2] §2: The construction of the Polish topology on subequivalence relations for non-singular relations is presented as a direct extension, but a short paragraph comparing the new topology to the one in Kechris' monograph (especially the role of the measure class) would help readers verify that the relevant group-action properties are preserved.
- The uniform metric is introduced for the Borel complexity calculations; an explicit statement of its relation to the standard metric on the space of equivalence relations would clarify why the complexity results are new.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript, its significance, and the recommendation of minor revision. No specific major comments appear in the report, which we take as confirmation that the core results—the Polish topology extension, the characterization of dense orbits for the ergodic hyperfinite relation, the meagerness of full-group orbits, and the Borel complexity calculations—are viewed as correct and responsive to the questions from Kechris' monograph.
Circularity Check
No significant circularity; derivation extends external framework with independent characterization results
full rationale
The paper first constructs a Polish topology on the space of subequivalence relations for non-singular countable equivalence relations by extending Kechris' p.m.p. framework (explicitly cited as external prior work). It then restricts to the p.m.p. case and proves a characterization of subequivalence relations with dense orbits under the full group or automorphism group action specifically for the ergodic hyperfinite relation, plus meagerness of full group orbits and Borel complexity calculations via the uniform metric. These steps are presented as direct mathematical extensions and new theorems without any reduction of the central claims to fitted parameters, self-definitional loops, or load-bearing self-citations. The cited Kechris monograph is independent external work (not overlapping authors), and the main result is a characterization theorem rather than a renaming or ansatz smuggling. No equations or claims in the abstract or high-level description reduce the output to the inputs by construction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
A construction of equivalence subrelations for intermediate subalgebras
Hisashi Aoi. A construction of equivalence subrelations for intermediate subalgebras. J. Math. Soc. Japan , 55(3), 2003. https://doi.org/10.2969/jmsj/1191418999 doi:10.2969/jmsj/1191418999
- [2]
-
[3]
Topometric spaces and perturbations of metric structures
Ita \"i Ben Yaacov. Topometric spaces and perturbations of metric structures. Log Anal , 1(3):235, 2008. https://doi.org/10.1007/s11813-008-0009-x doi:10.1007/s11813-008-0009-x
-
[4]
Ita \"i Ben Yaacov and Julien Melleray. A topometric Effros theorem. The Journal of Symbolic Logic , pages 1--11, 2023. https://doi.org/10.1017/jsl.2023.5 doi:10.1017/jsl.2023.5
-
[5]
a user Advanced Texts Basler Lehrb \
Donald L. Cohn. Measure Theory : Second Edition . Birkh \"a user Advanced Texts Basler Lehrb \"u cher . Springer, New York, NY, 2013. https://doi.org/10.1007/978-1-4614-6956-8 doi:10.1007/978-1-4614-6956-8
-
[6]
H. A. Dye. On Groups of Measure Preserving Transformations . I . American Journal of Mathematics , 81(1):119--159, 1959. https://doi.org/10.2307/2372852 doi:10.2307/2372852
-
[7]
Generic IRS in free groups, after Bowen
Amichai Eisenmann and Yair Glasner. Generic IRS in free groups, after Bowen . Proceedings of the American Mathematical Society , 144(10):4231--4246, 2016. https://doi.org/10.1090/proc/13020 doi:10.1090/proc/13020
-
[8]
Michael's selection theorem and applications to the Mar \'e chal topology
Pierre Fima, Fran c ois Le Ma \^i tre, Kunal Mukherjee, and Issan Patri. Michael's selection theorem and applications to the Mar \'e chal topology. arXiv preprint , 2024. https://doi.org/10.48550/arXiv.2407.05776 doi:10.48550/arXiv.2407.05776
-
[9]
Invariant Descriptive Set Theory , volume 293 of Pure and Applied Mathematics ( Boca Raton )
Su Gao. Invariant Descriptive Set Theory , volume 293 of Pure and Applied Mathematics ( Boca Raton ) . CRC Press, Boca Raton, FL, 2009
work page 2009
-
[10]
A measurable-group-theoretic solution to von Neumann 's problem
Damien Gaboriau and Russell Lyons. A measurable-group-theoretic solution to von Neumann 's problem. Invent. math. , 177(3):533--540, 2009. https://doi.org/10.1007/s00222-009-0187-5 doi:10.1007/s00222-009-0187-5
-
[11]
Approximations of standard equivalence relations and Bernoulli percolation at pu
Damien Gaboriau and Robin Tucker-Drob . Approximations of standard equivalence relations and Bernoulli percolation at pu. Comptes Rendus Mathematique , 354(11):1114--1118, 2016. https://doi.org/10.1016/j.crma.2016.09.011 doi:10.1016/j.crma.2016.09.011
-
[12]
Topological groups with Rokhlin properties
Eli Glasner and Benjamin Weiss. Topological groups with Rokhlin properties. Colloquium Mathematicae , 110(1):51--80, 2008
work page 2008
-
[13]
Subequivalence relations and positive-definite functions
Adrian Ioana, Alexander Kechris, and Todor Tsankov. Subequivalence relations and positive-definite functions. Groups, Geometry, and Dynamics , pages 579--625, 2009. https://doi.org/10.4171/GGD/71 doi:10.4171/GGD/71
-
[14]
Uniqueness of the Group Measure Space Decomposition for Popa 's HT Factors
Adrian Ioana. Uniqueness of the Group Measure Space Decomposition for Popa 's HT Factors . Geom. Funct. Anal. , 22(3):699--732, 2012. https://doi.org/10.1007/s00039-012-0178-3 doi:10.1007/s00039-012-0178-3
-
[15]
Alexander S. Kechris. The space of measure-preserving equivalence relations and graphs. in preparation, preliminary version available on his webpage
-
[16]
Alexander S. Kechris. Classical Descriptive Set Theory , volume 156 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995. https://doi.org/10.1007/978-1-4612-4190-4 doi:10.1007/978-1-4612-4190-4
-
[17]
Alexander S. Kechris. Global Aspects of Ergodic Group Actions , volume 160 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2010. https://doi.org/10.1090/surv/160 doi:10.1090/surv/160
-
[18]
Alexander Kechris and Benjamin D. Miller. Topics in Orbit Equivalence . Lecture Notes in Mathematics . Springer-Verlag, Berlin Heidelberg, 2004. https://doi.org/10.1007/b99421 doi:10.1007/b99421
-
[19]
Sur les groupes pleins pr \'e servant une mesure de probabilit \'e
Fran c ois Le Ma \^i tre. Sur les groupes pleins pr \'e servant une mesure de probabilit \'e . PhD thesis, ENS Lyon, 2014
work page 2014
-
[20]
On full groups of non-ergodic probability-measure-preserving equivalence relations
Fran c ois Le Ma \^i tre. On full groups of non-ergodic probability-measure-preserving equivalence relations. Ergodic Theory and Dynamical Systems , 36(7):2218--2245, 2016. https://doi.org/10.1017/etds.2015.20 doi:10.1017/etds.2015.20
-
[21]
Polish topologies on groups of non-singular transformations
Fran c ois Le Ma \^i tre. Polish topologies on groups of non-singular transformations. Journal of Logic and Analysis , 14, 2022. https://doi.org/10.4115/jla.2022.14.4 doi:10.4115/jla.2022.14.4
-
[22]
Fran c ois Le Ma \^i tre and Konstantin Slutsky. L^1 full groups of flows. arXiv preprint , 2023. https://doi.org/10.48550/arXiv.2108.09009 doi:10.48550/arXiv.2108.09009
-
[23]
Topologie et structure bor \'e lienne sur l'ensemble des alg \`e bres de von Neumann
Odile Mar \'e chal. Topologie et structure bor \'e lienne sur l'ensemble des alg \`e bres de von Neumann . C. R. Acad. Sci. Paris Ser. I Math. , 276:847--850, 1973
work page 1973
-
[24]
Donald S. Ornstein and Benjamin Weiss. Ergodic theory of amenable group actions. I . The Rohlin lemma. Bull. Amer. Math. Soc. (N.S.) , 2(1):161--164, 1980. https://doi.org/10.1090/S0273-0979-1980-14702-3 doi:10.1090/S0273-0979-1980-14702-3
-
[25]
Asymptotic Orthogonalization of Subalgebras in II _1 Factors
Sorin Popa. Asymptotic Orthogonalization of Subalgebras in II _1 Factors . Publications of the Research Institute for Mathematical Sciences , 55(4):795--809, 2019. https://doi.org/10.4171/prims/55-4-5 doi:10.4171/prims/55-4-5
-
[26]
Every action of a nonamenable group is the factor of a small action
Brandon Seward. Every action of a nonamenable group is the factor of a small action. J. Mod. Dyn. , 8(2):251--270, 2014. https://doi.org/10.3934/jmd.2014.8.251 doi:10.3934/jmd.2014.8.251
-
[27]
Noncommutative topological boundaries and amenable invariant random intermediate subalgebras
Shuoxing Zhou. Noncommutative topological boundaries and amenable invariant random intermediate subalgebras. arXiv preprint , 2024. https://doi.org/10.48550/arXiv.2407.10905 doi:10.48550/arXiv.2407.10905
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.