Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

DOI10.1016/J.APAL.2024.103412MaRDI QIDQ6151817zbMATH OpenOpenAlexWikidataFDO

Authors Aristotelis Panagiotopoulos, Assaf Shani

Publication date 11 March 2024

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.04989

zbMATH Keywords

Bernoulli shiftalgebraic dimensionsymmetric modelsBorel reductionsbasic Cohen modelpinned cardinality

Mathematics Subject Classification ID

Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Applications of set theory (03E75) General theory for infinite permutation groups (20B07)

Abstract: The algebraic dimension of a Polish permutation group $QleqmathrmSym(mathbbN)$ is the smallest $ninomega$, so that for all $AsubseteqmathbbN$ of size $n+1$, the orbit of every $ainA$ under the pointwise stabilizer of $Asetminusa$ is finite. We study the Bernoulli shift $Pcurvearrowrightmathbb{R}^{mathbbN}$ for various Polish permutation groups $P$ and we provide criteria under which the $P$-shift is generically ergodic relative to the injective part of the $Q$-shift, when $Q$ has algebraic dimension $leqn$. We use this to show that the sequence of pairwise $\ast$-reduction-incomparable equivalence relations defined in [KP21] is a strictly increasing sequence in the Borel reduction hierarchy. We also use our main theorem to exhibit an equivalence relation of pinned cardinal $alep{h}_1^{+}$ which strongly resembles the equivalence relation of pinned cardinal $alep{h}_1^{+}$ from [Zap11], but which does not Borel reduce to the latter. It remains open whether they are actually incomparable under Borel reductions. Our proofs rely on the study of symmetric models whose symmetries come from the group $Q$. We show that when $Q$ is "locally finite" -- e.g. when $Q=mathrmAut(mathcalM)$, where $mathcalM$ is a locally finite countable structure with no algebraicity -- the corresponding symmetric model admits a theory of supports which is analogous to that in the basic Cohen model.

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1547008 (Why is no real title available?)
• scientific article; zbMATH DE number 1388189 (Why is no real title available?)
• A course in model theory
• Borel complexity and potential canonical Scott sentences
• Borel equivalence relations. Structure and classification
• Borel reducibility and symmetric models
• Cohen and Set Theory
• Countable sections for locally compact group actions
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• Dynamical obstructions to classification by (co)homology and other TSI-group invariants
• Geometric Set Theory
• Higher-dimensional obstructions for star reductions
• Set Theory
• The structure of finitary permutation groups
• The structure of random automorphisms of countable structures
• Three red herrings around Vaught's conjecture

This page was built for publication: Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151817)