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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references