Abstract:We provide a good dynamical framework allowing to generalize Thurston's asymmetric metric and the associated Finsler norm from Teichmüller space to large classes of Anosov representations. In many cases, including the space of Hitchin representations, this gives a (possibly asymmetric) Finsler distance. In some cases we explicitly compute the associated Finsler norm.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: How to generalize Thurston's asymmetric metric and the related Finsler norm from the Teichmüller space to the broader Anosov representation space, and construct a similar (possibly asymmetric) Finsler distance in these spaces.
### Specific problem description:
1. **Generalize Thurston's asymmetric metric**:
Thurston's asymmetric metric was initially defined on the Teichmüller space to measure the differences between hyperbolic structures. The goal of this paper is to generalize this metric to the space of Anosov representations, especially Hitchin representations and other related representations.
2. **Construct Finsler norm**:
In the Teichmüller space, Thurston also defined a Finsler norm related to the asymmetric metric. This paper further studies how to construct a similar Finsler norm in the space of Anosov representations.
3. **Analyze the properties of the metric**:
The author explores whether the generalized asymmetric metric satisfies certain geometric properties, such as positivity, the triangle inequality, etc., and studies its behavior on specific subsets.
4. **Length - spectrum rigidity problem**:
A key question is under what conditions it can be ensured that when two Anosov representations have the same normalized length spectrum, they are actually conjugate. This involves the control of the Zariski closure and the properties of the Jordan projection.
---
### Summary of core formulas:
1. **Generalized form of Thurston's asymmetric metric**:
For two points \( \rho_1, \rho_2 \) in the representation space, it is defined as follows:
\[
d_\phi^{\text{Th}}(\rho_1, \rho_2) := \log \left( \sup_{[\gamma] \in [\Gamma]} \frac{h_\phi^{\rho_2} L_\phi^{\rho_2}([\gamma])}{h_\phi^{\rho_1} L_\phi^{\rho_1}([\gamma])} \right),
\]
where:
- \( L_\phi^\rho([\gamma])=\phi(\lambda(\rho(\gamma))) \) is the \( \phi \)-marked length spectrum.
- \( h_\phi^\rho \) is the \( \phi \)-entropy.
2. **Definition of Finsler norm**:
For a tangent vector \( v \in T_\rho X_\Theta(\Gamma, G) \), it is defined as follows:
\[
\|v\|_\phi^{\text{Th}} := \sup_{[\gamma] \in [\Gamma]} \frac{d_\rho(h_\phi^\cdot)(v) L_\phi^\rho([\gamma]) + h_\phi^\rho d_\rho(L_\phi^\cdot([\gamma]))(v)}{h_\phi^\rho L_\phi^\rho([\gamma])}.
\]
3. **Length - spectrum rigidity condition**:
If two representations \( \rho_1 \) and \( \rho_2 \) satisfy \( h_\phi^{\rho_1} L_\phi^{\rho_1}=h_\phi^{\rho_2} L_\phi^{\rho_2} \), then under certain conditions it can be deduced that \( \rho_1 \) and \( \rho_2 \) are conjugate.
---
### Main contributions of the paper:
1. **Generalize Thurston's asymmetric metric**:
Successfully generalize Thurston's asymmetric metric from