A canonical decomposition of generalized theta functions on the moduli stack of Gieseker vector bundles
Ivan Kausz
备注：
34 pages. The old version has been thoroughly revised in order to enhance readability. In a new chapter I prove by explicit dimension count that the space of generalized theta functions behaves well under degeneration
In this paper I present a new geometric approach to the factorization rule for generalised theta functions.
Let $X$ be an irreducible projective nodal curve with one singularity and let $Y$ be its normalization. Recently I have constructed the moduli stack $GVB(X)$ of rank $n$ Gieseker vector bundles on $X$ and have shown that its normalization is a locally trivial fibration over the moduli stack $VB(Y)$ of vector bundles on $Y$, where the fibre is a canonical compactification of $Gl_n$. In this paper I prove a canonical direct sum decomposition of the space of global sections of a power of the theta line bundle on $GVB(X)$ where the summands are spaces of global sections of certain line bundles on the moduli stack of parabolic bundles on the two-pointed curve $Y$.
We analyze the stratification of the moduli space S_g of spin curves of genus g given by the dimension of the theta-characteristic. Using the relation between gaussian maps and the strata S_g^r, we construct "regular" components of S_g^r having expected codimension r(r+1)/2 inside S_g. We also relate moduli spaces of pointed curves with a moving spin structure to the classical Gieseker-Petri loci in M_g. We show that the locus of curves for which the Gieseker-Petri theorem fails for a pencil is always a divisor on M_g. Finally, we give a sufficient criterion for the injectivity of Gaussian map…
Given a generically smooth stable curve over a discrete valuation ring such that its special fibre is irreducible with one double point, we construct a moduli stack over that descrete valuation ring which is a model for the moduli stack of vector bundles over the generic fibre of the curve. The model has the following nice properties: 1. It is regular. 2. Its special fibre is a normal crossing divisor. 3. The normalization of its special fibre is a locally trivial KGl-bundle over the moduli stack of vector bundles over the normalization of the special fibre of the curve. Here KGl is a canonica…
These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as a toy example. We describe several applications: a general structure theorem for the derived category of coherent sheaves on an algebraic stack; some results on the topology of moduli stacks; and a "v…
We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface.
We prove a rigidity result for automorphisms of points of certain stacks admitting adequate moduli spaces. It encompasses as special cases variations of the moduli of $G$-bundles on a smooth projective curve for a reductive algebraic group $G$. For example, our result applies to the stack of semistable $G$-bundles, stacks of semistable Hitchin pairs, and stacks of semistable parabolic $G$-bundles. Similar arguments apply to Gieseker semistable $G$-bundles in higher dimensions. We present two applications of the main result. First, we show that in characteristic $0$ every stack of semistable de…
For a semi simple group G it is known the moduli stack of principal G-bundles over a fixed nodal curve is not complete. Finding a completion requires compactifying the group G. However it was shown in [34] that this is not sufficient to complete the moduli stack over a family of curves. In this paper I describe how to use an embedding of the loop group LG to provide a completion of the stack of G-bundles over a one dimensional family of curves degenerating to a nodal curve. The completion comes with a modular interpretation inspired by the work of Gieseker, Seshadri, Kausz and Thaddeus and Mar…
We show that the moduli stacks of Bridgeland semistable objects on smooth projective 3-folds are proper algebraic stacks of finite type, if they satisfy the Bogomolov-Gieseker (BG for short) inequality conjecture proposed by Bayer, Macrì and the second author. The key ingredients are the equivalent form of the BG inequality conjecture and its generalization to arbitrary very weak stability conditions. This result is applied to define Donaldson-Thomas invariants counting Bridgeland semistable objects on smooth projective Calabi-Yau 3-folds satisfying the BG inequality conjecture, for example on…
We give an algebraic analog of the functional equation of Riemann's theta function. More precisely, we define a `theta multiplier' line bundle over the moduli stack of principally polarized abelian schemes with theta characteristic and prove that its dual is isomorphic to the determinant bundle over the moduli stack. We do so by explicitly computing with Picard groups over the moduli stack. This is all done over the ring R=Z[1/2,i]: passing to the complex numbers, we recover the classical functional equation.
The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a moduli "space" of curves. In section 2 we give an introduction to Deligne-Mumford stacks and their moduli spaces. In section 3 we return to curves and outline Deligne and Mumford's proof that the stack of stable curves is a smooth and irreducible Deligne-Mumford stack which is proper over Spec Z. In section 4 we explain how to use geometric invariant to con…
We introduce a notion of Gieseker stability for coherent sheaves on tame Deligne-Mumford stacks with projective moduli scheme and some chosen generating sheaf on the stack in the sense of Olsson and Starr \cite{MR2007396}. We prove that this stability condition is open, and pure dimensional semistable sheaves form a bounded family. We explicitly construct the moduli stack of semistable sheaves as a finite type global quotient, and study the moduli scheme of stable sheaves and its natural compactification in the same spirit as the seminal paper of Simpson \cite{MR1307297}. With this general mac…
Using an existence criterion for good moduli spaces of Artin stacks by Alper-Fedorchuk-Smyth we construct a proper moduli space of rank two sheaves with fixed Chern classes on a given complex projective manifold that are Gieseker-Maruyama-semistable with respect to a fixed Kähler class.
Let C be a smooth projective complex curve of genus at least 2. For a simply-connected complex Lie group G the vector space of global sections H^0(M(G), L^l) of the l-th power of the ample generator L of the Picard group of the moduli stack of principal G-bundles over C is commonly called the space of generalized G-theta functions or Verlinde space of level l. In the case G = G_2, the exceptional Lie group of automorphisms of the complex Cayley algebra, we study natural linear maps between the Verlinde space H^0(M(G_2), L) of level one and some Verlinde spaces for SL_2 and SL_3. We deduce that…
Let G_2 be the exceptional Lie group of automorphisms of the complex Cayley algebra and C be a generic, smooth, connected, projective curve over $\mathbb{C}$ of genus at least 2. For a complex Lie group G, let H^0(M(G),L^k) be the space of generalized G-theta functions over C of level k, where M(G) denotes the moduli stack of principal G-bundles over C and L the ample line bundle that generates the Picard group Pic(M(G)). Using the map obtained from extension of structure groups, we prove that the space H^0(M(G_2),L) of generalized G-2-theta functions over C of level one and the invariant spac…
We give a comprehensive treatment of the transformation laws of theta functions from an algebro-geometric perspective, that is, in terms of moduli of abelian schemes. This is accomplished by introducing geometric notions of theta-descent structures, metaplectic stacks, and bundles of half-forms, whose analytic incarnations underlie different aspects of the classical transformation laws. As an application, we lay the foundations for a geometric theory of modular forms of half-integral weight and, more generally, for modular forms taking values in the Weil representation. We discuss further appl…
This article treats the Picard group of the moduli (stack) of r-spin curves and its compactification. Generalized spin curves, or r-spin curves are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because they are the subject of a remarkable conjecture of E. Witten, and because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. We generalize results of Cornalba, giving relations between many of the elements of the Picard group of the stacks. These relations a…
This article treats various aspects of the geometry of the moduli of r-spin curves and its compactification. Generalized spin curves, or r-spin curves, are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. In particular, these spaces are the subject of a remarkable conjecture of E. Witten relating their intersection theory to the Gelfand-Dikii (rth KdV) heirarchy. There is also a W-algebra conjecture f…
This article treats compactifications of the space of generalized spin curves. Generalized spin curves, or $r$-spin curves, are pairs $(X,L)$ with $X$ a smooth curve and $L$ a line bundle whose r-th tensor power is isomorphic to the canonical bundle of $X.$ These are a natural generalization of $2$-spin curves (algebraic curves with a theta-characteristic), which have been of interest recently, in part because of their applications to fermionic string theory. Three different compactifications over $\Bbb{Z}[1/r],$ all using torsion-free sheaves, are constructed. All three yield algebraic stacks…
We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, which is a projective toric orbifold $\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a $\mathbb{Z}_k$-gerbe. We construct moduli spaces of torsion free sheaves on $\mathscr{X}_k$ which are framed a…
Let X be a smooth projective curve. Write Bun_{SO_{2n}} for the moduli stack of SO_{2n}-torsors on X. We give a geometric interpretation of the automorphic function f on Bun_{SO_{2n}} corresponding to the minimal representation. Namely, we construct a perverse sheaf K on Bun_{SO_{2n}} such that f should be equal to the trace of Frobenius of K plus some constant function. We also calculate K explicitely for curves of genus zero and one. The construction of K is based on some explicit geometric formulas for the Fourier coefficients of f on one hand, and on the geometric theta-lifting on the othe…
