Showing 1–49 of 49 results for author: Ein, L

Erratum to the paper: Asymptotic Invariants of Base Loci

Authors: Lawrence Ein, Robert Lazarsfeld, Mircea Mustata, Michael Nakamaye, Mihnea Popa

Abstract: This note points out a gap in the proof of one of the technical results in the paper "Asymptotic Invariants of Base Loci", that appeared in Ann. Inst. Fourier (Grenoble) 56 (2006), 1701-1734. We provide a correct proof of this result. This note points out a gap in the proof of one of the technical results in the paper "Asymptotic Invariants of Base Loci", that appeared in Ann. Inst. Fourier (Grenoble) 56 (2006), 1701-1734. We provide a correct proof of this result. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 7 pages

MSC Class: 14C20; 52B20

On vanishing of fundamental forms of algebraic varieties

Authors: Lawrence Ein, Wenbo Niu

Abstract: We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties. We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 21 pages, comments welcome

Saturation bounds for smooth varieties

Authors: Lawrence Ein, Huy Tai Ha, Robert Lazarsfeld

Abstract: We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection ideals holds for any smooth variety. For curves, we bound the saturation degree of powers in terms of the regularity. We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection ideals holds for any smooth variety. For curves, we bound the saturation degree of powers in terms of the regularity. △ Less

Submitted 2 April, 2021; originally announced April 2021.

MSC Class: 14F99; 13D02

Journal ref: Alg. Number Th. 16 (2022) 1531-1546

Singularities and syzygies of secant varieties of nonsingular projective curves

Authors: Lawrence Ein, Wenbo Niu, Jinhyung Park

Abstract: In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of… ▽ More In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfies the property $N_{k+2, p}$. In addition, the singularities of the secant varieties are further classified according to the genus of the curve, and the Castelnuovo--Mumford regularities are also obtained as well. As one of the main technical ingredients, we establish a vanishing theorem on the Cartesian products of the curve, which may have independent interests and may find applications elsewhere. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 36 pages. Comments are welcome

Cayley-Bacharach theorems with excess vanishing

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: Griffiths and Harris showed in 1978 that if E is a rank n vector bundle on a smooth projective variety of dimension n, and if s is a section of E vanishing simply on a finite set Z, then any section of (K_X + det E) vanishing at all but one of the points of Z must also vanish on the remaining one. This generalizes the classical theorem of Cayley-Bacharach, which appears when E is a direct sum of l… ▽ More Griffiths and Harris showed in 1978 that if E is a rank n vector bundle on a smooth projective variety of dimension n, and if s is a section of E vanishing simply on a finite set Z, then any section of (K_X + det E) vanishing at all but one of the points of Z must also vanish on the remaining one. This generalizes the classical theorem of Cayley-Bacharach, which appears when E is a direct sum of line bundles on projective space. In a recent paper, Mu-Lin Li proposed an extension allowing for the possibility that the zero-locus of s has positive dimensional components, but his result requires a splitting hypothesis that in practice is rarely satisfied. We show that multiplier ideals lead to a quite clean statement in the case of excess vanishing. Along the way, we give simplified and somewhat strengthened accounts of results of Tan-Viehweg and Sun. △ Less

Submitted 23 September, 2019; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: Dedicated to Bill Fulton on the occasion of his 80th birthday. References added to results of Sun on determinantal loci

Tangent developable surfaces and the equations defining algebraic curves

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: This is an introduction, aimed at a general mathematical audience, to recent work of Aprodu, Farkas, Papadima, Raicu and Weyman. These authors established a long-standing folk conjecture concerning the equations defining the tangent developable surface of a rational normal curve. This in turn led to a new proof of a fundamental theorem of Voisin on the syzygies of a general canonical curve. The pr… ▽ More This is an introduction, aimed at a general mathematical audience, to recent work of Aprodu, Farkas, Papadima, Raicu and Weyman. These authors established a long-standing folk conjecture concerning the equations defining the tangent developable surface of a rational normal curve. This in turn led to a new proof of a fundamental theorem of Voisin on the syzygies of a general canonical curve. The present note, which is the write-up of a talk given by the second author at the Current Events seminar at the 2019 JMM, surveys this circle of ideas. △ Less

Submitted 12 June, 2019; originally announced June 2019.

MSC Class: 14H51; 13D02

The Konno invariant of some algebraic varieties

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: The Konno invariant of a projective variety X is the minimum geometric genus of the fiber of a rational pencil on X. It was computed by Konno for surfaces in P^3, and in general can be viewed as a measure of the complexity of X. We estimate Konno(X) for some natural classes of varieties, including sharp asymptotics for polarized K3 surfaces. In an appendix, we give a quick proof of a classical for… ▽ More The Konno invariant of a projective variety X is the minimum geometric genus of the fiber of a rational pencil on X. It was computed by Konno for surfaces in P^3, and in general can be viewed as a measure of the complexity of X. We estimate Konno(X) for some natural classes of varieties, including sharp asymptotics for polarized K3 surfaces. In an appendix, we give a quick proof of a classical formula due to Deligne and Hoskin for the colength of an integrally closed ideal on a surface. △ Less

Submitted 13 August, 2018; originally announced August 2018.

Jet closures and the local isomorphism problem

Authors: Tommaso de Fernex, Lawrence Ein, Shihoko Ishii

Abstract: If a morphism of germs of schemes induces isomorphisms of all local jet schemes, does it follow that the morphism is an isomorphism? This problem is called the local isomorphism problem. In this paper, we use jet schemes to introduce various closure operations among ideals and relate them to the local isomorphism problem. This approach leads to a partial solution of the local isomorphism problem,… ▽ More If a morphism of germs of schemes induces isomorphisms of all local jet schemes, does it follow that the morphism is an isomorphism? This problem is called the local isomorphism problem. In this paper, we use jet schemes to introduce various closure operations among ideals and relate them to the local isomorphism problem. This approach leads to a partial solution of the local isomorphism problem, which is shown to have a negative answer in general and a positive one in several situations of geometric interest. △ Less

