Searcharxiv⌕ Search

arXiv subjects

Valery Alexeev

Publications and source records attributed to Valery Alexeev.

At least 55 records · Page 3Linked to original sources
arXiv2011

Nef divisors on $\bar{M}_{0,n}$ from GIT

We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a number of basic results about the GIT cone. As one application, we prove unconditionally that the log canonical models of $\bar{M}_{0,n}$ with a symmetric boundary divisor coincide with the moduli spaces of weighted curves or with the symmetric GIT quotient, extending the result of Matt Simpson arXiv:0709.4037. (Cf. also a different proof by Fedorchuk and Smyth arXiv:0810.1677)

math.AG↗
arXiv2007

Moduli of weighted stable maps and their gravitational descendants

We study the intersection theory on the moduli spaces of maps of $n$-pointed curves $f:(C,s_1,... s_n)\to V$ which are stable with respect to a weight data $(a_1,..., a_n)$, $0\le a_i\le 1$. After describing the structure of these moduli spaces, we prove a formula describing the way each descendant changes under a wall crossing. As a corollary, we compute the weighted descendants in terms of the usual ones, i.e. for the weight data $(1,...,1)$, and vice versa.

math.AG↗
arXiv2007

Limits of stable pairs

Let (X_0,B_0) be the canonical limit of a one-parameter family of stable pairs, provided by the log Minimal Model Program. We prove that X_0 is S2 and that [B_0] is S_1, as an application of a general local statement: if (X,B+εD) is log canonical and D is Q-Cartier then D is S2 and [B] \cap D is S1, i.e. has no embedded components. When B has coefficients smaller than 1, examples due to Hacking and Hassett show that B_0 may indeed have embedded primes. We resolve this problem by introducing a category of stable branchpairs. We prove that the corresponding moduli functor is proper for families with normal generic fiber.

math.AG↗
arXiv2006

Complete moduli spaces of branchvarieties

The space of subvarieties of P^n with a fixed Hilbert polynomial is not complete. Grothendieck defined a completion by relaxing "variety" to "scheme", giving the complete_Hilbert scheme_ of subschemes of P^n with fixed Hilbert polynomial. We instead relax "sub" to "branch", where a_branchvariety of_ P^n is defined to be a_reduced_ (though possibly reducible) scheme_with a finite morphism to_ P^n. Our main theorems are that the moduli stack of branchvarieties of P^n with fixed Hilbert polynomial and total degrees of i-dimensional components is a proper (complete and separated) Artin stack with finite stabilizer, and has a coarse moduli space which is a proper algebraic space. Families of branchvarieties have many more locally constant invariants than families of subschemes; for example, the number of connected components is a new invariant. In characteristic 0, one can extend this count to associate a Z-labeled rooted forest to any branchvariety.

math.AG↗
arXiv2006

Higher-dimensional analogues of stable curves

The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple conditions, and stable maps $f:(X,B)\to Y$. Although MMP remains conjectural in higher dimensions, in several important situations the moduli spaces of stable pairs, generalizing those of Deligne-Mumford, Knudsen and Kontsevich, can be constructed more directly, and in considerable generality. We review these constructions, with particular attention paid to varieties with group action, and list some open problems.

math.AG↗
arXiv2006

Classification of log del Pezzo surfaces of index $\le 2$

This is an expanded version of our work [AN88], 1988, in Russian. We classify del Pezzo surfaces over C with log terminal singularities of index \le 2. By classification, we understand a description of the intersection graph of all exceptional curves on an appropriate (somewhat stronger than minimal) resolution of singularities together with the subgraph of the curves which are contracted to singular points. The final results are similar to classical results about classification of non-singular del Pezzo surfaces and use the usual finite root systems. However, the intermediate considerations use the theory of K3 surfaces (especially of K3 surfaces with non-symplectic involutions) and the theory of reflection groups in hyperbolic spaces (especially or reflection groups of hyperbolic lattices). As an ``elementary'' application, our results permit one to classify sextics in P^2 with simple singularities and a component of geometric genus \ge 2.

