In this paper we consider a canonical compactification of Hitchin's moduli space of stable Higgs bundles with fixed determinant of odd degree over a Riemann surface, producing a projective variety by gluing in a divisor at infinity. We give a detailed study of the compactified space, the divisor at infinity and the moduli space itself. In doing so we reprove some assertions of Laumon and Thaddeus on the nilpotent cone.
We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.
We give a characterization of toroidal (resp., semi-toric) compactifications due to Ash-Mumford-Rapoport-Tai (resp., Looijenga) as log minimal models and apply it to study weak K-moduli compactifications, giving a different proof to a theorem of Alexeev-Engel. We also discuss towards further generalization, in particular revisit Shah-Sterk compactification of moduli of polarized Enriques surfaces to show compatibility with log K-stability.
Vortices and coupled vortices arise from Yang-Mills-Higgs theories and can be viewed as generalizations or analogues to Yang-Mills connections and, in particular, Hermitian-Yang-Mills connections. We proved an analytic compactification of the moduli spaces of vortices and coupled vortices on hermitian vector bundles over compact Kähler manifolds. In doing so we introduced the concept of ideal coupled vortices and characterized the singularities of ideal coupled vortices as well as Hermitian-Yang-Mills connections.
In this expository note, we offer an overview of the relationship between Hodge-theoretic and geometric compactifications of moduli spaces of algebraic varieties.
The aim of this paper is to construct the parabolic version of the Donaldson--Uhlenbeck compactification for the moduli space of parabolic stable bundles on an algenraic surface with parabolic structures along a divisor with normal crossing singularities. We prove the non--emptiness of the moduli space of parabolic stable bundles of rank 2 and also prove the existence of components with smooth points.
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 provide a moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics via compactification of moduli varieties of Morgan-Shalen and Satake type. In patricular, we use it to study the Gromov-Hausdorff limits of hyperKahler metrics with fixed diameters, especially for K3 surfaces.
For moduli of polarized smooth K-trivial a.k.a., Calabi-Yau varieties in a general sense, we revisit a classical problem of constructing its "weak K-moduli" compactifications which parametrizes K-semistable (i.e., semi-log-canonical K-trivial) degenerations. Although weak K-moduli is not unique in general, they always contain a unique partial compactification (K-moduli). Our main theorem is the log minimality of their normalizations, under some conditions. Partially to confirm that known examples satisfy the conditions, we also include an appendix on the algebro-geometric reconstruction of Kul…
Let $H$ be a semisimple algebraic group. We prove the semistable reduction theorem for $μ$--semistable principal $H$--bundles over a {\it smooth projective variety $X$} defined over the field $\bc$. When $X$ is a {\it smooth projective surface} and $H$ is simple, we construct the algebro--geometric Donaldson--Uhlenbeck compactification of the moduli space of $μ$--semistable principal $H$--bundles with fixed characteristic classes and describe its points. For large characteristic classes we show that the moduli space of $μ$--stable principal $H$--bundles is non--empty.
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
This note is a summary of our work [OO] which provides an explicit and global moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics and we use it to study especially the K3 surfaces case. For instance, it allows us to discuss their Gromov-Hausdorff limits along any sequences, which are even not necessarily "maximally degenerating". Our results also give a proof of Kontsevich-Soibelman [KS04, Conjecture 1] (cf., [GW00, Conjecture 6.2]) in the case of K3 surfaces as a byproduct.
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)$.
In this paper we study the relationship between three compactifications of the moduli space of Hermitian-Yang-Mills connections on a fixed Hermitian vector bundle over a projective algebraic manifold of arbitrary dimension. Via the Donaldson-Uhlenbeck-Yau theorem, this space is analytically isomorphic to the moduli space of stable holomorphic vector bundles, and as such it admits an algebraic compactification by Gieseker-Maruyama semistable torsion-free sheaves. A recent construction due to the first and third authors gives another compactification as a moduli space of slope semistable sheaves…
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].
Let G be a split reductive group. We introduce the moduli problem of "bundle chains" parametrizing framed principal G-bundles on chains of lines. Any fan supported in a Weyl chamber determines a stability condition on bundle chains. Its moduli stack provides an equivariant toroidal compactification of G. All toric orbifolds may be thus obtained. Moreover, we get a canonical compactification of any semisimple G, which agrees with the wonderful compactification in the adjoint case, but which in other cases is an orbifold. Finally, we describe the connections with Losev-Manin's spaces of weighted…
We construct the Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves. The Hilbert compactification is the GIT quotient of some open part of an appropriate Hilbert scheme of curves in a Grassmannian. It has all the properties asked for by Teixidor.
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 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 …
In this paper we construct the analogue of Dedekind eta-function on the moduli space of polarized CY manifolds. We prove that the L-two norm of eta is the regularized determinants of the Laplacians of the CY metric on (0,1) forms. We construct the analogue of the Baily-Borel Compactification of the moduli space of polarized CY and prove that it has the same properties as the Baily-Borel compactification of the locally symmetric Hermitian spaces. We proved that the compactification constructed in the paper is the minimal.
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.
In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of the moduli space. We put an analytic structure on this compact quotient and prove that with respect to this structure, it is canonically isomorphic (as an analytic space) to the Deligne-Mumford compactification.
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in $\mathbb{C}^2$ up to translations and dilations. In the appendices, we give several examples and show how the stratification of $\overline{2M}_{\mathbf{n}}$ can be used to recursively compute its virtual…
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.
We construct a new compactification of the moduli space H_g of smooth hyperelliptic curves of genus g. We compare our compactification with other well-known remarkable compactifications of H_g .
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…
Consider the moduli space M^0 of arrangements of n hyperplanes in general position in projective (r-1)-space. When r=2 the space has a compactification given by the moduli space of stable curves of genus 0 with n marked points. In higher dimensions, the analogue of the moduli space of stable curves is the moduli space of stable pairs: pairs (S,B) consisting of a variety S (possibly reducible) and a divisor B=B_1+..+B_n, satisfying various additional assumptions. We identify the closure of M^0 in the moduli space of stable pairs as Kapranov's Chow quotient compactification of M^0, and give an e…
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 …
We construct a compactification of the moduli space of Drinfeld modules of rank $r$ and level $N$ as a moduli space of $A$-reciprocal maps. This is closely related to the Satake compactification, but not exactly the same. The construction involves some technical assumptions on $N$ that are satisfied for a cofinal set of ideals $N$. In the special case $A={\mathbb F}_q[t]$ and $N=(t^n)$ we obtain a presentation for the graded ideal of Drinfeld cusp forms of level $N$ and all weights and can deduce a dimension formula for the space of cusp forms of any weight. We expect the same results in gener…
We compactify the classical moduli variety of compact Riemann surfaces by attaching moduli of (metrized) graphs as boundary. The compactifications do not admit the structure of varieties and patch together to form a big connected moduli space in which $\sqcup_{g} M_{g}$ is open dense. The metrized graphs, which are often studied as "tropical curves", are obtained as Gromov-Hausdorff collapse by fixing diameters of the hyperbolic metrics of the Riemann surfaces. This phenomenon can be also seen as an archemidean analogue of the tropicalization of Berkovich analytification of $M_{g}$ (cf., [ACP]…
We construct a canonical compactification $SQ^{toric}_{g,K}$ of the moduli of abelian varieties over $Z[ζ_N, 1/N]$ where $ζ_N$ is a primitive $N$-th root of unity. This is very similar to, but slightly diferent from the compactification constructed by the author in Inventiones vol. 136 (1999). Any degenerate abelian scheme on the boundary of $SQ^{toric}_{g,K}$ is reduced and singular and it is one of the stable quasi-abelian varieties introduced by Alexeev and the author (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$.
For any degenerating Calabi-Yau family, we introduce new limit space which we call galaxy, whose dense subspace is the disjoint union of countably infinite open Calabi-Yau varieties, parametrized by the rational points of the Kontsevich-Soibelman's essential skeleton, while dominated by the Huber adification over the Puiseux series field. Other topics include: projective limits of toroidal compactifications, locally modelled on what we call the limit toric varieties, the way to attach tropicalized family to given Calabi-Yau family, which are weakly related to each other.
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 principal Higgs bundle $(P,ϕ)$ over a singular curve $X$ is a pair consisting of a principal bundle $P$ and a morphism $ϕ:X\to\text{Ad}P \otimes Ω^1_X$. We construct the moduli space of principal Higgs G-bundles over an irreducible singular curve $X$ using the theory of decorated vector bundles. More precisely, given a faithful representation $ρ:G\to Sl(V)$ of $G$, we consider principal Higgs bundles as triples $(E,q,ϕ)$ where $E$ is a vector bundle with $\rk{E}=\dim V$ over the normalization $\xtilde$ of $X$, $q$ is a parabolic structure on $E$ and $ϕ:E\ab{}\to L$ is a morphism of bundles, …
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.
Simple examples are given of bundles on Calabi-Yau 3-folds satisfying 8 out of 9 conditions required for a realistic compactification of string theory to 4 dimensions.
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…
A new compactification for the scheme of moduli for Gieseker-stable vector bundles with prescribed Hilbert polynomial, on the smooth projective polarized surface (S,L), is constructed. Families of locally free sheaves on the surface S are completed by locally free sheaves on schemes which are modifications of S. Gieseker -- Maruyama moduli space has a birational morphism onto the new moduli space. We propose the functor for families of pairs polarized scheme -- vector bundle with moduli space of such type.
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.
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.
We investigate a toroidal compactification of the moduli space of K3 surfaces of degree $2$ originating from the program formulated by Gross-Hacking-Keel-Siebert. This construction uses Dolgachev's formulation of mirror symmetry and the birational geometry of the mirror family. Our main result in an analysis of the toric fan. For this we use the methods developed by two of us in a previous paper.
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 …
