Harmonic maps from Kähler manifolds

Abstract: This report attempts a clean presentation of the theory of harmonic maps from complex and Kähler manifolds to Riemannian manifolds. After reviewing the theory of harmonic maps between Riemannian manifolds initiated by Eells--Sampson and the Bochner technique, we specialize to Kähler domains and introduce pluriharmonic maps. We prove a refined Bochner formula due to Siu and Sampson and its main consequences, such as the strong rigidity results of Siu. We also recount the applications to symmetric spaces of noncompact type and their relation to Mostow rigidity. Finally, we explain the key role of this theory for the nonabelian Hodge correspondence relating the character variety of a compact Kähler manifold and the moduli space of Higgs bundles.

• The paper establishes a rigorous framework linking the harmonic map energy functional with the Bochner technique in Kähler geometry.
• It demonstrates that under specific curvature conditions, harmonic maps exhibit strong rigidity, often becoming totally geodesic or constant.
• The study connects analytic methods to the nonabelian Hodge correspondence, unifying Higgs bundles with representation theory.

Harmonic Maps from Kähler Manifolds: Theory, Rigidity, and Nonabelian Hodge Correspondence

Introduction and Context

The theory discussed establishes a rigorous and comprehensive framework for harmonic maps from Kähler manifolds to Riemannian targets. The work synthesizes foundational ideas initiated by Eells–Sampson, with attention to the complex-analytic structure of domain manifolds, and pursues consequences for geometric group representations, rigidity theorems, and the nonabelian Hodge correspondence. The technical development follows the energy functional approach, the Bochner technique, and detailed analysis of curvature conditions, ultimately connecting to Higgs bundles and the representation theory of Kähler groups.

Harmonic Maps: Analytical Foundations

A map $f: M \to N$ between Riemannian manifolds is harmonic if it is a critical point of the energy functional, yielding the nonlinear Euler–Lagrange equation $\Delta f = 0$ where the Laplacian is the trace of the Hessian $\nabla^2 f$. The paper methodically presents the equivalence between variational harmonicity, the vanishing of the tension field, and the representation of $df$ as a harmonic 1-form in the sense of Hodge theory. The analysis exploits differential geometric structures (connections, curvature tensors), and crucially, recasts harmonicity within the framework of $E$-valued differential forms and codifferential operators. This establishes a formal setting wherein the Bochner–Weitzenböck machinery can be deployed.

The compactness of the domain is essential for the functional-analytic equivalence between the vanishing tension field and the harmonicity of $df$. For noncompact settings, the local structure remains, but global minimization and regularity properties require additional hypotheses.

Bochner–Weitzenböck Technique and Rigidity Phenomena

Central to the existence and uniqueness theorems for harmonic maps is the Bochner formula, which relates the rough Laplacian, the norm of the Hessian, and curvature terms involving the Ricci tensor of the domain and sectional (or more generally Hermitian) curvature of the target. The critical observation is that, under nonnegative Ricci curvature of the domain and nonpositive sectional curvature of the target, the Bochner formula enforces vanishing of all terms except possibly the Laplacian of the energy density, which, when integrated over a compact manifold, must vanish. This leads immediately to strong rigidity: harmonic maps under such curvature conditions are necessarily totally geodesic, and in certain cases, constant.

This formalism underpins the Eells–Sampson heat flow method for constructing harmonic representatives in homotopy classes, and the structure of the Bochner term enables sharp differential-geometric rigidity theorems.

Kähler Geometry, Pluriharmonicity, and Siu–Sampson Theorem

Specializing to Kähler domains, the theory incorporates complex structure, leading to finer analytic consequences. The Kähler condition ($d\omega = 0$) implies parallelism of the complex structure, which translates curvature and Laplacian operators into linear-algebraic objects respecting the Hodge decomposition. For harmonic maps from Kähler manifolds, the elliptic system further reduces: Siu’s and Sampson’s refinement proves that, under nonpositive Hermitian sectional curvature in the target, harmonicity implies pluriharmonicity.

Explicitly, such harmonic maps satisfy the “(1,1)”-geodesic equation; their Hessian has vanishing $(1,1)$-component. Stronger curvature restrictions (strongly nonpositive or very strongly nonpositive curvature, e.g., symmetric spaces of noncompact type) yield correspondingly stringent algebraic constraints on the holomorphic image of the differential, leading directly to strong rigidity and, in special cases, holomorphic or anti-holomorphicity of the map.

