On Raghunathan's measure conjecture (Q1185440)

Let \(\Gamma\) be a discrete subgroup of a real 2nd countable Lie group with quotient map \(\pi:G\to\Gamma\backslash G\). A probability measure \(\mu\) on \(\Gamma\backslash G\) is called algebraic if there is an \(x\in G\) such that \(\mu(\pi(x)\Lambda(\mu))=1\), where \(\Lambda(\mu)=\{g\in G|\) the action of \(g\) on \(\Gamma\backslash G\) preserves \(\mu\}\). The action of another subgroup \(U\) of \(G\) on \(\Gamma\backslash G\) is measure rigid if every \(U\)-invariant probability measure on \(\Gamma\backslash G\) is algebraic, and \(U\) is measure rigid in \(G\) if its action on \(\Gamma\backslash G\) is measure rigid for every lattice \(\Gamma\subset G\); \(U\) is strictly measure rigid in \(G\) if its action on \(\Gamma\backslash G\) is measure rigid for every discrete subgroup \(\Gamma\subset G\). \(U\) is called unipotent if \(\text{Ad}_ u\) is a unipotent automorphism of the Lie algebra of \(G\) for all \(u\in U\). Raghunathan's measure conjecture, as formulated by the author, then states: every unipotent subgroup of a connected Lie group \(G\) is measure rigid. In this paper, the author's 3rd and last on this topic [cf. also Invest. Math. 101, No. 2, 449-482 (1990; Zbl 0745.28009); Acta Math. 165, No. 3/4, 229-309 (1990; Zbl 0745.28010)], the main theorem is as follows. Theorem. Every unipotent subgroup of a connected Lie group is strictly measure rigid.