Abstract:We study the real spectrum compactification of character varieties of finitely generated groups in semisimple Lie groups. This provides a compactification with good topological properties, and we interpret the boundary points in terms of actions on building-like spaces. Among the applications we give a general framework guaranteeing the existence of equivariant harmonic maps in building-like spaces.
What problem does this paper attempt to address?
This paper aims to solve the problem of compactification of representation varieties of finitely generated groups in real semisimple Lie groups. Specifically, the authors study the real spectrum compactification of representation varieties ($\Xi_{\text{RSp}}(\Gamma, G(\mathbb{R}))$), which is a compactification method with good topological properties. Through this method, they can interpret the meaning of boundary points and relate them to actions on building - like spaces. In addition, the paper also provides a general framework to ensure the existence of equivariant harmonic maps in building - like spaces.
### Main problems
1. **Compactification of representation varieties**:
- Study the real spectrum compactification $\Xi_{\text{RSp}}(\Gamma, G(\mathbb{R}))$ of the representation variety $\Xi(\Gamma, G(\mathbb{R}))$, where $\Gamma$ is a finitely generated group and $G(\mathbb{R})$ is a real semisimple Lie group.
- Provide a compactification method with good topological properties and explain the meaning of boundary points.
2. **Geometric interpretation of boundary points**:
- Give a geometric interpretation of the boundary points $\partial_{\text{RSp}} \Xi(\Gamma, G(\mathbb{R}))$, which correspond to the equivalence classes $(\rho, F_\rho)$, where $\rho: \Gamma \to G(F_\rho)$ is a reductive representation and $F_\rho$ is the minimal non - Archimedean real closed field.
- Prove that if $\rho$ is reductive and $F$ is real closed, then there exists a unique minimal real closed field $F_\rho\subset F$.
3. **Action on CAT(0) spaces**:
- Study the characteristics of the closed points $\partial_{\text{RSp}}^{\text{cl}} \Xi(\Gamma, G(\mathbb{R}))$ of the representation variety, especially their relationship with the actions on the CAT(0) space $BG(F)$.
- Prove the equivalent conditions of closed points, for example, $\Gamma$ has no global fixed points on $BG(F)$, or there exists some $\eta\in E$ such that $\rho(\eta)$ has a positive translation length on $BG(F)$.
4. **Existence of harmonic maps**:
- Prove that for the connected component $M\subset \Xi(\Gamma, G(\mathbb{R}))$ of non - parabolic representations, the $\Gamma$ - action on $BG(F)$ corresponding to its boundary points is non - evanescent.
- Further prove that for the connected component $M$ of non - parabolic representations, there exists a $\Gamma$ - equivariant harmonic map $\tilde{M}\to BG(F_\rho)$.
5. **Relationship with Weyl chamber length compactification**:
- Study the relationship between the real spectrum compactification and the Weyl chamber length compactification, which was studied by the third author in [42] using the Weyl chamber - valued length function.
- Prove that the real spectrum compactification can be extended to an explicit map of the Weyl chamber length compactification, and this map is continuous, surjective and preserves the action of the outer automorphism group.
6. **Density of integral points**:
- Use the real spectrum compactification to derive some properties of the Weyl chamber length compactification, such as the density of the integral length function in the boundary $\partial_{\text{WL}} M$.
- Prove that for the connected component $M$ of non - elementary representations, its image set in the Weyl chamber length compactification is open and the map $PL: M\to \text{Im}(PL)$ is proper.
### Conclusion
Through the real spectrum compactification method, this paper not only provides a new compactification method for representation varieties, but also reveals the geometric meaning of boundary points and their relationship with actions on CAT(0) spaces. These results establish an important bridge between geometric group theory and real algebraic geometry, providing new tools and perspectives for further research.