The variety of group actions on all algebraic real hyperbolic spaces

This paper establishes the compactness of a character variety classifying continuous group actions on algebraic real hyperbolic spaces of arbitrary dimension, unifying previous compactifications and proving rigidity results for irreducible representations via the introduction of algebraic and abstract cross-ratios.

The Gist

Imagine you are an architect trying to understand how different shapes can fit together in a vast, infinite universe. This paper is like a massive new blueprint for that universe, specifically focusing on a strange, curved world called Hyperbolic Space.

In our everyday world (Euclidean geometry), parallel lines never meet, and triangles have angles adding up to 180 degrees. In Hyperbolic Space, the rules are wilder: parallel lines diverge, and triangles have angles adding up to less than 180 degrees. Think of it like a Pringles chip or a coral reef that keeps expanding outward faster than you can imagine.

The authors, Bruno Duchesne and Christopher-Lloyd Simon, are asking a big question: How do groups of symmetries (like rotations or reflections) behave when they act on these hyperbolic spaces of any size?

Usually, mathematicians study these spaces in fixed sizes (like 2D, 3D, or 100D). This paper is revolutionary because it looks at all sizes at once, including infinite dimensions.

Here is the breakdown of their journey, using some creative analogies:

1. The "Shape-Shifting" Problem (Exotic Deformations)

In normal 3D space, if you stretch a shape, it changes. But in this hyperbolic universe, there's a weird trick called an "exotic deformation."

• The Analogy: Imagine you have a rubber sheet (the hyperbolic space). In finite dimensions, you can only stretch it in specific ways. But in infinite dimensions, you can stretch it by a "magic factor" (a number between 0 and 1) that changes the rules of distance without breaking the shape.
• The Result: This creates "twins" of the same action. Two groups might look different because one is a "stretched" version of the other. The authors realized that to compare these groups fairly, they can't just look at the raw shapes; they have to look at the family of shapes, including all the stretched versions.

2. The "Character Variety" (The Master Map)

The authors built a giant map called the Character Variety.

• The Analogy: Think of this map as a "Universe of Possibilities." Every point on this map represents a different way a group can act on a hyperbolic space.
• The Big Discovery: They proved that this map is compact.
  • What does that mean? Imagine a map that never has "edges" where you fall off. If you walk far enough in any direction, you eventually loop back or settle into a stable spot. This means the universe of these actions is complete and tidy, not chaotic and infinite in a messy way.

3. The "Fingerprint" (Length Spectrum)

How do you tell two different actions apart?

• The Analogy: Imagine every group action leaves a "fingerprint" made of how far it moves things. This is called the Length Spectrum.
• The Twist: In finite dimensions, the fingerprint is unique. But in infinite dimensions, the "exotic deformations" mentioned earlier mean you can have two different actions with the same fingerprint, just scaled up or down.
• The Solution: The authors developed a new way to read these fingerprints. They realized that if you ignore the "stretching" (the exotic deformations), the fingerprint becomes unique again. They proved that for "non-trivial" actions, the fingerprint tells you exactly who the group is and how it's moving.

4. The "Tree" Connection (Degeneration)

What happens if you stretch these hyperbolic spaces so much that they break?

• The Analogy: Imagine blowing up a balloon until it pops. The rubber doesn't just disappear; it turns into a flat sheet or a string.
• The Discovery: When the authors stretched these hyperbolic spaces to their limit, they didn't vanish. Instead, they turned into Real Trees (mathematical trees with no loops, like a subway map).
• Why it matters: This connects two different worlds. It shows that the "limit" of hyperbolic geometry is tree geometry. Their new map (the Character Variety) naturally includes these tree actions, acting as a bridge between curved spaces and branching trees.

5. The "Rigidity" (The One True Way)

Finally, they looked at specific, powerful groups (like the group of all symmetries of an infinite hyperbolic space, or the symmetries of a tree).

• The Analogy: Imagine a lock that only has one key.
• The Result: They proved that for these specific, powerful groups, there is essentially only one way to act on these spaces (up to the stretching/deformation we talked about).
• The Metaphor: It's like saying, "If you are the King of this specific kingdom, there is only one throne you can sit on, even if you can sit on it slightly higher or lower." This is called Rigidity. It means these groups are so structured that they can't wiggle into different shapes; they are locked into a single, unique behavior.

Summary for the Everyday Reader

This paper is a masterclass in organizing chaos.

1. The Problem: Infinite-dimensional hyperbolic spaces are messy and hard to compare because they can be "stretched" in weird ways.
2. The Tool: The authors created a new "Universe Map" (Character Variety) that groups all these stretched versions together.
3. The Magic: They proved this map is a complete, closed loop (compact).
4. The Bridge: They showed that if you stretch these spaces enough, they turn into trees, and their map captures both.
5. The Conclusion: For the most powerful groups, there is only one "true" way to move in this universe. Everything else is just a stretched or shrunk version of that one truth.

