Hitchin fibration

Hitchin fibration
Name	Hitchin fibration
Field	Algebraic geometry, Differential geometry, Mathematical physics
Introduced	1987
Founder	Nigel Hitchin

Hitchin fibration The Hitchin fibration is a central geometric construction introduced by Nigel Hitchin that organizes solutions to gauge-theoretic equations on a compact Riemann surface and links to deep structures in Pierre Deligne-inspired algebraic geometry, Edward Witten's quantum field theory, and the geometric Langlands program. It provides a map from a moduli space of Higgs bundles to an affine space of characteristic polynomials, producing an integrable system studied in contexts from the Atiyah–Bott fixed-point theorems to connections with Mirror symmetry and S-duality in N=4 supersymmetric Yang–Mills theory.

Introduction

The construction arises in the study of solutions to the self-duality equations on a compact Riemann surface, drawing on techniques from the work of Simon Donaldson, Raoul Bott, and Michael Atiyah and influenced by the moduli theory developed by David Mumford and Pierre Deligne. It plays a pivotal role in the geometric Langlands program as articulated by Edward Frenkel and Alexander Beilinson, and connects to the physical dualities examined by Anton Kapustin and Edward Witten. The fibration exposes rich structures related to integrable systems studied by Liouville and later by researchers in symplectic geometry such as Alan Weinstein.

Construction and definition

Given a compact complex curve C (often a smooth projective algebraic curve studied by Alexander Grothendieck and Jean-Pierre Serre), fix a complex reductive group G such as GL(n), SL(n), PGL(n), SO(n), or Sp(2n). Consider the moduli space M of semistable G-Higgs bundles on C constructed using Geometric Invariant Theory in the style of David Mumford and Frances Kirwan. The Hitchin map sends a Higgs field φ to its characteristic coefficients, landing in the Hitchin base A, an affine space parametrized by sections of powers of the canonical bundle K_C as in the work of Serre duality and Riemann–Roch theorem. This produces a proper algebraic map M → A, whose generic fibers are principally polarized abelian varieties related to Prym varieties studied by Friedrich Prym and moduli of line bundles as in classical Jacobian theory.

Geometric properties and fibers

The Hitchin fibration is an algebraically completely integrable system with respect to a holomorphic symplectic form first analyzed by Nigel Hitchin and connected to the hyper-Kähler metrics studied by Carlos Simpson and Shing-Tung Yau. Generic (regular) fibers are abelian varieties isogenous to Jacobians or Prym varieties associated to spectral curves defined inside the total space of K_C, with spectral data influenced by constructions of Oscar Zariski and Kunihiko Kodaira. Singular fibers reflect cameral cover degenerations and nilpotent orbits studied in the classification of Elie Cartan and Victor Kac, and their topology relates to perverse sheaves as in the work of Masaki Kashiwara and Pierre Deligne.

Relation to Higgs bundles and moduli spaces

Higgs bundles introduced by Nigel Hitchin and further developed by Carlos Simpson and Oscar García-Prada yield a moduli space M that admits complex analytic, algebraic, and hyper-Kähler structures studied by Wilfried Schmid and Karen Uhlenbeck. Nonabelian Hodge theory, pioneered by Carlos Simpson and building on results by Corlette and Donaldson, produces equivalences between M, Betti moduli spaces of representations of the fundamental group π1(C) as in William Thurston's work on 3-manifolds, and de Rham moduli spaces of flat connections studied by André Weil. The Hitchin fibration organizes these correspondences: the spectral correspondence relates Higgs bundles to torsion-free sheaves on spectral curves, echoing constructions in the work of Alexander Grothendieck and Jean-Louis Verdier.

Applications in representation theory and Langlands program

In representation theory, the Hitchin fibration provides tools for studying character varieties and automorphic sheaves central to the geometric Langlands program developed by Pierre Deligne, Alexander Beilinson, and Edward Frenkel. The topology of the fibration underlies Ngô Bảo Châu’s proof of the Fundamental Lemma, which built on the geometry of the Hitchin fibration and earned Ngô Bảo Châu the Fields Medal. The fibration informs the construction of Hecke eigensheaves, perverse sheaves, and spectral decompositions invoked by Deligne–Lusztig theory and relates to categorical dualities proposed by Maxim Kontsevich and Alexander Beilinson within Mirror symmetry and categorical representation theory.

Examples and explicit cases

Classical explicit cases include G = GL(1), where the moduli reduces to the Jacobian of C and the Hitchin map is trivialized by Abelian integrals studied by Niels Abel and Carl Gustav Jacob Jacobi. For G = GL(2) or SL(2), the spectral curve is a double cover of C and fibers are Prym varieties linked to works of Riemann and Georg Weierstrass. Higher-rank examples for G2, F4, E6, E7, and E8 exceptional groups connect to work by Victor Kac and representation theory of affine Lie algebras as in studies by I. M. Gelfand and Boris Feigin. Real forms and parabolic variants relate to harmonic bundles studied by Carlos Simpson and to boundary conditions in gauge-theory setups analyzed by Edward Witten and Anton Kapustin.

Category:Algebraic geometry