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.
We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.
For the toric variety X associated to the Bruhat poset of Schubert varieties in a minuscule G/P, we describe the singular locus in terms of the faces of the associated polyhedral cone. We further show that the singular locus is pure of codimension 3 in X.
In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.
In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our description of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Furthermore, applying the operation called mutation, we give other modules giving NCCRs of it.
We construct a family of flat semitoric degenerations for the Hibi variety of every finite distributive lattice. The irreducible components of each degeneration are the toric varieties associated with polytopes forming a regular subdivision of the order polytope of the underlying poset. These components are themselves Hibi varieties. For each degeneration in our family we also define the corresponding weight polytope and embed the degeneration into the associated toric variety as the union of orbit closures given by a set of faces. Every such weight polytope projects onto the order polytope wi…
For the toric variety X associated to the Bruhat poset of Schubert varieties in the Grassmannian, we describe the singular locus in terms of the faces of the associated polyhedral cone. We also determine the tangent cones at the maximal singularities of X. These turn out to be again toric varieties. In the case of X being associated to the Bruhat poset of Schubert varieties in the Grassmannian of 2-planes in a n-dimensional vector space (over the base field), we also prove a certain product formula relating the multiplicities at certain singular points.
The main goal of this paper is to give explicit descriptions of two maximal cones in the Gröbner fan of the Plücker ideal. These cones correspond to the monomial ideals given by semistandard and PBW-semistandard Young tableaux. For the first cone, as an intermediate result we obtain the description of a maximal cone in the Gröbner fan of any Hibi ideal. For the second, we generalize the notion of Hibi ideals by associating an ideal with every interpolating polytope. This is a family of polytopes that generalizes the order and chain polytopes of a poset (à la Fang--Fourier--Litza--Pegel). We th…
We describe the non-Gorenstein loci of normal toric varieties. In the case of Hibi rings a combinatorial description is provided in terms of the underlying partially ordered set. As a non-toric application we compute the dimensions of the non-Gorenstein loci of the first secant variety of Segre varieties.
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.
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.
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
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.
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
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.
This paper has been withdrawn by the author. It is not true that plt blow-up of toric singularity is toric (in dimension 3 too) and the first main theorem is incorrect also. The error is in deformation argument. I am grateful to Ivan Cheltsov for discussions.
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.
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.
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.
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.
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…