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 variation of the dual under this choice. We give evidence of both families of branes being dual under mirror symmetry via an integral functor induced by Fourier-Mukai in the moduli stack of Higgs bundles.
Given a smooth projective complex curve $X$ with an involution $σ$, we study the Hitchin systems for the locus of anti-invariant (resp. invariant) stable vector bundles over $X$ under $σ$. Using these integrable systems and the theory of the nilpotent cone, we study the irreducibility of these loci. The anti-invariant locus can be thought of as a generalisation of Prym varieties to higher rank.
Let $φ\colon X\rightarrow Y$ be a degree two Galois cover of smooth curves over a local field $F$ of odd characteristic. Assuming that $Y$ has good reduction, we describe a semi-stability criterion for the curve $X$, using the data of the branch locus of the covering $φ$. In the case that $X$ has semi-stable reduction, we describe the dual graph of the minimal regular model of $X$ over $F.$ We do this by adopting the notion of cluster picture defined for hyperelliptic curves for the case where $Y$ is not necessarily a rational curve. Using these results, we describe the variation of the p-adic…
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. …
Let X be a smooth projective curve of genus g \textgreater{}1 defined over an algebraically closed field k of characteristic p \textgreater{}0. For p sufficiently large (explicitly given in terms of r,g) we construct an atlas for the locus of all Frobenius-destabilized bundles (i.e. we construct all Frobenius-destabilized bundles of degree zero up to isomorphism). This is done by exhibiting a surjective morphism from a certain Quot-scheme onto the locus of stable Frobenius-destabilized bundles. Further we show that there is a bijective correspondence between the set of stable vector bundles E …
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 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.
A stacky $p$-adic Riemann--Hilbert correspondence on Hitchin-small locus
Peking University（北京大学）；University of Copenhagen（哥本哈根大学）；Academy of Mathematics and Systems Science, University of Chinese Academy of Science（中国科学院数学与系统科学研究院）；Princeton University（普林斯顿大学）；Fudan University（复旦大学）
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…
Let $G= GL_n(\mathbb{C})$, the general linear group over the complex numbers, and let $B$ be the set of invertible upper triangular matrices in $G$. Let $\mathfrak{b}=\text{Lie}(B)$. For $μ:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, where $\mathfrak{b}^*\cong \mathfrak{g}/\mathfrak{u}$ and $\mathfrak{u}$ being strictly upper triangular matrices in $\mathfrak{g}=\text{Lie}(G)$, we prove that the Hamiltonian reduction $μ^{-1}(0)^{rss}/\!\!/B$ of the extended regular semisimple locus $\mathfrak{b}^{rss}$ of the Borel subalgebra is smooth, affine, reduced, and scheme-theoreti…
In this article we give an explicit description of the Hitchin fiber of SU(1,2) Higgs bundles $(L,F,γ,β)$ over a compact Riemann surface $X$ of genus $\ge 2$ with $q=γ\circβ$ having simple zeros and Toledo invariant $τ=2 \rm{deg} L$ satisfying $|\rm{deg} L|<g-1$. In particular we identify the data in an SU(1,2) Higgs bundle as a Hecke transformation $ι: F\to L^{-2}K\oplus LK$ at $Z(q)$. The Hitchin fiber is identified with a fiber bundle over $\text{Pic}^d X$ with unirational fiber, which is a GIT-quotient of a $\mathbb{C}^\times$-action on $\left(\mathbb{P}^1\right)^{4g-4}$. The base parametr…
Fourier-Mukai transforms and normalisation of nodal curves
Universidad Autónoma de Madrid（马德里自治大学）；Instituto de Ciencias Matemáticas (CSIC–UAM–UCM–UC3M)（数学科学研究所（CSIC-UAM-UCM-UC3M））；Imperial College London（伦敦帝国理工学院）；Goethe-Universität Frankfurt（法兰克福歌德大学）；Centro de Matemática da Universidade do Porto, Departamento de Matemática, Faculdade de Ciências, Universidade do Porto（波尔图大学数学中心、数学系、理学院）
We establish an isomorphism of complex $K$-theory of the moduli space $\check{\mathcal{M}}$ of $``SL_n"$-Higgs bundles of degree $d$ and rank $n$ (in the sense of Hausel--Thaddeus) and twisted complex $K$-theory of the orbifold $\hat{\mathcal{M}}$ of $PGL_n$-Higgs bundles of degree $e$, where $(n,d)=(n,e)=1$. Along the way we prove the vanishing of torsion for $H^*(\check{\mathcal{M}})$ and certain twisted complex $K$-theory groups of $\hat{\mathcal{M}}$. We also extend Arinkin's autoduality of compactified Jacobian to a derived equivalence between $SL_n$ and $PGL_n$-Hitchin systems over the e…
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…
In this paper we characterize the rank two vector bundles on $\mathbb{P}^2$ which are invariant under the actions of the parabolic subgroups $G_p:=\mathrm{Stab}_p(\mathrm{PGL}(3))$ fixing a point in the projective plane, $G_L:=\mathrm{Stab}_L(\mathrm{PGL}(3))$ fixing a line, and when $p\in L$, the Borel subgroup $\mathbf{B} = G_p \cap G_L$ of $\mathrm{PGL}(3)$. Moreover, we prove that the geometrical configuration of the jumping locus induced by the invariance does not, on the other hand, characterize the invariance itself. Indeed, we find infinite families that are almost uniform but not almo…
We present an explicit construction of the moduli spaces of rank 2 stable parabolic bundles of parabolic degree 0 over the Riemann sphere, corresponding to "optimum" open weight chambers of parabolic weights in the weight polytope. The complexity of the different moduli space' weight chambers is understood in terms of the complexity of the actions of the corresponding groups of bundle automorphisms on stable parabolic structures. For the given choices of parabolic weights, $\mathscr{N}$ consists entirely of isomorphism classes of strictly stable parabolic bundles whose underlying Birkhoff-Grot…
