Table of Contents
Fetching ...

Non-reduced components of global nilpotent cones

David Zhiyuan Bai, David Fang

Abstract

We determine the non-reduced components of global nilpotent cones in various cases of interest. In particular, under the appropriate coprimality conditions, we show: (1) the global nilpotent cone for an $L$-twisted $\operatorname{GL}_r$-Hitchin fibration associated to a curve $C$ of genus $g\ge 2$ is nowhere reduced, where $L$ is either the canonical bundle or has degree greater than $2g-2$; (2) the global nilpotent cone for a moduli space of one-dimensional sheaves on a K3, abelian, or del Pezzo surface is nowhere reduced; (3) suppose $\ell$ is a primitive, basepoint-free, big and nef class on a K3 surface, then a general fiber of a Beauville-Mukai system for the class $r\ell$ has primitive homology class if and only if $r=1$. Our methods include group scheme actions on Lagrangian fibrations, a GIT-stratification of global nilpotent cones of Hitchin fibrations, and deformation to the normal cone.

Non-reduced components of global nilpotent cones

Abstract

We determine the non-reduced components of global nilpotent cones in various cases of interest. In particular, under the appropriate coprimality conditions, we show: (1) the global nilpotent cone for an -twisted -Hitchin fibration associated to a curve of genus is nowhere reduced, where is either the canonical bundle or has degree greater than ; (2) the global nilpotent cone for a moduli space of one-dimensional sheaves on a K3, abelian, or del Pezzo surface is nowhere reduced; (3) suppose is a primitive, basepoint-free, big and nef class on a K3 surface, then a general fiber of a Beauville-Mukai system for the class has primitive homology class if and only if . Our methods include group scheme actions on Lagrangian fibrations, a GIT-stratification of global nilpotent cones of Hitchin fibrations, and deformation to the normal cone.

Paper Structure

This paper contains 26 sections, 36 theorems, 55 equations.

Key Result

Theorem 1

Suppose $\gcd(r,\chi)=1$, and we are in one of the following situations: Then $h:M\to |\beta|$ is a proper flat fibration between smooth varieties. If either $r>2$ or $r=2$ and $2\mid \deg_C N_{C/S}$, then the global nilpotent cone $h^{-1}(rC)$ is nowhere reduced. $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (67)

  • Definition 1
  • Theorem 1
  • Remark 2
  • Definition 2
  • Theorem 3: =\ref{['symp:irreg_nonred']}
  • Theorem 4: =\ref{['prop:twistedstrata']}
  • Theorem 5: =\ref{['greg_nonred']}
  • Theorem 6: =\ref{['prop:delpezzogreg']}
  • Theorem 7
  • Definition 1.1
  • ...and 57 more