We show that the $n-$th symmetric product of an affine scheme $X=\mathrm{Spec} A$ over a characteristic zero field is isomorphic as a scheme to the quotient by the general linear group of the scheme parameterizing $n-$dimensional linear representations of $A$. As a consequence we give generators and relations of the related rings of invariants as well as the equations of any symmetric products in term of traces. In positive characteristic we prove an analogous result for the associated varieties.
We present an explicit method to produce upper bounds for the dimension of the moduli spaces of complete integral Gorenstein curves with prescribed symmetric Weierstrass semigroups.
In this survey paper we study the relationships between the coarse moduli space which parameterizes the finite dimensional linear representations of an associative alegebra, the non commutative hilbert scheme and the affine scheme which is the spectrum of the abelianization of algebra of the divided powers. In particular we will show a map which specialize to the Hlibert - Chow morphism when the associative algebra is commutative. The extension to the positive characteristic case of some of the results due to L. Le Bruyn on noncommutative desingularization is outlined. The possibility to use o…
In this paper we realize the moduli spaces of cubic fourfolds with specified automorphism groups as arithmetic quotients of complex hyperbolic balls or type IV symmetric domains, and study their compactifications. Our results mainly depend on the well-known works about moduli space of cubic fourfolds, including the global Torelli theorem proved by Voisin ([Voi86]) and the characterization of the image of the period map, which is given by Laza ([Laz09, Laz10]) and Looijenga ([Loo09]) independently. The key input for our study of compactifications is the functoriality of Looijenga compactificati…
This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.
We study the birational geometry of some moduli spaces of abelian varieties with extra structure: in particular, with a symmetric theta structure and an odd theta characteristic. For a $(d_1,d_2)$-polarized abelian surface, we show how the parities of the $d_i$ influence the relation between canonical level structures and symmetric theta structures. For certain values of $d_1$ and $d_2$, a theta characteristic is needed in order to define Theta-null maps. We use these Theta-null maps and preceding work of other authors on the representations of the Heisenberg group to study the birational geom…
Let $X$ be a smooth projective curve of genus $g \geq 2$ and $M$ be the moduli space of rank 2 stable vector bundles on $X$ whose determinants are isomorphic to a fixed odd degree line bundle $L$. There has been a lot of works studying the moduli and recently the bounded derived category of coherent sheaves on $M$ draws lots of attentions. It was proved that the derived category of $X$ can be embedded into the derived category of $M$ by the second named author and Fonarev-Kuznetsov. In this paper we prove that the derived category of the second symmetric product of $X$ can be embedded into der…
This paper studies the moduli space of stable surfaces of general type. The moduli space component containing the moduli point of a product of smooth curves of general type is proved to be the product of the moduli spaces of the curves, unless the curves have the same genus, in which case it is the symmetric product of the moduli space of curves. This result follows from a study of deformation theory of products and the singularities of products of nodal curves (namely that the product of nodal curves has semilogcanonical singularities).
In this paper we study spaces of algebras over an operad (non-symmetric) in symmetric monoidal model categories. We first compute the homotopy fiber of the forgetful functor sending an algebra to its underlying object, extending a result of Rezk. We then apply this computation to the construction of geometric moduli stacks of algebras over an operad in a homotopical algebraic geometry context in the sense of Toën and Vezzosi. We show under mild hypotheses that the moduli stack of unital associative algebras is a Zariski open substack of the moduli stack of non-necessarily unital associative al…
We complete Mori's program with symmetric divisors for the moduli space of stable six pointed rational curves. As an application, we give an alternative proof of the complete Mori's program of the moduli space of genus two stable curves, done by Hassett.
We complete Mori's program with symmetric divisors for the moduli space of stable seven pointed rational curves. We describe all birational models in terms of explicit blow-ups and blow-downs. We also give a moduli theoretic description of the first flip, which have not appeared in literature.
We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud's theorem. We also prove the Tate-Voloch conjecture for a product of Siegel moduli spaces namely ordinary CM points outside a closed subvariety can not be p-adically too close to it.
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
The moduli space of principally polarized abelian varieties with real structure and with level $N=4m$ structure (with $m \ge 1$) is shown to coincide with the set of real points of a quasi-projective algebraic variety defined over $\mathbb Q$, and to consist of finitely many copies of the quotient of the space $\mathbf{GL}(n, \mathbb R)/\mathbf O(N)$ (of positive definite symmetric matrices) by the principal congruence subgroup of level $N$ in $\mathbf{GL}(n, \mathbb Z).$
We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension 1. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global on…
The main result of this article is that the component of the Alexeev-Kollár-Shepherd-Barron moduli space of stable surfaces parameterizing stable degenerations of symmetric squares of curves is isomorphic to the moduli space of stable curves. The moduli space of stable curves is used to ensure that any degeneration can be replaced by a degeneration to the symmetric square of a stable curve. These degenerations are not stable, however, but are partially resolved by the relative Hilbert scheme of length two subschemes in the fibers of a family of stable curves. The article gives a geometric desc…
We give an explicit construction for the extension of a symmetric determinantal quartic K3 surface to a Fano 6-fold. Remarkably, the moduli of the 6-fold extension are in one-to-one correspondence with the moduli of the quartic surface. As a consequence, we determine a 16-parameter family of surfaces of general type with p_g=1 and K^2=2 as weighted complete intersections inside Fano 6-folds.
It is known that the moduli space of plane quartic curves is birational to an arithmetic quotient of a 6-dimensional complex ball. In this paper, we shall show that there exists a 15-dimensional space of meromorphic automorphic forms on the complex ball which gives a birational embedding of the moduli space of plane quartics with level 2 structure into 14-dimensional projective space. This map coincides with the one given by Coble by using Gopel invariants.
We exhibit a smooth compactification of the moduli space of elliptic curves in a product of projective spaces with tangency along a subset of its toric boundary divisors. This is a Vakil--Zinger type of desingularization for maps to a product of projective spaces using ideas of elliptic singularities and logarithmic geometry, extending the recent work by Ranganathan--Santos-Parker--Wise. We use this to construct the virtual fundamental classes of the spaces of genus 1 maps to a special class of simple normal crossings pairs.
We prove that the coarse moduli space of curves of genus 6 is birational to an arithmetic quotient of a bounded symmetric domain of type IV by giving a period map to the moduli space of some lattice-polarized K3 surfaces.
We prove that the forgetful morphism from the moduli space of orthogonal bundles to the moduli space of vector bundles over a smooth curve is an embedding. Our proof relies on an explicit description of a set of generators for the invariants on the representation space of a quiver under the action of a product of classical groups.
This work is a PhD thesis. First we provide some general context on wonderful varieties and moduli spaces of rational curves. Working over complex numbers we prove that the moduli space of rational curves with no marked points on the wonderful compactification of a symmetric space is not irreducible in general. Lastly we show that in the case of wonderful group compactifications the set of rational curves with no marked points and irreducible source is irreducible.
Given a rank $r$ stable bundle over a smooth irreducible projective curve $C,$ there is an associated rank $2r$ bundle over $S^2(C),$ the second symmetric power of $C.$ In this article we study the stability of this bundle. As a consequence we get an immersion from the moduli space of stable bundles over $C$ to the associated moduli space of stable bundles over $S^2(C).$
Motivated by the relation between (twisted) K3 surfaces and special cubic fourfolds, we construct moduli spaces of polarized twisted K3 surfaces of any fixed degree and order. We do this by mimicking the construction of the moduli space of untwisted polarized K3 surfaces as a quotient of a bounded symmetric domain.
There is a natural sequence of CY manifolds that are double covers of the projective g dimensional spaces ramified over 2g+2 hyperplanes. We observe that some of them are obtained as quotient of the action of the semi-direct product of g-1 copies of cyclic Z/2Z groups with the symmetric g group on the product of g-copies of hyper-elliptic curves of genus g. The quotient is a double cover of the projective g space ramified over 2g+2 hyperplanes. This construction generalizes the construction of a Kummer surface. The Kodaira-Spencer classes on the Jacobian are invariant under the action of the g…
Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces found by O'Grady. Consequently, since singular moduli space that do not belong to these exceptional cases have singularities in codimension $\geq4$ they do no admit projective symplectic resolutions.
We provide a spectral sequence computing the extension groups of tautological bundles on symmetric products of curves. One main consequence is that, if $E\neq \mathcal O_X$ is simple, then the natural map $\operatorname*{Ext}^1(E,E)\to \operatorname*{Ext}^1(E^{[n]},E^{[n]})$ is injective for every $n$. Along with previous results, this implies that $E\mapsto E^{[n]}$ defines an embedding of the moduli space of stable bundles of slope $μ\notin[-1,n-1]$ on the curve $X$ into the moduli space of stable bundles on the symmetric product $X^{(n)}$. The image of this embedding is, in most cases, cont…
We study moduli spaces of O'Grady's ten-dimensional irreducible symplectic manifolds. These moduli spaces are covers of modular varieties of dimension 21, namely quotients of hermitian symmetric domains by a suitable arithmetic group. The interesting and new aspect of this case is that the group in question is strictly bigger than the stable orthogonal group. This makes it different from both the K3 and the K3^[n] case, which are of dimension 19 and 20 respectively.
Let $X$ be a closed $6-$dimensional manifold with a half-closed $SU(3)-$structure. On the product manifold $X\times S^{1}$, with respect to the product $G_{2}-$structure and on a pullback vector bundle from $X$, we show that any $G_{2}-$instanton is equivalent to a Hermitian Yang-Mills connection on $X$ via a "broken gauge". This result reveals the topological type of the moduli of $G_{2}-$instantons on $X\times S^{1}$. In dimension $8$, similar result holds for moduli of $Spin(7)-$instantons. A generalization and an example are given.
Just as a symmetric surface with separating fixed locus halves into two oriented bordered surfaces, an arbitrary symmetric surface halves into two oriented symmetric half-surfaces, i.e. surfaces with crosscaps. Motivated in part by the string theory view of real Gromov-Witten invariants, we introduce moduli spaces of maps from surfaces with crosscaps, develop the relevant Fredholm theory, and resolve the orientability problem in this setting. In particular, we give an explicit formula for the holonomy of the orientation bundle of a family of real Cauchy-Riemann operators over Riemann surfaces …
We classify products of symmetric powers of a Severi-Brauer variety, up-to stable birational equivalence. The description also includes Grassmannians and moduli spaces of genus 0 stable maps.
We compute the $S_n$-equivariant rational homology of the tropical moduli spaces $Δ_{2,n}$ for $n\leq 8$ using a cellular chain complex for symmetric $Δ$-complexes in Sage.
Just as a symmetric surface with separating fixed locus halves into two oriented bordered surfaces, an arbitrary symmetric surface halves into two oriented symmetric half-surfaces, i.e. surfaces with crosscaps. Motivated in part by the string theory view of real Gromov-Witten invariants, we previously introduced moduli spaces of maps from surfaces with crosscaps, developed the relevant Fredholm theory, and resolved the orientability problem in this setting. In this paper, we determine the relative signs of the automorphisms of these moduli spaces induced by interchanges of boundary components …
First we give a complex ball uniformization of the moduli space of 8 ordered points on the projective line by using the theory of periods of K3 surfaces. Next we give a projective model of this moduli space by using automorphic forms on a bounded symmetric domain of type IV which coincides with the one given by cross ratios of 8 ordered points of the projective line.
Let P^n be the projective space of dimension n on an algebraically closed field of characteristic 0 and F be the image of the Segre embedding of P^1xP^1xP^1 inside P^7. In the present paper we deal with the moduli spaces of locally free sheaves E on F of rank 2 with h^i(F,E(t))=0 for i=1,2 and each integer t.
Higgs bundles and non-abelian Hodge theory provide holomorphic methods with which to study the moduli spaces of surface group representations in a reductive Lie group G. In this paper we survey the case in which G is the isometry group of a classical Hermitian symmetric space of non-compact type. Using Morse theory on the moduli spaces of Higgs bundles, we compute the number of connected components of the moduli space of representations with maximal Toledo invariant.
We review progress on the generalized Witten conjecture and some of its major ingredients. This conjecture states that certain intersection numbers on the moduli space of higher spin curves assemble into the logarithm of the tau function of a semiclassical limit of the r-th Gelfand-Dickey (or KdV_r) hierarchy. Additionally, we prove that tensor products of the Frobenius manifolds associated to such hierarchies admit a geometric interpretation in terms of moduli spaces of higher spin structures. We also elaborate upon the analogy to Gromov-Witten invariants of a smooth, projective variety.
Connected Shimura varieties are the quotients of hermitian symmetric domains by discrete groups defined by congruence conditions. We examine their relation with moduli varieties. (Handbook of Moduli).
An explicit projective embedding of the moduli space of marked cubic surfaces is given. This embedding is equivariant under the Weyl group of type E6. The image is defined by a system of linear and cubic equations. To express the embedding in a most symmetric way, the target would be 79-dimensional, however the image lies in a 9-dimensional linear subspace.
Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We determine the Chow group of these moduli spaces. We compute the global sections of the sheaves of differential operators on ample line bundles and their symmetric powers over these moduli spaces, and show that they are constant under certain condition. We show the Torelli type theorem for the moduli space of logarithmic connections. We also describe the rational con…
We study the geometry of some varieties of sums of powers related to the Klein quartic. This allows us to describe the birational geometry of certain moduli spaces of abelian surfaces. In particular we show that the moduli space $\mathcal{A}_2(1,7)^{-}_{sym}$ of $(1,7)$-polarized abelian surfaces with a symmetric theta structure and an odd theta characteristic is unirational by showing that it admits a dominant morphism from a unirational conic bundle.
In this paper we will study the moduli spaces of log Hodge structures introduced by Kato-Usui. This moduli space is a partial compactification of a discrete quotient of a period domain. We treat the following 2 cases: (A) the case where the period domain is Hermitian symmetric, (B) the case where the Hodge structures are of the mirror quintic type. Especially we study a property of the torsor.
We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=γ^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the…
We present a new criterion for the complex hyperbolicity of a non-compact quotient X of a bounded symmetric domain. For each p $\ge$ 1, this criterion gives a precise condition under which the subvarieties V $\subset$ X with dim V $\ge$ p are of general type, and X is p-measure hyperbolic. Then, we give several applications related to ball quotients, or to the Siegel moduli space of principally polarized abelian varieties. For example, we determine effective levels l for which the moduli spaces of genus g curves with l-level structures are of general type.
Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple normal crossing divisor, then we can consider the sheaf of differentials with logarithmic poles along D. Viehweg and Zuo have shown that for some number m>0, the m-th symmetric power of this sheaf admits many sections. More precisely, the m-th symmetric power contains an invertible sheaf whose Kodaira-Iitaka dimension is at least the variation of the family. …
Let $M^K_n$ be the moduli space of framed $K$-instantons with instanton number $n$ when $K$ is a compact simple Lie group of classical type. Due to Donaldson's theorem, its scheme structure is given by the regular locus of a GIT quotient of $μ^{-1}(0)$ where $μ$ is the moment map on the associated symplectic vector space of ADHM data. A main theorem of this paper asserts that $μ$ is flat for $K=SO(3,\mathbb{R})$ and any $n\ge0$. Hence we complete the interpretation of the K-theoretic Nekrasov partition function for the classical groups in Nekrasov-Shadchin's work in term of Hilbert series of t…
We prove that, assuming the F-conjecture, the log canonical model of the pair $(\bar{M}_{0,n}, \sum a_i ψ_i)$ is the Hassett's moduli space of weighted pointed stable rational curves without any modification of weight coefficients. For the boundary weight cases, we prove that the birational model is the GIT quotient of the product of the projective lines. This is a generalization of Simpson's theorem for symmetric weight cases.
We give several new moduli interpretations of the fibers of certain Shimura varieties over several prime numbers. As a consequence (of our theorem 9.1) one obtains that for every prescribed odd prime characteristic $p$ every bounded symmetric domain possesses quotients by arithmetic groups whose models have good reduction at a prime divisor of $p$.
It is well known that every smooth cubic threefold is the zero locus of the Pfaffian of a 6 x 6 skew-symmetric matrix of linear forms in P^4. To compactify the space of such Pfaffian representations of a given cubic and to study the construction in families as well as for singular or reducible cubics, it is thus natural to consider the incidence correspondence of Pfaffian representations inside the product of the space of semistable skew-symmetric 6 x 6 matrices of linear forms in P^4 and the space of cubics. Here we describe concretely the irreducible component of this incidence correspondenc…
