Singularity conjecture for stationary measures on Furstenberg boundaries

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.

Sources & referencesView supporting material

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.