Table of Contents
Fetching ...

The variety of group actions on all algebraic real hyperbolic spaces

Bruno Duchesne, Christopher-Lloyd Simon

Abstract

For a cardinal $κ$, denote by $\mathbf{H}^κ$ the algebraic real hyperbolic space of dimension $κ$. For a topological group $Γ$, we study the set of continuous representations $Γ\to \operatorname{Isom}(\mathbf{H}^κ)$ up to continuous self-representations $\operatorname{Isom}(\mathbf{H}^κ)\to \operatorname{Isom}(\mathbf{H}^κ)$. The novelty of this work relies in considering simultaneously all cardinals, finite or infinite. We will endow this set of classes of representations with a natural topology, and show that this character variety is compact. This will also enable us to recover all previous compactifications of actions on $\mathbf{H}^n$ by certain actions on real trees for the equivariant Gromov-Hausdorff topology. A class of representations recovers in particular the homothety class of its marked length spectrum. We will define the notion of algebraic cross-ratio and prove a GNS-embedding result, enabling us to generalize some rigidity properties of the marked length spectrum. We will also introduce a notion of abstract cross-ratio, and use it to show that a wide class of groups $Γ$ (characterized by the existence of what we call a $3$-full action on a $\operatorname{CAT}(-1)$-space) admit at most one class of irreducible representations into $\operatorname{Isom}(\mathbf{H}^κ)$ whose boundedness properties are controlled by those of $(X,d)$. We will apply this to topological groups $Γ$ such as the isometry group $\operatorname{Isom}(\mathbf{H}^κ)$ itself, the automorphism group $\operatorname{Aut}(T_ω)$ of the simplicial tree with countably infinite valency, and the automorphism group $\operatorname{PGL}_2(\mathbb{K}, \lvert\cdot \rvert)$ of the projective line over a non-Archimedean field.

The variety of group actions on all algebraic real hyperbolic spaces

Abstract

For a cardinal , denote by the algebraic real hyperbolic space of dimension . For a topological group , we study the set of continuous representations up to continuous self-representations . The novelty of this work relies in considering simultaneously all cardinals, finite or infinite. We will endow this set of classes of representations with a natural topology, and show that this character variety is compact. This will also enable us to recover all previous compactifications of actions on by certain actions on real trees for the equivariant Gromov-Hausdorff topology. A class of representations recovers in particular the homothety class of its marked length spectrum. We will define the notion of algebraic cross-ratio and prove a GNS-embedding result, enabling us to generalize some rigidity properties of the marked length spectrum. We will also introduce a notion of abstract cross-ratio, and use it to show that a wide class of groups (characterized by the existence of what we call a -full action on a -space) admit at most one class of irreducible representations into whose boundedness properties are controlled by those of . We will apply this to topological groups such as the isometry group itself, the automorphism group of the simplicial tree with countably infinite valency, and the automorphism group of the projective line over a non-Archimedean field.
Paper Structure (41 sections, 95 theorems, 93 equations)

This paper contains 41 sections, 95 theorems, 93 equations.

Key Result

Theorem 4

Let $\Gamma$ be a topological group. The length function $\ell \colon \mathcal{F}(\Gamma) \to \mathbb{R}^\Gamma$ defined by $F \mapsto \ell_F$ quotients to a function $\ell \colon \mathbf{P}\mathcal{C}(\Gamma)\to\mathbf{P}\mathbb{R}^\Gamma$ which is continuous and injective in restriction to $\mathb

Theorems & Definitions (277)

  • Definition 1: kernel of hyperbolic type. \ref{['def:kernel-hyperbolic-type']}
  • Remark 2: Cayley-Menger derterminants
  • Definition 3: function of hyperbolic type
  • Theorem 4: length function on $\mathbf{P}\mathcal{C}_{nn}(\Gamma)\supset \mathbf{P}\mathcal{C}_{ne}(\Gamma)$
  • Theorem 5: topology of $\mathbf{P}\mathcal{C}(\Gamma)\supset \mathbf{P}\mathcal{C}_{nn}(G) \supset \mathbf{P}\mathcal{C}_{ne}(G)$
  • Remark 6: coarse strong hyperbolicity
  • Remark 7: why strongly-hyperbolic?
  • Proposition 8: abstract cross-ratios on $3$-full strongly hyperbolic spaces
  • Definition 9: algebraic cross-ratio
  • Theorem 10: GNS for algebraic cross-ratios
  • ...and 267 more