For a stable curve of genus $g\geq 2$ and simple Lie algebra of type A or C, we show that the conformal blocks algebra $\mathcal{A}$ on $\overline{\mathcal{M}}_g$ is finitely generated and establish an explicit connection to Schmitt and Muñoz-Castañeda's compactification of the moduli space of $G$-bundles.
In this expository note, we offer an overview of the relationship between Hodge-theoretic and geometric compactifications of moduli spaces of algebraic varieties.
The space of smooth curves admits a beautiful compactification by the moduli space of Deligne-Mumford stable curves. In this paper, we undertake a systematic investigation of alternate modular compactifications of the space of smooth curves.
We construct a compactification of the universal moduli space of semistable principal $G$-bundles over $\overline{\textrm{M}}_{g}$, the fibers of which over singular curves are the moduli spaces of $δ$-semistable singular principal G-bundles.
We describe compactifications of moduli spaces of Burniat surfaces with $2\leq K_{X}^{2}\leq5$ obtained by adding KSBA surfaces, i.e. slc surfaces $X$ with ample canonical class $K_{X}$.
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
We introduce and study smooth compactifications of the moduli space of n labeled points with weights in projective space, which have normal crossings boundary and are defined as GIT quotients of the weighted Fulton-MacPherson compactification. We show that the GIT quotient of a wonderful compactification is also a wonderful compactification under certain hypotheses. We also study a weighted version of the configuration spaces parametrizing n points in affine space up to translation and homothety. In dimension one, the above compactifications are isomorphic to Hassett's moduli space of rational…
We give an informal survey, emphasizing examples and open problems, of two interconnected research programs in moduli of curves: the systematic classification of modular compactifications of $M_{g,n}$, and the study of Mori chamber decompositions of $\M_{g,n}$.
It is known that some GIT compactifications associated to moduli spaces of either points in the projective line or cubic surfaces are isomorphic to Baily-Borel compactifications of appropriate ball quotients. In this paper, we show that their respective toroidal compactifications are isomorphic to moduli spaces of stable pairs as defined in the context of the MMP. Moreover, we give a precise mixed-Hodge-theoretic interpretation of this isomorphism for the case of eight labeled points in the projective line.
In this paper we compute the multiple cover Gromov-Witten integrals (analog of the Aspinwall-Morrison formula) for the unramified compactification of the moduli space of stable maps to an embedded $\PO$ in a Calabi-Yau threefold $X$ with the normal bundle $\mathcal{O}_{\PO}(-1) \bigoplus \mathcal{O}_{\PO}(-1)$.
We construct a compactification of the moduli of toric pairs by using ideas from mirror symmetry. The secondary fan $Σ(Q)$ is used in [Ale02] to parametrize degenerations of toric pairs. It is also used in [CLS11] to control the variation of GIT. We verify the prediction of mirror symmetry that $Σ(Q)$ for the moduli of toric pairs is equal to the Mori fan of the relative minimal models of the mirror family. As a result, we give an explicit construction of the compactification $\mathscr{T}_Q$ of the moduli of toric pairs which is the normalization of the compactification in [Ale02] and [Ols08].
In these notes, we introduce various approaches (GIT, Hodge theory, and KSBA) to constructing and compactifying moduli spaces. We then discuss the pros and cons for each approach, as well as some connections between them.
Inspired by the ideas of the minimal model program, Shepherd-Barron, Kollár, and Alexeev have constructed a geometric compactification for the moduli space of surfaces of log general type. In this paper, we discuss one of the simplest examples that fits into this framework: the case of pairs (X,H) consisting of a degree two K3 surface X and an ample divisor H. Specifically, we construct and describe explicitly a geometric compactification $\bar{P_2}$ for the moduli of degree two K3 pairs. This compactification has a natural forgetful map to the Baily-Borel compactification of the moduli space …
The Analogue of Dedekind Eta Functions for Calabi-Yau Manifilolds II. (Algebraic, Analytic Discriminants and the Analogue of Baily-Borel Compactification of the Moduli Space of CY Manifolds.)
We give a summary of joint work with Michael Thaddeus that realizes toroidal compactifcations of split reductive groups as moduli spaces of framed bundles on chains of rational curves. We include an extension of this work that covers Artin stacks with good moduli spaces. We discuss, for complex groups, the symplectic counterpart of these compactifications, and conclude with some open problems about the moduli problem concerned.
Let $G$ be a connected reductive algebraic group. Let $\mathcal{E}\rightarrow \mathcal{B}$ be a principal $G\times G$-bundle and $X$ be a regular compactification of $G$. We describe the Grothendieck ring of the associated fibre bundle $\mathcal{E}(X):=\mathcal{E}\times_{G\times G} X$, as an algebra over the Grothendieck ring of a canonical toric bundle over a flag bundle on $\mathcal{B}$. These are relative versions of the results on equivariant $K$-theory of regular compactifications of $G$. They also generalize the well known results on the Grothendieck rings of projective bundles, toric bu…
We construct a relative compactification of Dolbeault moduli spaces of Higgs bundles for reductive algebraic groups on families of projective manifolds that is compatible with the Hitchin morphism.
We describe two geometrically meaningful compactifications of the moduli space of elliptic K3 surfaces via stable slc pairs, for two different choices of a polarizing divisor, and show that their normalizations are two different toroidal compactifications of the moduli space, one for the ramification divisor and another for the rational curve divisor. In the course of the proof, we further develop the theory of integral affine spheres with 24 singularities. We also construct moduli of rational (generalized) elliptic stable slc surfaces of types ${\bf A_n}$ ($n\ge1$), ${\bf C_n}$ ($n\ge0$) and …
A compactification of the moduli scheme of abelian varieties
构造了$Z[ζ_N, 1/N]$上的阿贝尔簇模的典范紧化$SQ^{toric}_{g,K}$,其中$ζ_N$是本原$N$的单位根.这与作者在Inventiones vol.136(1999)中构造的紧化非常相似,但略有不同。$SQ^{toric}_{g,K}$边界上的任何退化阿贝尔格式都是约化的和奇异的,它是Alexeev和作者(Tohoku J. 1999)引入的稳定的准阿贝尔簇之一.
We study semistable sheaves of rank $2$ with Chern classes $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-fold $V_5$ of Picard number $1$, degree $5$ and index $2$. We show that the moduli space of such sheaves has a component that is isomorphic to $\mathbb{P}^5$ by identifying it with the moduli space of semistable quiver representations. This provides a natural smooth compactification of the moduli space of minimal instantons, as well as Ulrich bundles of rank $2$ on $V_5$.
We prove that the universal family of polarized K3 surfaces of degree 2 can be extended to a flat family of stable slc pairs $(X,εR)$ over the toroidal compactification associated to the Coxeter fan. One-parameter degenerations of K3 surfaces in this family are described by integral-affine structures on a sphere with 24 singularities.
We study the moduli space $\mathcal{F}_{T_1}$ of quasi-trielliptic K3 surfaces of type I, whose general member is a smooth bidegree $(2,3)$-hypersurface of $\mathbb{P}^1\times \mathbb{P}^2$. Such moduli space plays an important role in the study of the Hassett-Keel-Looijenga program of the moduli space of degree $8$ quasi-polarized K3 surfaces. In this paper, we consider several natural compactifications of $\mathcal{F}_{T_1}$, such as the GIT compactification and arithmetic compactifications. We give a complete analysis of GIT stability of $(2,3)$-hypersurfaces and provide a concrete descript…
Let $G$ be a complex linear algebraic group which is simple of adjoint type. Let $\overline G$ be the wonderful compactification of $G$. We prove that the tangent bundle of $\overline G$ is stable with respect to every polarization on $\overline G$.
A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the morphism of moduli schemes with possibly nonreduced scheme structures. As usually, we consider subfunctors corresponding to main components of moduli schemes.
In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is called refined parabolic bundles. Third, we discuss a stability condition of refined parabolic bundles and define elementary transformations of the refined parabolic bundles. Finally, we describe the…
The new compactification of moduli scheme of Gieseker-stable vector bundles with the given Hilbert polynomial on a smooth projective polarized surface (S;H), over the field k = \bar k of zero characteristic, is constructed in previous papers of the author. Families of locally free sheaves on the surface S are completed by the locally free sheaves on the schemes which are certain modifications of S. We obtain the class of modified surfaces to appear in the construction. Keywords: moduli space, semistable coherent sheaves, blowup algebra, algebraic surface.
Let $(X,H)$ be a smooth, projective, polarized surface over $\mathbb{C}$, and let $v \in K_{\mathrm{num}}(X)$ be a class of positive rank. We prove that for certain Bridgeland stability conditions $σ= (\mathcal{A}, Z)$ "on the vertical wall" for $v$, the good moduli space $M^σ(v)$ parameterizing S-equivalence classes of $σ$-semistable objects of class $v$ in $\mathcal{A}$ is projective. Moreover, we construct a bijective morphism $M^{\mathrm{Uhl}}(v) \to M^σ(v)$ from the Uhlenbeck compactification of $μ$-stable vector bundles.
We describe a compactification by stable pairs (also known as KSBA compactification) of the $4$-dimensional family of Enriques surfaces which arise as the $\mathbb{Z}_2^2$-covers of the blow up of $\mathbb{P}^2$ at three general points branched along a configuration of three pairs of lines. Up to a finite group action, we show that this compactification is isomorphic to the toric variety associated to the secondary polytope of the unit cube. We relate the KSBA compactification considered to the Baily-Borel compactification of the same family of Enriques surfaces. Part of the KSBA boundary has …
In this article we announce some results on compactifying moduli spaces of rank-2 vector bundles on surfaces by spaces of vector bundles on trees of surfaces. This is thought as an algebraic counterpart of the so called bubbling of vector bundles and connections in differential geometry. The new moduli spaces are algebraic spaces arising as quotients by group actions according to a result of Kollár. As an example the compactification of the space of stable rank-2 vector bundles with Chern classes $c_1=0, c_1=2$ on the projective plane is studied in more detail. Proofs are only indicated and wi…
In this paper, we obtain parametrizations of the moduli space of principal bundles over a compact Riemann surface using spaces of Hecke modifications in several cases. We begin with a discussion of Hecke modifications for principal bundles and give constructions of "universal" Hecke modifications of a fixed bundle of fixed type. This is followed by an overview of the construction of the "wonderful," or De Concini--Procesi, compactification of a semi-simple algebraic group of adjoint type. The compactification plays an important role in the deformation theory used in constructing the parametriz…
We describe a compactification by KSBA stable pairs of the five-dimensional moduli space of K3 surfaces with purely non-symplectic automorphism of order four and $U(2)\oplus D_4^{\oplus2}$ lattice polarization. These K3 surfaces can be realized as the minimal resolution of the double cover of $\mathbb{P}^1\times\mathbb{P}^1$ branched along a specific $(4,4)$ curve. We show that, up to a finite group action, this stable pair compactification is isomorphic to Kirwan's partial desingularization of the GIT quotient $(\mathbb{P}^1)^8//\mathrm{SL}_2$ with the symmetric linearization.
We study semi-stable sheaves of rank $2$ with Chern class $c_1=0$, $c_2=2$ and $c_3=0$ on the Fano 3-folds $V_4$ of Picard number $1$, degree $4$ and index $2$. We show the moduli space of such sheaves is isomorphic to the moduli space of semi-stable rank $2$ even degree vector bundles on a genus $2$ curve. This provides a natural smooth compatification of the moduli space of Ulrich bundles of rank $2$ on $V_4$.
We prove that the moduli spaces of n-pointed m-stable curves introduced in our previous paper have projective coarse moduli. We use the resulting spaces to run an analogue of the Hassett-Keel log minimal model program for the moduli space of n-pointed stable curves of genus one.
Projective duality identifies the moduli spaces $\mathbf{B}_n$ and $\mathbf{X}(3,n)$ parametrizing linearly general configurations of $n$ points in $\mathbb{P}^2$ and $n$ lines in the dual $\mathbb{P}^2$, respectively. The space $\mathbf{X}(3,n)$ admits Kapranov's Chow quotient compactification $\overline{\mathbf{X}}(3,n)$, studied also by Lafforgue, Hacking, Keel, Tevelev, and Alexeev, which gives an example of a KSBA moduli space of stable surfaces: it carries a family of certain reducible degenerations of $\mathbb{P}^2$ with $n$ "broken lines". Gerritzen and Piwek proposed a dual perspectiv…
Manin's conjecture predicts an asymptotic formula for the number of rational points of bounded height on a smooth projective variety in terms of its global geometric invariants. The strongest form of the conjecture implies certain inequalities among geometric invariants of the variety and of its subvarieties. We provide a general geometric framework explaining these phenomena, via the notion of balanced line bundles, and prove the required inequalities for a large class of equivariant compactifications of homogeneous spaces.
A degree one del Pezzo surface is the blowup of P^2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we construct a stable pair compactification of the moduli space of anti-canonically polarized degree one del Pezzo surfaces.
We present an algorithm for explicitly computing the number of generators of the stable cohomology algebra of any rationally smooth partial toroidal compactification of ${\mathcal A}_g$, satisfying certain additivity and finiteness properties, in terms of the combinatorics of the corresponding toric fans. In particular the algorithm determines the stable cohomology of the matroidal partial compactification, in terms of simple regular matroids that are irreducible with respect to the 1-sum operation, and their automorphism groups. The algorithm also applies to compute the stable Betti numbers i…
We present a new compactification $M(d,n)$ of the moduli space of self-maps of $\mathbb{CP}^1$ of degree $d$ with $n$ markings. It is constructed via GIT from the stable maps moduli space $\ ar M_{0,n}(\mathbb{CP}^1 \times \mathbb{CP}^1, (1,d))$. We show that it is the coarse moduli space of a smooth Deligne-Mumford stack and we compute its rational Picard group. Using the recursive boundary structure inherited from the stable maps space, we give an explicit algorithm for computing top-intersection numbers of divisors on $M(d,n)$. We also study the $m$-fold iteration map $M(d,n) \dashrightarro…
We study the moduli space of triples $(C, L_1, L_2)$ consisting of quartic curves $C$ and lines $L_1$ and $L_2$. Specifically, we construct and compactify the moduli space in two ways: via geometric invariant theory (GIT) and by using the period map of certain lattice polarized $K3$ surfaces. The GIT construction depends on two parameters $t_1$ and $t_2$ which correspond to the choice of a linearization. For $t_1=t_2=1$ we describe the GIT moduli explicitly and relate it to the construction via $K3$ surfaces.
The main purpose of this paper is to present a conceptual approach to understanding the extension of the Prym map from the space of admissible double covers of stable curves to different toroidal compactifications of the moduli space of principally polarized abelian varieties. By separating the combinatorial problems from the geometric aspects we can reduce this to the computation of certain monodromy cones. In this way we not only shed new light on the extension results of Alexeev, Birkenhake, Hulek, and Vologodsky for the second Voronoi toroidal compactification, but we also apply this to ot…
Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$…
We show that Martin Olsson's compactification of moduli space of polarized abelian varieties in \cite{ols08} can be interpreted in terms of KSBA stable pairs. We find that there is a canonical set of divisors $S(K_2)$ associated with each cusp. Near the cusp, a polarized semiabelic scheme $(\mathcal{X}, G,\mathcal{L})$ is the canonical degeneration given by the compactification if and only if $(\mathcal{X},G,Θ)$ is an object in $\overline{\mathscr{AP}}_{g,d}$ for any $Θ\in S(K_2)$. Moreover, we give an alternative construction of the compactification by using mirror symmetry. We construct a to…
We use the theory of twisted stable maps to Deligne-Mumford stacks to construct compactifications of the moduli space of pairs $(X \to C, S + F)$ where $X \to C$ is a fibered surface, $S$ is a sum of sections, $F$ is a sum of marked fibers, and $(X, S + F)$ is a stable pair in the sense of the minimal model program. This generalizes the work of Abramovich-Vistoli, who compactified the moduli space of fibered surfaces without marked fibers. Furthermore, we compare our compactification to Alexeev's space of stable maps and the KSBA compactification of stable pairs. As an application, we describe…
The moduli space $\cM_g$ of nonsingular projective curves of genus $g$ is compactified into the moduli $\bcM_g$ of Deligne-Mumford stable curves of genus $g$. We compactify in a similar way the moduli space of abelian varieties by adding some mildly degenerating limits of abelian varieties. A typical case is the moduli space of Hesse cubics. Any Hesse cubic is GIT-stable in the sense that its $\SL(3)$-orbit is closed in the semistable locus, and conversely any GIT-stable planar cubic is one of Hesse cubics. Similarly in arbitrary dimension, the moduli space of abelian varieties is compactified…
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.