math.AG↗
arXiv2006

Termination of (many) 4-dimensional log flips

We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and termination of flips in a relative birational setting. We also prove termination of directed flips with big K+D. As a consequence, we prove existence of minimal models of 4-dimensional dlt pairs of general type, existence of 5-dimensional log flips, and rationality of Kodaira energy in dimension 4.

math.AG↗
arXiv2005

Stable spherical varieties and their moduli

We introduce a notion of stable spherical variety which includes the spherical varieties under a reductive group $G$ and their flat equivariant degenerations. Given any projective space $\bP$ where $G$ acts linearly, we construct a moduli space for stable spherical varieties over $\bP$, that is, pairs $(X,f)$, where $X$ is a stable spherical variety and $f : X \to \bP$ is a finite equivariant morphism. This space is projective, and its irreducible components are rational. It generalizes the moduli space of pairs $(X,D)$, where $X$ is a stable toric variety and $D$ is an effective ample Cartier divisor on $X$ which contains no orbit. The equivariant automorphism group of $\bP$ acts on our moduli space; the spherical varieties over $\bP$ and their stable limits form only finitely many orbits. A variant of this moduli space gives another view to the compactifications of quotients of thin Schubert cells constructed by Kapranov and Lafforgue.

math.AG↗
arXiv2004

Complete moduli in the presence of semiabelian group action

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 this compactification is described by an "infinite periodic" analog of the secondary polytope and coincides with the toroidal compactification of $A_g$ for the second Voronoi decomposition.

math.AG↗
arXiv2004

Toric degenerations of spherical varieties

We prove that any affine, resp. polarized projective, spherical variety admits a flat degeneration to an affine, resp. polarized projective, toric variety. Motivated by Mirror Symmetry, we give conditions for the limit toric variety to be a Gorenstein Fano, and provide many examples. We also provide an explanation for the limits as boundary points of the moduli space of stable pairs whose existence is predicted by the Minimal Model Program.

math.AG↗
arXiv2004

On K-Stability of Reductive Varieties

G. Tian and S.K. Donaldson formulated a conjecture relating GIT stability of a polarized algebraic variety to the existence of a Kahler metric of constant scalar curvature. In [Don02] Donaldson partially confirmed it in the case of projective toric varieties. In this paper we extend Donaldson's results and computations to a new case, that of reductive varieties. The changes in the second version are cosmetic.

math.DG↗
arXiv2003

Stable reductive varieties I: Affine varieties

The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected reductive groups and their equivariant compactifications, and is closed under flat reduced degenerations. We classify them all, describe their degenerations, and establish a connection between these varieties and "reductive semigroups" which we also define. Finally, we construct a Hilbert scheme of embedded G-varieties by applying and generalizing a construction of Haiman and Sturmfels. The second version adds some cosmetic changes.

math.AG↗
arXiv2003

Stable reductive varieties II: Projective case

We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative case a functorial compactification of moduli of abelian varieties, and of toric pairs. We prove that, confirming a prediction of log Minimal Program, stable reductive pairs have semi log canonical singularities. Final version, to appear in Advances of Math.

math.AG↗
arXiv2003

Moduli of affine schemes with reductive group action

For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate ring. We construct an action on this invariant Hilbert scheme of a maximal torus T of G, together with an open T-stable subscheme admitting a good quotient. The fibers of the quotient map classify affine G-schemes having a prescribed categorical quotient by a maximal unipotent subgroup of G. We show that V contains only finitely many multiplicity-free G-subvarieties, up to the action of the centralizer of G in GL(V). As a consequence, there are only finitely many isomorphism classes of affine G-varieties affording a prescribed multiplicity-free representation in their coordinate ring. Final version, to appear in Journal of Algebraic Geometry

math.AG↗
arXiv2003

Boundedness of spherical Fano varieties

We prove that for any e>0, there exists only finitely many e-log terminal spherical Fano varieties of fixed dimension. We also introduce an invariant of a spherical subgroup H in a reductive group G which measures how nice an equivariant Fano compactification G/H there exists.

math.AG↗