Submitted 11 January, 2018; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: 12 pages; v2: minor changes, to appear in J. Algebra

Syzygies of projective varieties of large degree: recent progress and open problems

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: This paper is a survey of recent work on the asymptotic behavior of the syzygies of a smooth complex projective variety as the positivity of the embedding line bundle grows. After a quick overview of results from the 1980s and 1990s concerning the linearity of the first few terms of a resolution, we discuss a non-vanishing theorem to the effect that from an asymptotic viewpoint, essentially all… ▽ More This paper is a survey of recent work on the asymptotic behavior of the syzygies of a smooth complex projective variety as the positivity of the embedding line bundle grows. After a quick overview of results from the 1980s and 1990s concerning the linearity of the first few terms of a resolution, we discuss a non-vanishing theorem to the effect that from an asymptotic viewpoint, essentially all of the syzygy modules that could be non-zero are in fact non-zero. We explain the quick new proof of this result in the case of Veronese varieties due to Erman and authors, and we explore some results and conjectures about the asymptotics of Betti numbers. Finally we discuss the case of syzygies of weight one, and the gonality conjecture on the syzygies of curves of large degree. The exposition also discusses numerous open questions and conjectures. △ Less

Submitted 24 May, 2016; originally announced May 2016.

MSC Class: 14F99; 13D02

A vanishing theorem for weight one syzygies

Authors: Lawrence Ein, Robert Lazarsfeld, David Yang

Abstract: Inspired by the methods of Voisin, the first two authors recently proved that one could read off the gonality of a curve C from the syzygies of its ideal in any one embedding of sufficiently large degree. This was deduced from from a vanishing theorem for the asymptotic syzygies associated to an arbitrary line bundle B on C. The present paper extends this vanishing theorem to a smooth projective v… ▽ More Inspired by the methods of Voisin, the first two authors recently proved that one could read off the gonality of a curve C from the syzygies of its ideal in any one embedding of sufficiently large degree. This was deduced from from a vanishing theorem for the asymptotic syzygies associated to an arbitrary line bundle B on C. The present paper extends this vanishing theorem to a smooth projective variety X of arbitrary dimension. Specifically, given a line bundle B on X, we prove that if B is p-jet very ample (i.e. the sections of B separate jets of total weight p+1) then the weight one Koszul cohomology group K_{p,1}(X, B; L) vanishes for all sufficiently positive L. In the other direction, we show that if there is a reduced cycle of length p+1 that fails to impose independent conditions on sections of B, then the Koszul group in question is non-zero for very positive L. △ Less

Submitted 20 September, 2016; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: Heuristic outline of argument added. Small errors corrected. To appear in Algebra and Number Theory

MSC Class: 14J99; 13D02

Journal ref: Algebra Number Theory 10 (2016) 1965-1981

Measures of irrationality for hypersurfaces of large degree

Authors: Francesco Bastianelli, Pietro De Poi, Lawrence Ein, Robert Lazarsfeld, Brooke Ullery

Abstract: We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family of curves. The theme is that positivity properties of canonical bundles lead to lower bounds on these invariants. In particular, we prove that if X is a very gen… ▽ More We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family of curves. The theme is that positivity properties of canonical bundles lead to lower bounds on these invariants. In particular, we prove that if X is a very general smooth hypersurface of dimension n and degree d \ge 2n+1, then any dominant rational mapping from X to projective n-space must have degree at least d-1. We also propose a number of open problems, and we show how our methods lead to simple new proofs of results of Ran and Beheshti-Eisenbud. △ Less

Submitted 30 November, 2016; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: Major revision of first version, combining it with previously separate appendix of Bastianelli and De Poi. Extended section of open problems added, as well as new proofs of results of Ran and Beheshti-Eisenbud. Dedicated to János Kollár on the occasion of his sixtieth birthday

MSC Class: 14E08; 14C99

Journal ref: Compositio Math. 153 (2017) 2368-2393

A quick proof of nonvanishing for asymptotic syzygies

Authors: Lawrence Ein, Daniel Erman, Robert Lazarsfeld

Abstract: We give a quick new approach to the main cases of the nonvanishing theorems of first and third authors concerning the asymptotic behavior of the syzygies of a projective variety as the positivity of the embedding line bundle grows. Specifically, we present a surprisingly elementary and concrete proof of the asymptotic nonvanishing of Veronese syzygies, and we obtain effective results for arithmeti… ▽ More We give a quick new approach to the main cases of the nonvanishing theorems of first and third authors concerning the asymptotic behavior of the syzygies of a projective variety as the positivity of the embedding line bundle grows. Specifically, we present a surprisingly elementary and concrete proof of the asymptotic nonvanishing of Veronese syzygies, and we obtain effective results for arithmetically Cohen-Macaulay varieties. The idea is that one can reduce the statements to some simple computations with monomials. △ Less

Submitted 11 September, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: Typos corrected. Section numbering changed to conform to published version

MSC Class: 14J40; 13D02

Journal ref: Algebraic Geometry 3 (2016), 211-222

The gonality conjecture on syzygies of algebraic curves of large degree

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: We show that a small variant of the methods used by Voisin in her study of canonical curves leads to a surprisingly quick proof of the gonality conjecture of Green and the second author, asserting that one can read off the gonality of a curve C from its resolution in the embedding defined by any one line bundle of sufficiently large degree. More generally, we establish a necessary and sufficient c… ▽ More We show that a small variant of the methods used by Voisin in her study of canonical curves leads to a surprisingly quick proof of the gonality conjecture of Green and the second author, asserting that one can read off the gonality of a curve C from its resolution in the embedding defined by any one line bundle of sufficiently large degree. More generally, we establish a necessary and sufficient condition for the asymptotic vanishing of the weight one syzygies of the module associated to an arbitrary line bundle on C. △ Less

