Convex-cocompact representations into the isometry group of the infinite-dimensional hyperbolic space

This paper establishes that convex-cocompact representations of finitely generated groups into the isometry group of infinite-dimensional hyperbolic space form an open set, enabling the construction of new surface group representations via bending that are distinct from those classified by Monod and Py.

The Gist

Imagine you are an architect working with a very strange, infinite building material. In our normal world, we build with bricks and beams in 3D space. In this paper, the author, David Xu, is working with a mathematical space called Infinite-Dimensional Hyperbolic Space ($H_\infty$).

Think of this space not as a room, but as a fractal forest that never ends and has infinite branches. It's a place where the rules of geometry are warped (like in a funhouse mirror), but it goes on forever in every direction.

Here is the story of what David Xu discovered, broken down into simple concepts:

1. The Problem: Can We Build Stable Structures in Infinity?

In normal geometry (like on a sphere or a flat plane), mathematicians have known for a long time that if you have a "stable" structure (called a convex-cocompact representation), you can wiggle it slightly without it falling apart. It's like having a sturdy tent; if you nudge the poles a little, the tent stays up.

However, this infinite forest ($H_\infty$) is weird. It's not "proper," meaning if you try to draw a circle around a point, the circle isn't a neat, finite loop you can walk around; it's an infinite, messy cloud. Because of this, mathematicians weren't sure if "stable structures" could even exist here, or if they would instantly collapse.

The Big Discovery:
David Xu proved that yes, stable structures do exist in this infinite forest. Even more importantly, he showed that these structures are flexible. If you have one of these stable shapes, you can nudge it, twist it, and deform it, and it will remain stable. It's like finding a sturdy tent in a hurricane that somehow refuses to blow away, and you can actually reshape the tent while it's still standing.

2. The "Exotic" Blueprints

Before this paper, mathematicians (Monod and Py) had found some very special, rigid blueprints for building in this infinite forest. They called them "Exotic Representations."

Imagine these as factory-made, pre-fabricated houses. They are perfect, symmetrical, and come in a few specific sizes. If you want to build a house in this infinite forest, you were previously told: "You must use one of these factory blueprints."

David Xu asked: Are these the only houses we can build? Or can we build something new?

3. The "Bending" Technique

To answer this, David used a technique called "Bending."

Imagine you have a long, flexible ruler (representing a surface group, like the shape of a donut or a multi-holed pretzel).

1. The Cut: You take this ruler and imagine cutting it along a line, splitting it into two pieces.
2. The Twist: You take one piece and twist it slightly before gluing it back together.
3. The Result: You now have a ruler that looks almost the same, but it's been "bent."

In the world of infinite dimensions, this "bending" is done using a special mathematical tool called a Centralizer. Think of the Centralizer as a secret hinge hidden inside the infinite forest. This hinge allows you to twist one part of your structure without breaking the connection to the rest.

4. The Surprise: Infinite Variety

When David applied this "bending" technique to the "Exotic" blueprints, he found something amazing:

• The Factory Blueprints are Rigid: You can't bend the original factory houses; they are fixed.
• The New Houses are Unique: When he bent the blueprints, he created brand new structures that looked different from the factory ones.
• They Can't Be Transformed Back: You cannot twist these new structures back into the original factory blueprints. They are fundamentally different.

The Analogy:
Imagine you have a standard Lego set (the Exotic representations). You can build a castle. David Xu showed that if you take that castle apart, twist a few bricks in a specific way using a secret hinge, and put it back together, you get a new, unique castle that doesn't look like any of the original instructions.

Even better, he found that there is a whole family of these new castles. You can twist the hinge a tiny bit, a medium bit, or a huge bit, and each twist creates a completely different, stable castle.

5. Why This Matters

This paper is a big deal because it shows that the "Infinite Forest" is much richer and more flexible than we thought.

• Before: We thought the only way to build in this infinite space was to copy a few specific, rigid patterns.
• Now: We know that if you have a group of symmetries (like the shape of a surface), you can deform them in infinite ways to create stable, unique structures that have never been seen before.

It's like discovering that while you can buy a standard tent, you can also build your own custom, indestructible tents in a storm, and there are infinite ways to design them.

Summary

David Xu proved that in the strange, infinite world of hyperbolic geometry:

