Root systems and hyperkahler varieties
We point out a connection between root systems and some of the known hyperkähler varieties.
math.AG↗
arXiv subjects
Valery Alexeev
Publications and source records attributed to Valery Alexeev.
Hodge classes on the moduli space of W(E_6)-covers and the geometry of A_6
In previous work we showed that the Hurwitz space of W(E_6)-covers of the projective line branched over 24 points dominates via the Prym-Tyurin map the moduli space A_6 of principally polarized abelian 6-folds. Here we determine the 25 Hodge classes on the Hurwitz space of W(E_6)-covers corresponding to the 25 irreducible representations of the Weyl group W(E_6). This result has direct implications to the intersection theory of the toroidal compactification A_6. In the final part of the paper, we present an alternative, elementary proof of our uniformization result on A_6 via Prym-Tyurin varieties of type W(E_6).
math.AG↗
Compact moduli of K3 surfaces with a nonsymplectic automorphism
We construct a modular compactification via stable slc pairs for the moduli spaces of K3 surfaces with a nonsymplectic group of automorphisms under the assumption that some combination of the fixed loci of automorphisms defines an effective big divisor, and prove that it is semitoroidal.
math.AG↗
The flex divisor of a K3 surface
The flex divisor of a primitively polarized K3 surface $(X,L)$ of degree $L^2=2d$ is, generically, the locus of all points $x\in X$ for which there exists a pencil $V\subset |L|$ whose base locus is $\{x\}$. We show that the flex divisor lies in the linear system $|n_dL|$ where $n_d=(2d+1)C(d)^2$ and $C(d)$ is the Catalan number. We also show that there is a well-defined notion of flex divisor over the whole moduli space $F_{2d}$ of polarized K3 surfaces.
math.AG↗
Compactifications of moduli of elliptic K3 surfaces: stable pair and toroidal
We describe two geometrically meaningful compactifications of the moduli space of elliptic K3 surfaces via stable slc pairs, for two different choices of a polarizing divisor, and show that their normalizations are two different toroidal compactifications of the moduli space, one for the ramification divisor and another for the rational curve divisor. In the course of the proof, we further develop the theory of integral affine spheres with 24 singularities. We also construct moduli of rational (generalized) elliptic stable slc surfaces of types ${\bf A_n}$ ($n\ge1$), ${\bf C_n}$ ($n\ge0$) and ${\bf E_n}$ ($n\ge0$).
math.AG↗
ADE surfaces and their moduli
We define a class of surfaces corresponding to the ADE root lattices and construct compactifications of their moduli spaces as quotients of projective varieties for Coxeter fans, generalizing Losev-Manin spaces of curves. We exhibit modular families over these moduli spaces, which extend to families of stable pairs over the compactifications. One simple application is a geometric compactification of the moduli of rational elliptic surfaces that is a finite quotient of a projective toric variety.
math.AG↗
Log surfaces of Picard rank one from four lines in the plane
We derive simple formulas for the basic numerical invariants of a singular surface with Picard number one obtained by blowups and contractions of the four-line configuration in the plane. As an application, we establish the smallest positive volume and the smallest accumulation point of volumes of log canonical surfaces obtained in this way.
math.AG↗
On accumulation points of volumes of log surfaces
Let $\mathcal C\subset(0,1]$ be a set satisfying the descending chain condition. We show that any accumulation point of volumes of log canonical surfaces $(X, B)$ with coefficients in $\mathcal C$ can be realized as the volume of a log canonical surface with big and nef $K_X+B$ and coefficients in $\overline{\mathcal C}\cup\{1\}$, with at least one coefficient in $Acc(\mathcal C)\cup\{1\}$. As a corollary, if $\overline{\mathcal C}\subset\mathbb Q$ then all accumulation points of volumes are rational numbers, solving a conjecture of Blache. For the set of standard coefficients $\mathcal C_2=\{1-\frac{1}{n}\mid n\in\mathbb N\}\cup\{1\}$ we prove that the minimal accumulation point is between $\frac1{7^2\cdot 42^2}$ and $\frac1{42^2}$.
math.AG↗
The uniformization of the moduli space of principally polarized abelian 6-folds
Starting from a beautiful idea of Kanev, we construct a uniformization of the moduli space A_6 of principally polarized abelian 6-folds in terms of curves and monodromy data. We show that the general ppav of dimension 6 is a Prym-Tyurin variety corresponding to a degree 27 cover of the projective line having monodromy the Weyl group of the E_6 lattice. Along the way, we establish numerous facts concerning the geometry of the Hurwitz space of such E_6-covers, including: (1) a proof that the canonical class of the Hurwitz space is big, (2) a concrete geometric description of the Hodge-Hurwitz eigenbundles with respect to the Kanev correspondence and (3) a description of the ramification divisor of the Prym-Tyurin map from the Hurwitz space to A_6 in the terms of syzygies of the Abel-Prym-Tyurin curve.
math.AG↗
Boundedness and $K^2$ for log surfaces
Let $ε, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let $(X, B = \sum b_j B_j)$ denote a projective surface with an $\mathbb R$-divisor. Then (1) The class $\{X\}$ of surfaces for which there exists a divisor $B$ such that $(X,B)$ is $ε$-log terminal and $-(K_X + B)$ is nef (excluding only those for which at the same time $K_X\equiv 0$, $B=0$, and $X$ has at worst Du Val singularities), is bounded. (2) The set $\{(K_X + B)^2\}$ of squares for the semi log canonical pairs $(X, B)$ with ample $K_X + B$ and $b_j \in \mathcal C$, is a DCC set. (3) The class $\{(X,B)\}$ of pairs such that $(X, B)$ is semi log canonical, $K_X + B$ is ample, $(K_X + B)^2 = C$ and $b_j \in \mathcal C$, is bounded.
alg-geom↗
Open surfaces of small volume
We construct a surface with log terminal singularities and ample canonical class that has $K_X^2=1/48 983$ and a log canonical pair $(X,B)$ with a nonempty reduced divisor $B$ and ample $K_X+B$ that has $(K_X+B)^2 = 1/462$. Both examples significantly improve known records.
math.AG↗
Divisors on Burniat surfaces
In this short note, we extend the results of [Alexeev-Orlov, 2012] about Picard groups of Burniat surfaces with $K^2=6$ to the cases of $2\le K^2\le 5$. We also compute the semigroup of effective divisors on Burniat surfaces with $K^2=6$. Finally, we construct an exceptional collection on a nonnormal semistable degeneration of a 1-parameter family of Burniat surfaces with $K^2=6$.
math.AG↗
On the Log Discrepancies in Toric Mori Contractions
It was conjectured by McKernan and Shokurov that for all Mori contractions from X to Y of given dimensions, for any positive epsilon there is a positive delta, such that if X is epsilon-log terminal, then Y is delta-log terminal. We prove this conjecture in the toric case and discuss the dependence of delta on epsilon, which seems mysterious.
math.AG↗
Derived categories of Burniat surfaces and exceptional collections
We construct an exceptional collection $Υ$ of maximal possible length 6 on any of the Burniat surfaces with $K_X^2=6$, a 4-dimensional family of surfaces of general type with $p_g=q=0$. We also calculate the DG algebra of endomorphisms of this collection and show that the subcategory generated by this collection is the same for all Burniat surfaces. The semiorthogonal complement $\mathcal A$ of $Υ$ is an "almost phantom" category: it has trivial Hochschild homology, and $K_0(\mathcal A)=\bZ_2^6$.
math.AG↗
Non-rational centers of log canonical singularities
We show that if $(X,B)$ is a log canonical pair with $\dim X\geq d+2$, whose non-klt centers have dimension $\geq d$, then $X$ is has depth $\ge d+2$ at every closed point.
math.AG↗
Extended Torelli map to the Igusa blowup in genus 6, 7, and 8
It was conjectured in \cite{Namikawa_ExtendedTorelli} that the Torelli map $M_g\to A_g$ associating to a curve its jacobian extends to a regular map from the Deligne-Mumford moduli space of stable curves $\bar{M}_g$ to the (normalization of the) Igusa blowup $\bar{A}_g^{\rm cent}$. A counterexample in genus $g=9$ was found in \cite{AlexeevBrunyate}. Here, we prove that the extended map is regular for all $g\le8$, thus completely solving the problem in every genus.
math.AG↗
Extending Torelli map to toroidal compactifications of Siegel space
It has been known since the 1970s that the Torelli map $M_g \to A_g$, associating to a smooth curve its jacobian, extends to a regular map from the Deligne-Mumford compactification $\bar{M}_g$ to the 2nd Voronoi compactification $\bar{A}_g^{vor}$. We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification $\bar{A}_g^{perf}$ is also regular, and moreover $\bar{A}_g^{vor}$ and $\bar{A}_g^{perf}$ share a common Zariski open neighborhood of the image of $\bar{M}_g$. We also show that the map to the Igusa monoidal transform (central cone compactification) is NOT regular for $g\ge9$; this disproves a 1973 conjecture of Namikawa.
math.AG↗
Non-normal abelian covers
An abelian cover is a finite morphism $X\to Y$ of varieties which is the quotient map for a generically faithful action of a finite abelian group $G$. Abelian covers with $Y$ smooth and $X$ normal were studied in \cite{Pardini_AbelianCovers}. Here we study the non-normal case, assuming that $X$ and $Y$ are $S_2$ varieties that have at worst normal crossings outside a subset of codimension $\ge 2$. Special attention is paid to the case of $\Z_2^r$-covers of surfaces, which is used in arxiv:0901.4431 to construct explicitly compactifications of some components of the moduli space of surfaces of general type.
math.AG↗