Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions (Q391962): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1107.1357 / rank | |||
Normal rank |
Revision as of 14:15, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions |
scientific article |
Statements
Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions (English)
0 references
13 January 2014
0 references
In this paper the authors give another proof for \textit{L. Bowen}'s result [Groups Geom. Dyn. 5, No. 1, 17--38 (2011; Zbl 1259.37002)] saying that if \(1<n,m<\infty\) then all Bernoulli-shift actions over \(\mathbb{F}_n\) and \(\mathbb{F}_m\) are stably orbit equivalent, where \(\mathbb{F}_n\) denotes the free group of rank \(n\) . The difference between the two approaches is the following. In his original paper, Bowen proved that every Bernoulli-shift actions over a free group \(\mathbb{F}_n\) of rank \(n\) \((1<n<\infty)\) is stable orbit equivalent to a Bernoulli-shift action over \(\mathbb{F}_2,\) and then he applied his result that all Bernoulli-shift actions over a free group are orbit equivalent [\textit{L. Bowen}, Groups Geom. Dyn. 5, No. 1, 1--15 (2011; Zbl 1257.37004)]. On the other hand, in this paper the authors prove the results of Bowen too, but they use a different method, still using Bowen's general idea. First, they notice that the co-induction of a Bernoulli action is again a Bernoulli action over the same base space. Then, they prove that the co-induced actions to \(\mathbb{F}_n\) are orbit equivalent and so they conclude that, for fixed \(n\) and varying base probability space, the Bernoulli actions over \(\mathbb{F}_n\) are orbit equivalent. As last step in their ideas, they prove that all Bernoulli actions of \(\mathbb{F}_2\) are stably orbit equivalent with all Bernoulli actions of \(\mathbb{F}_m,\) \(m\geq 2,\) and by transitivity of stable orbit equivalence, that all Bernoulli actions of \(\mathbb{F}_n\) and \(\mathbb{F}_m\) are stably orbit equivalent.
0 references
orbit equivalence
0 references
Bernoulli-shifts actions
0 references
free group
0 references
co-induced action
0 references