Higher Teichmüller Theory¶
Job: organize the higher Teichmüller spaces — connected components of character varieties \(\mathrm{Rep}(\Gamma,G)/G\) consisting entirely of discrete and faithful representations of a surface group \(\Gamma=\pi_1\Sigma\) (or a word-hyperbolic group) into a semisimple Lie group \(G\) of non-compact type — with Anosov representations (Labourie, Guichard–Wienhard) as the central dynamical notion that unifies the classical Hitchin and maximal components and provides the open / structurally stable setting in which the theory is done.
Core¶
Classical Teichmüller space \(\mathcal{T}(\Sigma_g)\) is, by the Fricke–Teichmüller theorem, a connected component of
consisting of discrete and faithful representations, homeomorphic to \(\mathbb{R}^{6g-6}\). Higher Teichmüller theory asks: for which semisimple Lie groups \(G\) of non-compact type does \(\mathrm{Rep}(\pi_1\Sigma_g,G)\) contain connected components entirely of discrete and faithful representations? Two construction paradigms are known to produce such components:
- Hitchin components (split real \(G\)): the component containing the irreducible principal \(\mathrm{SL}_2(\mathbb{R})\hookrightarrow G\).
- Maximal components (\(G\) of Hermitian type): the components on which the Toledo invariant \(\mathrm{T}\) attains its Milnor–Wood bound \(|\mathrm{T}|=|\chi(\Sigma)|\,\mathrm{rank}(G)\).
The unifying dynamical notion is Anosov (Labourie, Guichard–Wienhard): a representation \(\rho:\Gamma\to G\) of a word-hyperbolic group \(\Gamma\) is \(P\)-Anosov (for a parabolic \(P\subset G\)) if there is a dynamics-preserving, transverse boundary map \(\xi_\rho:\partial\Gamma\to G/P\) with contraction/expansion along the Cartan decomposition. Anosov representations are discrete, quasi-isometric embeddings, structurally stable, and form an open subset of \(\mathrm{Rep}(\Gamma,G)\). Both Hitchin (for \(\mathrm{PSL}_n(\mathbb{R})\), \(B\)-Anosov) and maximal (for \(G\) of Hermitian type, partially Anosov) representations are Anosov — this is the content of Anosov representations.
| Layer | Content |
|---|---|
| Classical | \(\mathcal{T}(\Sigma_g)\subset\mathrm{Rep}(\pi_1\Sigma_g,\mathrm{PSL}_2(\mathbb{R}))\); Fricke–Teichmüller |
| Hitchin | split real \(G\); principal \(\mathrm{SL}_2\); Higgs bundles; Hitchin section |
| Maximal | Hermitian \(G\); Toledo invariant; Milnor–Wood; Burger–Iozzi–Wienhard |
| Anosov | Labourie / Guichard–Wienhard; boundary map; discreteness + QI-embedding; openness |
| Frontiers | positivity (Fock–Goncharov); relative Anosov; pressure metric; \((G,X)\)-structures |
Reading map¶
| Page | Focus |
|---|---|
| Foundations | classical Teichmüller as a character component; higher Teichmüller components; the table of \(G\) admitting them; the two paradigms |
| Anosov Representations | \(P\)-Anosov definitions; boundary map; discreteness/QI-embedding; openness; structural stability; flavors (\(B\), \(P_k\), Morse) |
| Hitchin & Maximal Components | Hitchin components via Higgs bundles / Hitchin section; maximal via Toledo/Milnor–Wood; non-abelian Hodge bridge |
| Frontiers | positivity / Fock–Goncharov; relative Anosov; \((G,X)\)-structures; pressure metric; Langlands side |
Dependency order¶
- Representation theory / Lie groups: semisimple \(G\), parabolics \(P\), symmetric spaces \(G/K\), Cartan decomposition — the target geometry.
- Representation theory / Lie algebras: \(\mathfrak{sl}_2\) and root systems — the principal \(\mathrm{SL}_2\) is built from \(\mathfrak{sl}_2\); see Lie algebras.
- Differential geometry: Riemannian manifolds, curvature, symmetric spaces, hyperbolic geometry — the geometric setting.
- Algebraic topology: \(\pi_1\Sigma_g\), classifying spaces, surface groups.
- Complex geometry / Kähler: Higgs bundles and non-abelian Hodge theory live on Kähler moduli.
- Foundations \(\to\) Anosov \(\to\) Hitchin & maximal \(\to\) frontiers.
Interfaces¶
| Area | Contact |
|---|---|
| Representation theory | semisimple Lie groups, parabolics, symmetric spaces; geometric representation theory / character varieties |
| Lie algebras | principal \(\mathrm{SL}_2\) via \(\mathfrak{sl}_2\); root systems of \(G\) |
| Differential geometry | symmetric spaces \(G/K\); hyperbolic geometry; Riemannian metrics |
| Algebraic topology | surface groups \(\pi_1\Sigma_g\); classifying spaces; characteristic classes |
| Complex geometry / Kähler | Higgs bundles; non-abelian Hodge theory; Hitchin system |
| Algebraic geometry | character varieties as algebraic stacks; Higgs moduli as algebraic integrable systems |
Notation (paper-standard)¶
- \(\Gamma=\pi_1\Sigma_g\) (surface group, \(g\ge 2\)), or a word-hyperbolic group with Gromov boundary \(\partial\Gamma\)
- \(G\) semisimple Lie group of non-compact type; \(K\subset G\) maximal compact; \(G/K\) symmetric space
- \(P\subset G\) parabolic; \(G/P\) generalized flag variety; for \(\mathrm{SL}_n\), \(P_k\) stabilizes a \(k\)-plane, \(G/P_k=\mathrm{Gr}(k,n)\)
- \(\rho:\Gamma\to G\) a representation; \(\mathrm{Rep}(\Gamma,G)=\mathrm{Hom}(\Gamma,G)/G\) the character variety (conjugacy quotient)
- \(\xi_\rho:\partial\Gamma\to G/P\) the \(P\)-Anosov boundary map; \(\rho\) \(P\)-Anosov if dynamics-preserving and transverse with contraction
- \(\mathcal{T}(\Gamma,G)\subset\mathrm{Rep}(\Gamma,G)\) a higher Teichmüller space (a connected component of discrete faithful reps)
- \(\mathrm{Hit}(\Gamma,G)=\mathrm{Hit}_n(\Sigma)\) the Hitchin component (split real \(G\); \(G=\mathrm{PSL}_n(\mathbb{R})\) in the standard case)
- \(\mathrm{T}(\rho)\in\mathbb{Z}\) the Toledo invariant (Hermitian \(G\)); Milnor–Wood bound \(|\mathrm{T}(\rho)|\le|\chi(\Sigma)|\,\mathrm{rank}(G)\)
- \(\mathrm{Max}(\Gamma,G)\) the maximal components \(\{|\mathrm{T}|=|\chi|\,\mathrm{rank}(G)\}\)
- \(\xi_{\mathrm{Frenet}}:\partial\pi_1\Sigma\to\mathbb{RP}^{n-1}\) the Frenet boundary curve of a Hitchin representation into \(\mathrm{PSL}_n(\mathbb{R})\)
See it¶
Two routes to \(\mathrm{PSL}_n(\mathbb{R})\), one target. For \(G=\mathrm{PSL}_n(\mathbb{R})\) the higher Teichmüller component can be reached by either paradigm:
- Hitchin route (split real): \(\mathrm{Hit}_n(\Sigma)\) is the component containing the irreducible \(\mathrm{PSL}_2(\mathbb{R})\hookrightarrow\mathrm{PSL}_n(\mathbb{R})\) (principal \(\mathrm{SL}_2\)). Labourie: it consists of discrete faithful \(B\)-Anosov representations; dimension \(\dim\mathrm{Hit}_n(\Sigma)=(2g-2)(n^2-1)\).
- Maximal route is not available for \(\mathrm{PSL}_n(\mathbb{R})\) (\(n\ge 3\)), which is not of Hermitian type. The maximal paradigm instead lands in \(\mathrm{Sp}(2n,\mathbb{R})\), \(\mathrm{SO}(p,2n+1-p)\), \(\mathrm{SU}(p,n-p)\), \(\mathrm{SO}^*(2n)\), \(\mathrm{Sp}(2n,\mathbb{R})\) — the Hermitian groups.
The intersection of the two paradigms in low rank is a coincidence, not a general phenomenon: \(\mathrm{Hit}_2(\Sigma)=\mathcal{T}(\Sigma)\) and the maximal component in \(\mathrm{Sp}(2,\mathbb{R})\cong\mathrm{SL}_2(\mathbb{R})\) is again \(\mathcal{T}(\Sigma)\) (two copies, one per sign of \(\mathrm{T}\)). For \(n\ge 3\) the Hitchin component of \(\mathrm{PSL}_n(\mathbb{R})\) and the maximal components of \(\mathrm{Sp}(2n,\mathbb{R})\) are genuinely different higher Teichmüller spaces in different Lie groups — see Hitchin & Maximal.
Check¶
State precisely in what sense the classical Teichmüller space is a connected component of \(\mathrm{Rep}(\pi_1\Sigma_g,\mathrm{PSL}_2(\mathbb{R}))\), and identify the invariant that singles it out.
By Fricke–Teichmüller / Goldman, the components of \(\mathrm{Rep}(\pi_1\Sigma_g,\mathrm{PSL}_2(\mathbb{R}))\) are classified by the Euler number \(\mathrm{e}(\rho)\in\mathbb{Z}\), \(|\mathrm{e}(\rho)|\le 2g-2=2|\chi(\Sigma)|\). The two components \(\mathrm{e}(\rho)=\pm(2g-2)\) consist of discrete faithful representations and are each homeomorphic to \(\mathbb{R}^{6g-6}\); these are the two Teichmüller spaces (orientation-preserving / reversing Fuchsian loci). This is the \(n=2\) instance of the Milnor–Wood inequality and the paradigm of "maximal component = higher Teichmüller space"; the Euler number is the Toledo invariant for \(G=\mathrm{PSL}_2(\mathbb{R})\cong\mathrm{Sp}(2,\mathbb{R})\) (Hermitian of rank 1).
Why does the definition of higher Teichmüller space require a whole connected component of discrete faithful representations, rather than the set of all discrete faithful representations?
Discreteness and faithfulness are not open conditions in general (small perturbations of a discrete faithful representation can be non-discrete — this is the failure of stability for Kleinian groups without the Anosov / convex cocompact hypothesis). The higher Teichmüller axiom asks for a component entirely of discrete faithful reps so that (a) the component is a smooth manifold / algebraic variety, (b) one can do deformation theory on it, and (c) the Anosov property (which is open) holds throughout — guaranteeing structural stability. The set of all discrete faithful reps is typically a messy subset with bad topology; the component condition is what makes the theory tractable.
Pitfalls¶
- Higher Teichmüller \(\neq\) "Teichmüller with a bigger group": the definition requires a component of discrete faithful reps; generic components of \(\mathrm{Rep}(\pi_1\Sigma,G)\) contain non-discrete / non-faithful reps and are not higher Teichmüller spaces.
- Two paradigms, two different \(G\): Hitchin needs split real \(G\); maximal needs Hermitian \(G\). The overlap in low rank (\(\mathrm{PSL}_2(\mathbb{R})\cong\mathrm{Sp}(2,\mathbb{R})\), \(\mathrm{SO}_0(2,1)\cong\mathrm{PSL}_2(\mathbb{R})\)) is a coincidence, not a general identification.
- Anosov is the unifier, not the definition: Hitchin / maximal components were defined before Anosov; the theorem (Labourie, Burger–Iozzi–Wienhard) is that their elements are Anosov, which is what gives discreteness + QI-embedding. One does not define a higher Teichmüller space as "the Anosov locus" — that would be circular for the foundational theorems.
Refs¶
- Hitchin, The Lie group \(\mathrm{SO}(4)\) and \(\mathrm{Diff}(S^3)\); Lie groups and Teichmüller space
- Labourie, Anosov flows, surface groups and curves in projective space
- Guichard–Wienhard, Anosov representations: characterizations and applications
- Burger–Iozzi–Wienhard, Surface group representations with maximal Toledo invariant
- Fock–Goncharov, Moduli spaces of local systems and higher Teichmüller theory
Next¶
Foundations · Anosov Representations · Hitchin & Maximal Components · Frontiers · Representation theory · Differential geometry · Complex geometry / Kähler · Algebraic topology