On topological and measurable dynamics of unipotent frame flows for hyperbolic manifolds (Q2631524)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On topological and measurable dynamics of unipotent frame flows for hyperbolic manifolds |
scientific article |
Statements
On topological and measurable dynamics of unipotent frame flows for hyperbolic manifolds (English)
0 references
15 May 2019
0 references
Fix \(d\ge 3\), \(\Gamma\) a Zariski-dense discrete subgroup of the Lorentz-Möbius group \(G = PSO(1,d)\), \(N\) (isomorphic to \(\mathbb{R}^{d-1}\)) a maximal unipotent subgroup of \(G\), and \(U\subset N\) (isomorphic to \(\mathbb{R}^{k}\)) a nontrivial connected subgroup. Denote by \(\delta_\Gamma\) the critical exponent of \(\Gamma\), and by \(\mathcal{F}\mathcal{M}\equiv \Gamma\backslash G\) the orthonormal frame bundle of the hyperbolic manifold \(\mathcal{M}:= \Gamma\backslash \mathbb{H}^d\). This article studies the \(U\)-action on \(\mathcal{F}\mathcal{M}\), which parallelly moves a frame on the stable horosphere determined by its first vector. Let \(A\subset G\) be a Cartan subgroup, and denote by \(\Omega\subset \mathcal{F}\mathcal{M}\) the nonwandering set for the \(A\)-action (or equivalently, the geodesic flow), and by \(\mathcal{E}\) the nonwandering set for the \(N\)-action. Then the authors establish the following new results. Theorem 1. The action of \(A\) on \(\Omega\) is topologically mixing, and the action of \(U\) on \(\mathcal{E}\) is topologically transitive. Assume that \(\Gamma\) is of divergent type, and that the (easily lifted to \(\mathcal{F}\mathcal{M}\)) Bowen-Margulis-Sullivan measure \(\mu\) is finite. Denote by \(\nu\) the Paterson-Sullivan measure on the limit set, and by \(\lambda\) the Burger-Roblin measure (absolutely continuous with respect to \(dv^-dt\nu(dv^+)\), in Hopf coordinates on \(T^1\mathbb{H}^d\), whereas \(\mu\) is absolutely continuous with respect to \(\nu(dv^-) dt\nu(dv^+)\) on \(\mathcal{F}\mathcal{M})\). Then the authors extend a theorem by \textit{A. Mohammadi} and \textit{H. Oh} [J. Am. Math. Soc. 28, No. 2, 531--577 (2015; Zbl 1318.37001)] as follows. Theorem 2. If \(\delta_\Gamma + \dim(U) >d-1\), then both measures \(\mu\) and \(\lambda\) are \(U\)-ergodic. On the contrary, if \(\delta_\Gamma + \dim(U) <d-1\), then \(\lambda\)-almost every frame is divergent.
0 references
hyperbolic manifold
0 references
frame bundle
0 references
discrete subgroup
0 references
geodesic flow
0 references
unipotent flow
0 references
topological transitivity
0 references
Bowen-Margulis-Sullivan measure
0 references
Burger-Roblin measure
0 references
ergodicity
0 references