A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the resolution (called the standard resolution in previous works of the author) of coherent sheaves on a surface. The method is applicable to all existing flat families of torsion-free sheaves including those who does not contain locally free sheaves.
Bibliography: 23 items
Keywords: moduli space, algebraic coherent sheaves, admissible pairs, vector bundles, nonsingular algebraic variety, projective algebraic variety, moduli of vector bundles, compactification of moduli.
Admissible pairs $((\widetilde S, \widetilde L), \widetilde E)$ consisting of an $N$-dimensional projective scheme~$\widetilde S$ of certain class with a special ample invertible sheaf $\widetilde L$ and a locally free ${\cal O}_{\widetilde S}$-sheaf $\widetilde E$ are considered. An admissible pair can be produced in the procedure of a transformation (which is called a resolution) of a torsion-free coherent sheaf $E$ on a nonsingular $N$-dimensional projective algebraic variety $S$ to a locally free sheaf $\widetilde E$ on some projective scheme $\widetilde S$. Notions of stability and semist…
A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these functors are isomorphic, and the moduli scheme for semistable admissible pairs $((\tilde S, \tilde L), \tilde E)$ is isomorphic to the Gieseker -- Maruyama moduli scheme. The considerations involve all components of moduli functors and corresponding moduli scheme as they exist.
We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such def…
We derive a formula for the virtual class of the moduli space of rubber maps to $[\mathbb{P}^1/G]$ pushed forward to the moduli space of stable maps to $BG$. As an application, we show that the Gromov-Witten theory of $[\mathbb{P}^1/G]$ relative to $0$ and $\infty$ are determined by known calculations.
We study Hodge Integrals on Moduli Spaces of Admissible Covers. Motivation for this work comes from Bryan and Pandharipande's recent work on the local GW theory of curves, where analogouos intersection numbers, computed on Moduli Spaces of Relative Stable Maps, are the structure coefficients for a Topological Quantum Field Theory. Admissible Covers provide an alternative compactification of the Moduli Space of Maps, that is smooth and doesn't contain boundary components of excessive dimension. A parallel, yet different, TQFT, can then be constructed. In this paper we compute, using localizatio…
The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and…
We show that the Poincaré bundle gives a fully faithful embedding from the derived category of a curve of sufficiently high genus into the derived category of its moduli space of bundles of rank $r$ with fixed determinant of degree 1. Moreover we show that a twist of the embedding, together with 2 exceptional line bundles, gives the start of a semi-orthogonal decomposition. This generalises results of Narasimhan and Fonarev-Kuznetsov, who embedded the derived category of a single copy of the curve, for rank 2.
A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these functors are isomorphic, and main components of moduli scheme for semistable admissible pairs are isomorphic to main components of the Gieseker -- Maruyama moduli scheme
For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on moduli spaces of punctured Riemann surfaces, and then give a more geometric interpretation of our determinant metrics in terms of Selberg zeta functions. We end this paper by proposing an arithmetic factorization for Weil-Petersson metrics, cuspidal metrics and Selberg zeta funct…
We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\math…
The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological push-forwards to the moduli space of curves. In particular, the fundamental classes of all moduli spaces of admissible covers push-forward to tautological classes. Consequences for the tautological rings of the moduli spaces of curves include methods for generating new relations, uniform derivations of the socle and vanishing statements of the Gorenstein conjectures fo…
We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical admissible covers, and study its relationship with the skeleton of the Berkovich analytification of the classical space of admissible covers. We use techniques from non-archimedean geometry to show that…
A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main components of reduced moduli scheme for semistable admissible pairs ((\tilde S, \tilde L), \tilde E) are isomorphic to main components of reduced Gieseker -- Maruyama moduli scheme.
Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz…
We introduce moduli spaces of quasi-admissible hyperelliptic covers with at worst A and D singularities. The stability conditions for these moduli spaces depend on two parameters describing allowable singularities. By varying these parameters, we interpolate between the stacks of stable limits of A and D singularities and the quotients of the versal deformation spaces of A and D singularities by a natural $\mathbb{G}_m$ action.
We compute the degree of Hurwitz-Hodge classes $λ_1^e$ on one dimensional moduli spaces of cyclic admissible covers of the projective line. We also compute the degree of the the first Chern class of the Hodge bundle $λ_1$ for all one dimensional moduli spaces. In higher dimension, we express the divisor class $λ_1$ as a linear combination of $ψ$ classes and boundary strata.
In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool for the study of the tautological ring of the moduli space of curves, and the orbifold Gromov-Witten theory of DM stacks. Our main tool is Atiyah-Bott localization: its underlying philosophy is to transla…
The moduli space of twisted stable maps into the stack $B(\Z/m\Z)^2$ carries a natural $S_n$-action and so its cohomology may be decomposed into irreducible $S_n$-representations. Working over $\Spec \Z[1/m]$ we show that the alternating part of the cohomology of one of its connected components is exactly the cohomology associated to cusp forms for $Γ(m)$. In particular this offers an alternative to Scholl's construction of the Chow motive associated to such cusp forms. This answers in the affirmative a question of Manin on whether one can replace the Kuga-Sato varieties used by Scholl with so…
The construction for nonreduced projective moduli scheme of semistable admissible pairs is performed. We establish the relation of this moduli scheme with reduced moduli scheme built up in the previous article and prove that nonreduced moduli scheme contains an open subscheme which is isomorphic to moduli scheme of semistable vector bundles.
In a previous paper, the authors proved that the Prym variety of any non-cyclic etale triple cover of a smooth curve of genus 2 is a Jacobian variety of dimension 2. This gives a map from the moduli space of such covers to the moduli space of Jacobian varieties of dimension 2. We extend this map to a proper map of a certain moduli space of admissible $S_3$-covers of genus 7 to the moduli space of principally polarized abelian surfaces. The main result is that this map is finite surjective of degree 10.
For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT contains a G-Frobenius algebra, a G-equivariant generalization of a Frobenius algebra, and that the "quotient" by G agrees with the obvious Frobenius algebra structure on the space of G-invariants, after re…
We study the enumerative geometry of the moduli space R_g of Prym varieties of dimension g-1 (also known as the space of admissible double covers). Our main result is that the compactification of R_g is of general type as soon as g>13. We achieve this by computing the class of two types of cycles on R_g: one defined in terms of Koszul cohomology of Prym curves, the other defined in terms of Raynaud theta divisors associated to certain vector bundles on curves. We formulate a Prym-Green conjecture on syzygies of Prym-canonical curves. In the appendix we show that even though R_g has non-canonic…
We describe the modular operad structure on the moduli spaces of pointed stable curves equipped with an admissible $G$-cover. To do this we are forced to introduce the notion of an operad colored not by a set but by the objects of a category. This construction interpolates in a sense between `framed' and `colored' versions of operads; we hope that it will be of independent interest. An algebra over this operad is the same thing as a $G$-equivariant CohFT, as defined by Jarvis, Kaufmann and Kimura. We prove that the (orbifold) Gromov--Witten invariants of global quotients $[X/G]$ give examples …
We show that the moduli space of semistable G-bundles on an elliptic curve for a reductive group G is isomorphic to a power of the elliptic curve modulo a certain Weyl group which depend on the topological type of the bundle. This generalises a result of Laszlo to arbitrary connected components and recovers the global description of the moduli space due to Friedman--Morgan--Witten and Schweigert. The proof is entirely in the realm of algebraic geometry and works in arbitrary characteristic.
The problem of irreducibility of the moduli space I_n of rank-2 mathematical instanton vector bundles with arbitrary positive second Chern class n on the projective 3-space is considered. The irreducibility of I_n was known for small values of n: Barth 1977 (n=1), Hartshorne 1978 (n=2), Ellingsrud and Stromme 1981 (n=3), Barth 1981 (n=4), Coanda, Tikhomirov and Trautmann 2003 (n=5). In this paper we prove the irreducibility of I_n for an arbitrary odd n.
Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties are: (a) the horizontal and holomorphic sections are precisely the admissible normal functions without singularities; (b) the graph of any admissible normal function has an analytic closure inside our space. As a consequence, we obtain a new proof for the zero locus conjecture of M. Green and P. Griffiths. The construction uses filtered D-modules and M. Saito…
In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic.
Minimal algebraic surfaces of general type $X$ such that $K^2_X=2χ(\mathcal{O}_X)-6$ are called Horikawa surfaces. In this note $\mathbb{Z}_3$-actions on Horikawa surfaces are studied. The main result states that given an admissible pair $(K^2, χ)$ such that $K^2=2χ-6$, all the connected components of Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ contain surfaces admitting a $\mathbb{Z}_3$-action. On the other hand, the examples considered allow to produce normal stable surfaces that do not admit a $\mathbb{Q}$-Gorenstein smoothing. This is illustrated by constructing non-smoothable normal su…
We construct moduli spaces of rational covers of an arbitrary smooth tropical curve in R^r as tropical varieties. They are contained in the balanced fan parametrizing tropical stable maps of the appropriate degree to R^r. The weights of the top-dimensional polyhedra are given in terms of certain lattice indices and local Hurwitz numbers.
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
Using Moriwaki's calculation of the Q-Picard group for the moduli space of curves, I prove the strong Franchetta Conjecture in all characteristics. That is, the canonical class generates the group of rational points on the Picard scheme for the generic curve of genus g>2. Similar results hold for generic pointed curves. Moreover, I show that Hilbert's Irreducibility Theorem implies that there are many other nonclosed points in the moduli space of curves with such properties.
The aim of this paper is to prove the existence of large complete subvarieties in moduli spaces of rank two stable sheaves with arbitrary $c_1$ and sufficiently large $c_2$ on algebraic surfaces. Then we study the restriction of these sheaves to curves of high degree embedded in the surface. In the final section we gives a relation with the spin strata defined by Pidstrigach and Tyurin.
We compute Betti numbers of the moduli spaces of arbitrary rank stable sheaves on ruled surfaces. Our result generalizes the formula of Goettsche for rank one sheaves and the formula of Yoshioka for rank two sheaves. It also confirms the conjecture of Manschot for arbitrary rank sheaves on the Hirzebruch surfaces.
The stack $\overline{\mathcal{M}}_{g,n}$ of stable curves and its coarse moduli space $\overline{M}_{g,n}$ are defined over $\mathbb{Z}$, and therefore over any field. Over an algebraically closed field of characteristic zero, Hacking showed that $\overline{\mathcal{M}}_{g,n}$ is rigid (a conjecture of Kapranov). Bruno and Mella for $g=0$, and the second author for $g\geq 1$ showed that its automorphism group is the symmetric group $S_n$, permuting marked points unless $(g,n)\in\{(0,4),(1,1),(1,2)\}$. The methods used in the papers above do not extend to positive characteristic. We show that i…
Let $H$ and $H'$ be two ample line bundles over a smooth projective surface $X$, and $M(H)$ (resp. $M(H')$) the coarse moduli scheme of $H$-semistable (resp. $H'$-semistable) sheaves of fixed type $(r,c_1,c_2)$. We construct a sequence of blowing-ups which describes how $M(H)$ differs from $M(H')$ not only when $r=2$ but also when $r$ is arbitrary. Means we here utilize are elementary transforms and the notion of a sheaf with flag.
The cohomology of the moduli spaces of stable bundles M(n,d), of coprime rank n and degree d, over a Riemann surface (of genus g > 1) have been intensely studied over the past three decades. We prove in this paper that the Pontryagin ring of M(n,d) vanishes in degrees above 2n(n-1)(g-1) and that this bound is strict (i.e. there exists a non-zero element of degree 2n(n-1)(g-1) in Pont(M(n,d)).) This result is a generalisation of a 1967 Newstead conjecture that Pont(M(2,1)) vanished above 4(g-1) (or equivalently that β^g =0.) These results have been independently proved by Lisa Jeffrey and Jonat…
We describe the Chow rings of moduli spaces of ordered configurations of points on the projective line for arbitrary (sufficiently generic) stabilities. As an application, we exhibit such a moduli space admitting two small desingularizations with non-isomorphic cohomology rings.
We use Drinfeld's relative compactifications and the Tannakian viewpoint on principal bundles to construct the Harder-Narasimhan stratification of the moduli stack Bun_G of G-bundles on an algebraic curve in arbitrary characteristic, generalizing the stratification for G=GL_n due to Harder and Narasimhan to the case of an arbitrary reductive group G. To establish the stratification on the set-theoretic level, we exploit a Tannakian interpretation of the Bruhat decomposition and give a new and purely geometric proof of the existence and uniqueness of the canonical reduction in arbitrary charact…
This is the revised version of our previous preprint. In this paper, we establish a generic smoothness result for moduli space of semistable sheaves of arbitrary rank over surfaces provided that the second Chern class of the sheaves is sufficiently large. The theorem is proved using degeneration theory.
We construct explicit geometric models for moduli spaces of semi-stable strongly parabolic Higgs bundles over the Riemann sphere, in the case of rank two, four marked points, arbitrary degree, and arbitrary weights. The mechanism of construction relies on elementary geometric and combinatorial techniques, based on a detailed study of orbit stability of (in general non-reductive) bundle automorphism groups on certain carefully crafted spaces. The aforementioned techniques are not exclusive to the case we examine, and this work elucidates a general approach to construct arbitrary moduli spaces o…
We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection numbers to obtain a proof of the Verlinde formula for the dimension of the space of holomorphic sections of a line bundle over M(n,d).
L’Institut Galilée, Université Sorbonne Paris Nord（索邦巴黎北大学）；Technische Universität Darmstadt（达姆施塔特工业大学）；Mathematisches Institut, Universität Münster（明斯特大学）
We consider two K3 surfaces defined over an arbitrary field, together with a smooth proper moduli space of stable sheaves on each. When the moduli spaces have the same dimension, we prove that if the étale cohomology groups (with Q_ell coefficients) of the two surfaces are isomorphic as Galois representations, then the same is true of the two moduli spaces. In particular, if the field of definition is finite and the K3 surfaces have equal zeta functions, then so do the moduli spaces, even when the moduli spaces are not birational.
We construct coarse moduli spaces for `Brill-Noether pairs'. Such a pair consists of a torsion-free sheaf $E$ over an algebraic curve $X$ and a vector subspace $Λ$ of its space of sections $H^0(E)$. The construction works for an arbitrary singular curve $X$ of pure dimension and for all values of the positive rational parameter $α$ occurring in the stability condition. (Hard copies available on request.)
