In this paper, we consider the diagonal action of a connected semisimple group of adjoint type on its wonderful compactification. We show that the semi-stable locus is a union of the $G$-stable pieces and we calculate the geometric quotient.
We study the intermediate extension of the character sheaves on an adjoint group to the semi-stable locus of its wonderful compactification. We show that the intermediate extension can be described by a direct image construction. As a consequence, we show that the ``ordinary'' restriction of a character sheaf on the compactification to a boundary piece inside the semi-stable locus is a shift of semisimple perverse sheaf and is closely related to Lusztig's restriction functor (from a character sheaf on a reductive group to a direct sum of character sheaves on a Levi subgroup). We also provide a…
The line bundle $12M-D$ on the perfect compactification $A_g^P$ is nef; we show here that in positive characteristic it is semi-ample and that in all characteristics its exceptional locus is the closure of the locus of abelian varieties with an elliptic factor.
Let $X$ be any variety in characteristic zero. Let $V \subset X$ be an open subset that has toroidal singularities. We show the existence of a canonical desingularization of $X$ except for V. It is a morphism $f: Y \to X$ , which does not modify the subset $ V $ and transforms $X$ into a toroidal embedding $Y$, with singularities extending those on $V$. Moreover, the exceptional divisor has simple normal crossings on $Y$. The theorem naturally generalizes the Hironaka canonical desingularization. It does not modify the nonsingular locus $V$ and transforms $X$ into a nonsingular variety $Y$. Th…
In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O Boundary strata of RM_O are parameterized by configurations of el…
We compare two rational polyhedral admissible decompositions of the cone of positive definite quadratic forms: the perfect cone decomposition and the 2nd Voronoi decomposition. We determine which cones belong to both the decompositions, thus providing a positive answer to a conjecture of V. Alexeev and A. Brunyate. As an application, we compare the two associated toroidal compactifications of the moduli space of principal polarized abelian varieties: the perfect cone compactification and the 2nd Voronoi compactification.
In this article, we study the geometric invariant theory (GIT) compactification of quintic threefolds. We study singularities, which arise in non-stable quintic threefolds, thus giving a partial description of the stable locus. We also give an explicit description of the boundary components and stratification of the GIT compactification.
We present an explicit construction of a compactification of the locus of smooth curves whose symmetric Weierstrass semigroup at a marked point is odd. The construction is an extension of Stoehr's techniques using Pinkham'sequivariant deformation of monomial curves by exploring syzygies. As an application we prove the rationality of the locus for genus at most six.
We study the cones in the first Voronoi or perfect cone decomposition of quadratic forms with respect to the question which of these cones are basic or simplicial. As a consequence we deduce that the singular locus of the moduli stack ${\mathcal A_g^{\mathop{Perf}}}$, the toroidal compactification of the moduli space of principally polarized abelian varieties of dimension $g$ given by this decomposition, has codimension $10$ if $g \geq 4$. Moreover we describe the non-simplicial locus in codimension $10$. We also show that the second Voronoi compactification ${\mathcal A_{g}^{\mathop{Vor}}}$ h…
We study the structure of string theory flux compactification for a general family of elliptic CY 3-folds. We investigate the locus of the attractor points of the flux compactification in type IIB string theory on the boundary components of period domains. Specifically we give equations describing this locus through the asymptotic of nilpotent orbits on period domains. our approach is a mixture of techniques of asymptotic Hodge theory and the numerical period vectors used in physics.
Consider the moduli space $\mathcal{M}_{g}$ of Riemann surfaces of genus $g\geq 2$ and its Deligne-Munford compactification $\bar{\mathcal{M}_{g}}$. We are interested in the branch locus ${\mathcal{B}_{g}}$ for $g>2$, i.e., the subset of $\mathcal{M}_{g}$ consisting of surfaces with automorphisms. It is well-known that the set of hyperelliptic surfaces (the hyperelliptic locus) is connected in $\mathcal{M}_{g}$ but the set of (cyclic) trigonal surfaces is not. By contrast, we show that for $g\geq 5$ the set of (cyclic) trigonal surfaces is connected in $\bar{\mathcal{M}_{g}}$. To do so we exhi…
The augmented moduli space is a compactification of moduli space M_n obtained by adding stable hyperbolic surfaces. The different topological types of the added stable surfaces produces a stratification of the boundary of M_n . Let P_n be the pyramidal locus in the moduli space, i.e., the set of hyperbolic surfaces of genus n such that the topological action of its preserving-orientation isometry group is the pyramidal action of the dihedral group Dn. The purpose of this paper is to state the complete list of strata in the boundary of Pn
These lecture notes explain the construction and basic properties of the wonderful compactification of a complex semisimple group of adjoint type. An appendix discusses the more general case of a semisimple symmetric space.
Let $\mathcal{M}_{g}$ be the moduli space of compact connected hyperbolic surfaces of genus $g\geq2$, and ${\mathcal B}_g \subset {\mathcal M}_{g} $ its branch locus. Let $\widehat{\mathcal{M}_{g}}$ be the Deligne-Mumford compactification of the moduli space of smooth, complete, connected surfaces of genus $g\geq 2$ over $\mathbb{C}$. The branch locus ${\mathcal B}_g$ is stratified by smooth locally closed equisymmetric strata, where a stratum consists of hyperbolic surfaces with equivalent action of their preserving orientation isometry group. Any stratum can be determined by a certain epimor…
In this note the geography of minimal surfaces of general type admitting $\mathbb{Z}_2^2$-actions is studied. More precisely, it is shown that Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ contains surfaces admitting a $\mathbb{Z}_2^2$-action for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\leq 8χ-8$ or $K^2=8χ$. The examples considered allow to prove that the locus of Gorenstein stable surfaces is not closed in the KSBA-compactification $\overline{\mathfrak{M}}_{K^2,χ}$ of Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\…
Although regular semisimple Hessenberg varieties are smooth and irreducible, semisimple Hessenberg varieties are not necessarily smooth in general. In this paper we determine the irreducible components of semisimple Hessenberg varieties corresponding to the standard Hessenberg space. We prove that these irreducible components are smooth and give an explicit description of their intersections, which constitute the singular locus. We conclude with an example of a semisimple Hessenberg variety corresponding to another Hessenberg space which is singular and irreducible, showing that results of thi…
Let $G= GL_n(\mathbb{C})$, the general linear group over the complex numbers, and let $B$ be the set of invertible upper triangular matrices in $G$. Let $\mathfrak{b}=\text{Lie}(B)$. For $μ:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, where $\mathfrak{b}^*\cong \mathfrak{g}/\mathfrak{u}$ and $\mathfrak{u}$ being strictly upper triangular matrices in $\mathfrak{g}=\text{Lie}(G)$, we prove that the Hamiltonian reduction $μ^{-1}(0)^{rss}/\!\!/B$ of the extended regular semisimple locus $\mathfrak{b}^{rss}$ of the Borel subalgebra is smooth, affine, reduced, and scheme-theoreti…
We study the geometry of Gorenstein curve singularities of genus two, and of their stable limits. These singularities come in two families, corresponding to either Weierstrass or conjugate points on a semistable tail. For every $1\leq m <n$, a stability condition - using one of the markings as a reference point, and therefore not $\mathfrak S_n$-symmetric - defines proper Deligne-Mumford stacks $\overline{\mathcal M}_{2,n}^{(m)}$ containing the locus of smooth curves as a dense open substack.
The 102581 flat toric elliptic fibrations over P^2 are identified among the Calabi-Yau hypersurfaces that arise from the 473800776 reflexive 4-dimensional polytopes. In order to analyze their elliptic fibration structure, we describe the precise relation between the lattice polytope and the elliptic fibration. The fiber-divisor-graph is introduced as a way to visualize the embedding of the Kodaira fibers in the ambient toric fiber. In particular in the case of non-split discriminant components, this description is far more accurate than previous studies. The discriminant locus and Kodaria fibe…
C.~Pépin recently constructed a semi-factorial compactification of the Néron model of an abelian variety using the flattening technique of Raynaud--Gruson. Here we prove that an explicit semi-factorial compactification is a certain moduli space of sheaves --- the family of compactified jacobians.
We study the asymptotic distribution of integral points of bounded height on partial bi-equivariant compactifications of semi-simple groups of adjoint type.
In this note, we give a way to classify $\mathbb Q$-Fano compactifications of a semisimple group $G$. We will prove that there are only finitely many such $\mathbb Q$-Fano $G$-compactifications, which admits (singular) Kähler-Einstein metrics. As an application, this improves a former result in arXiv:2001.11320.
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…
Let $\cM_r$ denote the moduli space of semi-stable rank-$r$ vector bundles with trivial determinant over a smooth projective curve $C$ of genus $g$. In this paper we study the base locus $\cB_r \subset \cM_r$ of the linear system of the determinant line bundle $\cL$ over $\cM_r$, i.e., the set of semi-stable rank-$r$ vector bundles without theta divisor. We construct base points in $\cB_{g+2}$ over any curve $C$, and base points in $\cB_4$ over any hyperelliptic curve.
We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study of the associated height zeta function and its spectral expansion.
If G is a complex semisimple algebraic group, we characterize the normality and the smoothness of its simple linear compactifications, namely those equivariant GxG-compactifications which possess a unique closed orbit and which arise in a projective space of the shape P(End(V)), where V is finite dimensional rational G-module. Both the characterizations are purely combinatorial and are expressed in terms of the highest weights of V. In particular, we show that Sp(2r) (with r > 0) is the unique non-adjoint simple group which admits a simple smooth compactification.
New local and global non-abelian zeta functions for elliptic curves are studied using certain refined Brill-Noether loci in moduli spaces of semi-stable bundles. Examples of these zeta functions and a justification of using only semi-stable bundles are given too. We end this paper with an appendix on the so-called Weierstrass Groups for general curves, which is motivated by a construction of Euler systems from torsion points (of elliptic curves).
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.
We describe the singular locus of the compactification of the moduli space $R_{g,l}$ of curves of genus $g$ paired with an $l$-torsion point in their Jacobian. Generalising previous work for $l\le 2$, we also describe the sublocus of noncanonical singularities for any positive integer $l$. For $g\ge 4$ and $l=3,4, 6$, this allows us to provide a lifting result on pluricanonical forms playing an essential role in the computation of the Kodaira dimension of $R_{g,l}$: for those values of $l$, every pluricanonical form on the smooth locus of the moduli space extends to a desingularisation of the …
It is well known that, fixed an even, unimodular, positive definite quadratic form, one can construct a modular form in each genus; this form is called the theta series associated to the quadratic form. Varying the quadratic form, one obtains the ring of stable modular forms. We show that the differences of theta series associated to specific pairs of quadratic forms vanish on the locus of hyperelliptic Jacobians in each genus. In our examples, the quadratic forms have rank 24, 32 and 48. The proof relies on a geometric result about the boundary of the Satake compactification of the hyperellip…
In this paper, we introduce a quantum version of the wonderful compactification of a group as a certain noncommutative projective scheme. Our approach stems from the fact that the wonderful compactification encodes the asymptotics of matrix coefficients, and from its realization as a GIT quotient of the Vinberg semigroup. In order to define the wonderful compactification for a quantum group, we adopt a generalized formalism of $\mathsf{Proj}$ categories in the spirit of Artin and Zhang. Key to our construction is a quantum version of the Vinberg semigroup, which we define as a $q$-deformation …
We investigate GIT quotients of polarized curves. More specifically, we study the GIT problem for the Hilbert and Chow schemes of curves of degree d and genus g in a projective space of dimension d-g, as the ratio v:=d/(2g-2) decreases. We prove that the first three values of v at which the GIT quotients change are given by v=4, 3.5, 2. We show that, for v>4, L. Caporaso's results hold true for both Hilbert and Chow semistability. If 3.5<v<4, the Hilbert semistable locus coincides with the Chow semistable locus and it maps to the moduli stack of weakly-pseudo-stable curves. If 2<v<3.5, the Hil…
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.
Let $M^K_n$ be the moduli space of framed $K$-instantons over $S^4$ with instanton number $n$ when $K$ is a compact simple Lie group of classical type. Let $U^{K}_{n}$ be the Uhlenbeck partial compactification of $M^{K}_{n}$. A scheme structure on $U^{K}_{n}$ is endowed by Donaldson as an algebro-geometric Hamiltonian reduction of ADHM data. In this paper, for $K=SO(N,R)$, $N\ge5$, we prove that $U^{K}_{n}$ is an irreducible normal variety with smooth locus $M^{K}_{n}$. Hence, together with the author's previous result, the K-theoretic Nekrasov partition function for any simple classical group…
In this paper we show an Arakelov inequality for semi-stable families of algebraic curves of genus $g\geq 1$ over characteristic $p$ with nontrivial Kodaira-Spencer maps. We apply this inequality to obtain an upper bound of the number of algebraic curves of $p-$rank zero in a semi-stable family over characteristic $p$ with nontrivial Kodaira-Spencer map in terms of the genus of a general closed fiber, the genus of the base curve and the number of singular fibres. An extension of the above results to smooth families of Abelian varieties over $k$ with $W_2$-lifting assumption is also included.
We classify generically transitive actions of semidirect products of an additive and a multiplicative group on the projective plane. Motivated by the program to study the distribution of rational points on del Pezzo surfaces (Manin's conjecture), we determine all (possibly singular) del Pezzo surfaces that are equivariant compactifications of homogeneous spaces for such semidirect products.
Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a finite family of compactifications of X(G) which contains the polyhedral compactification. Moreover, this family can be regarded as a non-Archimedean analogue of Satake compactifications for symmetric spaces.
We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\math…
We study the dimension of loci of special line bundles on stable curves and for a fixed semistable multidegree. In case of total degree $d = g - 1$, we characterize when the effective locus gives a Theta divisor. In case of degree $g - 2$ and $g$, we show that the locus is either empty or has the expected dimension. This leads to a new characterization of semistability in these degrees. In the remaining cases, we show that the special locus has codimension at least $2$. If the multidegree in addition is non-negative on each irreducible component of the curve, we show that the special locus con…
Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.
We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand th…
In this paper we construct a compactification for the parameter space of convex projective structures on a fixed n-manifold M. This parameter space is a closed semi-algebraic subset of the variety of characters of representations of the fundamental group of M in SL_{n+1}(R). The boundary is the inverse limit of an inverse system of logarithmic limit sets of this semi-algebraic set, in a sense it is the tropicalization of the parameter space. The interpretation of the boundary points can also be given using tropical geometry. This construction is a generalization of the construction of compacti…
I prove the existence, and describe the structure, of moduli space of pairs $(p,Θ)$ consisting of a projective variety $P$ with semiabelian group action and an ample Cartier divisor on it satisfying a few simple conditions. Every connected component of this moduli space is proper. A component containing a projective toric variety is described by a configuration of several polytopes, the main one of which is the secondary polytope. On the other hand, the component containing a principally polarized abelian variety provides a moduli compactification of $A_g$. The main irreducible component of th…
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 study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under the action of the doubled group by left/right multiplications, the local structure in a neighborhood of a closed orbit, and obtain some conditions of normality and smoothness of a compactification. Our methods of research use the theory of equivariant embeddings of spherical homogeneous spaces and of reductive algebraic semigroups.
A recent theorem of [GGSM1] showed that adjoint orbits of semisimple Lie algebras have the structure of symplectic Lefschetz fibrations. We investigate the behaviour of their fibrewise compactifications. Expressing adjoint orbits and fibres as affine varieties in their Lie algebra, we compactify them to projective varieties via homogenisation of the defining ideals. We find that their Hodge diamonds vary wildly according to the choice of homogenisation, and that extensions of the potential to the compactification must acquire degenerate singularities.
Given an adjoint semisimple group $G$ over a local field $k$, we prove that the maximal Satake-Berkovich compactification of the Bruhat-Tits building of $G$ can be identified with the one obtained by embedding the building into the Berkovich analytification of the wonderful compactification of $G$, extending previous results of Rémy, Thuillier and Werner. In the process, we use the characterisation of the wonderful compactification in terms of Hilbert schemes given by Brion to extend the definition of the wonderful compactification to the case of a non-necessarily split adjoint semisimple grou…
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 paper we compute the cohomology groups of the second Voronoi compactification of the moduli space of abelian fourfolds in all degrees with the exception of the middle degree 10. We also compute the cohomology groups of the perfect cone compactification in degree < 10. The main tool is the investigation of the strata of the compactification corresponding to semi-abelic varieties with constant torus rank.