Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

DOI10.1016/J.APAL.2024.103412arXiv2105.04989OpenAlexW3160539835WikidataQ128886481 ScholiaQ128886481MaRDI QIDQ6151817FDOQ6151817

Authors: Aristotelis Panagiotopoulos, Assaf Shani 

Publication date: 11 March 2024

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

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 $*$-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.

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)

Cites Work

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

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)