## Complete moduli in the presence of semiabelian group action

Venue: | Ann. of Math |

Citations: | 58 - 5 self |

### BibTeX

@ARTICLE{Alexeev_completemoduli,

author = {Valery Alexeev},

title = {Complete moduli in the presence of semiabelian group action},

journal = {Ann. of Math},

year = {},

pages = {611--708}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract. 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 of which is the secondary polytope. On the other hand, the component containing a principally polarized abelian variety provides a moduli compactification of Ag. The main irreducible component of this compactification is described by an ”infinite periodic ” analog of secondary polytope and coincides with the

### Citations

788 | Introduction to toric varieties - Fulton - 1993 |

481 | Étale cohomology - Milne - 1980 |

156 | Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete 32 - Kollár - 1996 |

155 |
Topologie Algébrique et Théorie des Faisceaux
- Godement
- 1958
(Show Context)
Citation Context ...in. This will always be clear from the context. When working with the (co)sheaves of commutative groups – and this will be the default case – we can apply the standard machinery of sheaf cohomologies =-=[God58]-=- and cosheaf homologies (see f.e. [Bre97]). By the very definition, we have H 0 (Iord,F) = lim ←− I Fi, H0(Iord,G) = lim −→ I Gi Since the open cover Ustd refines any other, the Čhech cohomologies ˘H ... |

153 |
Convex Bodies and Algebraic Geometry
- Oda
- 1985
(Show Context)
Citation Context ...V 2.7. Moment map for stable toric pairs over C. Starting with a stable toric pair (P,Θ) over k = C, we are going to define a map P(C) → |∆| generalizing the usual moment map for toric varieties, see =-=[Oda88]-=- for example. It further shows how well the cell decomposition ∆ describes the essential properties of a stable toric pair. Definition 2.7.1. Let θ = ∑ x∈C(Θ) ξx ∈ H0 (L) be an equation of Θ. The eige... |

115 | Quotients by groupoids
- Keel, Mori
- 1997
(Show Context)
Citation Context ...zers. U in this case is the spectrum of an explicit semigroup algebra, and R is given by a torus action. Hence, we get an Artin stack and it is coarsely represented by an algebraic space according to =-=[KM97]-=-. Moreover, in our case this space turns out to be a projective scheme, again with an explicit combinatorial description. In the “infinite periodic” case, the one corresponding to abelian torsors and ... |

101 |
Y.: Smooth compactification of locally symmetric varieties
- Ash, Mumford, et al.
- 1975
(Show Context)
Citation Context ...+ 1−x − 2 · 10) goes go x ⊗ x. Corollary 5.12.8. The toroidal compactification over Z of Ag corresponding to the 2nd Voronoi decomposition is projective. Proof. This follows by the Tai’s criterion in =-=[AMMT75]-=- which requires a GL(X)-invariant polarization function on the fan. In our case it is provided by Σ(XR/X). Even though [AMMT75] works over C, the result applies in every case when the Satake-Baily-Bor... |

97 |
Technique de descente et théorèmes d’existence en géométrie algébrique
- Grothendieck
(Show Context)
Citation Context ...xcellent Dedekind domain then, according to M.Artin [Art69, 7.3], the relative Picard functor is represented by an algebraic space, locally of finite presentation over S. We refer to [BLR90, Ch.8] or =-=[FGA]-=- for more details about this. The group scheme G acts on PicP/S by translations: if S ′ is an S-scheme, and a and M are local sections of G ′ = G × S S ′ and PicP ′/S′ = PicP/S × S S ′ respectively, t... |

