Non-amenable image criterion for infinitesimal containment of compact actions

From papers

Let GG be a compact group with Haar probability measure μ\mu, let ρ ⁣:ΓG\rho\colon\Gamma\to G be a homomorphism, and let Γ\Gamma act on (G,μ)(G,\mu) by left translation through ρ\rho. Non-amenable image criterion. If ρ(Λ)\rho(\Lambda) is open in GG for every non-amenable subgroup Λ\Lambda of Γ\Gamma, then

(G,μ)infΓ.(G,\mu)\xhookrightarrow{\operatorname{inf}}\Gamma.

This is stated as a special case of the preceding compact-action conjecture and is presented as an open question supported only by the authors' inability to find counterexamples.

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

Mikołaj Frączyk, “Infinitesimal containment and sparse factors of iid”, arXiv:2512.09301 (2025).

Solutions 0

No solutions have been posted yet.