An equivalence (under hypotheses) between moduli of semisimple complex local systems (representations of the fundamental group) on a compact Kähler or smooth projective variety and moduli of polystable Higgs bundles with vanishing rational Chern classes, mediated by harmonic metrics and nonabelian Hodge theory.

Principle

Nonabelian Hodge theory translates between differential-topological data (flat connections or local systems) and algebro-geometric data (Higgs bundles with stability conditions) via a harmonic metric solving Hitchin–Simpson equations; stability and vanishing Chern classes pick out the appropriate objects for an equivalence.

Demonstration

On a smooth projective complex curve, Narasimhan–Seshadri and Hitchin–Simpson imply that irreducible unitary representations correspond to stable bundles with zero Higgs field, and more generally semisimple complex representations correspond to polystable Higgs bundles with vanishing Chern classes via the nonabelian Hodge correspondence.

Misapplication

Applying the correspondence without checking hypotheses (compact Kähler, stability, vanishing Chern classes) or assuming identical behavior on noncompact, singular, or wildly ramified settings; confusion between the abelian Hodge decomposition and the nonabelian correspondence is common.

Consequence

Provides deep links between algebraic geometry, differential geometry, and representation theory: moduli spaces of local systems and Higgs bundles correspond (often as real-analytic or complex-analytic spaces), enabling techniques like complex variations of Hodge structure, mirror symmetry heuristics, and geometric Langlands insights.

Reversal

The reverse translations (from Higgs bundles to local systems and back) are part of the equivalence but require solving non-linear PDEs (Hitchin equations) or applying the Riemann–Hilbert correspondence; in wild or irregular situations the naive reversal fails and must be replaced by irregular/nonlinear analogues.

Boundary

Requires compact Kähler or projective hypotheses, control of singularities, and stability/polystability conditions; variants exist for noncompact or irregular cases (parabolic, tame, wild) but these require additional data and hypotheses and are technically more delicate.

Semantic Tension

Near the Riemann–Hilbert correspondence and classical Hodge theory, the tension lies between linear abelian decompositions and intrinsically nonlinear moduli equivalences: Nonabelian Hodge is a nonlinear, metric-dependent equivalence rather than a purely algebraic identification.

Synthesis

The Nonabelian Hodge Correspondence is the nonlinear dictionary between flat/representation-theoretic and Higgs-theoretic worlds: under compactness and stability hypotheses, harmonic metrics realize an equivalence between semisimple local systems and polystable Higgs bundles with vanishing Chern classes, knitting together analysis, geometry, and topology.