| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

5. Graphings, Treeings, and CBERs (countable Borel equivalence relations)

Let $X$ be a Polish space, $E$ and $F$ CBERs on $X$, and $\mu$ a Borel probability measure on $X$.
    1. Problem 5.1.

      Let $E$ be treeable.
      1. Does every Borel graphing, say, $G$ of $E$ contain a Borel subgraph, say $T$, which is a treeing of $E$?
      2. What if we just want $T$ to be $\mu$-measurable?
        • Problem 5.2.

          Let $E$ be pmp and $G$ a Borel graphing of $E$. Does $G$ contain Borel subgraphings (of $E$) whose cost is arbitrarily close to the cost of $E$?
            • Problem 5.3.

              Is every finite index extension of a hypersmooth equivalence relation hypersmooth?
                • Problem 5.4.

                  Let $E$ be treeable.
                  1. Is every finite index extension of E treeable?
                  2. What if we only require a $\mu$-measurable treeing.
                    • Problem 5.5.

                      Suppose $E$ and $F$ are treeable of type III_A. do they have class-bijective lifts which are stably orbit equivalent?
                        • Problem 5.6.

                          Is there an “informative” notion of cost in the quasi-pmp setting?

                              Cite this as: AimPL: Descriptive graph theory, available at http://aimpl.org/descriptgraph.