Given any line bundle L of positive degree, on a compact Riemann surface, let $M_L^Λ$ be the moduli space of L-twisted Higgs pairs of rank 2 with fixed determinant isomorphic to $Λ$ and traceless Higgs field. We give a description of the singular fibre of the Hitchin map $H:M^L_Λ\to H^0(L^2)$, when the corresponding spectral curve has any singularity of type $A_{m-1}$. In particular, we prove directly that this fibre is connected.
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 …
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…
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 consider the moduli space of stable principal G-bundles over a compact Riemann surface C of genus >1, with G a reductive algebraic group. We explicitly construct a map F from the generic fibre of the Hitchin map to a generalized Prym variety associated to a suitable Galois covering of C. The map F has finite fibres. In case G=PGl(2) one can check that the generic fibre of F is a principal homogeneous space with respect to a product of 2d-2 copies of Z/2Z where d is the degree of the canonical bundle over C. However in case the Dynkin diagram of G does not contain components of type $B_{n}$ …
In this article we give a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the cohomology of Hitchin fibres for the endoscopy groups $H_κ$. Our proof avoids the Decomposition and Support Theorem, instead the argument is based on results for $p$-adic integration on coarse moduli spaces of Deligne-Mumford stacks. Along the way we establish a description of the inertia stack of the (anisotropic) moduli stack of $G$-Higgs bundles in terms of end…
We study the Hitchin map for $G_{\mathbb{R}}$-Higgs bundles on a smooth curve, where $G_{\mathbb{R}}$ is a quasi-split real form of a complex reductive algebraic group $G$. By looking at the moduli stack of regular $G_{\mathbb{R}}$-Higgs bundles, we prove it induces a banded gerbe structure on a slightly larger stack, whose band is given by sheaves of tori. This characterization yields a cocyclic description of the fibres of the corresponding Hitchin map by means of cameral data. According to this, fibres of the Hitchin map are categories of principal torus bundles on the cameral cover. The co…
We study mirror symmetry on the singular locus of the Hitchin system at two levels. Firstly, by covering it by (supports of) $(BBB)$-branes, corresponding to Higgs bundles reducing their structure group to the Levi subgroup of some parabolic subgroup $\mathrm{P}$, whose conjectural dual $(BAA)$-branes we describe. Heuristically speaking, the latter are given by Higgs bundles reducing their structure group to the unipotent radical of $\mathrm{P}$. Secondly, when $\mathrm{P}$ is a Borel subgroup, we are able to construct a family of hyperholomorphic bundles on the $(BBB)$-brane, and study the va…
We first demonstrate how duality for the fibres of the so-called Hitchin fibration works for the Langlands dual groups Sp(2m) and SO(2m+1). We then show that duality for G2 is implemented by an involution on the base space which takes one fibre to its dual. A formula for the natural cubic form is given and shown to be invariant under the involution.
In a recent paper \cite{3}, a semi-stable degeneration of moduli space of Higgs bundles on a curve has been constructed. In this paper, we show that there is a relative log-symplectic form on this degeneration, whose restriction to the generic fibre is the classical symplectic form discovered by Hitchin. We compute the Poisson ranks at every point and describe the symplectic foliation on the closed fibre. We also show that the closed fibre, which is a variety with normal crossing singularities, acquires a structure of an algebraically completely integrable system.
We classify singular fibres over general points of the discriminant locus of projective complex Lagrangian fibrations on 4-dimensional holomorphic symplectic manifolds. The singular fibre F is the following either one: F is isomorphic to the product of an elliptic curve and a Kodaira singular fibre up to finite unramified covering or F is a normal crossing variety consisting of several copies of a minimal elliptic ruled surface of which the dual graph is Dynkin diagram of type A_n, $\tilde{A_n}$, $\tilde{D_n}$ or D_n.
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.
We prove that the maximal singular fibres of elliptic K3 surfaces have type I_19 and I_14* unless the characteristic of the ground field is 2. In characteristic 2, the maximal singular fibres are I_18 and I_13*. The paper supplements work of Shioda, published in 2003 and 2005.
In this work we describe a construction of semistable fibrations over an elliptic curve with one unique singular fibre and we give effective examples using monodromy of curves.
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.
In this paper we study Hitchin system on singular curves. Some examples of such system were first considered by N. Nekrasov (hep-th/9503157), but our methods are different. We consider the curves which can be obtained from the projective line by gluing several points together or by taking cusp singularities. (More general cases of gluing subschemas will be considered in the next paper). It appears that on such curves all ingredients of Hitchin integrable system (moduli space of vector bundles, dualizing sheaf, Higgs field etc.) can be explicitly described, which may deserve independent interes…
Let $π:X\rightarrow\mathbb{P}^n$ be a (holomorphic) Lagrangian fibration that is very general in the moduli space of Lagrangian fibrations. We conjecture that the singular fibres in codimension one must be semistable degenerations of abelian varieties. We prove a partial result towards this conjecture, and describe an example that provides further evidence.
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 determine and list all possible configurations of singular fibres on rational elliptic surfaces in characteristic three. In total, we find that 267 distinct configurations exist. This result complements Miranda and Persson's classification in characteristic zero, and Lang's classification in characteristic two.
In this article, we consider singular equivariant arithmetic schemes whose generic fibres are smooth. For such schemes, we prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. This formula is an analog, in the arithmetic case, of the Lefschetz formula proved by R. W. Thomason. In particular, our result implies a fixed point formula which was conjectured by V. Maillot and D. Rössler.
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…
Let f be a hypersurface surface local singularity whose zero set has 1-dimensional singular locus. We develop an explicit procedure that provides the boundary of the Milnor fibre of f as an oriented plumbed 3-manifold. The method provides the characteristic polynomial of the algebraic monodromy as well. Moreover, for any analytic germ g such that the pair (f,g) is an isolated complete intersection singularity, the (multiplicity system of the) open book decomposition of the boundary with binding determined by g and pages determined by the argument of g is also computed. In order to do this, we …
Rational elliptic surfaces with six singular double fibres
Università di Roma Tor Vergata（罗马托尔维加塔大学）；Università di Bologna（博洛尼亚大学）；University of Pennsylvania（宾夕法尼亚大学）；Colorado State University（科罗拉多州立大学）；Università Roma Tre（罗马第三大学）；École Polytechnique Fédérale de Lausanne（洛桑联邦理工学院）
Let $\mathcal{G}$ be a parahoric group scheme over a complex projective curve $X$ of genus greater than one. Let $\mathrm{Bun}_{\mathcal{G}}$ denote the moduli stack of $\mathcal{G}$-torsors on $X$. We prove several results concerning the Hitchin map on $T^*\!\mathrm{Bun}_{\mathcal{G}}$. We first show that the parahoric analogue of the global nilpotent cone is isotropic and use this to prove that $\mathrm{Bun}_{\mathcal{G}}$ is "very good" in the sense of Beilinson-Drinfeld. We then prove that the parahoric Hitchin map is a Poisson map whose generic fibres are abelian varieties. Together, thes…
Let $C/M$ be a local universal family of smooth curves and $S/M$ be the family of moduli spaces of stable bundles with a fixed determinant on curves. In this paper, we find locally free sheaves $\Cal G_E$, $S(\Cal G_E)$ on $X=C\times_M S$ such that their first direct images are isomorphic to sheaves $\Cal D^{\le 1}_{S/M}(Θ)$, $\Cal D^{\le 1}_S(Θ)$ of 1-st order differential operators on the theta line bundle over $S$. As an application, we give a new construction of Hitchin's projective connection (or KZ-connection). Our main results have clearly an extension to some stable singular curves. Th…
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. …
Using Lagrangian Floer theory, we study the tropical geometry of K3 surfaces with general singular fibres. In particular, we give the local models for the type $I_n$, $II$, $III$ and $IV$ singular fibres in the Kodaira's classification and generalize the correspondence theorem between open Gromov-Witten invariants/tropical discs counting to these cases.
Given a nonconstant polynomial map over the reals having an isolated critical point in the origin and with zero locus of positive dimension, we establish a formula for the singular homology groups of a Milnor fibre relative to its boundary.
We study the topology of a line singularity, which is a complex hypersurface with non-isolated singularity given by a complex line. We describe the degeneration of its Milnor fibre to the singular hypersurface by means of a pair of polyhedra, one in the Milnor fibre and other in the singular fibre, which are deformation retracts of the corresponding fibres; and a continuous map taking the Milnor fibre to the singular fibre and the first polyhedron to the second one, which restrict to a homeomorphism outside the polyhedra. In the same sense, we also study the topology of a complex isolated sing…
In this paper we continue our studies of Hitchin systems on singular curves (started in hep-th/0303069). We consider a rather general class of curves which can be obtained from the projective line by gluing two subschemes together (i.e. their affine part is: Spec $\{f \in \CC[z]: f(A(\ep))=f((B(\ep)); \ep^N=0 \}$, where $A(\ep), B(\ep)$ are arbitrary polynomials) . The most simple examples are the generalized cusp curves which are projectivizations of Spec $\{f \in \CC[z]: f'(0)=f''(0)=...f^{N-1}(0)=0 \}$). We describe the geometry of such curves; in particular we calculate their genus (for so…
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
We explicitly determine the elliptic K3 surfaces with a maximal singular fibre. If the characteristic of the ground field is different from 2, for each of the two possible maximal fibre types, $I_{19}$ and $I^*_{14}$, the surface is unique. In characteristic 2 the maximal fibre types are $I_{18}$ and $I^*_{13}$, and there exist two (resp. one) one-parameter families of such surfaces.
We determine the image of the (strongly) parabolic Hitchin map for all parabolics in classical groups and $G_2$. Surprisingly, we find that the image is isomorphic to an affine space in all cases, except for certain "bad parabolics" in type $D$, where the image can be singular.
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…
In this paper, the Euler characteristic formula for projective logarithmic minimal degenerations of surfaces with Kodaira dimension zero over a 1-dimensional complex disk is proved under a reasonable assumption and as its application, the singularity of logarithmic minimal degenerations are determined in the abelian or hyperelliptic case. By globalizing this local analysis of singular fibres via generalized canonical bundle formulae due to Fujino-Mori, we bound the number of singular fibres of abelian fibred Calabi-Yau threefolds from above,which was previously done by Oguiso in the potentiall…
We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type $\operatorname{SL}_n$ and $\operatorname{PGL}_n$. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interprets canonical gerbes present on these moduli spaces as characters on the Hitchin fibres using Tate duality. Furthermore we prove for $d$ coprime to $n$, that the number of rank $n$ Higgs bundles of deg…
T. Mochizuki constructs a theory of variations of wild Hodge structure for which the underlying flat connection can have irregular singularities at infinity. He extends in this way the correspondence of Corlette and Simpson between irreducible flat bundles and stables Higgs bundles, taking into account objects with irregular singularities. As an application, he proves a conjecture of Kashiwara concerning a generalization of the Hard Lefschetz theorem when the coefficients are the de Rham complex of a simple holonomic D-module on smooth complex projective variety.
We study the non-klt locus of singularities of pairs. We show that given a pair $(X,B)$ and a projective morphism $X\to Z$ with connected fibres such that $-(K_X+B)$ is nef over $Z$, the non-klt locus of $(X,B)$ has at most two connected components near each fibre of $X\to Z$. This was conjectured by Hacon and Han. In a different direction we answer a question of Mark Gross on connectedness of the non-klt loci of certain pairs. This is motivated by constructions in Mirror Symmetry.
We study the monodromy of vanishing cycles for map-germs $f:(C^{2n},0) \to (\CM^k,0)$ whose components are in involution. Although the singular fibres of such maps have non-isolated singularities, it is shown that the regular fibres are $2(n-k)$-connected and that the vanishing homology group of rank $2(n-k)+1$ is freely generated by the vanishing cycles. As corollaries, we get that the multiplicity of the discriminant is equal to the dimension of the vanishing homology group of rank $2(n-k)+1$ and that the Variation operator is an isomorphism. These results are proved under two assumptions: 1…
We consider families of Calabi-Yau n-folds containing singular fibres and study relations between the occurring singularity structure and the decomposition of the local Weil zeta-function. For 1-parameter families, this provides new insights into the combinatorial structure of the strong equivalence classes arising in the Candelas - de la Ossa - Rodrigues-Villegas approach for computing the zeta-function. This can also be extended to families with more parameters as is explored in several examples, where the singularity analysis provides correct predictions for the changes of degree in the dec…
We prove an algebraic formula for the Euler characteristic of the Milnor fibres of functions with critical locus a smooth curve on a space which is a weighted homogeneous complete intersection with isolated singularity.
In this article we compute the motive associated to a cellular fibration $Γ$ over a smooth scheme $X$ inside Veovodsky's motivic categories. We implement this result to study the motive associated to a $G$-bundle, and additionally to study motives of varieties admitting a resolution of singularities by a tower of cellular fibrations (e.g. affine Schubert varieties in a twisted affine flag variety).
This thesis is dedicated to the study of certain loci of the Higgs bundle moduli space on a compact Riemann surface. Motivated by mirror symmetry, we give a detailed description of the fibres of the $G$-Hitchin fibration containing $G_0$-Higgs bundles for the real forms $G_0 = SU^*(2m)$, $SO^*(4m)$ and $Sp(m,m)$ of $G = SL(2m,\mathbb{C})$, $SO(4m,\mathbb{C})$ and $Sp(4m,\mathbb{C})$, respectively. The spectral curves associated to these fibres are examples of ribbons and our description is done in two different ways, one in term of objects on the reduced scheme associated to the spectral curve…
This paper deals with moduli spaces of framed principal bundles with connections with irregular singularities over a compact Riemann surface. These spaces have been constructed by Boalch by means of an infinite-dimensional symplectic reduction. It is proved that the symplectic structure induced from the Atiyah--Bott form agrees with the one given in terms of hypercohomology. The main results of this paper adapt work of Krichever and of Hurtubise to give an interpretation of some Hitchin Hamiltonians as yielding Hamiltonian vector fields on moduli spaces of irregular connections that arise from…
Let f and g be holomorphic function-germs vanishing at the origin of a complex analytic germ of dimension three. Suppose that they have no common irreducible component and that the real analytic map-germ given by the multiplication of f by the conjugate of g has an isolated critical value at 0. We give necessary and sufficient conditions for the real analytic map-germ to have a Milnor fibration and we prove that in this case the boundary of its Milnor fibre is a Waldhausen manifold. As an intermediate milestone we describe geometrically the Milnor fibre of map-germs given by the multiplication…
Let $X\to¶^n$ be an irreducible holomorphic symplectic manifold of dimension $2n$ fibred over $¶^n$. Matsushita proved that the generic fibre is a holomorphic Lagrangian abelian variety. In this article we study the discriminant locus $Δ\subset¶^n$ parametrizing singular fibres. Our main result is a formula for the degree of $Δ$, leading to bounds on the degree when $X$ is a four-fold.
The notion of a universal building associated with a point in the Hitchin base is introduced. This is a building equipped with a harmonic map from a Riemann surface that is initial among harmonic maps which induce the given cameral cover of the Riemann surface. In the rank one case, the universal building is the leaf space of the quadratic differential defining the point in the Hitchin base. The main conjectures of this paper are: (1) the universal building always exists; (2) the harmonic map to the universal building controls the asymptotics of the Riemann-Hilbert correspondence and the non-a…
We describe the minimal number of critical points and the minimal number $s$ of singular fibres for a non isotrivial fibration of a surface $S$ over a curve $B$ of genus $1$, constructing a fibration with $s=1$ and irreducible singular fibre with $4$ nodes. Then we consider the associated factorizations in the mapping class group and in the symplectic group. We describe explicitly which products of transvections on homologically independent and disjoint circles are a commutator in the Symplectic group $Sp (2g, \mathbb{Z})$.
Let $π:X\to \mathbb{P}^1_{\mathbb{Q}}$ be a non-singular conic bundle over $\mathbb{Q}$ having $n$ non-split fibres and denote by $N(π,B)$ the cardinality of the fibres of Weil height at most $B$ that possess a rational point. Serre showed in $1990$ that a direct application of the large sieve yields $$N(π,B)\ll B^2(\log B)^{-n/2}$$ and raised the problem of proving that this is the true order of magnitude of $N(π,B)$ under the necessary assumption that there exists at least one smooth fibre with a rational point. We solve this problem for all non-singular conic bundles of rank at most $3$. Ou…