In short, they took a chaotic, infinite-dimensional puzzle, found the hidden order, and showed us that even in an infinite world, there are strict rules that govern how things fit together.

Technical Summary

Here is a detailed technical summary of the paper "The variety of group actions on all algebraic real hyperbolic spaces" by Bruno Duchesne and Christopher-Lloyd Simon.

1. Problem Statement and Motivation

The paper addresses the classification and topology of continuous representations of a topological group $\Gamma$ into the isometry group of algebraic real hyperbolic spaces, denoted $\text{Isom}(H_\kappa)$, where $\kappa$ is an arbitrary cardinal (finite or infinite).

Core Questions:

1. Distinction: How can one distinguish between different actions of $\Gamma$ on $H_\kappa$?
2. Topology: What is the natural topology on the space of these actions, and what are its global properties (e.g., compactness, connectedness)?
3. Rigidity: Under what conditions is the space of actions a singleton (rigidity) or empty (obstruction)?

The Novelty:
Previous work largely focused on finite dimensions ($n \in \mathbb{N}$). In finite dimensions, the character variety is well-understood, and self-representations of $\text{Isom}(H_n)$ are essentially inner automorphisms. However, in infinite dimensions (specifically $\kappa = \omega$, the countable cardinal), a new phenomenon arises: exotic deformations. There exists a family of embeddings $c_t: H_\kappa \to H_{\kappa+\omega}$ (for $t \in (0, 1]$) that scale the metric via $\cosh d(c_t(x), c_t(y)) = (\cosh d(x, y))^t$. These induce "exotic" representations $\chi_t: \text{Isom}(H_\kappa) \to \text{Isom}(H_{\kappa+\omega})$ that scale translation lengths by $t$. Consequently, the classical marked length spectrum rigidity fails in infinite dimensions because representations with homothetic length spectra are not necessarily conjugate.

The authors aim to construct a unified framework that simultaneously handles all cardinals $\kappa$, incorporating these exotic deformations into the definition of the "variety of actions."

2. Methodology

The authors develop a multi-faceted approach combining geometric group theory, functional analysis (kernels), and boundary dynamics.

A. Functions of Hyperbolic Type

Instead of working directly with representations $\rho: \Gamma \to \text{Isom}(H_\kappa)$, the authors utilize functions of hyperbolic type $F: \Gamma \to \mathbb{R}$.

• Definition: A function $F$ is of hyperbolic type if the kernel $K(\alpha, \beta) = F(\alpha^{-1}\beta)$ is a "kernel of hyperbolic type."
• Kernel of Hyperbolic Type: A symmetric kernel $K: X \times X \to \mathbb{R}$ with diagonal 1 is of hyperbolic type if it satisfies a "hyperbolic Cauchy-Schwarz" inequality involving a visual kernel.
• GNS Construction: Just as positive definite kernels yield Hilbert spaces, kernels of hyperbolic type yield isometric embeddings into $H_\kappa$. Every such function $F$ corresponds to a representation $\rho$ and a base point $o$ such that $F(\gamma) = \cosh d(\rho(\gamma)o, o)$.

B. The Variety of Actions $PC(\Gamma)$

The authors define the variety of actions $PC(\Gamma)$ as the quotient of the space of functions of hyperbolic type $\mathcal{F}(\Gamma)$ by two equivalence relations:

1. Comparability: $F_1 \sim F_2$ if $\log(F_1/F_2)$ is bounded (corresponding to conjugation).
2. Homothety: $F_1 \sim F_2$ if $F_1^t$ and $F_2$ are comparable for some $t > 0$ (corresponding to exotic deformations).

This space $PC(\Gamma)$ serves as the generalized character variety.

C. Cross-Ratios and Rigidity

A central tool is the cross-ratio on the boundary $\partial X$.

• Abstract Cross-Ratio: A continuous function on quadruples of boundary points satisfying invariance, inversion, and cocycle identities.
• Algebraic Cross-Ratio: An abstract cross-ratio derived from an embedding into $H_\kappa$.
• GNS for Cross-Ratios: The authors prove a GNS-type theorem for algebraic cross-ratios, showing that any topological space with an algebraic cross-ratio embeds uniquely (up to isometry) into the boundary of some $H_\kappa$.
• Rigidity: They prove that for groups acting "3-transitively" on the boundary of a CAT(-1) space, any invariant abstract cross-ratio is a power of the standard metric cross-ratio. This allows them to recover the representation from the length spectrum up to the exotic deformation parameter $t$.

D. Geometric Convergence

