Existence of a primitive ergodic element in a treeable equivalence relation

From papers

Let R{\mathcal{R}} be an ergodic treeable equivalence relation of cost >1>1, and let [R][\mathcal{R}] denote its full group. A subequivalence relation of R{\mathcal{R}} is primitive if it admits a treeing that extends to a treeing of R{\mathcal{R}}.

Primitive-element conjecture. There exists an ergodic element f[R]f \in [\mathcal{R}] such that the subequivalence relation generated by ff is primitive in R{\mathcal{R}}.

Such an element would provide a primitive ergodic subequivalence relation generated by a single transformation, complementing the paper's results on surjections from treeable equivalence relations. The supplied context does not state whether this conjecture has been resolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Lewis Bowen, “Simple and large equivalence relations”, arXiv:1507.04841 (2015).

Solutions 0

No solutions have been posted yet.