In his proof of the fundamental lemma, Ngô established the product formula for the Hitchin fibration over the anisotropic locus. One expects this formula over the larger generically regular semisimple locus, and we confirm this by deducing the relevant vanishing statement for torsors over loop groups $R((t))$ from a general formula for $\mathrm{Pic}(R((t)))$. In the build up to the product formula, we present general algebraization, approximation, and invariance under Henselian pairs results for torsors, give short new proofs for the Elkik approximation theorem and the Chevalley isomorphism $\mathfrak{g}//G \cong \mathfrak{t}/W$, and improve results on the geometry of the Chevalley morphism $\mathfrak{g} \rightarrow \mathfrak{g}//G$.
The main tool in Ngô Bao Châu's proof of the Langlands-Shelstad fundamental lemma, is a theorem on the support of the relative cohomology of the elliptic part of the Hitchin fibration. For GL(n) and a divisor of degree >2g-2, the theorem says that the relative cohomology is completely determined by its restriction to any dense open subset of the base of the Hitchin fibration. In this note we would like to present in this particular case, our extension of that theorem to the whole Hitchin fibration, including the global nilpotent cone.
We propose a geometric interpretation of the theory of elliptic endoscopy, due to Langlands and Kottwitz, in terms of the Hitchin fibration. As applications, we prove a global analog of a purity conjecture, due to Goresky, Kottwitz and MacPherson. For unitary groups, this global purity statement has been used, in a joint work with G. Laumon, to prove the fundamental lemma over local fields of equal characteristics.
We describe certain Lagrangian fibrations by Prym varieties on holomorphic symplectic varieties that deform to compactifications of Sp-Hitchin systems.
In this article, we construct the Hitchin fibration for groups following the scheme outlined by Frenkel-Ngo in the case of SL_{2}. This construction uses as a decisive tool the Vinberg's semigroup. The total space of Hitchin is obtained by taking the fiber product of the Hecke stack with the diagonal of the stack of G-bundles $Bun_{G}$; we prove a transversality statement between the intersection complex of the Hecke stack and the diagonal of $Bun_{G}$, over a sufficiently big open subset, in order to get local applications, such that the fundamental lemma for the spherical Hecke algebra. Alon…
We study the topology of Hitchin fibrations via abelian surfaces. We establish the P=W conjecture for genus $2$ curves and arbitrary rank. In higher genus and arbitrary rank, we prove that P=W holds for the subalgebra of cohomology generated by even tautological classes. Furthermore, we show that all tautological generators lie in the correct pieces of the perverse filtration as predicted by the P=W conjecture. In combination with recent work of Mellit, this reduces the full conjecture to the multiplicativity of the perverse filtration. Our main technique is to study the Hitchin fibration as a…
We prove that the perverse Leray filtration for the Hitchin morphism is locally constant in families, thus providing some evidence towards the validity of the $P=W$ conjecture due to de Cataldo, Hausel and Migliorini in non Abelian Hodge theory.
In this paper we give a complete description of the Hitchin fibration on all 2-dimensional moduli spaces of rank 2 irregular Higgs bundles with two poles on the projective line. We describe the dependence of the singular fibers of the fibration on the eigenvalues of the Higgs fields, and describe the corresponding motivic wall-crossing phenomenon in the parameter space of parabolic weights.
We calculate the monodromy action on the mod 2 cohomology for SL(2,C) Hitchin systems and give an application of our results in terms of the moduli space of semistable SL(2,R) Higgs bundles.
We are interested in studying the variation of the Hitchin fibration in moduli spaces of parabolic Higgs bundles, under the action of a ramified covering. Given a degree two map $π$ : Y $\rightarrow$ X between compact Riemann surfaces, we may pull back a Higgs bundle from X to Y , the lifted Higgs bundle tends to have many apparent singularities, then we perform a suitable birational transformation in order to eliminate them. This correspondence preserves the Hitchin fibrations and then its restriction to a general fiber gives a map between Abelian varieties. The aim of this paper is to descri…
We analyze and completely describe the four cases when the Hitchin fibration on a $2$-dimensional moduli space of irregular Higgs bundles over $\mathbb{C}P^{1}$ has a single singular fiber. The case when the fiber at infinity is of type $I_0^*$ is further analyzed, and we give constructions of all the possible configurations of singular curves inelliptic fibrations having this type of singular fiber at infinity.
We compute the supports of the perverse cohomology sheaves of the Hitchin fibration for $GL_n$ over the locus of reduced spectral curves. In contrast to the case of meromorphic Higgs fields we find additional supports at the loci of reducible spectral curves. Their contribution to the global cohomology is governed by a finite twist of Hitchin fibrations for Levi subgroups. The corresponding summands give non-trivial contributions to the cohomology of the moduli spaces for every $n \geq 3$. A key ingredient is a restriction result for intersection cohomology sheaves that allows us to compare th…
We prove that the direct image complex for the $D$-twisted $SL_n$ Hitchin fibration is determined by its restriction to the elliptic locus, where the spectral curves are integral. The analogous result for $GL_n$ is due to P.-H. Chaudouard and G. Laumon. Along the way, we prove that the Tate module of the relative Prym group scheme is polarizable, and we also prove $δ$-regularity results for some auxiliary weak abelian fibrations.
In this paper, we study rational sections of the relative Picard scheme of a linear system on a smooth projective variety. We prove that if the linear system is basepoint-free and the locus of non-integral divisors has codimension at least two, then all rational sections of the relative Picard scheme come from restrictions of line bundles on the variety. As a consequence, we describe the group of sections of the Hitchin fibration for moduli spaces of Higgs bundles on curves.
We compute the monodromy of the Hitchin fibration for the moduli space of $L$-twisted $SL(n,\mathbb{C})$ and $GL(n,\mathbb{C})$-Higgs bundles for any $n$, on a compact Riemann surface of genus $g>1$. We require the line bundle $L$ to either be the canonical bundle or satisfy $deg(L) > 2g-2$. The monodromy group is generated by Picard-Lefschetz transformations associated to vanishing cycles of singular spectral curves. We construct such vanishing cycles explicitly and use this to show that the $SL(n,\mathbb{C})$ monodromy group is a {\em skew-symmetric vanishing lattice} in the sense of Janssen…
We prove that the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles on a smooth projective curve have the same (stringy) class in the Grothendieck ring of rational Chow motives. On the level of Hodge numbers this was conjectured by Hausel and Thaddeus, and recently proven by Groechenig, Ziegler and the second author. To adapt their argument, which relies on p-adic integration, we use a version of motivic integration with values in rational Chow motives and the geometry of Néron models to evaluate such integrals on Hitchin fibers.
Let $X$ be a compact Riemann surface of genus $g \geq 2$, and let $D \subset X$ be a fixed finite subset. Let $\mathcal{M}(r,d,α)$ denote the moduli space of stable parabolic $G$-bundles (where $G$ is a complex orthogonal or symplectic group) of rank $r$, degree $d$ and weight type $α$ over $X$. Hitchin discovered that the cotangent bundle of the moduli space of stable bundles on an algebraic curve is an algebraically completely integrable system fibered, over a space of invariant polynomials, either by a Jacobian or a Prym variety of spectral curves. In this paper we study the Hitchin fibers …
We generalize the topological recursion of Eynard-Orantin (2007) to the family of spectral curves of Hitchin fibrations. A spectral curve in the topological recursion, which is defined to be a complex plane curve, is replaced with a generic curve in the cotangent bundle $T^*C$ of an arbitrary smooth base curve $C$. We then prove that these spectral curves are quantizable, using the new formalism. More precisely, we construct the canonical generators of the formal $\hbar$-deformation family of $D$-modules over an arbitrary projective algebraic curve $C$ of genus greater than $1$, from the geome…
In this paper, we study the cohomology of the truncated Hitchin fibration, which was introduced in a previous paper. We extend Ngô's main theorems on the cohomology of the elliptic part of the Hitchin fibration. As a consequence, we get a proof of Arthur's weighted fundamental lemma
Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which we call degenerate abelian schemes) whose generic fiber is an abelian variety, while special fibers are singular. Our main result provides a fully faithful functor from a twist of the derived category of Pic$^τ$(X/B) to the derived category of X. Here Pic$^τ$(X/B) is the algebraic space classifying fiberwise numerically trivial line bundles. Next, we show t…
We propose a generalization of Springer representations to the context of groups over a global function field. The global counterpart of the Grothendieck simultaneous resolution is the parabolic Hitchin fibration. We construct an action of the affine Weyl group on the direct image complex of the parabolic Hitchin fibration. In particular, we get representations of the affine Weyl group on the cohomology of parabolic Hitchin fibers, providing the first step towards a global Springer theory.
This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ngô Bao Châu's proof of the Langlands-Shelstad fundamental lemma. Ngô's approach is based on a study of the elliptic part of the Hichin fibration. The total space of this fibration is the algebraic stack of Hitchin bundles and its base space is the affine space of "characteristic polynomials". Over the elliptic set, the Hitchin fibration is proper and the number of points of its fibers over a finite field can be expressed in terms of orbital integrals. In this paper, we study the Hitchin fi…
We show that the Hitchin integrable system for a simple complex Lie group $G$ is dual to the Hitchin system for the Langlands dual group $\lan{G}$. In particular, the general fiber of the connected component $\Higgs_0$ of the Hitchin system for $G$ is an abelian variety which is dual to the corresponding fiber of the connected component of the Hitchin system for $\lan{G}$. The non-neutral connected components $\Higgs_α$ form torsors over $\Higgs_0$. We show that their duals are gerbes over $\Higgs_0$ which are induced by the gerbe of $G$-Higgs bundles $\gHiggs$. More generally, we establish a …
In this paper, we talk about parahoric Hitchin systems over smooth projective curves with structure group a semisimple simply connected group. We describe the geometry of generic fibers of parahoric Hitchin fibrations using root stacks. We work over an algebraically closed field with a mild assumption of the characteristic. All of these can be treated as a generalization of GLn case in [SWW19]
We study the monodromy of the Hitchin fibration for moduli spaces of parabolic G-Higgs bundles in the cases when G=SL(2,R), GL(2,R) and PGL(2,R) A calculation of the orbits of the monodromy with Z2-coefficients provides an exact count of the components of the moduli spaces for these groups.
We describe spectral data for singular fibres of the $\mathsf{SL}(2,\mathbb{C})$-Hitchin fibration with irreducible and reduced spectral curve. Using Hecke transformations we give a stratification of these singular spaces by fibre bundles over Prym varieties. By analysing the parameter spaces of Hecke transformations this describes the singular Hitchin fibres as compactifications of abelian group bundles over abelian torsors. We prove that a large class of singular fibres are themselves fibre bundles over Prym varieties. As applications we study irreducible components of singular Hitchin fibre…
Let $X$ be a compact Kaehler manifold and $E\to X$ a principal $K$ bundle, where $K$ is a compact connected Lie group. Let ${\cal A}^{1,1}$ be the set of connections on $E$ whose curvature lies in $Ω^{1,1}(E\times_{Ad} {\frak k})$, where ${\frak k}$ is the Lie algebra of $K$. Endow $\frak k$ with a nondegenerate biinvariant bilinear pairing. This allows to identify $\{\frak k}\simeq{\frak k}^*$. Let $F$ be a Kaehler left $K$-manifold and suppose that there exists a moment map $μ$ for the action of $K$ on $F$. Let ${\cal S}=Γ(E\times_K F)$. In this paper we study the equation $$ΛF_A+μ(Φ)=c$$ fo…
Any irreducible Dynkin diagram $Δ$ is obtained from an irreducible Dynkin diagram $Δ_h$ of type $\mathrm{ADE}$ by folding via graph automorphisms. For any simple complex Lie group $G$ with Dynkin diagram $Δ$ and compact Riemann surface $Σ$, we give a Lie-theoretic construction of families of quasi-projective Calabi-Yau threefolds together with an action of graph automorphisms over the Hitchin base associated to the pair $(Σ, G)$ . These give rise to Calabi-Yau orbifolds over the same base. Their intermediate Jacobian fibration, constructed in terms of equivariant cohomology, is isomorphic to t…
We study the locus of the moduli space of Higgs bundles on a curve given by those Higgs bundles obtained by pushforward under an unramified cover. We equip these loci with a hyperholomorphic bundle so that they can be viewed as BBB-branes, and we introduce corresponding BAA-branes which can be described via Hecke modifications. We then show how these branes are naturally dual via explicit Fourier--Mukai transform, where we recall that the structure group $\mathrm{GL}(n,\mathbb{C})$ is Langlands self dual. It is noteworthy that these branes lie over the singular locus of the Hitchin fibration. …
We define and study spectral data associated to U(m,m)-Higgs bundles through the Hitchin fibration. We give a new interpretation of the topological invariants involved, as well as a geometric description of the moduli space.
We study topologically trivial $G$-Higgs bundles over an elliptic curve $X$ when the structure group $G$ is a connected real form of a complex semisimple Lie group $G^{\mathbb{C}}$. We achieve a description of their (reduced) moduli space, the associated Hitchin fibration and the finite morphism to the moduli space of $G^{\mathbb{C}}$-Higgs bundles.
We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalization of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.
Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of G. In this paper we prove the Langlands fundamental lemma in the particular case where F is a finite extension of F_p((t)), G is a unitary group and p>rank(G). Waldspurger has shown that this particular case implies the Langlands fundamental lemma for unitary groups of rank <p when F is any finite extension of Q_p. We follow in part a strategy initiated by …
In this paper we study $G$-Higgs bundles over an elliptic curve when the structure group $G$ is a classical complex reductive Lie group. Modifying the notion of family, we define a new moduli problem for the classification of semistable $G$-Higgs bundles of a given topological type over an elliptic curve and we give an explicit description of the associated moduli space as a finite quotient of a product of copies of the cotangent bundle of the elliptic curve. We construct a bijective morphism from this new moduli space to the usual moduli space of semistable $G$-Higgs bundles, proving that the…
