Singularity conjecture for stationary measures on Furstenberg boundaries

About 3 years old · traced to

Let G⁡\operatorname{\mathsf{G}} be a connected semisimple Lie group without compact factors and with finite center, let Γ<G⁡\Gamma<\operatorname{\mathsf{G}} be a Zariski dense discrete subgroup, and let m\mathsf{m} be a probability measure on Γ\Gamma whose support generates Γ\Gamma as a semigroup. Let F⁡\operatorname{\mathcal{F}} be the Furstenberg boundary, namely the flag manifold associated to a minimal parabolic subgroup, and let ν\nu be the unique m\mathsf{m}-stationary measure on F⁡\operatorname{\mathcal{F}}.

Singularity conjecture. If m\mathsf{m} has finite support, then the m\mathsf{m}-stationary measure ν\nu is singular to the Lebesgue measure class on F⁡\operatorname{\mathcal{F}}.

This is presented as a well-known conjecture concerning Furstenberg measures, with Kaimanovich–Le Prince cited for comparison. The source does not specify whether it is open or resolved.

References

Primary source

Dongryul M. Kim and Andrew Zimmer, “Rigidity for Patterson–Sullivan systems with applications to random walks and entropy rigidity”, arXiv:2505.16556 (2026).

Additional references

2 papers in this index state this conjecture (2023–2025). The statement above is taken from the most recent of them; the others are arXiv:2301.09714.

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.