Submitted 16 July, 2014; originally announced July 2014.

Singularities with respect to Mather-Jacobian discrepancies

Authors: Lawrence Ein, Shihoko Ishii

Abstract: As is well known, the "usual discrepancy" is defined for a normal Q-Gorenstein variety. By using this discrepancy we can define a canonical singularity and a log canonical singularity. In the same way, by using a new notion, Mather-Jacobian discrepancy introduced in recent papers we can define a "canonical singularity" and a "log canonical singularity" for not necessarily normal or Q-Gorenstein va… ▽ More As is well known, the "usual discrepancy" is defined for a normal Q-Gorenstein variety. By using this discrepancy we can define a canonical singularity and a log canonical singularity. In the same way, by using a new notion, Mather-Jacobian discrepancy introduced in recent papers we can define a "canonical singularity" and a "log canonical singularity" for not necessarily normal or Q-Gorenstein varieties. In this paper, we show basic properties of these singularities, behavior of these singularities under deformations and determine all these singularities of dimension up to 2. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 39 pages no figure

MSC Class: 14B05; 14B07; 14H20

Stability of syzygy bundles on an algebraic surface

Authors: Lawrence Ein, Robert Lazarsfeld, Yusuf Mustopa

Abstract: Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an algebraically closed field, then M_L is slope-stable for any sufficiently positive L. Given a very ample line bundle L on a projective variety X, the syzygy bundle M_L associated to L is the kernel of the evaluation map on sections of L. Our main result is that if X is a smooth projective surface defined over an algebraically closed field, then M_L is slope-stable for any sufficiently positive L. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Asymptotics of random Betti tables

Authors: Lawrence Ein, Daniel Erman, Robert Lazarsfeld

Abstract: The purpose of this paper is twofold. First, we present a conjecture to the effect that the ranks of the syzygy modules of a smooth projective variety become normally distributed as the positivity of the embedding line bundle grows. Then, in an attempt to render the conjecture plausible, we prove a result suggesting that this is in any event the typical behavior from a probabilistic point of view.… ▽ More The purpose of this paper is twofold. First, we present a conjecture to the effect that the ranks of the syzygy modules of a smooth projective variety become normally distributed as the positivity of the embedding line bundle grows. Then, in an attempt to render the conjecture plausible, we prove a result suggesting that this is in any event the typical behavior from a probabilistic point of view. Specifically, we consider a "random" Betti table with a fixed number of rows, sampled according to a uniform choice of Boij-Soderberg coefficients. We compute the asymptotics of the entries as the length of the table goes to infinity, and show that they become normally distributed with high probability. △ Less

Submitted 23 July, 2012; originally announced July 2012.

Journal ref: Journal fur die reine und angewandte Mathematik (Crelles Journal), Volume 2015, Issue 702, Pages 55--75

Multiplier ideals via Mather discrepancy

Authors: Lawrence Ein, Shihoko Ishii, Mircea Mustata

Abstract: 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 Bri… ▽ More 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. △ Less

Submitted 12 July, 2011; originally announced July 2011.

Comments: 17 pages, no figure

MSC Class: 14F18; 14B05

Asymptotic syzygies of algebraic varieties

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: This paper studies the asymptotic behavior of the syzygies of a smooth projective variety X as the positivity of the embedding line bundle grows. We prove that as least as far as grading is concerned, the minimal resolution of the ideal of X has a surprisingly uniform asymptotic shape: roughly speaking, generators eventually appear in almost all degrees permitted by Castelnuovo-Mumford regularity.… ▽ More This paper studies the asymptotic behavior of the syzygies of a smooth projective variety X as the positivity of the embedding line bundle grows. We prove that as least as far as grading is concerned, the minimal resolution of the ideal of X has a surprisingly uniform asymptotic shape: roughly speaking, generators eventually appear in almost all degrees permitted by Castelnuovo-Mumford regularity. This suggests in particular that a widely-accepted intuition derived from the case of curves -- namely that syzygies become simpler as the degree of the embedding increases -- may have been misleading. For Veronese embeddings of projective space, we give an effective statement that in some cases is optimal, and conjecturally always is so. Finally, we propose a number of questions and open problems concerning asymptotic syzygies of higher-dimensional varieties. △ Less

Submitted 23 February, 2012; v1 submitted 2 March, 2011; originally announced March 2011.

Comments: Sections renumbered to conform to published version. To appear in Invent. Math

Log canonical thresholds on varieties with bounded singularities

Authors: Tommaso de Fernex, Lawrence Ein, Mircea Mustata

Abstract: We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded singularities, in the sense that it is, formally locally, a subvariety in a fixed affine space defined by equations of bounded degree. We prove in this context a conjec… ▽ More We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded singularities, in the sense that it is, formally locally, a subvariety in a fixed affine space defined by equations of bounded degree. We prove in this context a conjecture of Shokurov, predicting that the set of log canonical thresholds for such pairs satisfies the Ascending Chain Condition. △ Less