The analytic heart is the Bochner–Sampson formula, and its variants due to Ohnita–Valli and Toledo, which control the vanishing by integrating differential identities and exploiting the properties of Kähler forms and the Hodge–Riemann relations.

Symmetric Spaces, Classification of Abelian Subalgebras, and Topological Implications

For locally symmetric targets modeled on $G/K$, the classification of abelian subalgebras of $\mathfrak{p}^\mathbb{C}$ (the complexified tangent space at a basepoint) drives the structural consequences for harmonic maps from Kähler manifolds. The maximal dimension of such subalgebras is bounded above by the rank of the symmetric space, with higher-dimensional abelian subalgebras only in Hermitian symmetric spaces. This algebraic input, via Carlson–Toledo’s theorems, ensures that any harmonic map from a compact Kähler manifold to a locally symmetric space of higher rank must be holomorphic (for some invariant complex structure) unless its rank is highly restricted.

The link to Mostow rigidity, and its extensions by Margulis, Mok, Corlette, Gromov–Schoen, and Simpson, is explicit: for compact quotients of symmetric spaces without rank-one factors, the harmonic map machinery recovers and strengthens rigidity of representations up to isometry, and for Hermitian locally symmetric spaces, up to biholomorphism.

Nonabelian Hodge Correspondence: From Representations to Higgs Bundles

A substantial part of the paper elucidates the central role of harmonic maps (specifically, harmonic metrics on flat bundles) in the nonabelian Hodge correspondence, following Hitchin, Donaldson, Corlette, and Simpson.

Given a reductive representation $\rho: \pi_1(M) \to G$ (for a complex reductive group), one associates a flat bundle and seeks a harmonic metric (unique up to $G$-conjugation modulo the centralizer), equivalent to a $\rho$-equivariant harmonic map into the symmetric space $G/K$. The Siu–Sampson theorem ensures pluriharmonicity, which, at the level of the associated differential forms, yields a (holomorphic) Higgs bundle: a pair $(\mathcal{E}, \varphi)$ with $\bar{\partial}_\nabla \varphi = 0$ and $[\varphi, \varphi] = 0$, satisfying Hitchin’s self-duality equations.

The paper systematically connects the moduli of reductive representations (Betti moduli) and Higgs bundles (Dolbeault moduli), drawing out the analytic, algebraic, and geometric structures—most notably, the construction of these moduli as GIT quotients, the existence of hyperkähler structures, and the manifestation of complex-analytic isomorphisms via the nonabelian Hodge correspondence.

The $\mathbb{C}^*$-action on the Dolbeault moduli space, and its fixed points corresponding to variations of Hodge structures, further illustrates the structural analogy and generalization of classical Hodge theory to the nonabelian setting.

Implications and Future Directions

The document establishes that the theory of harmonic maps from Kähler manifolds is not only a technical tour de force in analysis and differential geometry but also commands a central role in higher-rank rigidity theory, representation varieties, and moduli of complex structures. The strong rigidity theorems remain pillars in the study of discrete subgroups of Lie groups and their actions.

On the level of the nonabelian Hodge correspondence, pluriharmonic maps mediate between group-theoretic and complex-analytic phenomena. The theory extends to general linear and reductive groups, and further to principal Higgs bundles and G-Higgs bundles for real forms, integrating representation theory, algebraic geometry, and gauge theory.

Current and future work continues to push these directions in several areas:

• Higher Teichmüller theory: Exploring connected components of moduli spaces of representations that generalize the classical Teichmüller space via harmonic map techniques and Higgs bundle moduli.
• Singular and analytic targets: Extending harmonic map methods to singular spaces and analytic stacks, enabling advances toward Langlands duality and related conjectures in arithmetic geometry.
• Quantitative rigidity and dynamics: Using the pluriharmonic map structure to study dynamics of mapping class groups, automorphism actions, and geometric structures on moduli spaces.

Conclusion

The paper offers an expert-level exposition of harmonic maps from Kähler manifolds, blending analysis, differential geometry, and complex algebraic geometry. It meticulously derives the relationship between analytic properties of maps, algebraic classifications in Lie theory, and moduli-theoretic correspondences. The approach consolidates rigidity phenomena, regularity theory, and geometric representation theory, and establishes the analytical backbone of the nonabelian Hodge theory in the modern geometric landscape.