1. Stable structures exist (they don't collapse).
2. They are flexible (you can deform them).
3. Bending them creates new, unique worlds that are different from the standard "factory" models.

He essentially opened a door to a vast, unexplored landscape of mathematical shapes that were previously thought to be impossible or too rigid to change.

Technical Summary

Here is a detailed technical summary of the paper "Convex-cocompact representations into the isometry group of the infinite-dimensional hyperbolic space" by David Xu.

1. Problem Statement

The paper addresses the study of convex-cocompact representations of finitely generated groups (specifically surface groups) into the isometry group of the infinite-dimensional hyperbolic space, denoted as $\text{Isom}(H^\infty)$.

• Context: In finite dimensions ($H^n$), the space of convex-cocompact representations is known to be open (a stability property), and for $n \geq 3$, Mostow rigidity implies that representations of lattices are rigid. However, $H^\infty$ is not proper (closed balls are not compact), which complicates the definition of convex-cocompactness and the application of standard compactness arguments.
• Specific Gap: While "exotic" irreducible representations of $\text{Isom}(H^n)$ into $\text{Isom}(H^\infty)$ were classified by Monod and Py, it was unknown whether the space of convex-cocompact representations of surface groups into $\text{Isom}(H^\infty)$ is open, and whether there exist representations that are not simply restrictions of these exotic representations.
• Core Question: Can convex-cocompact representations in $H^\infty$ be deformed, and does the space of such representations contain elements distinct from the restrictions of the known exotic representations of the full isometry group?

2. Methodology

The author employs a combination of geometric group theory, infinite-dimensional Lie theory, and deformation techniques.

• Characterization via Quasi-Isometries: The paper establishes an equivalence between convex-cocompact representations and representations where the orbit map is a quasi-isometric embedding. This relies on Mazur's Compactness Theorem (the closed convex hull of a compact set in a Banach space is compact) to recover local compactness in the infinite-dimensional setting.
• Stability Analysis: Using the local-to-global principle for quasi-isometric embeddings in $\delta$-hyperbolic spaces, the author proves that the property of being a quasi-isometric representation is an open condition in the representation space $\text{Hom}(\Gamma, \text{Isom}(H^\infty))$.
• Bending Deformations: To construct new representations, the author adapts the bending technique (originally developed by Johnson and Millson). This involves:
  1. Decomposing the surface group $\Gamma$ as an amalgamated product or HNN extension along a simple closed geodesic.
  2. Identifying the centralizer of the image of the geodesic subgroup in $\text{Isom}(H^\infty)$.
  3. Showing that this centralizer is an infinite-dimensional Lie group (specifically a Banach-Lie group) containing a one-parameter family of loxodromic isometries with distinct translation lengths.
  4. Conjugating one factor of the amalgamated product by elements of this centralizer to generate continuous deformations.
• Spectral Theory: The analysis of the centralizer relies on the spectral representation of normal operators on real Hilbert spaces (Goodrich's theorem) to demonstrate that the centralizer of a loxodromic isometry is infinite-dimensional.

3. Key Contributions and Results

A. Stability of Convex-Cocompact Representations (Theorem 1.1 & Corollary 1.2)

The paper proves that for a finitely generated group $\Gamma$, the following are equivalent:

1. The orbit map $\tau_\rho: \gamma \mapsto \rho(\gamma)(x_0)$ is a $\Gamma$-equivariant quasi-isometric embedding.
2. There exists a convex, locally compact, $\Gamma$-invariant subset $C \subset H^\infty$ on which $\Gamma$ acts cocompactly, and $\rho(\Gamma)$ is strongly discrete.

Result: The set of such representations is open in the space of all representations $\text{Hom}(\Gamma, \text{Isom}(H^\infty))$. This confirms that convex-cocompact representations in infinite dimensions are stable under small perturbations, despite the lack of properness in $H^\infty$.

B. Non-Rigidity and Flexibility (Theorem 1.3 & Corollary 4.21)

The author constructs a family of convex-cocompact representations of a surface group $\Gamma$ that are not conjugate to each other, nor conjugate to the restriction of any "exotic" representation of the full group $\text{Isom}(H^2)$ classified by Monod and Py.

• Mechanism: By bending along a geodesic, the author utilizes the infinite-dimensional centralizer of the image of the geodesic subgroup.
• Significance: This demonstrates a flexibility phenomenon. While the representation of the entire group $\text{Isom}(H^2)$ into $\text{Isom}(H^\infty)$ is rigid (classified by a single parameter $t$), the representation of its lattice (the surface group) is highly flexible. The space of deformations contains a one-parameter family of non-conjugate representations.

C. Infinite-Dimensional Lie Group Structure

The paper provides a detailed analysis of the centralizer of a loxodromic isometry in $\text{Isom}(H^\infty)$.

• It is shown to be an infinite-dimensional Lie group (modeled on a Banach space).
• The Lie algebra is computed using spectral decomposition, showing it has infinite dimension.
• This structure is crucial for generating the continuous deformations required for the bending argument.

4. Significance

• Extension of Finite-Dimensional Theory: The work successfully extends the theory of convex-cocompact representations and their stability from finite-dimensional hyperbolic spaces to the infinite-dimensional setting, overcoming the technical hurdle of non-properness.
• New Phenomena in Infinite Dimensions: It reveals that infinite-dimensional hyperbolic geometry allows for a richness of representations for surface groups that does not exist for the ambient isometry group. This contrasts with the rigidity often seen in higher-rank or finite-dimensional settings.
• Methodological Advancement: The paper bridges geometric group theory (quasi-isometries, hyperbolic spaces) with functional analysis (Banach-Lie groups, spectral theory of operators), providing a toolkit for studying discrete subgroups in infinite-dimensional symmetric spaces.
• Counter-Example to Rigidity: It serves as a counter-example to the intuition that lattices in rigid groups must inherit that rigidity when mapped into infinite-dimensional spaces; instead, the infinite dimensionality introduces new degrees of freedom.

In summary, David Xu proves that convex-cocompact representations in $H^\infty$ are stable and open, and uses bending techniques to construct a vast, non-trivial moduli space of such representations for surface groups, distinct from the known exotic representations of the full isometry group.