In this paper we continue our study of the Frobenius instability locus in the coarse moduli space of semi-stable vector bundles of rank $r$ and degree $0$ over a smooth projective curve defined over an algebraically closed field of characteristic $p>0$. In a previous paper we identified the "maximal" Frobenius instability strata with opers (more precisely as opers of type $1$ in the terminology of the present paper) and related them to certain Quot-schemes of Frobenius direct images of line bundles. The main aim of this paper is to describe for any integer $q \geq 1$ a conjectural generalization of this correspondence between opers of type $q$ (which we introduce here) and Quot-schemes of Frobenius direct images of vector bundles of rank $q$. We also give a conjectural formula for the dimension of the Frobenius instability locus.
Let C be a smooth projective curve over the field of the complex numbers. We consider Brill-Noether loci over the moduli of maps from C to the Grassmannian G(m,n) and the corresponding Quot schemes of quotients of a trivial vector bundle on C compactifying the spaces of morphisms. We study in detail the case in which m=2, n=4. We prove results on the irreducibility and dimension of these Brill-Noether loci and we address explicit formulas for their cohomology classes. We study the existence problem of these spaces which is closely related with the problem of classification of vector bundles ov…
Let $E$ be a vector bundle over a smooth curve $C$, and $S = \mathbb{P} E$ the associated projective bundle. We describe the inflectional loci of certain projective models $ψ\colon S \dashrightarrow \mathbb{P}^n$ in terms of Quot schemes of $E$. This gives a geometric characterisation of the Segre invariant $s_1 (E)$, which leads to new geometric criteria for semistability and cohomological stability of bundles over $C$. We also use these ideas to show that for general enough $S$ and $ψ$, the inflectional loci are all of the expected dimension. An auxiliary result, valid for a general subvarie…
We prove a non abelian Torelli type result for smooth projective curves by working in the derived category of some associated polarized Quot schemes and defining Brill-Noether loci and Abel-Jacobi maps on them.
Let $n\geq 4$, $2 \leq r \leq n-2$ and $e \geq 1$. We show that the intersection of the locus of degree $e$ morphisms from $\mathbb{P}^1$ to $G(r,n)$ with the restricted universal sub-bundles having a given splitting type and the locus of degree $e$ morphisms with the restricted universal quotient-bundle having a given splitting type is non-empty and generically transverse. As a consequence, we get that the locus of degree $e$ morphisms from $\mathbb{P}^1$ to $G(r,n)$ with the restricted tangent bundle having a given splitting type need not always be irreducible.
Given a vector bundle $V$ over a curve $X$, we define and study a surjective rational map $\mathrm{Hilb}^d (\mathbb{P} V ) - \mathrm{Quot}^{0, d} ( V^* )$ generalising the natural map $\mathrm{Sym}^d X \to \mathrm{Quot}^{0, d} ({\mathcal O}_X)$. We then give a generalisation of the geometric Riemann--Roch theorem to vector bundles of higher rank over $X$. We use this to give a geometric description of the tangent cone to the Brill--Noether locus $B^r_{r, d}$ at a suitable bundle $E$ with $h^0 (E) = r+n$. This gives a generalisation of the Riemann--Kempf singularity theorem. As a corollary, we …
We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points o…
We consider the action of a semisimple subgroup $\hat G$ of a semisimple complex group $G$ on the flag variety $X=G/B$, and the linearizations of this action by line bundles $\mathcal L$ on $X$. The main result is an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a combinatorial formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat G$-ample cone, and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension $q$ form a convex polyhedral c…
Given a curve $C$ and a linear system $\ell$ on $C$, the secant locus $V_e^{e-f}( \ell )$ parametrises effective divisors of degree $e$ which impose at most $e-f$ conditions on $\ell$. For $E \to C$ a vector bundle of rank $r$, we define determinantal subschemes $H_e^{e-f} ( \ell ) \subseteq \mathrm{Hilb}^e ( \mathbb{P} E )$ and $Q_e^{e-f} (V) \subseteq \mathrm{Quot}^{0, e} ( E^* )$ which generalise $V_e^{e-f} ( \ell )$, giving several examples. We describe the Zariski tangent spaces of $Q_e^{e-f} (V)$, and give examples showing that smoothness of $Q_e^{e-f} (V)$ is not necessarily controlled …
Let $E$ be a rank 2, degree $d$ vector bundle over a genus $g$ curve $C$. The loci of stable pairs on $E$ in class $2[C]$ fixed by the scaling action are expressed as products of $\Quot$ schemes. Using virtual localization, the stable pairs invariants of $E$ are related to the virtual intersection theory of $\Quot E$. The latter theory is extensively discussed for an $E$ of arbitrary rank; the tautological ring of $\Quot E$ is defined and is computed on the locus parameterizing rank one subsheaves. In case $E$ has rank 2, $d$ and $g$ have opposite parity, and $E$ is sufficiently generic, it is…
We show that the GIT quotients of suitable loci in the Hilbert and Chow schemes of 4-canonically embedded curves of genus $g\ge 3$ are the moduli space $\bar{M}_g^{\text{ps}}$ of pseudo-stable curves constructed by Schubert in \cite{Schubert} using Chow varieties and 3-canonical models. The only new ingredient needed in the Hilbert scheme variant is a more careful analysis of the stability with respect to a certain 1-ps $λ$ of the $m^{\text{th}}$ Hilbert points of curves $X$ with elliptic tails. We compute the exact weight with which $λ$ acts, and not just the leading term in $m$ of this weigh…
Using raising operators and geometric arguments, we establish formulas for the K-theory classes of degeneracy loci in classical types. We also find new determinantal and Pfaffian expressions for classical cases considered by Giambelli: the loci where a generic matrix drops rank, and where a generic symmetric or skew-symmetric matrix drops rank. In an appendix, we construct a K-theoretic Euler class for even-rank vector bundles with quadratic form, refining the Chow-theoretic class introduced by Edidin and Graham. We also establish a relation between top Chern classes of maximal isotropic subbu…
We prove a criterion for the existence of harmonic metrics on Higgs bundles that are defined on smooth loci of klt varieties. As one application, we resolve the quasi-etale uniformisation problem for minimal varieties of general type to obtain a complete numerical characterisation of singular quotients of the unit ball by discrete, co-compact groups of automorphisms that act freely in codimension one. As a further application, we establish a nonabelian Hodge correspondence on smooth loci of klt varieties.
Let $U$ be a smooth scheme over an algebraically closed field $\mathbb K$ of characteristic zero and $f:U\to{\mathbb A}^1$ a regular function, and write $X=$Crit$(f)$, as a closed subscheme of $U$. The motivic vanishing cycle $MF_{U,f}^ϕ$ is an element of the $\hatμ$-equivariant motivic Grothendieck ring ${\mathcal M}^{\hatμ}_X$ defined by Denef and Loeser math.AG/0006050 and Looijenga math.AG/0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) $MF_{U,f}^ϕ$ depends only on the third-order thickenings $…
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 …
On the algebraicity of non-abelian Noether-Lefschetz loci of rank-two real local systems
Wuhan University（武汉大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Johannes Gutenberg-Universität Mainz（美因茨约翰内斯古腾堡大学）
Given a map of vector bundles on a smooth variety, consider the deepest degeneracy locus where its rank is smallest. We show it carries a natural perfect obstruction theory whose virtual cycle can be calculated by the Thom-Porteous formula. We show nested Hilbert schemes of points on surfaces can be expressed as degeneracy loci. We show how to modify the resulting obstruction theories to recover the virtual cycles of Vafa-Witten and reduced local DT theories. The result computes some Vafa-Witten invariants in terms of Carlsson-Okounkov operators. This proves and extends a conjecture of Gholamp…
We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$, where $G = GL(n,\C)$, and where $K$ is one of the symmetric subgroups $O(n,\C)$ or $Sp(n,\C)$. We realize these orbit closures as universal degeneracy loci for a vector bundle over a variety equipped with a single flag of subbundles and a nondegenerate symmetric or skew-symmetric bilinear form taking values in the trivial bundle. We describe how our equivariant formulas can be interpreted as giving formu…
We give explicit formulas for torus-equivariant fundamental classes of closed $K$-orbits on the flag variety $G/B$ when $G$ is one of the classical groups $SL(n,\C)$, $SO(n,\C)$, or $Sp(2n,\C)$, and $K$ is a symmetric subgroup of $G$. We describe parametrizations of each orbit set and the combinatorics of its weak order, allowing us to compute formulas for the equivariant classes of all remaining orbit closures using divided difference operators. In each of the cases in type A, we realize the $K$-orbit closures as universal degeneracy loci of a certain type, involving a vector bundle $V$ over …
The generalized roof F(1,2,n): Hodge structures and derived categories
Sapienza - Università di Roma（罗马大学）；Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Alma Mater Studiorum Università di Bologna（博洛尼亚大学）
The cohomology of the Quot scheme on a smooth curve as a Yangian representation
The Abdus Salam International Centre for Theoretical Physics（阿卜杜斯·萨拉姆国际理论物理中心）；Northeastern University（东北大学）；École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；Simion Stoilow Institute of Mathematics (IMAR)（西蒙·斯托伊洛数学研究所）
We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$ for various symmetric pairs $(G,K)$. In type $A$, we realize the closures of $K=GL(p,\C) \times GL(q,\C)$-orbits on $GL(p+q,\C)/B$ as universal degeneracy loci for a vector bundle over a variety which is equipped with a single flag of subbundles and which splits as a direct sum of subbundles of ranks $p$ and $q$. The precise description of such a degeneracy locus relies upon knowing a set-theoretic descri…
Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, w…
Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from the category of continuous representations of the pro-étale fundamental group of the special fiber to the category of $F$-divided sheaves on the generic fiber. This specialization functor partially recovers the specialization functor of the étale fundamental groups. We also express the pro-étale fundamental group of a connected scheme $X$ of finite type over…
