We give an algebro-geometric construction of the Hitchin connection, valid also in positive characteristic (with a few exceptions). A key ingredient is a substitute for the Narasimhan-Atiyah-Bott Kähler form that realizes the Chern class of the determinant-of-cohomology line bundle on the moduli space of bundles on a curve. As replacement we use an explicit realisation of the Atiyah class of this line bundle, based on the theory of the trace complex due to Beilinson-Schechtman and Bloch-Esnault.
For any genus g > 1 we give an example of a family of smooth complex projective curves of genus g such that the image of the monodromy representation of the Hitchin connection on the sheaf of generalized SL(2)-theta functions of level l different from 1,2,4 and 8 contains an element of infinite order.
The main aim of this paper is to develop general algebraic and cohomological tools for the study of the local geometry of moduli and parameter spaces in Algebraic Geometry, culminating in the so-called Hitchin (or KZ) (projective) connection over the Moduli of curves and the proof of its flatness. Among other things, we notably give a 'modular' (i.e. in terms of the modular problem) construction of the differential operators- of any order- acting on (general)modular vector bundles, and in particular for the Lie algebra of vector fields on a (general) Moduli space, with its natural action on fu…
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…
In this paper, we first prove the parabolic Beauvile-Narasimhan-Ramanan correspondence over an arbitrary field which generalizes the corresponding results over algebraically closed fields in [SWW22]. We use the correspondence and the p-adic integration methods developed by Groechenig- Wyss-Ziegler [GWZ20b] to prove the topological mirror symmetry for parabolic Hitchin systems on curves with arbitrary parabolic structures.
We give an expression for the pull back of the Hitchin connection from the moduli space of genus two curves to a ten-fold covering of a Teichmüller curve discovered by Veech. We then give an expression, in terms of iterated integrals, for the monodromy representation of this connection. As a corollary we obtain quantum representations of infinitely many pseudo-Anosov elements in the genus two mapping class group.
It is shown that the map from the Jacobian of the spectral curve to the moduli of stable bundles of rank 2 is generically simply branched along an irreducible divisor. This observation falsifies the key step in the "abelianization of the SU(2) WZW connection" presented in a recent paper [Yoshida, Annals 2006]
The aim of this paper is to give an explicit expression for Hitchin's connection in the case of rank 2 bundles with trivial determinant over curves of genus 2. We recall the definition of this connection (which arose in Quantum Field Theory) and characterize it for families of genus two curves. We then consider a particular family (over a configuration space), the corresponding vector bundles are (almost) trivial. The Heat equations which give the connection these bundles are related to the Lie algebra so(6). We compute some local monodromy representations. As a byproduct we obtain, for any re…
For a compact Riemann surface X of positive genus, the space of sections of certain theta bundle on moduli of bundles of rank r and level k admits a natural map to (the dual of) a similar space of sections of rank k and level r (the strange duality isomorphism). Both sides of the isomorphism carry projective connections as X varies in a family. We prove that this map is (projectively) flat.
Let X be a smooth projective curve over a field of characteristic p>0. We show that the Hitchin morphism, which associates to a Higgs bundle its characteristic polynomial, has a non-trivial deformation over the affine line. This deformation is constructed by considering the moduli stack of t-connections on vector bundles on X and an analogue of the p-curvature, and by observing that the associated characteristic polynomial is, in a suitable sense, a p-th power.
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.
Hitchin pairs on Riemann surfaces are generalizations of Higgs bundles, allowing the Higgs field to be twisted by an arbitrary line bundle. We consider this generalization in the context of $G$-Higgs bundles for a real reductive Lie group $G$. We outline the basic theory and review some selected results, including recent results by Nozad and the author arXiv:1602.02712 [math.AG] on Hitchin pairs for the unitary group of indefinite signature $\mathrm{U}(p,q)$.
We prove that the vector bundles of conformal blocks, on suitable moduli spaces of genus zero curves with marked points, for arbitrary simple Lie algebras and arbitrary integral levels, carry unitary metrics of geometric origin which are preserved by the Knizhnik-Zamolodchikov/Hitchin connection (as conjectured by Gawedzki). Our proof builds upon the work of Ramadas who proved this unitarity statement in the case of the Lie algebra sl(2) (and genus 0). We note that unitarity has been proved in all genera (including genus 0) by the combined work of Kirillov and Wenzl in the 90's (their approach…
Exploiting the description of rings of differential operators as Azumaya algebras on cotangent bundles, we show that the moduli stack of flat connections on a curve (allowed to acquire orbifold points) defined over an algebraically closed field of positive characteristic is étale locally equivalent to a moduli stack of Higgs bundles over the Hitchin base. We then study the interplay with stability and generalize a result of Laszlo-Pauly, concerning properness of the Hitchin map. Using Arinkin's autoduality of compactified Jacobians we extend the main result of Bezrukavnikov-Braverman, the Lang…
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 study GL(2)-bundles with connections with a small parameter on a smooth projective curve. We describe an open subset in the moduli space of such bundles. The description degenerates into the Hitchin fibration as the parameter tends to zero.
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}$ …
We prove an analogue of the Hitchin-Kobayashi correspondence for compact, oriented, taut Riemannian foliated manifolds with transverse Hermitian structure. In particular, our Hitchin-Kobayashi theorem holds on any compact Sasakian manifold. We define the notion of stability for foliated Hermitian vector bundles with transverse holomorphic structure and prove that such bundles admit a basic Hermitian-Einstein connection if and only if they are polystable. Our proof is obtained by adapting the proof by Uhlenbeck and Yau to the foliated setting. We relate the transverse Hermitian-Einstein equatio…
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…
We present a classical $r$-matrix for the Hitchin system without marked points on an arbitrary non-degenerate algebraic curve of genus $g\ge 2$ using Tyurin parameterization of holomorphic vector bundles.
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…
The paper gives a quick account of the simplest cases of the Hitchin integrable systems and of the Knizhnik-Zamolodchikov-Bernard connection at genus 0, 1 and 2. In particular, we construct the action-angle variables of the genus 2 Hitchin system with group SL(2) by exploiting its relation to the classical Neumann integrable systems.
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…
Using Hitchin's parameterization of the Hitchin-Teichmüller component of the $SL(n,\mathbb{R})$ representation variety, we study the asymptotics of certain families of representations. In fact, for certain Higgs bundles in the $SL(n,\mathbb{R})$-Hitchin component, we study the asymptotics of the Hermitian metric solving the Higgs bundle equations. This analysis is used to estimate the asymptotics of the corresponding family of flat connections as we scale the differentials by a real parameter. We consider Higgs fields that have only one holomorphic differential $q_n$ of degree $n$ or $q_{n-1}$…
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 extend the Donaldson-Corlette-Hitchin-Simpson correspondence between Higgs bundles and flat connections on compact Kähler manifolds to compact quasi-regular Sasakian manifolds. A particular consequence is the translation of restrictions on Kähler groups proved using the Donaldson-Corlette-Hitchin-Simpson correspondence to fundamental groups of compact Sasakian manifolds.
We revisit the Hitchin integrable system whose phase space is the bundle cotangent to the moduli space $N$ of holomorphic $SL_2$-bundles over a smooth complex curve of genus two. $N$ may be identified with the 3-dimensional projective space of theta functions of the second order, We prove that the Hitchin system on $T^*N$ possesses a remarkable symmetry: it is invariant under the interchange of positions and momenta. This property allows to complete the work of van Geemen-Previato which, basing on the classical results on geometry of the Kummer quartic surfaces, specified the explicit form of …
The Hamiltonian theory of zero-curvature equations with spectral parameter on an arbitrary compact Riemann surface is constructed. It is shown that the equations can be seen as commuting flows of an infinite-dimensional field generalization of the Hitchin system. The field analog of the elliptic Calogero-Moser system is proposed. An explicit parameterization of Hitchin system based on the Tyurin parameters for stable holomorphic vector bundles on algebraic curves is obtained.
Semiclassical Limits of Strongly Parabolic Higgs Bundles and Hyperpolygon Spaces
Beijing Institute of Mathematical Sciences and Applications (BIMSA)（北京数学科学研究所）；Mathematisches Seminar, Christian-Albrechts-Universität zu Kiel（基尔大学数学系）
A formula for the first Chern class of the Verlinde bundle over the moduli space of smooth genus g curves is given. A finite-dimensional argument is presented in rank 2 using geometric symmetries obtained from strange duality, relative Serre duality, and Wirtinger duality together with the projective flatness of the Hitchin connection. A derivation using conformal-block methods is presented in higher rank. An expression for the first Chern class over the compact moduli space of curves is obtained.
We study the moduli space of trace-free irreducible rank 2 holomorphic connections over a complex projective curve of genus 2 and the forgetful map towards the moduli space of underlying vector bundles (including unstable bundles), for which we compute a natural Lagrangian rational section. As a particularity of the genus $2$ case, connections as above are invariant under the hyperelliptic involution : they descend as rank $2$ logarithmic connections over the Riemann sphere. We establish explicit links between the well-known moduli space of the underlying parabolic bundles with the classical a…
We give a new characterization of generalized Kähler structures in terms of their corresponding complex Dirac structures. We then give an alternative proof of Hitchin's partial unobstructedness for holomorphic Poisson structures. Our main application is to show that there is a corresponding unobstructedness result for arbitrary generalized Kähler structures. That is, we show that any generalized Kähler structure may be deformed in such a way that one of its underlying holomorphic Poisson structures remains fixed, while the other deforms via Hitchin's deformation. Finally, we indicate a close r…
We give a geometric proof to the classical fact that the dimension of the deformations of a given generic Fuchsian equation without changing the semi-simple conjugacy class of its local monodromies (``number of accessory parameters'') is equal to half the dimension of the moduli space of deformations of the associated local system. We do this by constructing a weight 1 Hodge structure on the infinitesimal deformations of logarithmic connections, such that deformations as an equation correspond to the $(1,0)$-part. This answers a question of Nicholas Katz, who noticed the dimension doubling men…
A basis for the space of generalized theta functions of level one for the spin groups, parameterized by the theta characteristics (the even theta characteristcs for the odd spin groups) on a curve, is shown to be projectively flat over the moduli space of curves (for Hitchin's connection). The symplectic strange duality conjecture, conjectured by Beauville is shown to hold for all curves of genus at least two, by using Abe's proof of the conjecture for generic curves, and the above monodromy result.
We study Yang-Mills connections on holomorphic bundles over complex Kähler manifolds of arbitrary dimension, in the spirit of Hitchin's and Simpson's study of flat connections. The space of non-Hermitian Yang-Mills (NHYM) connections has dimension twice the space of Hermitian Yang-Mills connections, and is locally isomorphic to the complexification of the space of Hermitian Yang-Mills connections (which is, by Uhlenbeck and Yau, the same as the space of stable bundles). Further, we study the NHYM connections over hyperkähler manifolds. We construct direct and inverse twistor transform from NHY…
In this paper, using the Atiyah-Ward equivalence and a theorem of Hitchin, one makes to correspond to certain bundles on the projective space, which are extensions of instanton bundles (in particular, these new bundles may have the first Chern class not congruent to 0 modulo the rank), bundles on the grassmanian Gr(2,4) or on the sphere S4, equiped with certain connections constructed from data associated to the bundle. Monads for these extensions are described.
The notion of flat $λ$-connections as the interpolation of usual flat connections and Higgs fields was suggested by Deligne and further studied by Simpson. Mochizuki established the Kobayashi--Hitchin-type theorem for $λ$-flat bundles ($λ\neq 0$), which is called the Mochizuki correspondence. In this paper, on the one hand, we generalize Mochizuki's result to the case when the base being a compact balanced manifold, more precisely, we prove the existence of harmonic metrics on stable $λ$-flat bundles ($λ\neq 0$). On the other hand, we study two applications of the Simpson--Mochizuki correspond…
The central result of this paper is an identification of the shifted Cartier dual of the moduli stack $\mathcal{M}_{\mathfrak{g}}(C)$ of $\widetilde{G}$-Higgs bundles on $C$ of arbitrary degree (modulo shifts by $Z(\widetilde{G})$) with a quotient of the Langlands dual stack $\mathcal{M}_{^L\mathfrak{g}}(C)$. Via hyperkähler rotation, this may equivalently be viewed as the identification of an SYZ fibration relating Hitchin systems for arbitrary Langlands dual semisimple groups, coupled to nontrivial finite $B$-fields. As a corollary certain self-dual stacks $\frac{\mathcal{M}_{\mathfrak{g}}(C…
