By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties.
We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor.
We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type.
We prove that, for a natural class of Bridgeland stability conditions on $\mathbb{P}^1\times\mathbb{P}^1$ and the blow-up of $\mathbb{P}^2$ at a point, the moduli spaces of Bridgeland semistable objects are projective. Our technique is to find suitable regions of stability conditions with hearts that are (after "rotation") equivalent to representations of a quiver. The helix and tilting theory is well-behaved on Del Pezzo surfaces and we conjecture that this program (begun in arXiv:1203.0316) runs successfully for all Del Pezzo surfaces, and the analogous Bridgeland moduli spaces are projectiv…
We construct moduli spaces of semistable objects on an Enriques surface for generic Bridgeland stability condition and prove their projectivity. We further generalize classical results about moduli spaces of semistable sheaves on an Enriques surface to their Bridgeland counterparts. Using Bayer and Macrì's construction of a natural nef divisor varying with the stability condition, we begin a systematic exploration of the relation between wall-crossing on the Bridgeland stability manifold and the minimal model program for these moduli spaces. We give three applications of our machinery to obtai…
The moduli space of Higgs bundles can be defined as a quotient of an infinite-dimensional space. Moreover, by the Kuranishi slice method, it is equipped with the structure of a normal complex space. In this paper, we will use analytic methods to show that the moduli space is quasi-projective. In fact, following Hausel's method, we will use the symplectic cut to construct a normal and projective compactification of the moduli space, and hence prove the quasi-projectivity. The main difference between this paper and Hausel's is that the smoothness of the moduli space is not assumed.
We construct a family of nef divisor classes on every moduli space of stable complexes in the sense of Bridgeland. This divisor class varies naturally with the Bridgeland stability condition. For a generic stability condition on a K3 surface, we prove that this class is ample, thereby generalizing a result of Minamide, Yanagida, and Yoshioka. Our result also gives a systematic explanation of the relation between wall-crossing for Bridgeland-stability and the minimal model program for the moduli space. We give three applications of our method for classical moduli spaces of sheaves on a K3 surfa…
We prove that a normal variety contains finitely many maximal quasi-projective open subvarieties. As a corollary, we obtain the following generalization of the Chevalley-Kleiman projectivity criterion : a normal variety is quasi-projective if and only if every finite subset is contained in an affine open subvariety. The proof builds on a strategy of Wlodarczyk, using results of Boissiere, Gabber and Serman.
We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth, we show that for many stability functions, the stack of semistable representations admits an adequate moduli space, and prove that this moduli space is proper over the moduli space of semisimple representations. We construct a natural determinantal line bundle that descends to a semiample line bundle on the moduli space and provide new effective bounds for …
In this note, we prove that there is a canonical continuous Hermitian metric on the CM line bundle over the proper moduli space $\bar{\mathcal{M}}$ of smoothable Kahler-Einstein Fano varieties. The curvature of this metric is the Weil-Petersson current, which exists as a positive (1,1)-current on $\bar{\mathcal{M}}$ and extends the canonical Weil-Petersson current on the moduli space parametrizing smooth Kahler-Einstein Fano manifolds $\mathcal{M}$. As a consequence, we show that the CM line bundle is nef and big on $\bar{\mathcal{M}}$ and its restriction on $\mathcal{M}$ is ample.
We generalize a compactification technique due to C. Simpson in the context of $\mathbb{G}_m$-actions over the ground field of complex numbers, to the case of a universally Japanese base ring. We complement this generalized compactification technique so that it can sometimes yield projectivity results for these compactifications. We apply these projectivity results to the Hodge, de Rham, and Dolbeault moduli spaces for curves, with special regards to ground fields of positive characteristic.
We consider the problem of deciding if a group is the fundamental group of a smooth connected complex quasi-projective (or projective) variety using Alexander-based invariants. In particular, we solve the problem for large families of Artin-Tits groups. We also study finiteness properties of such groups and exhibit examples of hyperplane complements whose fundamental groups satisfy $\text{F}_{k-1}$ but not $\text{F}_k$ for any $k$.
Let H be a semisimple algebaric group and let X be a smooth projective curve defined over an algebraically closed field k. In the first part of this paper we show that the moduli of semistable principal H-bundles exists once given a "low-height" representation of H. We also show the projectivity of the moduli space if p > ψ, where ψis a representation theoritic index. The projectivity is a consequence of a semistable reduction theorem. The irreducibility of the moduli space of semistable H-bundles for simple and simply connected group is obtained as a consequence.
We show that every smooth toric variety (and many other algebraic spaces as well) can be realized as a moduli space for smooth, projective, polarized varieties. Some of these are not quasi--projective. This contradicts a recent paper (Quasi--projectivity of moduli spaces of polarized varieties, Ann. of Math. 159 (2004) 597--639.).
We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the sense of Kollár. This completes Kollár's projectivity criterion for the moduli spaces of higher-dimensional stable varieties.
We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for the variety of characters of normal-crossing quasi-projective orbifold groups. Finally, we extend Sakuma's formula for the first Betti number of abelian covers of orbifold fundamental groups. Several examples are presented, including a compact orbifold group which is not projective and a Zariski pair of plane projective curves that can be told by considerin…
We study birational projective models of ${\mathcal M}_{2,2}$ obtained from the moduli space of curves with nonspecial divisors. We describe geometrically which singular curves appear in these models and show that one of them is obtained by blowing down the Weierstrass divisor in the moduli stack of ${\mathcal Z}$-stable curves $\overline{\mathcal M}_{2,2}({\mathcal Z})$ defined by Smyth. As a corollary, we prove projectivity of the coarse moduli space $\overline{M}_{2,2}({\mathcal Z})$.
The present paper studies the structure of characteristic varieties of fundamental groups of graph manifolds. As a consequence, a simple proof of Papadima's question is provided on the characterization of algebraic links that have quasi-projective fundamental groups. The type of quasi-projective obstructions used here are in the spirit of Papadima's original work.
We generalize the notion of multi-Gieseker semistability for coherent sheaves, introduced by Greb, Ross, and Toma, to quiver sheaves for a quiver $Q$. We construct coarse moduli spaces for semistable quiver sheaves using a functorial method that realizes these as subschemes of moduli spaces of representations of a twisted quiver, depending on $Q$, with relations. We also show the projectivity of the moduli space in the case when $Q$ has no oriented cycles. Finally, we investigate the parameter dependence of the moduli.
This paper lays the foundation for determining the Kodaira dimension of the projectivized strata of Abelian differentials with prescribed zero and pole orders in large genus. We work with the moduli space of multi-scale differentials constructed in [BCGGM2] which provides an orbifold compactification of these strata. We establish the projectivity of the moduli space of multi-scale differentials, describe the locus of canonical singularities, and compute a series of effective divisor classes. Moreover, we exhibit a perturbation of the canonical class which allows the corresponding pluri-canonic…
We establish P=W and PI=WI conjectures for character varieties with structural group $\mathrm{GL}_n$ and $\mathrm{SL}_n$ which admit a symplectic resolution, i.e. for genus 1 and arbitrary rank, and genus 2 and rank 2. We formulate the P=W conjecture for resolution, and prove it for symplectic resolutions. We exploit the topology of birational and quasi-étale modifications of Dolbeault moduli spaces of Higgs bundles. To this end, we prove auxiliary results of independent interest, like the construction of a relative compactification of the Hodge moduli space for reductive algebraic groups, and…
We study a compactification of the moduli space of theta characteristics, giving a modular interpretation of the geometric points and describing the boundary stratification. This space is different from the moduli space of spin curves. The modular description and the boundary stratification of the new compactification are encoded by a tropical moduli space. We show that this tropical moduli space is a refinement of the moduli space of spin tropical curves. We describe explicitly the induced decomposition of its cones.
In this paper, we present explicit toric construction of moduli space of quasi maps from $\mathbb{P}^1$ with two marked points to $\mathbb{P}^1 \times \mathbb{P}^1$, which was first proposed by Jinzenji and prove that it is a compact orbifold. We also determine its Chow ring and compute its Poincaré polynomial for some lower degree cases.
In this paper, we construct toric data of moduli space of quasi maps of degree $d$ from P^{1} with two marked points to weighted projective space P(1.1,1,3). With this result, we prove that the moduli space is a compact toric orbifold. We also determine its Chow ring. Moreover, we give a proof of the conjecture proposed by Jinzenji that a series of intersection numbers of the moduli spaces coincides with expansion coefficients of inverse function of -log(j(tau)).
In this paper, we study the moduli space of quasi-polarized complex K3 surfaces of degree 6 and 8 via geometric invariant theory. The general members in such moduli spaces are complete intersections in projective spaces and we have natural GIT constructions for the corresponding moduli spaces and we show that the K3 surfaces with at worst ADE singularities are GIT stable. We give a concrete description of boundary of the compactification of the degree 6 case via the Hilbert-Mumford criterion. We compute the Picard group via Noether-Lefschetz theory and discuss the connection to the Looijenga's…
We construct new "virtually smooth" modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed to vary and markings are included, and are the toric counterpart of the moduli spaces of stable quotients introduced by Marian, Oprea, and Pandharipande to compactify spaces of maps to Grassmannians. A brief discussion of the resulting invariants and their (conjectural) relation with Gromov-Witten theory is also included.
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…
We introduce a derived enhancement of the moduli space of sections defined by Chang-Li, and we compute its tangent complex. Special cases of this moduli space include stable maps and stable quasi-maps. As an application, we prove that G-theoretic stable map and quasi-map invariants of projective spaces are equal.
We study a toric degeneration of the Cox ring of the moduli of principal $SL_m(\mathbb{C})$ bundles on the projective line, with quasi parabolic data given by the the stabilizer of the highest weight vector in $\mathbb{C}^m$ and its dual $\bigwedge^{m-1}(\mathbb{C}^m)$. The affine semigroup algebra resulting from this degeneration is described using the $K-$Pieri rule from Kac-Moody representation theory. Along the way we give a proof of the $K-$Pieri rule which utilizes the classical Pieri rule and elements of commutative algebra, and we describe a relationship between the Cox ring and a clas…
By the reduced component in a moduli space of stable quasimaps to n-dimensional projective space we mean the closure of the locus in which the domain curves are smooth. As in the moduli space of stable maps, we prove the reduced component is smooth in genus 2, degree greater or equal to 3. Then we prove the virtual fundamental cycle of the moduli space of stable quasimaps to a complete intersection X in the projective space of genus 2, degree greater or equal to 3 is explicitly expressed in terms of the fundamental cycle of the reduced component of the projective space and virtual cycles of lo…
We generalize the results of Chang-Li, Kim-Oh and Chang-Li on the moduli of $p$-fields to the setting of (quasi-)maps to complete intersections in arbitrary smooth Deligne-Mumford stacks with projective coarse moduli. In particular, we show that the virtual cycle of stable (quasi-)maps to a complete intersection can be recovered by the cosection localized virtual cycle of the moduli of $p$-fields of the ambient space.
We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed point of the moduli space gives a pro-representable hull of the non-commutative deformation functor of the corresponding sheaf developed by Laudal, Eriksen, Segal and Efimov-Lunts-Orlov. We also show that the framed stable moduli spaces of sheaves have canonical NC structures.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
We compare the Kontsevich moduli space of genus 0 stable maps to projective space with the quasi-map space when $d=3$. More precisely, we prove that when $d=3$, the obvious birational map from the quasi-map space to the moduli space of stable maps is the composition of three blow-ups followed by two blow-downs. Furthermore, we identify the blow-up/down centers explicitly in terms of the moduli spaces for lower degrees. Using this, we calculate the Betti numbers, the integral Picard group, and the rational cohomology ring. The degree two case is worked out as a warm-up.
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that the group of autoequivalences of the category of quasi-coherent sheaves consists of automorphisms of the underlying space and twists by line bundles. We apply our strategy to prove analogous statement…
We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.