The number of topological generators for full groups of ergodic equivalence relations (Q472547): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\Gamma \) be a countable subgroup of \(\mathrm{Aut}(X,\mu)\), the group of measure-preserving automorphisms on a probability space \((X, \mu)\), and \(\mathcal{R}_{\Gamma} \) be the orbit equivalence on \(X\) induced by \(\Gamma\), i.e., \(x \mathcal{R}_{\Gamma} y \) iff there exists \(\gamma \in \Gamma \) such that \(x=\gamma y\). Consider the full group \([\mathcal{R}_{\Gamma}] \) of \(\Gamma\), which is the group of all \(\phi \in \mathrm{Aut}(X,\mu) \) such that \(\phi (x) \mathcal{R}_{\Gamma} x\), for all \(x\in X\). \([\mathcal{R}_{\Gamma}] \) is a Polish group and is instrumental in studying \(\mathcal{R}_{\Gamma}\). The minimal number of topological generators \(t([\mathcal{R} ]) \) for such topological groups were investigated by \textit{J. Kittrell} and \textit{T. Tsankov} [Ergodic Theory Dyn. Syst. 30, No. 2, 525--545 (2010; Zbl 1185.37010)]. Following a question of A. S. Kechris, they explored the connection between \(t([\mathcal{R} ]) \) and another invariant \(\mathrm{Cost}(\mathcal{R})\) by proving that if \(\mathcal{R} \) is a probability-preserving ergodic equivalence relation, then \(\mathrm{Cost}(\mathcal{R}) \) is finite iff \(t([\mathcal{R} ]) \) finite. In particular, they proved that \[ \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1 \leq t([\mathcal{R} ]) \leq 3 (\lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1). \] In this concise and well-written article, the author further clarifies this relationship by proving that \[ t([\mathcal{R} ])= \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1. \] He also proves that for any ergodic probability preserving equivalence relation \(\mathcal{R} \), \[ \mathrm{Cost}(\mathcal{R}) =\inf \big\{ \sum_{i=0}^{t([\mathcal{R}])} d_u (T_i, id) : \overline{\langle T_1, \dots T_{t([\mathcal{R} ])}\rangle}=[\mathcal{R} ] \big\}, \] where \(d_u \) is the usual metric on \(\mathrm{Aut} (X,\mu)\). | |||
Property / review text: Let \(\Gamma \) be a countable subgroup of \(\mathrm{Aut}(X,\mu)\), the group of measure-preserving automorphisms on a probability space \((X, \mu)\), and \(\mathcal{R}_{\Gamma} \) be the orbit equivalence on \(X\) induced by \(\Gamma\), i.e., \(x \mathcal{R}_{\Gamma} y \) iff there exists \(\gamma \in \Gamma \) such that \(x=\gamma y\). Consider the full group \([\mathcal{R}_{\Gamma}] \) of \(\Gamma\), which is the group of all \(\phi \in \mathrm{Aut}(X,\mu) \) such that \(\phi (x) \mathcal{R}_{\Gamma} x\), for all \(x\in X\). \([\mathcal{R}_{\Gamma}] \) is a Polish group and is instrumental in studying \(\mathcal{R}_{\Gamma}\). The minimal number of topological generators \(t([\mathcal{R} ]) \) for such topological groups were investigated by \textit{J. Kittrell} and \textit{T. Tsankov} [Ergodic Theory Dyn. Syst. 30, No. 2, 525--545 (2010; Zbl 1185.37010)]. Following a question of A. S. Kechris, they explored the connection between \(t([\mathcal{R} ]) \) and another invariant \(\mathrm{Cost}(\mathcal{R})\) by proving that if \(\mathcal{R} \) is a probability-preserving ergodic equivalence relation, then \(\mathrm{Cost}(\mathcal{R}) \) is finite iff \(t([\mathcal{R} ]) \) finite. In particular, they proved that \[ \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1 \leq t([\mathcal{R} ]) \leq 3 (\lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1). \] In this concise and well-written article, the author further clarifies this relationship by proving that \[ t([\mathcal{R} ])= \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1. \] He also proves that for any ergodic probability preserving equivalence relation \(\mathcal{R} \), \[ \mathrm{Cost}(\mathcal{R}) =\inf \big\{ \sum_{i=0}^{t([\mathcal{R}])} d_u (T_i, id) : \overline{\langle T_1, \dots T_{t([\mathcal{R} ])}\rangle}=[\mathcal{R} ] \big\}, \] where \(d_u \) is the usual metric on \(\mathrm{Aut} (X,\mu)\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37A20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6371151 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ergodic equivalence relations | |||
Property / zbMATH Keywords: ergodic equivalence relations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
full group of equivalence relations | |||
Property / zbMATH Keywords: full group of equivalence relations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generators | |||
Property / zbMATH Keywords: generators / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cost of equivalence relations | |||
Property / zbMATH Keywords: cost of equivalence relations / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093572285 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1302.2589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Groups of Measure Preserving Transformations. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Groups of Measure Preserving Transformations. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orbit inequivalent actions for groups containing a copy of \(\mathbb{F}_{2}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cost of equivalence relations and groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orbit Equivalence and Measured Group Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A measurable-group-theoretic solution to von Neumann's problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SOME EXTREMELY AMENABLE GROUPS RELATED TO OPERATOR ALGEBRAS AND ERGODIC THEORY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3407797 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topics in orbit equivalence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological properties of full groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the cost of generating an equivalence relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SOME REMARKS ON TOPOLOGICAL FULL GROUPS OF CANTOR MINIMAL SYSTEMS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ergodic theory of amenable group actions. I: The Rohlin lemma / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:21, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The number of topological generators for full groups of ergodic equivalence relations |
scientific article |
Statements
The number of topological generators for full groups of ergodic equivalence relations (English)
0 references
19 November 2014
0 references
Let \(\Gamma \) be a countable subgroup of \(\mathrm{Aut}(X,\mu)\), the group of measure-preserving automorphisms on a probability space \((X, \mu)\), and \(\mathcal{R}_{\Gamma} \) be the orbit equivalence on \(X\) induced by \(\Gamma\), i.e., \(x \mathcal{R}_{\Gamma} y \) iff there exists \(\gamma \in \Gamma \) such that \(x=\gamma y\). Consider the full group \([\mathcal{R}_{\Gamma}] \) of \(\Gamma\), which is the group of all \(\phi \in \mathrm{Aut}(X,\mu) \) such that \(\phi (x) \mathcal{R}_{\Gamma} x\), for all \(x\in X\). \([\mathcal{R}_{\Gamma}] \) is a Polish group and is instrumental in studying \(\mathcal{R}_{\Gamma}\). The minimal number of topological generators \(t([\mathcal{R} ]) \) for such topological groups were investigated by \textit{J. Kittrell} and \textit{T. Tsankov} [Ergodic Theory Dyn. Syst. 30, No. 2, 525--545 (2010; Zbl 1185.37010)]. Following a question of A. S. Kechris, they explored the connection between \(t([\mathcal{R} ]) \) and another invariant \(\mathrm{Cost}(\mathcal{R})\) by proving that if \(\mathcal{R} \) is a probability-preserving ergodic equivalence relation, then \(\mathrm{Cost}(\mathcal{R}) \) is finite iff \(t([\mathcal{R} ]) \) finite. In particular, they proved that \[ \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1 \leq t([\mathcal{R} ]) \leq 3 (\lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1). \] In this concise and well-written article, the author further clarifies this relationship by proving that \[ t([\mathcal{R} ])= \lfloor \mathrm{Cost}(\mathcal{R}) \rfloor +1. \] He also proves that for any ergodic probability preserving equivalence relation \(\mathcal{R} \), \[ \mathrm{Cost}(\mathcal{R}) =\inf \big\{ \sum_{i=0}^{t([\mathcal{R}])} d_u (T_i, id) : \overline{\langle T_1, \dots T_{t([\mathcal{R} ])}\rangle}=[\mathcal{R} ] \big\}, \] where \(d_u \) is the usual metric on \(\mathrm{Aut} (X,\mu)\).
0 references
ergodic equivalence relations
0 references
full group of equivalence relations
0 references
generators
0 references
cost of equivalence relations
0 references