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 for $\mathcal{M}(r,d,α)$.
We describe certain Lagrangian fibrations by Prym varieties on holomorphic symplectic varieties that deform to compactifications of Sp-Hitchin systems.
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.
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.
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 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…
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.
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.
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.
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 study hyperkahler metrics and hyperholomorphic connections of Hitchin's moduli spaces after Gaiotto, Moore and Neitzke. Their construction via the twistor technique produces intricate wall crossing behaviors. For certain four dimensional Hitchin's moduli spaces local models and degeneration to local models near singular fibers of the Hitchin's fibration are understood.
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 $\…
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…
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…
An effective family of spectral curves appearing in Hitchin fibrations is determined. Using this family the moduli spaces of stable Higgs bundles on an algebraic curve are embedded into the Sato Grassmannian. We show that the Hitchin integrable system, the natural algebraically completely integrable Hamiltonian system defined on the Higgs moduli space, coincides with the KP equations. It is shown that the Serre duality on these moduli spaces corresponds to the formal adjoint of pseudo-differential operators acting on the Grassmannian. From this fact we then identify the Hitchin integrable syst…
We review the theory of quiver bundles over a Kähler manifold, and then introduce the concept of generalized quiver bundles for an arbitrary reductive group G. We first study the case when G=O(V) or Sp(V), interpreting them as orthogonal (resp. symplectic) bundle representations of the symmetric quivers introduced by Derksen-Weyman. We also study supermixed quivers, which simultaneously involve both orthogonal and symplectic symmetries. Finally, we discuss Hitchin-Kobayashi correspondences for these objects.
In the previous paper \cite{Goto_2017}, the notion of an Einstein-Hermitian metric of a generalized holomorphic vector bundle over a generalized Kahler manifold of symplectic type was introduced from the moment map framework. In this paper we establish a Kobayashi-Hitchin correspondence, that is, the equivalence of the existence of an Einstein-Hermitian metric and $ψ$-polystability of a generalized holomorphic vector bundle over a compact generalized Kahler manifold of symplectic type. Poisson modules provide intriguing generalized holomorphic vector bundles and we obtain $ψ$-stable Poisson mo…
We define and parametrise so-called $\mathfrak{sl}(2)$-type fibres of the $\mathsf{Sp}(2n,\mathbb{C})$- and $\mathsf{SO}(2n+1,\mathbb{C})$-Hitchin system. These are (singular) Hitchin fibres, where the spectral curve induces a two-sheeted covering of a second Riemann surface $Y$. This identifies the $\mathfrak{sl}(2)$-type Hitchin fibres with fibres of an $\mathsf{SL}(2,\mathbb{C})$- respectively $\mathsf{PSL}(2,\mathbb{C})$-Hitchin map on $Y$. We give a stratification of these singular spaces by semi-abelian spectral data, study their irreducible components and obtain a global description of …
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.
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
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.
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…
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 compute, with Symplectic Field Theory techniques, the Gromov-Witten theory of the complex projective line with orbifold points. A natural subclass of these orbifolds, the ones with polynomial quantum cohomology, gives rise to a family of (polynomial) Frobenius manifolds and integrable systems of Hamiltonian PDEs, which extend the (dispersionless) bigraded Toda hierarchy. We then define a Frobenius structure on the spaces of polynomials in three complex variables of the form F(x,y,z)= -xyz+P_1(x)+P_2(y)+P_3(z) which contains as special cases the ones constructed on the space of Laurent polyn…
In this paper we complete the classification of the elliptic fibrations on K3 surfaces which admit a non-symplectic involution acting trivially on the Néron--Severi group. We use the geometric method introduced by Oguiso and moreover we provide a geometric construction of the fibrations classified. If the non-symplectic involution fixes at least one curve of genus 1, we relate all the elliptic fibrations on the K3 surface with either elliptic fibrations or generalized conic bundles on rational elliptic surfaces. This description allows us to write the Weierstrass equations of the elliptic fibr…
A projective symplectic variety $\mathcal{P}$ of dimension 6, with only finite quotient singularities, $π(\mathcal{P})=0$ and $h^{(2,0)}(\mathcal{P}_{smooth})=1$, is described as a relative compactified Prym variety of a family of genus 4 curves with involution. It is a Lagrangian fibration associated to a K3 surface double cover of a generic cubic surface. It has no symplectic desingularization.
We investigate the stability of fibers of coisotropic fibrations on holomorphic symplectic manifolds and generalize Voisin's result on Lagrangian subvarieties to this framework. We present applications to the moduli space of holomorphic symplectic manifolds which are deformations equivalent to Hilbert schemes of points on a $K3$ surface or to generalized Kummer manifolds.
In this paper we give an explicit construction of a symplectic Lefschetz fibration whose total space is a smooth compact four dimensional manifold with a prescribed fundamental group. We also study the numerical properties of the sections in symplectic Lefschetz fibrations and their relation to the structure of the monodromy group.
Lefschetz fibration is the symplectic analogue of stable holomorphic fibration in complex geometry. A 4-dimensional stable holomorphic fibration satisfies the famous Parshin-Arakelov inequality. In this note we present an analogous inequality for a 4-dimensional Lefschetz fibration.
We show that hyperelliptic symplectic Lefschetz fibrations are symplectically birational to two-fold covers of rational ruled surfaces, branched in a symplectically embedded surface. This reduces the classification of genus 2 fibrations to the classification of certain symplectic submanifolds in rational ruled surfaces.
Given a projective irreducible symplectic manifold $M$ of dimension $2n$, a projective manifold $X$ and a surjective holomorphic map $f:M \to X$ with connected fibers of positive dimension, we prove that $X$ is biholomorphic to the projective space of dimension $n$. The proof is obtained by exploiting two geometric structures at general points of $X$: the affine structure arising from the action variables of the Lagrangian fibration $f$ and the structure defined by the variety of minimal rational tangents on the Fano manifold $X$.
In this article we construct Lagrangian torus fibrations for general quintic \cy hypersurfaces near the large complex limit and their mirror manifolds using gradient flow method. Then we prove the Strominger-Yau-Zaslow mirror conjecture for this class of \cy manifolds in symplectic category.
Let $Y$ be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold $X$ of dimension $2n$. The characteristic foliation $F$ is the kernel of the symplectic form restricted to $Y$. Assume that $X$ is equipped with a Lagrangian fibration $π:X\to B$ and $Y=π^{-1}D$, where $D$ is a hypersurface in $B$. It is easy to see that the leaves of $F$ are contained in the fibers of $π$. We prove that a very general leaf is Zariski dense in a fiber of $π$.
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 prove upper bounds for the number of critical points in semistable symplectic Lefschetz fibrations. We also obtain a new lower bound for the number of nonseparting vanishing cycles in Lefschetz pencils, and reprove the known lower bounds for the commutator lengths of Dehn twists.
Hitchin in [Duke Math. J. 54 (1), 91-114 (1987)] introduced a proper morphism from the moduli space of stable $G$-Higgs bundles ($G=\mathrm{GL}(n,\mathbb{C}),\mathrm{Sp}(2m,\mathbb{C})$ and $\mathrm{SO}(n,\mathbb{C})$) over a curve to a vector space of invariant polynomials and he described the generic fibers of that morphism. In this paper, we first describe the generic Hitchin fibers for the moduli space of stable parabolic projective symplectic/orthogonal Higgs bundles without fixing the determinant. We also describe the generic fibers when the determinant is trivial.
