We prove a generalization of Demailly-Ein-Lazarsfeld's subadditivity formula and Mustata's summation formula for multiplier ideals to the case of singular varieties, using characteristic $p$ methods. As an application of our formula, we improve Hochster-Huneke's result on the growth of symbolic powers of ideals in singular affine algebras.
A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.
We construct a 3-dimensional complete intersection toric variety on which the subadditivity formula doesn't hold, answering negatively a question by Takagi and Watanabe. A combinatorial proof of the subadditivity formula on 2-dimensional normal toric varieties is also provided.
It was recently established by the first two authors that multiplier ideals on a smooth variety satisfy some special syzygetic properties. The purpose of this note is to show how some of these can be extended to the singular setting.
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the top Zariski cohomology of the structure sheaf of X_s is bijective. We also consider a conjecture relating certain invariants of singularities in characteristic zero (the multiplier ideals) with invariants in positive characteristic (the test ideals). We prove that the former conjecture implies the latter one in the case of ambient nonsingular varieties.
This paper provides a formula for the Mather-Jacobian multiplier ideals of torus invariant ideals on (not necessarily normal) toric varieties that generalizes Howald's formula for the multiplier ideal of monomial ideals in a polynomial ring.
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s to positive characteristic such that the action of the Frobenius morphism on the top Zariski cohomology of the structure sheaf on X_s is bijective. We also consider the conjecture relating the multiplier ideals of an ideal J on a nonsingular variety in characteristic zero, and the test ideals of the reductions of J to positive characteristic. We prove that the latter conjecture implies the former one. The converse was proved in a joint paper…
We use the language of multiplier ideals in order to relate the syzygies of an abelian variety in a suitable embedding with the local positivity of the line bundle inducing that embedding. This extends to higher syzygies a result of Hwang and To on projective normality.
We generalize to all normal complex algebraic varieties the valuative characterization of multiplier ideals due to Boucksom-Favre-Jonsson in the smooth case. To that end, we extend the log discrepancy function to the space of all real valuations, and prove that it satisfies an adequate properness property, building upon previous work by Jonsson-Mustaţă. We next give an alternative definition of the concept of numerically Cartier divisors previously introduced by the first three authors, and prove that numerically Q-Cartier divisors coincide with Q-Cartier divisors for rational singularities. T…
In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein-Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ei…
We show that the reduction to positive characteristic of the multiplier ideal in the sense of de Fernex and Hacon agrees with the test ideal for infinitely many primes, assuming that the variety is numerically Q-Gorenstein. It follows, in particular, that this reduction property holds in dimension 2 for all normal surfaces.
The aim of this paper is to study mixed multiplier ideals associated to a tuple of ideals in a two-dimensional local ring with a rational singularity. We are interested in the partition of the real positive orthant given by the regions where the mixed multiplier ideals are constant. In particular we reveal which information encoded in a mixed multiplier ideal determines its corresponding jumping wall and we provide an algorithm to compute all the constancy regions, and their corresponding mixed multiplier ideals, in any desired range.
The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequence of our method we develop the notion of jumping divisor that allows to describe the jump between two consecutive multiplier ideals. In particular we find a unique minimal jumping divisor that is s…
We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.
The Bogomolov multiplier of a group is the unramified Brauer group associated to the quotient variety of a faithful representation of the group. This object is an obstruction for the quotient variety to be stably rational. The purpose of this paper is to study these multipliers associated to nilpotent pro-$p$ groups by transporting them to their associated Lie algebras. Special focus is set on the case of $p$-adic Lie groups of nilpotency class $2$, where we analyse the moduli space. This is then applied to give information on asymptotic behaviour of multipliers of finite images of such groups…
We introduce the notion of Bernstein-Sato polynomial of an arbitrary variety (which is not necessarily reduced nor irreducible), using the theory of V-filtrations of M. Kashiwara and B. Malgrange. We prove that the decreasing filtration by multiplier ideals coincides essentially with the restriction of the V-filtration. This implies a relation between the roots of the Bernstein-Sato polynomial and the jumping coefficients of the multiplier ideals, and also a criterion for rational singularities in terms of the maximal root of the polynomial in the case of a reduced complete intersection. These…
We generalize the Bernstein-Sato polynomials of Budur, Mustata and Saito to ideals in normal semigroup rings. In the case of monomial ideals, we also relate the roots of the Bernstein-Sato polynomial to the jumping coefficients of the corresponding multiplier ideals. In order to prove the latter result, we obtain a new combinatorial description for the multiplier ideals of a monomial ideal in a normal semigroup ring.
We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function.
In this paper we generalize the definitions of singularities of pairs and multiplier ideal sheaves to pairs on arbitrary normal varieties, without any assumption on the variety being Q-Gorenstein or the pair being log Q-Gorenstein. The main features of the theory extend to this setting in a natural way.
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.
We calculate using Macaulay 2 the multiplicities of the most singular point on Schubert varieties on Gl(n)/B for $n=5,6$. The method of computation is described and tables of the results are included.
Demailly, Ein and Lazarsfeld \cite{DEL} proved the subadditivity theorem for multiplier ideals, which states the multiplier ideal of the product of ideals is contained in the product of the individual multiplier ideals, on non-singular varieties. We prove that, in two-dimensional case, the subadditivity theorem holds on log-terminal singularities. However, in higher dimensional case, we have several counter-examples. We consider the subadditivity theorem for monomial ideals on toric rings, and construct a counter-example on a three-dimensional toric ring.
Harmonic analysis on a toric Kahler variety M refers to the orthonormal basis of eigenfunctions of the complex torus action on the spaces H^0(M, L^N) of holomorphic sections of powers of a positive line bundle L and the Fourier multipliers that act on them. Using this harmonic analysis, we give an exact formula for the Szego kernel as a Fourier multiplier applied to the pull back of the Szego kernel of projective space under a monomial embedding. The Fourier multiplier involves a partition function of the convex lattice polytope P associated to M. We further prove that this Fourier multiplier …
This note discusses some examples showing that the crystalline cohomology of even very mildly singular projective varieties tends to be quite large. In particular, any singular projective variety with at worst ordinary double points has infinitely generated crystalline cohomology in at least two cohomological degrees. These calculations rely critically on comparisons between crystalline and derived de Rham cohomology.
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.
Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson Rule for flag varieties. We discuss three natural generalizations of Richardson varieties which we call projection varieties, intersection varieties, and rank varieties. In many ways, these varieties are more fundamental than Richardson varieties and are more easily amenable to inductive geometric constructions. In this paper, we study the singularities of each type of generalization. Like Richardson varieties, projection varieties are normal with rational singula…
Regular nilpotent Hessenberg varieties form an important family of subvarieties of the flag variety, which are often singular and sometimes not normal varieties. Like Schubert varieties, they contain distinguished points called permutation flags. In this paper, we give a combinatorial characterization for a permutation flag of a regular nilpotent Hessenberg variety to be a singular point. We also apply this result to characterize regular nilpotent Hessenberg varieties which are normal algebraic varieties.
We prove that the non-nef locus and the restricted base locus of a pseudoeffective divisor coincide on KLT pairs. We also extend to KLT pairs F. Russo's characterization of nef and abundant divisors by means of asymptotic multiplier ideals.
This paper studies the singularities of affine Schubert varieties in the affine Grassmannian (of type $\mathrm{A}^{(1)}_\ell$). For two classes of affine Schubert varieties, we determine the singular loci; and for one class, we also determine explicitly the tangent spaces at singular points. For a general affine Schubert variety, we give partial results on the singular locus.
We answer two questions of Carrell on a singular complex projective variety admitting the multiplicative group action, one positively and the other negatively. The results are applied to Chow varieties and we obtain Chow groups of 0-cycles and Lawson homology groups of 1-cycles for Chow varieties. A short survey on the structure of the Chow varieties is included for comparison and completeness. Moreover, we give counterexamples to Shafarevich's question on the rationality of the irreducible components of Chow varieties.
We discuss different generalizations of the classical notion of the index of a singular point of a vector field to the case of vector fields or 1-forms on singular varieties, describe relations between them and formulae for their computation.
Let X be a projective variety, possibly singular. A generalized Albanese variety of X was constructed by Esnault, Srinivas and Viehweg over algebraically closed base field as a universal regular quotient of the relative Chow group of 0-cycles by Levine-Weibel. In this paper, we obtain a functorial description of the Albanese of Esnault-Srinivas-Viehweg over a perfect base field, using duality theory of 1-motives with unipotent part.
Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.
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.
Although regular semisimple Hessenberg varieties are smooth and irreducible, semisimple Hessenberg varieties are not necessarily smooth in general. In this paper we determine the irreducible components of semisimple Hessenberg varieties corresponding to the standard Hessenberg space. We prove that these irreducible components are smooth and give an explicit description of their intersections, which constitute the singular locus. We conclude with an example of a semisimple Hessenberg variety corresponding to another Hessenberg space which is singular and irreducible, showing that results of thi…
This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.
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.
We use methods from birational geometry to study the Hodge and weight filtrations on the localization along a hypersurface. We focus on the lowest piece of the Hodge filtration of the submodules arising from the weight filtration. This leads to a sequence of ideal sheaves called weighted multiplier ideals. The last ideal of this sequence is a multiplier ideal (and a Hodge ideal), and we prove that the first is the adjoint ideal. We also study the local and global properties of weighted multiplier ideals and their applications to singularities of hypersurfaces of smooth varieties.
A theorem of Jannsen asserts that if a smooth projective variety has injective cycle class maps, it has surjective cycle class maps. The object of this note is to present a version of Jannsen's theorem for singular quasi--projective varieties.
We study the Chow group of zero-cycles on singular varieties using the cdh topology. We define the cdh versions of the zero-cycles and albanese maps. We prove results comparing these groups for a singular variety with the similar groups on the resolution of singularities. We use these to prove some results about the known Chow group of zero-cycles on surfaces and threefolds and some cases of arbitrary dimension.
This expository note surveys some results on equivariant K-theory of varieties with a torus action, focusing on recent work with Sam Payne and Richard Gonzales. It is based on my contribution to the Clifford Lectures at Tulane University in March 2015.
Let $\mathcal{A}_g$ denote the moduli space of principally polarized abelian varieties of dimension $g \ge 3.$ In this paper we prove the connectedness of the singular sublocus of $\mathcal{A}_g$ consisting of those abelian varieties which possess an involution different from $-id$.
We correct the proof and slightly strengthen a Kodaira-type vanishing theorem for singular varieties originally due to Jaffe and the first author. Specifically, we show that if $L$ is a nef and big line bundle on a projective variety of characteristic zero, the $i^{\text{th}}$ cohomology of $L^{-1}$ vanishes for $i$ in a range determined by the depth and dimension of the singular locus.
In this article, we obtain two sharp equality conditions in the restriction formula on complex singularity exponents: an equality between the codimension of the zero variety of related multiplier ideal sheaves and the relative codimension of the restriction of the variety on the submanifold (in the restriction formula); an equivalence between the transversality (between the variety and the submanifold) and the regularity of the restriction of the variety. As applications, we present sharp equality conditions in the fundamental subadditivity property on complex singularity exponents.
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.
Let $X$ be a cubic fourfold that has only simple singularities and does not contain a plane. We prove that the Fano variety of lines on $X$ has the same analytic type of singularity as the Hilbert scheme of two points on a surface with only ADE-singularities. This is shown as a corollary to the characterization of a singularity that is obtained as a $K3^{[2]}$-type contraction and has a unique symplectic resolution.
What is generally known as the "Bloch--Srinivas method" consists of decomposing the diagonal of a smooth projective variety, and then considering the action of correspondences in cohomology. In this note, we observe that this same method can also be extended to singular and quasi--projective varieties. We give two applications of this observation: the first is a version of Mumford's theorem, the second is concerned with the Hodge conjecture for singular varieties.
We define a version of multiplier ideals, the Mather multiplier ideals, on a variety with arbitrary singularities, using the Mather discrepancy and the Jacobian ideal. In this context we prove a relative vanishing theorem, thus obtaining restriction theorems and a subadditivity and summation theorems. The Mather multiplier ideals also satisfy a Skoda type result. As an application, we obtain a Briancon-Skoda type formula for the integral closures of ideals on a variety with arbitrary singularities.
We prove that any ample class on a primitive symplectic variety that is locally trivial deformation of O'Grady's singular 6 dimensional example is proportional to the first Chern class of a uniruled divisor. This result answers a question of Lehn, Mongardi and Pacienza, extending their result for primitive symplectic varieties of this deformation type.
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.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.