70 |
Sturmfels; Fiber polytopes
- Billera, B
- 1992
(Show Context)
Citation Context ... coordinates of the vertices above can be obtained by averaging the coordinates of the vertices in lemma 2.11.3. This is a particular case of the fiber polytope construction of Billera and Sturmfels, =-=[BS92]-=-. Definition 2.12.6. Choose a system of heights which is an arbitrary realvalued function ψ : X ∩ Q → R, i.e. an element of Fun(Cmax, R). Consider the lower envelope of the convex hull of the rays {(x... |

65 |
Versal deformations and algebraic
- Artin
- 1974
(Show Context)
Citation Context ...y essentially for free here. To prove that our moduli stack is an algebraic Artin stack with finite stabilizer (again, coarsely representable by an algebraic space by [KM97]) we use Artin’s method of =-=[Art74]-=-. Our basic method in this case, therefore, is very similar to that of Faltings and Chai [FC90] but with the following difference. The considerations of [FC90, IV.3,IV.4] are very delicate because the... |

37 |
An analytic construction of degenerating abelian varieties over complete rings
- Mumford
- 1972
(Show Context)
Citation Context ... is not linearizable then ˜ P contains a connected component which is not of finite type! To the author’s knowledge, covers of this sort have made their first appearance in the Mumford’s construction =-=[Mum72]-=- where they are presented as ad hoc examples. Some schemes ˜ P are given first, and then schemes P are obtained as quotients. We have arrived at the answers of this section largely by trying to unders... |

30 | I.: On Mumford’s construction of degenerating abelian varieties - Alexeev, Nakamura - 1999 |

29 |
Faisceaux amples sur les schémas en groupes et les espaces homogènes, Lecture
- Raynaud
(Show Context)
Citation Context ... normal S action of A on B and the opposite to normal action on C. In particular, we can take C = P and B = Pic A/S on which A naturally acts by translations: (a,L) ↦→ T ∗ a L. Theorem 3.0.4 (Raynaud =-=[Ray70]-=-, XIII.1.1). Let A be an abelian scheme over S and P be an A-torsor. Then (i). there exists a canonical isomorphism Pic A/S A × P ≃ Pic P/S , (ii). the action of A on At = Pic0 A/S is trivial and it i... |

28 |
A New Compactification of the Siegel Space and Degeneration of Abelian Varieties
- Namikawa
- 1976
(Show Context)
Citation Context ... are considering. The generic fiber of the first need not be normal, and the flatness of the second is somewhat unclear. Both of these families may and do have some nonreduced fibers. We note that in =-=[Nam76]-=- Y. Namikawa has constructed families of 1st and 2nd type over the toroidal compactification of A (2n) g for the 2nd Voronoi decomposition with the principal level structure, n ≥ 3. These are analogs ... |

24 | Compactification of Siegel Moduli Schemes - Chai - 1985 |

17 |
Cohen-Macaulay ordered sets
- Baclawski
- 1980
(Show Context)
Citation Context ...he following definition is consistent with the one for simplicial complexes appearing in connection with Stanley-Reisner rings (see f.e. [Sta85, BH94]), as well as with the more general definition of =-=[Bac80]-=- for arbitrary posets. In [Yuz87] CM posets were called k-spherical.COMPLETE MODULI 11 Definition 1.1.30. A complex D is called almost Cohen-Macaulay w.r.t. k, abbreviated ACM, or locally Cohen-Macau... |

17 | Cohen-Macaulay Rings, Cambridge Stud - Bruns, Herzog - 1993 |

17 | The empty sphere, Can - Erdahl, Ryshkov |

14 |
A cone of inhomogeneous second-order polynomials
- Erdahl
- 1992
(Show Context)
Citation Context ...a very elegant description of Delaunay decompositions of root lattices An,Dn,E6,7,8 and their duals (weight lattices) in terms of their Coxeter-Dynkin diagrams: it was given in [CS91, MP92], see also =-=[Erd92]-=-. In particular, the Delaunay decomposition of the E8 lattice consists of 135 crosspolytopes β8, each generating an index 2 sublattice, and 1920 triple-volume simplices α8. Since crosspolytopes (see f... |

14 |
On seminormal schemes
- Greco, Traverso
- 1980
(Show Context)
Citation Context ...s of finite type over a field or Z or a localization of such) has unique seminormalization and weak normalization. They coincide if char k = 0. See [Kol96, I.7.2] for an overview of their properties. =-=[GT80]-=- contains a wealth of information about seminormal schemes. We will see that our varieties are weakly normal as well. Remark 1.1.7. Following the tradition that started with stable curves, we call our... |

11 | 67-87) in Dix exposés sur la cohomologie des schémas - Grothendieck - 1968 |

10 | Geometric Invariant Theory. Second enlarged edition - Mumford, Fogarty - 1982 |

10 | Specialisation du foncteur de Picard, Inst. Hautes Etudes Sci - Raynaud - 1970 |

9 | EGA III: Étude cohomologique des faisceaux cohérents, Publ - Grothendieck, Dieudonné - 1960 |

8 | The cell structures of certain lattices, Miscellanea mathematica - Conway, Sloane - 1991 |

8 |
On a generalization of complete intersections
- Mori
- 1975
(Show Context)
Citation Context ...ecessarily generated in degree 1. However, it is easy to see that each of them is finite over the subalgebra generated by elements of degree 1. In this situation O(1) is an invertible sheaf, see f.e. =-=[Mor75]-=-. Theorem 2.4.4. The pair (P,L)[∆,τ] is a polarized stable toric variety with a T-linearized action on L. It is weakly normal as well. Proof. Take a polytope δ ⊂ (1,XR) and an element u ∈ Sδ. It is ea... |

8 | Voronoi domains and dual cells in the generalized kaleidoscope with applications to root and weight lattice - Moody, Patera - 1995 |

7 | Regular polytopes, third ed - Coxeter - 1973 |

5 |
A spectral sequence for the K-theory of affine glued schemes, Algebraic K-theory
- Dayton, Weibel
- 1980
(Show Context)
Citation Context ...Ω,t] = H 0 (Ω,R[Ω,t]), P[Ω,t] = SpecR[Ω,t] As before, it comes with a natural T-action.24 VALERY ALEXEEV The algebras R[Ω,t] are a particular case of “glued algebras” studied by Dayton and Weibel in =-=[DW81]-=- and, on the other hand, of sections of rings of flasque (flabby) sheaves of integral algebras studied by Yuzvinsky in [Yuz87]. Thus, we can describe the precise structure of R’s and P’s by specializi... |

