Random walks on \(\mathrm{SL}_2({\mathbb{C}})\): spectral gap and limit theorems (Q6158592)

Consider a probability measure \(\mu\) on the group \(\mathrm{SL}_2(\mathbb{C})\) and the corresponding random walk \((S_n)_{n\geq1}\) defined by \(S_n=g_n\cdots g_1\), where each of the \(g_i\) are independent and distributed according to \(\mu\). The authors establish local limit theorems for both the associated norm cocycle and random matrix coefficients. The first of these is established under an optimal second moment condition, and the latter requires the existence of third moments of \(\mu\). They also establish Berry-Esseen inequalities for these quantities, again under second and third moment conditions, respectively. These Berry-Esseen bounds are of order \(O(1/\sqrt{n})\). Proofs of these results rely on spectral properties of the corresponding Markov operator.