We study invariant divisors on the total spaces of the homogeneous deformations of rational complexity-one T-varieties constructed by Ilten and Vollmert. In particular, we identify a natural subgroup of the Picard group for any general fiber of such a deformation, which is canonically isomorphic to the Picard group of the special fiber. This isomorphism preserves Euler characteristic, intersection numbers, and the canonical class.
We totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.
We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.
In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
We give an explicit description of the divisor class groups of rational trinomial varieties. As an application, we relate the iteration of Cox rings of any rational variety with torus action of complexity one to that of a Du Val surface.
Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.
We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt blow-ups.
In this paper we study the geometry of mildly singular Fano varieties on which there is an effective prime divisor of Picard number one. Afterwards, we address the case of toric varieties. Finally, we treat the lifting of extremal contractions to universal covering spaces in codimension 1.
It is known by results of Kollár, Ein, Lazarsfeld, Hacon and Debarre that divisors representing principal and other low degree polarizations on abelian varieties have mild singularities. In this note we extend such results to polarizations of degree $<g$ on simple $g$-dimensional abelian varieties, settling a conjecture of Debarre and Hacon.
In 2013 Bazhov proved a criterium for two points on a complete toric variety to lie in the same orbit of the neutral component of automorphism group. This criterium is in terms of divisor class group. Arzhantsev-Bazhov (2013) obtained a similar criterium for affine toric varieties. We prove a necessary condition similar this criteria to the cases of affine and projective horospherical varieties.
We study the loci of principally polarized abelian varieties with points of high multiplicity on the theta divisor. Using the heat equation and degeneration techniques, we relate these loci and their closures to each other, as well as to the singular set of the universal theta divisor. We obtain bounds on the dimensions of these loci and relations among their dimensions, and make further conjectures about their structure.
The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups.
Building on previous work of Kollar, Ein, Lazarsfeld, and Hacon, we show that ample divisors of low degree on an abelian variety have mild singularities in case the abelian variety is simple or the degree of the polarization is two.
The aim of this paper is to provide another perspective on secant varieties on algebraic curves by reformulating the problem in terms of refined de Jonquières divisors, that is divisors on the curve with prescribed multiplicities and dimensions of their spaces of global sections. We are able to both recover some already known results and to obtain some new statements concerning the dimension theory of secant varieties. We do this via the study of the dimension theory of refined de Jonquières divisors in some relevant cases and degeneration arguments.
The geometry of divisors on algebraic curves has been studied extensively over the years. The foundational results of this Brill-Noether theory imply that on a general curve, the spaces parametrizing linear series (of fixed degree and dimension) are smooth, irreducible projective varieties of known dimension. For higher dimensional varieties, the story is less well understood. Our purpose in this paper is to study in detail one class of higher dimensional examples where one can hope for a quite detailed picture, namely (the spaces parametrizing) divisors on the symmetric product of a curve.
In this paper we give a lower bound for the codimension of the Andreotti-Mayer loci in the moduli space of principally polarized complex abelian varieties. We also present a conjecture on this codimension.
We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume of a convex set. Moreover, we show that the dimension of the space of global sections of a nef toric $b$-divisor is equal to the number of lattice points in this convex set and we give a Hilbert--Samuel type formula for its asymptotic growth. This generalizes classical results for classical toric divisors on toric varieties. Finally, we relate convex bodies…
In this text we prove that if an abelian variety $A$ admits of an embedding into the Jacobian of a smooth projective curve $C$, and if we consider $\Th_A$ to be the divisor $\Th_C\cap A$, where $\Th_C$ denotes the theta divisor of $J(C)$, then the embedding of $\Th_A$ into $A$ induces an injective push-forward homomorphism at the level of Chow groups. We show that this is the case for every principally polarized abelian varieties.
Let X be a Fano manifold of dimension n and index n-3. Kawamata proved the non vanishing of the global sections of the fundamental divisor in the case n=4. Moreover he proved that if Y is a general element of the fundamental system then Y has at most canonical singularities. We prove a generalization of this result in arbitrary dimension.
We give an alternative proof of a recent result by Pasquier stating that for a generalized flag variety $X=G/P$ and an effective $\mathbb{Q}$-divisor $D$ stable with respect to a Borel subgroup the pair $(X,D)$ is Kawamata log terminal if and only if $\lfloor D\rfloor=0$.
Lasell and Ramachandran show that the existence of rational curves of positive self-intersection on a smooth projective surface $X$ implies that all the finite dimensional linear representations of the fundamental group $π_1(X)$ are finite. In this article, we generalize Lasell and Ramachandran's result to the case of $π_1$-small divisors on quasiprojective varieties. We also study $π_1$-small curves and hyperbolicity properties of smooth projective surfaces of general type with infinite fundamental groups.
Let $P$ be a parabolic subgroup in $G=SL_n(\mathbf k)$, for $\mathbf k$ an algebraically closed field. We show that there is a $G$-stable closed subvariety of an affine Schubert variety in an affine partial flag variety which is a natural compactification of the cotangent bundle $T^*G/P$. Restricting this identification to the conormal variety $N^*X(w)$ of a Schubert divisor $X(w)$ in $G/P$, we show that there is a compactification of $N^*X(w)$ as an affine Schubert variety. It follows that $N^*X(w)$ is normal, Cohen-Macaulay, and Frobenius split.
In this paper we consider ideal sheaves associated to the singular loci of a divisor in a linear system $|L|$ of an ample line bundle on a complex abelian variety. We prove an effective result on their (continuous) global generation, after suitable twists by powers of $L$. Moreover we show that similar results hold for subvarieties of a complex abelian variety.
Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C*-surfaces of Picard number 1 and Gorenstein index less than 4. In further examples we show how classification might work in higher dimensions and we give explicit descriptions of some equivariant smoothings of Fano threefolds.
This paper is an expository survey of results about the effective divisors on moduli spaces, with a focus on what is known about the effective cones of moduli spaces of stable curves and of principally polarized abelian varieties. This version incorporates clarifications and suggestions of Ana-Maria Castravet and the referee, both of whom we thank. To appear in the proceedings of the conference, "Joe at 60:A Celebration of Algebraic Geometry" edited by Brendan Hassett, James McKernan, Jason Starr and Ravi Vakil.
Rational pairs generalize the notion of rational singularities to reduced pairs $(X,D)$. In this paper we deal with the problem of determining whether a normal variety $X$ has a rationalizing divisor, i.e. a reduced divisor $D$ such that $(X, D)$ is a rational pair. We give a criterion for cones to have a rationalizing divisor, and relate the existence of such a divisor to the locus of rational singularities of a variety.
We compute the cone of effective divisors on a Bott-Samelson variety corresponding to an arbitrary sequence of simple roots. The main tool is a general result concerning effective cones of certain $B$-equivariant $\mathbb{P}^1$ bundles. As an application, we compute the cone of effective codimension-two cycles on Bott-Samelson varieties corresponding to reduced words. We also obtain an auxiliary result giving criteria for a Bott-Samelson variety to contain a dense $B$-orbit, and we construct desingularizations of intersections of Schubert varieties. An appendix exhibits an explicit divisor sho…
We introduce and develop the theory of Newton nondegenerate local Weil divisors $(X,0)$ in toric affine varieties. We characterize in terms of the toric combinatorics of the Newton diagram different properties of such singular germs: normality, Gorenstein property, or being an Cartier divisor in the ambient space. We discuss certain properties of their (canonical) resolution $\tilde{X}\to X $ and the corresponding canonical divisor. We provide combinatorial formulae for the delta--invariant $δ(X,0)$ and for the cohomology groups $H^i(\tilde X,\mathcal{O}_{\tilde X})$ for $i>0$. In the case $\d…
In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. This is a generalization of Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds.
We compute all the top intersection numbers of divisors on the total space of the Poincare bundle restricted to the product of a curve and the abelian variety. We use these computations to find the class of the universal theta divisor and $m$-theta divisor inside the universal corank 1 semiabelian variety -- the boundary of the partial toroidal compactification of the moduli space of abelian varieties. We give two computational examples: we compute the boundary coefficient of the Andreotti-Mayer divisor (computed by Mumford but in a much harder and ad hoc way), and the analog of this for the u…
We determine generators for the codimension 1 Chow group of the moduli spaces of genus zero stable maps to flag varieties G/P. In the case of SL flags, we find all relations between our generators, showing that they essentially come from $\bar M_{0,n}$. In addition, we analyze the codimension 2 classes on the moduli spaces of stable maps to Grassmannians and prove a new codimension 2 relation. This will lead to a partial reconstruction theorem for the Grassmannian of 2 planes.
In this paper we classify SL_2-actions on normal affine T-varieties that are normalized by the torus T. This is done in terms of a combinatorial description of T-varieties given by Altmann and Hausen. The main ingredient is a generalization of Demazure's roots of the fan of a toric variety. As an application we give a description of special SL_2-actions on normal affine varieties. We also obtain, in our terms, the classification of quasihomogeneous SL_2-threefolds due to Popov.
We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call proper polyhedral divisors on semiprojective varieties. Our theory extends classical cone constructions of Dolgachev, Demazure and Pinkham to the multigraded case, and it comprises the theory of affine toric varieties.
We discuss variations of Hodge structures on abelian varieties that arise from intersecting translates of theta divisors with a special focus on the case of abelian varieties of dimension 4
As an alternative to the description of a toric variety by a fan in the lattice of one parameter subgroups, we present a new language in terms of what we call bunches -- these are certain collections of cones in the vector space of rational divisor classes. The correspondence between these bunches and fans is based on classical Gale duality. The new combinatorial language allows a much more natural description of geometric phenomena around divisors of toric varieties than the usual method by fans does. For example, the numerically effective cone and the ample cone of a toric variety can be rea…
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic 1. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of maximal Albanese dimension varieties X with holomorphic Euler characteristic 1 and irregularity 2dim X-1.
We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.
Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove that $ρ_w(X) + 1$ pairwise-disjoint, connected divisors suffices for proper, normal varieties $X$, where $ρ_w(X)$ is a modification of the Néron-Severi rank of $X$ (they agree when $X$ is projective and smooth). We then prove a strong counterexample in the affine case: if $X$ is quasi-affine and of dimension $\geq 2$ over a countable, algebraically-closed fiel…
In this note we characterize polarized parallel transport operators on irreducible holomorphic symplectic varieties which are deformations of generalized Kummer varieties. We then apply such characterization to show the existence of ample uniruled divisors on these varieties and derive some interesting consequences on their Chow group of 0-cycles.
We study the greatest common divisor problem for torus invariant blowing-up morphisms of nonsingular toric Fano varieties. Our main result applies the theory of Okounkov bodies together with an arithmetic form of Cartan's Second Main theorem, which has been established by Ru and Vojta. It also builds on Silverman's geometric concept of greatest common divisor. As a special case of our results, we deduce a bound for the generalized greatest common divisor of pairs of nonzero algebraic numbers.
Let $X$ be a Gorenstein canonical Fano variety of coindex $4$ and dimension $n$ with $H$ fundamental divisor. Assume $h^0(X, H) \geq n -2$. We prove that a general element of the linear system $|mH|$ has at worst canonical singularities for any integer $m \geq 1$. When $X$ has terminal singularities and $n \geq 5$, we show that a general element of $|mH|$ has at worst terminal singularities for any integer $m \geq 1$. When $n=4$, we give an example of Gorenstein terminal Fano fourfold $X$ such that a general element of $|H|$ does not have terminal singularities.
We give the first examples of flat fiber type contractions of Fano manifolds onto varieties that are not weak Fano, and we prove that these morphisms are Fano conic bundles. We also review some known results about the interaction between the positivity properties of anticanonical divisors of varieties of contractions.
We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano) varieties.
We will describe a one-step "Gorensteinization" process for a Schubert variety by blowing-up along its boundary divisor. The local question involves Kazhdan-Lusztig varieties which can be degenerated to affine toric schemes defined using the Stanley-Reisner ideal of a subword complex. The blow-up along the boundary in this toric case is in fact Gorenstein. We show that there exists a degeneration of the blow-up of the Kazhdan-Lusztig variety to this Gorenstein scheme, allowing us to extend this result to Schubert varieties in general. The potential use of this one-step Gorensteinization to des…
