Existence of a primitive ergodic element in a treeable equivalence relation

About 11 years old · traced to

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.