Compactifications defined by arrangements II: locally symmetric varieties of type IV
Eduard Looijenga
备注：
The section on arrangements on tube domains has beeen expanded in order to make a connection with a conjecture of Gritsenko and Nikulin. Also added: a list of notation and some references. Finally some typo's corrected and a few minor changes made in notation
We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of type IV determines such a completion canonically. This completion admits a natural contraction that leaves the complement of the arrangement untouched. The resulting completion of the arrangement complement is very much like a Baily-Borel compactification: it is the proj of an algebra of meromorphic automorphic forms. When that complement has a moduli space interpretation, then what we get is often a compactification obtained by means of geometric invariant theory. We illustrate this with several examples: moduli spaces of polarized $K3$ and Enriques surfaces and the semi-universal deformation of a triangle singularity.
We also discuss the question when a type IV arrangement is definable by an automorphic form.
We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric invariant theory. We illustrate this with the moduli spaces of smooth quartic curves and rational elliptic surfaces.
Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in particular, to homology planes arising from arrangements of lines. This permits to determine the infinitude of the fundamental group of homology planes of log-general type that may be the first examples of this type.
We define the wonderful compactification of an arrangement of subvarieties. Given a complex nonsingular algebraic variety $Y$ and certain collection $\mathcal{G}$ of subvarieties of $Y$, the wonderful compactification $Y_\mathcal{G}$ can be constructed by a sequence of blow-ups of $Y$ along the subvarieties of the arrangement. This generalizes the Fulton-MacPherson configuration spaces and the wonderful models given by De Concini and Procesi. We give a condition on the order of blow-ups in the construction of $Y_\mathcal{G}$ such that each blow-up is along a nonsingular center.
Let $\mathscr{A}$ be a real projective line arrangement and $M(\mathscr{A})$ its complement in $\mathbb{CP}^2$. We obtain an explicit expression in terms of Randell's generators of the meridians around the exceptional divisors in the blow-up $\bar{X}$ of $\mathbb{CP}^2$ in the singular points of $\mathscr{A}$. We use this to investigate the partial compactifications of $M(\mathscr{A})$ contained in $\bar{X}$ and give a counterexample to a statement suggested by A. Dimca and P. Eyssidieux to the effect that the fundamental group of such an algebraic variety is finite whenever its abelianization…
In this paper, we construct compactifications of $SL_2(\mathbb{C})$-character varieties of $n$-punctured projective line and study the boundary divisor of the compactifications. This study is motivated by the conjecture for the configuration of the boundary divisor, due to C. Simpson. We verify the conjecture for a few examples.
We study the Baily-Borel compactification of a family of four-dimensional orthogonal modular varieties arising in connection with moduli and periods of compact hyperkähler manifolds of deformation generalised Kummer type. Our main results concern the classification of boundary components, their incidence relations and combinatorics.
Let D be a central simple algebra of prime degree over a field and let E be an SL_1(D)-torsor. We determine the complete motivic decomposition of certain compactifications of E. We also compute the Chow ring of E.
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.
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 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).
In this article we define a natural tropicalization procedure for closed subsets of log-regular varieties in the case of constant coefficients and study its basic properties. This framework allows us to generalize some of Tevelev's results on tropical compactification as well as Hacking's result on the cohomology of the link of a tropical variety to log-regular varieties.
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.
In this paper we show a general method to compactify certain open varieties by adding normal crossing divisors. This is done by proving that {\it blowing up along an arrangement of subvarieties} can be carried out. Important examples such as Ulyanov's configuration spaces, spaces of holomorphic maps, etc., are covered. Intersection ring and (non-recursive) Hodge polynomails are computed. Further general structures arising from the blowup process are described and studied.
We prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of Sumihiro for toric varieties over a field to this more general setting.
Hyperplane arrangements form the geometric counterpart of combinatorial objects such as matroids. The shape of the sequence of Betti numbers of the complement of a hyperplane arrangement is of particular interest in combinatorics, where they are known, up to a sign, as Whitney numbers of the first kind, and appear as the coefficients of chromatic, or characteristic, polynomials. We show that certain combinations, some nonlinear, of these Betti numbers satisfy Schur positivity. At the same time, we study the higher degree resonance varieties of the arrangement. We draw some consequences, using …
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…
Unexpected hypersurfaces are a brand name for some special linear systems. They were introduced around 2017 and are a field of intensive study since then. They attracted a lot of attention because of their close tights to various other areas of mathematics including vector bundles, arrangements of hyperplanes, geometry of projective varieties. Our research is motivated by the what is now known as the BMSS duality, which is a new way of deriving projective varieties out of already constructed. The last author coined the concept of companion surfaces in the setting of unexpected curves admitted …
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…
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.
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…
Heisenberg Equivariant Compactifications of Rational Homogeneous Varieties
Shenzhen University（深圳大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Basic Science（基础科学研究所）
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…
We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular.
Let $M_C(G)$ be the moduli space of semistable principal $G-$bundles over a smooth curve $C$. We show that a flat degeneration of this space $M_{C_Γ}(G)$ associated to a singular stable curve $C_Γ$ contains the free group character variety $\mathcal{X}(F_g, G)$ as a dense, open subset, where $g = genus(C).$ In the case $G = SL_2(\mathbb{C})$ we describe the resulting compactification explicitly, and in turn we conclude that the coordinate ring of $M_{C_Γ}(SL_2(\mathbb{C}))$ is presented by homogeneous skein relations. Along the way, we prove the parabolic version of these results over stable, …
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
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 establish a natural and geometric 1-1 correspondence between projective toric varieties of dimension $n$ and horofunction compactifications of $\mathbb{R}^n$ with respect to rational polyhedral norms. For this purpose, we explain a topological model of toric varieties. Consequently, toric varieties in algebraic geometry, normed spaces in convex analysis, and horofunction compactifications in metric geometry are directly and explicitly related.
Let (P,X) be Shimura data, M=M(P,X,K) the Shimura variety of level K. To an algebraic representation of P, one can associate a mixed sheaf (variation of Hodge structure, l-adic sheaf) on M. In the paper, we study the degeneration of such sheaves along strata in toroidal compactifications of M. The main result (2.8 in the Hodge setting, 3.9 in the l-adic setting) gives a formula for this degeneration in terms of Hochschild cohomology of certain unipotent subgroups of P. The new version differs from the earlier one in that the proof of 2.8 was rewritten. In particular, the effect of Saito's spec…
In this paper we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimensional two arithmetically Cohen-Macaulay (ACM) varieties in $\mathbb P^1\times\mathbb P^1\times\mathbb P^1$, called varieties of lines. We also describe their ACM property from combinatorial algebra point of view.
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.
We construct projective toroidal compactifications for integral models of Shimura varieties of Hodge type. We also construct integral models of the minimal (Satake-Baily-Borel) compactification. Our results essentially reduce the problem to understanding the integral models themselves. As such, they cover all previously known cases of PEL type, as well as all cases of Hodge type involving parahoric level structures. At primes where the level is hyperspecial, we show that our compactifications are canonical in a precise sense. We also provide a new proof of Y. Morita's conjecture on the everywh…
We investigate the arrangement of hypersurfaces on a nonsingular varieties whose associated logarithmic vector bundle is arithmetically Cohen-Macaulay (for short, aCM), and prove that the projective space is the only smooth complete intersection with Picard rank one that admits an aCM logarithmic vector bundle. We also obtain a number of results on aCM logarithmic vector bundles over several specific varieties. As an opposite situation we investigate the Torelli-type problem that the logarithmic cohomology determines the arrangement.
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.
For each complex central essential hyperplane arrangement $\mathcal{A}$, let $F_{\mathcal{A}}$ denote its Milnor fiber. We use Tevelev's theory of tropical compactifications to study invariants related to the mixed Hodge structure on the cohomology of $F_{\mathcal{A}}$. We prove that the map taking each arrangement $\mathcal{A}$ to the Hodge-Deligne polynomial of $F_{\mathcal{A}}$ is locally constant on the realization space of any loop-free matroid. When $\mathcal{A}$ consists of distinct hyperplanes, we also give a combinatorial description for the homotopy type of the boundary complex of an…
We give an abstract characterization of the Satake compactification of a general Drinfeld modular variety. We prove that it exists and is unique up to unique isomorphism, though we do not give an explicit stratification by Drinfeld modular varieties of smaller rank which is also expected. We construct a natural ample invertible sheaf on it, such that the global sections of its $k$-th power form the space of (algebraic) Drinfeld modular forms of weight $k$. We show how the Satake compactification and modular forms behave under all natural morphisms between Drinfeld modular varieties; in particu…
The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n marked points. Kapranov has defined an alternative compactification using his Chow quotient construction, which may be described fairly explicitly. We prove that these two compactifications coincide. W…
We calculate Chow quotients of some families of symmetric \(T\)-varieties. In complexity two we obtain new examples of Kähler-Einstein metrics by bounding the symmetric alpha invariant of their orbifold quotients. As an additional application we determine the homeomorpism class of the orbit space of the compact torus action.
Equivariant compactifications of reductive groups can be described by combinatorial data. On the other hand, equivariant compactifications of the additive group G^n_a are more complicated in at least two respects. First, they often admit moduli. Second, even simple varieties (like projective spaces) admit many different structures as equivariant compactifications of the additive group. We give a dictionary relating Artinian local rings, certain systems of partial differential equations, and equivariant compactifications of G^n_a. As an application, we classify the structures on varieties like …
In this article we explore compactifications of cluster varieties of finite type in complex dimension two. Cluster varieties can be viewed as the spec of a ring generated by theta functions and a compactification of such varieties can be given by a grading on that ring, which can be described by positive polytopes [17]. In the examples we exploit, the cluster variety can be interpreted as the complement of certain divisors in del Pezzo surfaces. In the symplectic viewpoint, they can be described via almost toric fibrations over $\R^2$ (after completion). Once identifying them as almost toric m…
We give examples of complex hyperplane arrangements for which the top characteristic variety contains positive-dimensional irreducible components that do not pass through the origin of the character torus. These examples answer several questions of Libgober and Yuzvinsky. As an application, we exhibit a pair of arrangements for which the resonance varieties of the Orlik-Solomon algebra are (abstractly) isomorphic, yet whose characteristic varieties are not isomorphic. The difference comes from translated components, which are not detected by the tangent cone at the origin.
We characterize the image of the period map for cubic fourfolds with at worst simple singularities as the complement of an arrangement of hyperplanes in the period space. It follows then that the GIT compactification of the moduli space of cubic fourfolds is isomorphic to the Looijenga's compactification associated to this arrangement. This work builds on and is a natural continuation of our previous paper on the GIT compactification of the moduli space of cubic fourfolds.
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 construct local charts for the ramified cusps of the Hilbert modular variety of level $Γ_1(\mathfrak{c},\mathfrak{n})$. This allows us, following closely M. Rapoport and C.-L. Chai, to construct arithmetic toroidal and minimal compactifications of these modular varieties. Some applications to modular forms are given. See our joint work with J. Tilouine for other applications.
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
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.
We study faithful actions with a dense orbit of abelian unipotent groups on quintic del Pezzo varieties over a field of characteristic zero. Such varieties are forms of linear sections of the Grassmannian of planes in a 5-dimensional vector space. We characterize which smooth forms admit these types of actions and show that in case of existence, the action is unique up to equivalence by automorphisms. We also give a similar classification for mildly singular quintic del Pezzo threefolds and surfaces.
We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball quotients with birational smooth toroidal compactifications. We take this to its natural extreme by constructing arbitrarily large families of distinct ball quotients with biholomorphic smooth toroidal compactifications.
We prove an analogue for Hodge modules of Pink's theorem on the degeneration of l-adic sheaves (Math. Ann. 292). Let j be the open immersion of a Shimura variety M into its Baily-Borel compactification. Its boundary has a natural stratification into locally closed subsets, each of which is itself a Shimura variety (up to taking the quotient by the action of a finite group). Let i be the inclusion of an individual such stratum M'. Saito's formalism gives a functor i^* j_* from the bounded derived category of Hodge modules on M to that of Hodge modules on M'. Our result gives a formula for the e…
