Measure equivalence embeddings of free groups and free group factors (2212.11704v3)

Abstract: We give a simple and explicit proof that the free group $\mathbb{F}_2$ admits a measure equivalence embedding into any nonamenable locally compact second countable (lcsc) group $G$. We use this to prove that every nonamenable lcsc group $G$ admits strongly ergodic actions of any possible Krieger type and admits nonamenable, weakly mixing actions with any prescribed flow of weights. We also introduce concepts of measure equivalence and measure equivalence embeddings for $II_1$ factors. We prove that a $II_1$ factor $M$ is nonamenable if and only if the free group factor $L(\mathbb{F}_2)$ admits a measure equivalence embedding into $M$. We prove stability of property (T) and the Haagerup property under measure equivalence of $II_1$ factors.