Submitted 24 June, 2010; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: 38 pages; v.2: minor changes, to appear in the proceedings of the conference `Classification of algebraic varieties' at Schiermonnikoog

MSC Class: 14E15 (primary); 14B05; 14E30 (secondary)

Pseudoeffective and nef classes on abelian varieties

Authors: Olivier Debarre, Lawrence Ein, Robert Lazarsfeld, Claire Voisin

Abstract: The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomen… ▽ More The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomena that can occur by working out the picture fairly completely in a couple of simple but non-trivial cases. Specifically, we study cycles of arbitrary codimension on the self-product of an elliptic curve with complex multiplication, as well as two dimensional cycles on the product of a very general abelian surface with itself. Already one finds various non-classical behavior, for instance nef cycles that fail to be pseudoeffective: this answers a question raised in 1964 by Grothendieck in correspondence with Mumford. We also propose a substantial number of open problems for further investigation. △ Less

Submitted 16 March, 2010; originally announced March 2010.

Journal ref: Compositio Math. 147 (2011) 1793-1818

Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties

Authors: Tommaso de Fernex, Lawrence Ein, Mircea Mustata

Abstract: Shokurov conjectured that the set of all log canonical thresholds on varieties of bounded dimension satisfies the ascending chain condition. In this paper we prove that the conjecture holds for log canonical thresholds on smooth varieties and, more generally, on locally complete intersection varieties and on varieties with quotient singularities. Shokurov conjectured that the set of all log canonical thresholds on varieties of bounded dimension satisfies the ascending chain condition. In this paper we prove that the conjecture holds for log canonical thresholds on smooth varieties and, more generally, on locally complete intersection varieties and on varieties with quotient singularities. △ Less

Submitted 15 November, 2009; v1 submitted 22 May, 2009; originally announced May 2009.

Comments: 20 pages. This supersedes arXiv:0811.4642 and arXiv:0811.4644. As opposed to these older versions, we now give a proof of Kollár's m-adic semicontinuity result using only the Connectedness Theorem; v.3: section 4 has been rewritten; to appear in Duke Math. J

MSC Class: 14E15 (primary); 14B05; 14E30 (secondary

Journal ref: Duke Math. J. 152, no. 1 (2010), 93-114

Log canonical thresholds on smooth varieties: the Ascending Chain Condition

Authors: Lawrence Ein, Mircea Mustata

Abstract: Building on results of Kollár, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities. Building on results of Kollár, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities. △ Less

Submitted 9 January, 2009; v1 submitted 26 November, 2008; originally announced November 2008.

Comments: 8 pages; v.2: revised version, includes a corollary about ACC on varieties with quotient singularities

MSC Class: 14E15 (Primary); 14B05 (Secondary)

Extension of sections via adjoint ideals

Authors: Lawrence Ein, Mihnea Popa

Abstract: The paper contains theorems on extending sections of line bundles from divisors to the ambient space, inspired by various results of Siu, Kawamata, and especially Hacon-McKernan and Takayama. Applications are given to basepoint-freeness, to the invariance of analogues of plurigenera and of part of the boundary of the pseudo-effective cone in families, and to a simplified approach towards part of… ▽ More The paper contains theorems on extending sections of line bundles from divisors to the ambient space, inspired by various results of Siu, Kawamata, and especially Hacon-McKernan and Takayama. Applications are given to basepoint-freeness, to the invariance of analogues of plurigenera and of part of the boundary of the pseudo-effective cone in families, and to a simplified approach towards part of the results used for proving the existence of flips by Hacon-McKernan. △ Less

Submitted 20 December, 2009; v1 submitted 26 November, 2008; originally announced November 2008.

Comments: 28 pages; v.3: quite a few corrections with respect to the previous version, especially in the statements of Thm. F, Lemma 5.6 and Thm.5.8, and the proof of Cor.C; we also introduced outlines of the proofs of Thm. A and Thm.7.1 in order to make them more user friendly

MSC Class: 14F17; 14D06; 14J40

A vanishing theorem for log canonical pairs

Authors: Tommaso de Fernex, Lawrence Ein

Abstract: Using inversion of adjunction, we deduce from Nadel's theorem a vanishing property for ideals sheaves on projective varieties, a special case of which recovers a result due to Bertram--Ein--Lazarsfeld. This enables us to generalize to a large class of projective schemes certain bounds on Castelnuovo--Mumford regularity previously obtained by Bertram--Ein--Lazarsfeld in the smooth case and by Chard… ▽ More Using inversion of adjunction, we deduce from Nadel's theorem a vanishing property for ideals sheaves on projective varieties, a special case of which recovers a result due to Bertram--Ein--Lazarsfeld. This enables us to generalize to a large class of projective schemes certain bounds on Castelnuovo--Mumford regularity previously obtained by Bertram--Ein--Lazarsfeld in the smooth case and by Chardin--Ulrich for locally complete intersection varieties with rational singularities. Our results are tested on several examples. △ Less

Submitted 12 April, 2015; v1 submitted 26 May, 2008; originally announced May 2008.

Comments: 15 pages; v3: minor changes, to appear in Amer. J. Math; v4: as pointed out to us by Victor Lozovanu, we need to assume that the line bundle A in Theorem 1.1 is ample, instead of just nef and big; this change does not affect any of the other results

MSC Class: 14J17 (Primary); 14C20; 14J17; 14M99 (Secondary)

Global division of cohomology classes via injectivity

Authors: Lawrence Ein, Mihnea Popa

Abstract: We note that the vanishing and injectivity theorems of Kollár and Esnault-Viehweg can be used to give a quick algebraic proof of a strengthening of the Ein-Lazarsfeld Skoda-type division theorem for global sections of adjoint line bundles vanishing along suitable multiplier ideal sheaves, and to extend it to higher cohomology classes as well. For global sections, this is also a slightly more gen… ▽ More We note that the vanishing and injectivity theorems of Kollár and Esnault-Viehweg can be used to give a quick algebraic proof of a strengthening of the Ein-Lazarsfeld Skoda-type division theorem for global sections of adjoint line bundles vanishing along suitable multiplier ideal sheaves, and to extend it to higher cohomology classes as well. For global sections, this is also a slightly more general statement of the algebraic translation of an analytic result of Siu. Along the way we write down an injectivity statement for multiplier ideals, and its standard consequences. △ Less

Submitted 18 August, 2008; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: 10 pages; dedication included, and minor corrections made; to appear in the Michigan Math. J. volume in honor of Mel Hochster's 65th birthday

MSC Class: 14F17; 14Q20

Generically finite morphisms and formal neighborhoods of arcs

Authors: Lawrence Ein, Mircea Mustata

Abstract: We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of vanishing along the ramification subscheme. We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of vanishing along the ramification subscheme. △ Less

Submitted 11 September, 2008; v1 submitted 28 August, 2007; originally announced August 2007.

Comments: 6 pages; final version, to appear in the Proceedings of the IV Iberoamerican Conference on Complex Geometry

MSC Class: 14B10 (Primary) 14B20 (Secondary)

Divisorial valuations via arcs

Authors: Tommaso de Fernex, Lawrence Ein, Shihoko Ishii

Abstract: This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the codimension for this subset and give a formula of the codimension in terms of "relative Mather canonical class". By using this subset, we prove that a divisorial va… ▽ More This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the codimension for this subset and give a formula of the codimension in terms of "relative Mather canonical class". By using this subset, we prove that a divisorial valuation is determined by assigning the values of finite functions. We also have a criterion for a divisorial valuation to be a monomial valuation by assigning the values of finite functions. △ Less

Submitted 13 April, 2015; v1 submitted 30 January, 2007; originally announced January 2007.

Comments: Minor corrections, including in Remark 3.3 where it was incorrectly claimed that the codimension of a quasi-cylinder equals the Krull codimension; these corrections do not affect the rest of the paper

MSC Class: 14B05; 14M25

Journal ref: Publ. RIMS, 44, (2008) 425-448

Jet schemes and singularities

Authors: Lawrence Ein, Mircea Mustata

Abstract: We give a self-contained presentation of the basic results on jet schemes of singular varieties. Applications are given to invariants of singularities, such as minimal log discrepancies. We simplify our older approach to Inversion of adjunction for locally complete intersection varieties, and we prove a more general result for arbitrary Q-Gorenstein varieties embeded in nonsingular varieties (th… ▽ More We give a self-contained presentation of the basic results on jet schemes of singular varieties. Applications are given to invariants of singularities, such as minimal log discrepancies. We simplify our older approach to Inversion of adjunction for locally complete intersection varieties, and we prove a more general result for arbitrary Q-Gorenstein varieties embeded in nonsingular varieties (this statement has been proved independently also by Kawakita) . △ Less

Submitted 26 May, 2008; v1 submitted 29 December, 2006; originally announced December 2006.

Comments: 42 pages; v2: revised version, to appear in the proceedings of the 2005 AMS Summer Research Institute in Algebraic Geometry

MSC Class: 14B05; 14E30

Restricted volumes and base loci of linear series

Authors: Lawrence Ein, Robert Lazarsfeld, Mircea Mustata, Michael Nakamaye, Mihnea Popa

Abstract: We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume. We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume. △ Less

Submitted 10 January, 2008; v1 submitted 8 July, 2006; originally announced July 2006.

Comments: Latex, 38 pages; v.2: final version. To appear in the American Journal of Mathematics

MSC Class: 14C20 (Primary) 14E15; 14E05 (Secondary)

Invariants of singularities of pairs

Authors: Lawrence Ein, Mircea Mustata

Abstract: Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several appl… ▽ More Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several applications of these invariants to algebra, higher dimensional birational geometry and to singularities. △ Less

Submitted 16 August, 2006; v1 submitted 27 April, 2006; originally announced April 2006.

Comments: 19 pages, to appear in Proceedings of the International Congress of Mathematicians, Madrid, Spain, 2006 (talk to be given by the first author); some typos corrected

Asymptotic invariants of line bundles

Authors: Lawrence Ein, Robert Lazarsfeld, Mircea Mustata, Michael Nakamaye, Mihnea Popa

Abstract: Let X be a smooth complex projective variety of dimension d. It is classical that ample line bundles on X satisfy many beautiful geometric, cohomological, and numerical properties that render their behavior particularly tractable. By contrast, examples due to Cutkosky and others have led to the common impression that the linear series associated to non-ample divisors are in general mired in path… ▽ More Let X be a smooth complex projective variety of dimension d. It is classical that ample line bundles on X satisfy many beautiful geometric, cohomological, and numerical properties that render their behavior particularly tractable. By contrast, examples due to Cutkosky and others have led to the common impression that the linear series associated to non-ample divisors are in general mired in pathology. However starting with fundamental work of Fujita, Nakayama, and Tsuji, it has recently become apparent that arbitrary effective (or "big") divisors in fact display a surprising number of properties analogous to those of ample line bundles. The key is to study the properties in question from an asymptotic perspective. At the same time, many interesting questions and open problems remain. The purpose of the present expository note is to give an invitation to this circle of ideas. In the hope that this informal overview might serve as a jumping off point for the technical literature in the area, we sketch many examples but provide no proofs. We focus on one particular invariant -- the "volume" of a line bundle -- that measures the rate of growth of the number of sections of powers of the bundle in question. △ Less

Submitted 3 May, 2005; originally announced May 2005.

Comments: Informal expository overview, 20 pages

Asymptotic invariants of base loci

Authors: Lawrence Ein, Robert Lazarsfeld, Mircea Mustata, Michael Nakamaye, Mihnea Popa

Abstract: The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the bi… ▽ More The purpose of this paper is to define and study systematically some asymptotic invariants associated to base loci of line bundles on smooth projective varieties. We distinguish an open dense subset of the real big cone, called the stable locus, consisting of the set of classes on which the asymptotic base locus is locally constant. The asymptotic invariants define continuous functions on the big cone, whose vanishing characterizes, roughly speaking, the unstable locus. We show that for toric varieties at least, there exists a polyhedral decomposition of the big cone on which these functions are polynomial. △ Less

Submitted 6 June, 2005; v1 submitted 12 August, 2003; originally announced August 2003.

Comments: 26 pages, 1 figure; shorter version with more efficient exposition and more general version of asymptotic invariants; notation changed, references added, minor mistakes corrected

MSC Class: 14C20; 14F17; 14B05

Contact loci in arc spaces

Authors: Lawrence Ein, Robert Lazarsfeld, Mircea Mustata

Abstract: We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of) exceptional divisors in a resolution of singularities. We show also that these loci account for all the valuations determined by irreducible cylinders in the arc spac… ▽ More We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of) exceptional divisors in a resolution of singularities. We show also that these loci account for all the valuations determined by irreducible cylinders in the arc space. Along the way, we recover in an elementary fashion-without using motivic integration-results of the third author relating singularities to arc spaces. Moreover, we extend these results to give a jet-theoretic interpretation of multiplier ideals. △ Less

Submitted 12 April, 2004; v1 submitted 20 March, 2003; originally announced March 2003.

Comments: 18 pages; v.2: minor changes; final version, to appear in Compositio Math

MSC Class: 14B05 (primary); 14E15; 14E30 (secondary)

Journal ref: Compositio Math. 140 (2004), 1229-1244.

Jumping Coefficients of Multiplier Ideals

Authors: Lawrence Ein, Robert Lazarsfeld, Karen E. Smith, Dror Varolin

Abstract: We study in this paper some local invariants attached via multiplier ideals to an effective divisor or ideal sheaf on a smooth complex variety. First considered (at least implicitly) by Libgober and by Loeser and Vaquie, these jumping coefficients consist of an increasing sequence of rational numbers beginning with the log canonical threshold of the divisor or ideal in question. They encode inte… ▽ More We study in this paper some local invariants attached via multiplier ideals to an effective divisor or ideal sheaf on a smooth complex variety. First considered (at least implicitly) by Libgober and by Loeser and Vaquie, these jumping coefficients consist of an increasing sequence of rational numbers beginning with the log canonical threshold of the divisor or ideal in question. They encode interesting geometric and algebraic information, and we show that they arise naturally in several different contexts. Given a polynomial f having only isolated singularities, results of Varchenko, Loeser and Vaquie imply that if ξis a jumping number of f = 0 lying in the interval (0, 1], then -ξis a root of the Bernstein-Sato polynomial of f. We adapt an argument of Kollar to show prove that this holds also when the singular locus of f has positive dimension. In a more algebraic direction, we show that the number of such jumping coefficients bounds the uniform Artin-Rees number of the principal ideal (f) in the sense of Huneke: in the case of isolated singularities, this in turn leads to bounds involving the Milnor and Tyurina numbers of f . Along the way, we establish a general result relating multiplier to Jacobian ideals. We also explore the extension of these ideas to the setting of graded families of ideals. The paper contains many concrete examples. △ Less

Submitted 28 February, 2003; originally announced March 2003.

Comments: Dedicated to Y.-T. Siu on the occasion of his sixtieth birthday

Inversion of adjunction for local complete intersection varieties

Authors: Lawrence Ein, Mircea Mustaţǎ

Abstract: In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections. In this note we build on our previous work with Takehiko Yasuda to prove a precise version of inversion of adjunction for varieties which are local complete intersections. △ Less

Submitted 30 July, 2003; v1 submitted 15 January, 2003; originally announced January 2003.

Comments: 10 pages; final version, to appear in Amer. J. Math

MSC Class: Primary 14B05; Secondary 14E30; 14E15; 14B10

Journal ref: Amer. J. Math. 126 (2004), 1355--1365.

Bounds for log canonical thresholds with applications to birational rigidity

Authors: Tommaso de Fernex, Lawrence Ein, Mircea Mustata

Abstract: We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a suitable smooth morphism. This in turn is based on an inequality relating the log canonical threshold and the Samuel multiplicity, generalizing our previous r… ▽ More We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a suitable smooth morphism. This in turn is based on an inequality relating the log canonical threshold and the Samuel multiplicity, generalizing our previous result from math.AG/0205171. We then give a lower bound for the log canonical threshold of an affine scheme defined by homogeneous equations of the same degree in terms of the dimension of the non log terminal locus (this part supersedes math.AG/0105113). As an application of our results, we prove the birational superrigidity of every smooth hypersurface of degree N in P^N, if 4\leq N\leq 12. △ Less

Submitted 14 February, 2003; v1 submitted 16 December, 2002; originally announced December 2002.

Comments: 16 pages, AMS-LaTeX; v2: corrected reference; v3: last application, to the complete intersection of type (2,6) in P^8, was removed due to a numerical error; all other results are unchanged; final version, to appear in Math. Res. Lett

MSC Class: Primary 14B05; Secondary 14C17; 14E05

Journal ref: Math. Res. Lett. 10 (2003), 219-236.

Jet schemes, log discrepancies and Inversion of Adjunction

Authors: Lawrence Ein, Mircea Mustata, Takehiko Yasuda

Abstract: We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal and Q-Gorenstein. As a first application, we prove a precise version of Inversion of Adjunction, in the case when the ambient variety is smooth. Another appl… ▽ More We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal and Q-Gorenstein. As a first application, we prove a precise version of Inversion of Adjunction, in the case when the ambient variety is smooth. Another application concerns the semicontinuity of minimal log discrepancies on smooth varieties. △ Less

Submitted 22 February, 2003; v1 submitted 27 September, 2002; originally announced September 2002.

Comments: 17 pages, AMS-LaTeX; v.2: the statement of Corollary 2.4 is corrected, Theorems 2.5 and 2.6 from the previous version have been combined in one stronger statement; v.3: final version, to appear in Invent. Math

MSC Class: 14B05 (Primary); 14E30; 14E15; 14B10 (Secondary)

Journal ref: Invent. Math. 153 (2003), 119-135.

Multiplicities and log canonical threshold

Authors: Tommaso de Fernex, Lawrence Ein, Mircea Mustata

Abstract: If R is a local ring of dimension n, of a smooth complex variety, and if I is a zero dimensional ideal in R, then we prove that e(I)\geq n^n/lc(I)^n. Here e(I) is the Samuel multiplicity along I, and lc(I) is the log canonical threshold of (R,I). We show that equality is achieved if and only if the integral closure of I is a power of the maximal ideal. When I is an arbitrary ideal, but n=2, we g… ▽ More If R is a local ring of dimension n, of a smooth complex variety, and if I is a zero dimensional ideal in R, then we prove that e(I)\geq n^n/lc(I)^n. Here e(I) is the Samuel multiplicity along I, and lc(I) is the log canonical threshold of (R,I). We show that equality is achieved if and only if the integral closure of I is a power of the maximal ideal. When I is an arbitrary ideal, but n=2, we give a similar bound involving the Segre numbers of I. △ Less

Submitted 15 May, 2002; originally announced May 2002.

Comments: 13 pages; AMS-LaTeX

MSC Class: 14B05; 14C17

Journal ref: J. Alg. Geom. 13 (2004), 603-615.

Uniform Approximation of Abhyankar Valuation Ideals in Smooth Function Fields

Authors: Lawrence Ein, Robert Lazarsfeld, Karen E. Smith

Abstract: In this paper we use the theory of multiplier ideals to show that the valuation ideals of a rank one Abhyankar valuation centered at a smooth point of a complex algebraic variety are approximated, in a quite strong sense, by sequences of powers of fixed ideals. Fix a rank one valuation v centered at a smooth point x on an algebraic variety over a field of characteristic zero. Assume that v is Ab… ▽ More In this paper we use the theory of multiplier ideals to show that the valuation ideals of a rank one Abhyankar valuation centered at a smooth point of a complex algebraic variety are approximated, in a quite strong sense, by sequences of powers of fixed ideals. Fix a rank one valuation v centered at a smooth point x on an algebraic variety over a field of characteristic zero. Assume that v is Abhyankar, that is, that its rational rank plus its transcendence degree equal the dimension of the variety. Let a_m denote the ideal of elements in the local ring of x whose valuations are at least m. Our main theorem is that there exists e>0 such that a_{mn} is contained in (a_{m-e})^n for all m and n. This can be viewed as a greatly strengthened form of Izumi's Theorem for Abhyankar valuations centered on smooth complex varieties. △ Less

Submitted 28 February, 2002; originally announced February 2002.

Comments: 27 pages, latex

MSC Class: 13A18

The log canonical threshold of homogeneous affine hypersurfaces

Authors: Lawrence Ein, Mircea Mustata

Abstract: We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved… ▽ More We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that the conjecture follows from the Log Minimal Model Program. The purpose of this note is to give an easy proof of their conjecture using the description of the log canonical threshold in terms of jet schemes. △ Less

Submitted 31 May, 2001; v1 submitted 14 May, 2001; originally announced May 2001.

Comments: 6 pages. We generalize the lower bound and the characterization for equality to the case when the hypersurface has a singular locus of arbitrary (but fixed) dimension

MSC Class: 14Bo5

Positivity and complexity of ideal sheaves

Authors: Steven Dale Cutkosky, Lawrence Ein, Robert Lazarsfeld

Abstract: The problem of bounding the "complexity" of a polynomial ideal in terms of the degrees of its generators has attracted considerable interest, brought into focus by the influential survey of Bayer and Mumford. The present paper examines some of these results and questions from a geometric perspective. Specifically, motivated by work of Paoletti we introduce an invariant s(I) that measures the "po… ▽ More The problem of bounding the "complexity" of a polynomial ideal in terms of the degrees of its generators has attracted considerable interest, brought into focus by the influential survey of Bayer and Mumford. The present paper examines some of these results and questions from a geometric perspective. Specifically, motivated by work of Paoletti we introduce an invariant s(I) that measures the "positivity" of an ideal sheaf I. Degree bounds on generators of I yield bounds on this s-invariant, but s(I) may be small even when the degrees of its generators are large. We prove that s(I) computes the asymptotic Castelnuovo-Mumford regularity of large powers of I, and bounds the asymptotic behavior of several other measures of complexity. We also show that this s-invariant behaves very well with respect to natural geometric and algebraic operations, which leads to considerably simplified constructions of varieties with irrational asymptotic regularity. The main tools are intersection theory and vanishing theorems. △ Less

Submitted 5 July, 2000; originally announced July 2000.

MSC Class: 14F05; 14Q15

Uniform Bounds and Symbolic Powers on Smooth Varieties

Authors: Lawrence Ein, Robert Lazarsfeld, Karen E. Smith

Abstract: We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of radical ideals on such a variety. Specifically, let I be a radical ideal sheaf on a smooth variety X defining a reduced subscheme Z of X and suppose that every i… ▽ More We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of radical ideals on such a variety. Specifically, let I be a radical ideal sheaf on a smooth variety X defining a reduced subscheme Z of X and suppose that every irreducible component of Z has codimension at most e in X. Given an integer m > 0 suppose that f is a function germ that vanishes to order at least e.m at a general point of each irreducible component of Z . Then in fact f lies in the m-th power I^m of I. △ Less

Submitted 4 October, 2000; v1 submitted 10 May, 2000; originally announced May 2000.

Comments: Section added containing generalizations and questions suggested by work of Hochster and Huneke

A Subadditivity Property of Multiplier Ideals

Authors: Jean-Pierre Demailly, Lawrence Ein, Robert Lazarsfeld

Abstract: Given an effective Q-divisor D on a smooth complex variety, one can associate to D its multiplier ideal sheaf J(D), which measures in a somewhat subtle way the singularities of D. Because of their strong vanishing properties, these ideals have come to play an increasingly important role in higher dimensional geometry. We prove that for two effective Q-divisors D and E, one has the "subadditivity… ▽ More Given an effective Q-divisor D on a smooth complex variety, one can associate to D its multiplier ideal sheaf J(D), which measures in a somewhat subtle way the singularities of D. Because of their strong vanishing properties, these ideals have come to play an increasingly important role in higher dimensional geometry. We prove that for two effective Q-divisors D and E, one has the "subadditivity" relation: J(D + E) \subseteq J(D) . J(E) . (We also establish several natural variants, including the analogous statement for the analytic multiplier ideals associated to plurisubharmonic functions.) As an application, we give a new proof of a theorem of Fujita concerning the volume of a big linear series on a projective variety. The first section of the paper contains an overview of the construction and basic properties of multiplier ideals from an algebro-geometric perspective, as well as a discussion of the relation between some asymptotic algebraic constructions and their analytic counterparts. △ Less

Submitted 17 April, 2000; v1 submitted 4 February, 2000; originally announced February 2000.

Comments: Dedication reinserted, typos fixed

A Remark on Projective Embeddings of Varieties with Non-Negative Cotangent Bundles

Authors: Lawrence Ein, Bo Ilic, Robert Lazarsfeld

Abstract: We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X. We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X. △ Less

Submitted 6 October, 1998; originally announced October 1998.

A Geometric Effective Nullstellensatz

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety X, with previous results corresponding to the case when X is projective space. In this setting we prove a local effective Nullstellensatz for ideal sheaves, a… ▽ More We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety X, with previous results corresponding to the case when X is projective space. In this setting we prove a local effective Nullstellensatz for ideal sheaves, and a corresponding global division theorem for adjoint-type bundles. We also make explicit the connection with the intersection theory of Fulton and MacPherson. Finally, constructions involving products of prime ideals that appear in earlier work are replaced by geometrically more natural conditions involving order of vanishing along subvarieties. The main technical inputs are vanishing theorems, which are used to give a simple algebro-geometric proof of a theorem of Skoda type, which may be of independent interest. △ Less

Submitted 28 January, 1999; v1 submitted 1 October, 1998; originally announced October 1998.

Comments: Introduction expanded, examples added, work of Sombra discussed

MSC Class: 14Q20; 14F17; 14C17; 13A99

Multiplier Ideals, Vanishing Theorem and Applications

Authors: Lawrence Ein

Abstract: The purpose of this note is to give a survey of the algebraic properties of multiplier ideals, and illustrate some of their applications to classical projective geometry. The purpose of this note is to give a survey of the algebraic properties of multiplier ideals, and illustrate some of their applications to classical projective geometry. △ Less

Submitted 11 September, 1997; originally announced September 1997.

Comments: 21 pages, AMSTEX

Singularities of Theta Divisors, and the Birational Geometry of Irregular Varieties

Authors: Lawrence Ein, Robert Lazarsfeld

Abstract: The purpose of this paper is to show how the generic vanishing theorems of M. Green and the second author can be used to settle several questions and conjectures concerning the geometry of irregular complex projective varieties. First, we prove a conjecture of Arbarello and DeConcini characterizing principally polarized abelian varieties whose theta divisors are singular in codimension one. Seco… ▽ More The purpose of this paper is to show how the generic vanishing theorems of M. Green and the second author can be used to settle several questions and conjectures concerning the geometry of irregular complex projective varieties. First, we prove a conjecture of Arbarello and DeConcini characterizing principally polarized abelian varieties whose theta divisors are singular in codimension one. Secondly, we study the holomorphic Euler characteristics of varieties of general type having maximal Albanese dimension: we verify a conjecture of Kollar for subvarieties of abelian varieties, but show that it fails in general. Finally, we give a surprisingly simple new proof of a fundamental theorem of Kawamata concerning the Albanese mapping of projective varieties of Kodaira dimension zero. △ Less

Submitted 21 March, 1996; originally announced March 1996.

Comments: 19 pages, AMS-TeX, v. 2.1

A Non-Linear Deformation of the Hitchin Dynamical System

Authors: Ron Donagi, Lawrence Ein, Robert Lazarsfeld

Abstract: Mukai's space, parametrizing simple sheaves on a K3 surface S whose numerical invariants are those of a line bundle on a curve C in S, is interpreted as a deformation of Hitchin's system on C. This is used to show that the nilpotent cone in Mukai space is Lagrangian. In rank 2, components of this nilpotent cone are described as affine bundles over symmetric products of the curve. The underlying… ▽ More Mukai's space, parametrizing simple sheaves on a K3 surface S whose numerical invariants are those of a line bundle on a curve C in S, is interpreted as a deformation of Hitchin's system on C. This is used to show that the nilpotent cone in Mukai space is Lagrangian. In rank 2, components of this nilpotent cone are described as affine bundles over symmetric products of the curve. The underlying vector bundles give the corresponding components of the Hitchin nilpotent cone. △ Less

Submitted 30 April, 1995; originally announced April 1995.

Local Positivity of Ample Line Bundles

Authors: Lawrence Ein, Oliver Küchle, Robert Lazarsfeld

Abstract: Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $ε(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive n… ▽ More Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $ε(L,x)$ --- which in effect measures how positive $L$ is locally near a given point $x \in X$. For instance, Seshadri's criterion for ampleness may be phrased as stating that $L$ is ample if and only if there exists a positive number $e > 0$ such that $ε(L,x) > e$ for all $x \in X$, and if $L$ is VERY ample, then $ε(L,x) \ge 1$ for every $x$. We prove the somewhat surprising result that in each dimension $n$ there is a uniform lower bound on the Seshadri constant of an ample line bundle $L$ at a very general point of $X$. Specifically, $ε(L,x) \ge (1/n) $ for all $x \in X$ outside the union of countably many proper subvarieties of $X$. Examples of Miranda show that there cannot exist a bound (independent of $X$ and $L$) that holds at every point. The proof draws inspiration from two sources: first, the arguments used to prove boundedness of Fano manifolds of Picard number one; and secondly some of the geometric ideas involving zero-estimates appearing in the work of Faltings and others on Diophantine approximation and transcendence theory. We give some elementary applications of the main theorem to adjoint and pluricanonical linear series. △ Less

Submitted 9 August, 1994; originally announced August 1994.

Comments: 23 pages, AMS-TeX 2.1