An uncountable Furstenberg--Zimmer structure theory
arXiv:2103.17167 · doi:10.1017/etds.2022.43
Abstract
Furstenberg--Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogues of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg--Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi.
arXiv comment38 pages, 4 figures, 1 table; [v4] After publication the author found two issues; we refer to the erratum, appeared online at https://doi.org/10.1017/etds.2025.10214 . The main results remain unchanged, and this version contains all the corrections outlined in the erratum
References in corpus (7)
- Universal Characteristic Factors and Furstenberg Averages
- The algebra of conditional sets and the concepts of conditional topology and compactness
- Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration
- A Boolean action of C(M,U(1)) without a spatial model and a re-examination of the Cameron-Martin theorem
- Sheaves and conditional sets
- Measures and integrals in conditional set theory
- The inverse theorem for the Gowers uniformity norm on arbitrary finite abelian groups: Fourier-analytic and ergodic approaches