Non-amenable image criterion for infinitesimal containment of compact actions

About 1 year old · traced to

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.

References

Primary source

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

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.