5 | Voronoi and Delaunay cells of root lattices: Classification of their faces and facets by CoxeterDynkin diagrams, (dedicated to the memory of H - Moody, Patera - 1992 |

4 | Toroidal degeneration of abelian varieties, Complex Analysis and Algebraic Geometry - Namikawa - 1977 |

4 | Revetêments étales et groupe fondamental. Lecture - Grothendieck - 1971 |

3 | Compactified jacobians, Preprint - Alexeev - 1996 |

3 | Néron models, vol. 21, Ergebnisse der Mathematik und ihrer Grenzgebiete - Bosch, Lutkebohmert, et al. - 1990 |

3 |
Degenerations of abelian varieties, vol. 22, Ergebnisse der Mathematik und ihrer Grenzgebiete
- Faltings, Chai
- 1990
(Show Context)
Citation Context ...ite stabilizer (again, coarsely representable by an algebraic space by [KM97]) we use Artin’s method of [Art74]. Our basic method in this case, therefore, is very similar to that of Faltings and Chai =-=[FC90]-=- but with the following difference. The considerations of [FC90, IV.3,IV.4] are very delicate because they did not have an easily definable functor and could not quote M. Artin directly. Our considera... |

2 | nad A.V. Zelevinsky, Quotients of toric varieties - Kapranov, Sturmfels - 1991 |

2 | Abelian varieties, Interscience Publ - Lang - 1959 |

1 |
A point set whose set of triangulations is disconnected
- Santos
(Show Context)
Citation Context ...have constructed always reduced? I suppose that the answer is no. 6. Are they connected, once we fix the numerical type? Again, I think the answer in general may be no. (A recent example of F. Santos =-=[San00]-=- shows that the answer is in general no for MQ, where Q is a lattice polytope). 7. The last question is directly related to the Generalized Baues Problem in geometric combinatorics. We hope that the g... |

1 |
H.S.M. Coxeter, Regular polytopes, third ed
- Chai
- 1985
(Show Context)
Citation Context ...Ω,t] = H 0 (Ω,R[Ω,t]), P[Ω,t] = SpecR[Ω,t] As before, it comes with a natural T-action.24 VALERY ALEXEEV The algebras R[Ω,t] are a particular case of “glued algebras” studied by Dayton and Weibel in =-=[DW81]-=- and, on the other hand, of sections of rings of flasque (flabby) sheaves of integral algebras studied by Yuzvinsky in [Yuz87]. Thus, we can describe the precise structure of R’s and P’s by specializi... |