To study limits, the authors employ equivariant Gromov-Hausdorff convergence. They show that sequences of representations on $H_{\kappa_m}$ (where dimensions may vary) converge to actions on real trees. This is achieved by rescaling the metric using the exotic deformations $c_t$ (where $t \to 0$) and analyzing the limit of the convex hulls of orbits.

3. Key Contributions and Results

1. Compactness of the Character Variety

Theorem: For a finitely generated group $\Gamma$, the space $PC(\Gamma)$ is compact.

• The subspace of non-neutral actions $PC_{nn}(\Gamma)$ and non-elementary actions $PC_{ne}(\Gamma)$ are open and Hausdorff.
• The length function $\ell: PC(\Gamma) \to \mathbb{P}(\mathbb{R}^\Gamma)$ is continuous and injective on $PC_{nn}(\Gamma)$.
• This generalizes the compactness of the classical character variety (compactified by actions on trees) to the infinite-dimensional setting.

2. Recovery of Classical Compactifications

The authors prove that their compactification $PC(\Gamma)$ recovers previous compactifications of faithful discrete representations (e.g., Paulin's compactification).

• Theorem: The Gromov-Hausdorff space of faithful discrete representations on $H_n$ (plus actions on trees with small edge stabilizers) is homeomorphic to its image in $PC(\Gamma)$.
• Crucially, $PC(\Gamma)$ contains new limit points corresponding to actions on trees that are not captured by the classical "small edge stabilizer" condition, specifically arising from varying infinite dimensions.

3. Rigidity of Marked Length Spectra

• Finite Dimensions: Two Zariski-dense representations with proportional length spectra are conjugate.
• Infinite Dimensions: This fails due to exotic deformations.
• Generalized Rigidity: The authors prove that two minimal representations $\rho_1, \rho_2$ have homothetic length spectra ($\ell_1 = t \ell_2$) if and only if $\rho_1$ is conjugate to the exotic deformation $\chi_t \circ \rho_2$.
• This establishes that the homothety class of the length spectrum completely characterizes the representation up to conjugacy and exotic deformation.

4. Global Rigidity for Specific Groups

The paper proves that for certain "rich" groups, the space of non-elementary actions is a singleton (up to the equivalence defined).
Theorem: If $G$ is one of the following, $PC_{ne}(G)$ has exactly one point:

1. $\text{Isom}(H_\kappa)$ (countable dimension).
2. $\text{Aut}(T_\kappa)$ (automorphism group of a $\kappa$-regular tree, $\kappa \ge 3$).
3. $\text{PGL}_2(\mathbb{K})$ where $\mathbb{K}$ is a complete non-Archimedean valued field.

Method: The proof relies on the group admitting a "3-full" action on a CAT(-1) space (3-transitive boundary action, amenable stabilizers, coarse Cartan decomposition). This forces any representation into $H_\kappa$ to induce a boundary map that preserves the cross-ratio up to a power, which, combined with the rigidity of the cross-ratio, forces the representation to be unique.

5. New Examples and Counterexamples

• New Fields: The rigidity result for $\text{PGL}_2(\mathbb{K})$ applies to non-locally compact fields (e.g., $\mathbb{C}_p$, fields of Laurent series), extending previous results limited to local fields.
• Strict Inclusions: The authors exhibit groups (e.g., amalgams of non-linear groups) where the classical compactification is strictly smaller than $PC(\Gamma)$, demonstrating that the new framework captures genuinely new geometric limits.

4. Significance and Impact

• Unification: The paper provides a unified theory for group actions on hyperbolic spaces of all dimensions, resolving the fragmentation between finite-dimensional character varieties and infinite-dimensional phenomena.
• Resolution of Rigidity: It clarifies the failure of marked length spectrum rigidity in infinite dimensions and provides the correct generalized statement involving exotic deformations.
• Foundational Tools: The introduction of "algebraic cross-ratios" and the "GNS construction for cross-ratios" offers powerful new tools for studying rigidity in non-locally compact settings and for groups acting on trees.
• Topology of Moduli Spaces: By proving the compactness of $PC(\Gamma)$, the authors open the door to studying the global topology, metric structures (e.g., Thurston metric), and dynamics of these moduli spaces for complex groups like mapping class groups and Cremona groups.
• Beyond Locally Compact Groups: The results apply to Polish groups that are not locally compact (e.g., $\text{Isom}(H_\omega)$, $\text{Aut}(T_\omega)$), bypassing the need for Haar measures or Gelfand pairs, which were essential in previous rigidity proofs.

In summary, this work establishes a robust geometric and analytic framework for understanding the space of isometric actions on hyperbolic spaces, revealing that while infinite dimensions introduce exotic deformations, the underlying structure remains rigid and compact when viewed through the lens of homothety classes of hyperbolic functions.