Showing 1–47 of 47 results for author: de Fernex, T

Families of jets of arc type and higher (co)dimensional Du Val singularities

Authors: Tommaso de Fernex, Shih-Hsin Wang

Abstract: Families of jets through singularities of algebraic varieties are here studied in relation to the families of arcs originally studied by Nash. After proving a general result relating them, we look at normal locally complete intersection varieties with rational singularities and focus on a class of singularities we call "higher Du Val singularities", a higher dimensional (and codimensional) version… ▽ More Families of jets through singularities of algebraic varieties are here studied in relation to the families of arcs originally studied by Nash. After proving a general result relating them, we look at normal locally complete intersection varieties with rational singularities and focus on a class of singularities we call "higher Du Val singularities", a higher dimensional (and codimensional) version of Du Val singularities that is closely related to Arnold singularities. More generally, we introduce the notion of "higher compound Du Val singularities", whose definition parallels that of compound Du Val singularities. For such singularities, we prove that there exists a one-to-one correspondence between families of arcs and families of jets of sufficiently high order through the singularities. In dimension two, the result partially recovers a theorem of Mourtada on the jet schemes of Du Val singularities. As an application, we give a solution of the Nash problem for higher Du Val singularities. △ Less

Submitted 12 January, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: v2: 22 pages; to appear in C. R. Math. Acad. Sci. Paris, special volume in memory of Jean-Pierre Demailly

MSC Class: Primary 14E18; Secondary 14B05

On arc fibers of morphisms of schemes

Authors: Christopher Chiu, Tommaso de Fernex, Roi Docampo

Abstract: Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is separated and quasi-compact, our theorem states that $f_\infty$ has topologically finite fibers of bounded cardinality and its restriction to… ▽ More Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is separated and quasi-compact, our theorem states that $f_\infty$ has topologically finite fibers of bounded cardinality and its restriction to $X_\infty \setminus R_\infty$, where $R$ is the ramification locus of $f$, has scheme-theoretically finite reduced fibers. We also provide an effective bound on the cardinality of the fibers of $f_\infty$ when $f$ is a finite morphism of varieties over an algebraically closed field, describe the ramification locus of $f_\infty$, and prove a general criterion for $f_\infty$ to be a morphism of finite type. We apply these results to further explore the local structure of arc spaces. One application is that the local ring at a stable point of the arc space of a variety has finitely generated maximal ideal and topologically Noetherian spectrum, something that should be contrasted with the fact that these rings are not Noetherian in general; a lower-bound to the dimension of these rings is also obtained. Another application gives a semicontinuity property for the embedding dimension and embedding codimension of arc spaces which extends to this setting a theorem of Lech on Noetherian local rings and translates into a semicontinuity property for Mather log discrepancies. Other applications are discussed in the paper. △ Less

Submitted 6 February, 2023; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: v2: 38 pages, minor changes following the referee's report. To appear in J. Eur. Math Soc

MSC Class: 14E18 (Primary); 14B25 (Secondary)

Birational rigidity and K-stability of Fano hypersurfaces with ordinary double points

Authors: Tommaso de Fernex

Abstract: Extending previous results, we prove that for $n \ge 5$ all hypersurfaces of degree $n+1$ in ${\mathbb P}^{n+1}$ with isolated ordinary double points are birational superrigid and K-stable, hence admit a weak Kähler--Einstein metric. Extending previous results, we prove that for $n \ge 5$ all hypersurfaces of degree $n+1$ in ${\mathbb P}^{n+1}$ with isolated ordinary double points are birational superrigid and K-stable, hence admit a weak Kähler--Einstein metric. △ Less

Submitted 14 January, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: v4: 15 pages, last version following referee's report - to appear in the special volume on "Rationality problems" of the Rend. Circ. Mat. Palermo

MSC Class: Primary: 14J45; 14E08; Secondary: 32Q20

Motivic integration on Berkovich spaces

Authors: Tommaso de Fernex, Chung Ching Lau

Abstract: We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as Kontsevich's original definition, and leads to the formulation of a functorial theory which mirrors, in this aspect, the approach of Cluckers and Loeser via constructibe… ▽ More We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as Kontsevich's original definition, and leads to the formulation of a functorial theory which mirrors, in this aspect, the approach of Cluckers and Loeser via constructibe motivic functions. A version of the integral over nontrivially valued fields and its relation to Hrushovski and Kazhdan's integration are also discussed. △ Less

Submitted 13 November, 2023; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: v4: 44 pages, final version, to appear in a volume dedicated to Vyacheslav Shokurov on the occasion of his 70th birthday

MSC Class: Primary 14E18; Secondary 12J25

Extending rationally connected fibrations from ample subvarieties

Authors: Tommaso de Fernex, Chung Ching Lau

Abstract: Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties. Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: 13 pages. formerly last two sections of arXiv:1911.10385

MSC Class: Primary 14D06; Secondary 14J45; 14M22

Embedding codimension of the space of arcs

Authors: Christopher Chiu, Tommaso de Fernex, Roi Docampo

Abstract: We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the si… ▽ More We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg, and Kazhdan on formal neighborhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld's proof, and a geometric meaningful way of realizing the decomposition stated in the theorem. △ Less

Submitted 22 December, 2021; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: v2: 38 pages, minor changes following the referee's report. To appear in Forum of Mathematics, Pi

MSC Class: 14E18; 13B35 (Primary) 14B05; 14B20; 13C15; 13F25 (Secondary)

Journal ref: Forum Math. Pi 10 (2022), Paper No. e4, 37 pp

Grothendieck--Lefschetz for ample subvarieties

Authors: Tommaso de Fernex, Chung Ching Lau

Abstract: We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included. We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included. △ Less

Submitted 6 February, 2023; v1 submitted 23 November, 2019; originally announced November 2019.

Comments: v4: to appear in Math. Z. v5: 19 pages; an error in Theorem B about torsion in positive characteristics, kindly pointed out by Emelie Arvidsson and Lena Ji, is fixed; applications are unaffected

MSC Class: 14C22 (Primary); 14K12; 14F17 (Secondary)

Smooth solutions to the complex Plateau problem

Authors: Tommaso de Fernex

Abstract: Building on work of Du, Gao, and Yau, we give a characterization of smooth solutions, up to normalization, of the complex Plateau problem for strongly pseudoconvex Calabi--Yau CR manifolds of dimension $2n-1 \ge 5$ and in the hypersurface case when $n=2$. The latter case was completely solved by Yau for $n \ge 3$ but only partially solved by Du and Yau for $n=2$. As an application, we determine th… ▽ More Building on work of Du, Gao, and Yau, we give a characterization of smooth solutions, up to normalization, of the complex Plateau problem for strongly pseudoconvex Calabi--Yau CR manifolds of dimension $2n-1 \ge 5$ and in the hypersurface case when $n=2$. The latter case was completely solved by Yau for $n \ge 3$ but only partially solved by Du and Yau for $n=2$. As an application, we determine the existence of a link-theoretic invariant of normal isolated singularities that distinguishes smooth points from singular ones. △ Less

Submitted 2 March, 2019; v1 submitted 1 January, 2018; originally announced January 2018.

Comments: 12 pages; v3: to appear in J. Differential Geom

Nash blow-ups of jet schemes

Authors: Tommaso de Fernex, Roi Docampo

Abstract: Given an arbitrary projective birational morphism of varieties, we provide a natural and explicit way of constructing relative compactifications of the maps induced on the main components of the jet schemes. In the case the morphism is the Nash blow-up of a variety, such relative compactifications are shown to be given by the Nash blow-ups of the main components of the jet schemes. Given an arbitrary projective birational morphism of varieties, we provide a natural and explicit way of constructing relative compactifications of the maps induced on the main components of the jet schemes. In the case the morphism is the Nash blow-up of a variety, such relative compactifications are shown to be given by the Nash blow-ups of the main components of the jet schemes. △ Less

Submitted 24 January, 2019; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: Lemma 2.4 was incorrect and has been removed, and the proof of Lemma 2.1 has been adjusted; to appear in Ann. Inst. Fourier

MSC Class: 14E18 (Primary); 14E04; 14B05 (Secondary)

Journal ref: Ann. Inst. Fourier (Grenoble) 69 (2019), no. 6, 2577-2588

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

Differentials on the arc space

Authors: Tommaso de Fernex, Roi Docampo

Abstract: The paper provides a description of the sheaves of Kähler differentials of the arc space and jet schemes of an arbitrary scheme where these sheaves are computed directly from the sheaf of differentials of the given scheme. Several applications on the structure of arc spaces are presented. The paper provides a description of the sheaves of Kähler differentials of the arc space and jet schemes of an arbitrary scheme where these sheaves are computed directly from the sheaf of differentials of the given scheme. Several applications on the structure of arc spaces are presented. △ Less

Submitted 18 July, 2019; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 30 pages; v3: substantial changes especially in Sections 8, 10, and 11; main results remain unchanged; several edits and additions throughout the paper aimed to improve the exposition; to appear in Duke Math. J

MSC Class: 14E18 (Primary); 13N05; 13H99 (Secondary)

Journal ref: Duke Math. J. 169, no. 2 (2020), 353-396

Towards a link theoretic characterization of smoothness

Authors: Tommaso de Fernex, Yu-Chao Tu

Abstract: A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact structure that the link inherits from its embedding in the variety may suffice to characterize smooth points among normal isolated singularities. He proves that this… ▽ More A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact structure that the link inherits from its embedding in the variety may suffice to characterize smooth points among normal isolated singularities. He proves that this is the case in dimension 3. In this paper, we use techniques from birational geometry to extend McLean's result to a large class of higher dimensional singularities. We also introduce a more refined invariant of the link using CR geometry, and conjecture that this invariant is strong enough to characterize smoothness in full generality. △ Less

Submitted 22 January, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: 16 pages; v2: Minor changes following the referees' suggestions. To appear in Math Res Lett

The space of arcs of an algebraic variety

Authors: Tommaso de Fernex

Abstract: The paper surveys several results on the topology of the space of arcs of an algebraic variety and the Nash problem on the arc structure of singularities. The paper surveys several results on the topology of the space of arcs of an algebraic variety and the Nash problem on the arc structure of singularities. △ Less

Submitted 11 January, 2017; v1 submitted 10 April, 2016; originally announced April 2016.

Comments: 29 pages; v3 corrects some typos. To appear in the Proceedings of the 2015 Summer Institute on Algebraic Geometry

Erratum to: Birationally rigid hypersurfaces

Authors: Tommaso de Fernex

Abstract: This note points out a gap in the proof of the main theorem of the article "Birationally rigid hypersurfaces" published in Invent. Math. 192 (2013), 533-566, and provides a new proof of the theorem. This note points out a gap in the proof of the main theorem of the article "Birationally rigid hypersurfaces" published in Invent. Math. 192 (2013), 533-566, and provides a new proof of the theorem. △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: 4 pages

The volume of a set of arcs on a variety

Authors: Tommaso de Fernex, Mircea Mustata

Abstract: In this paper, we give a definition of volume for subsets in the space of arcs of an algebraic variety, and study its properties. Our main result relates the volume of a set of arcs on a Cohen-Macaulay variety to its jet-codimension, a notion which generalizes the codimension of a cylinder in the arc space of a smooth variety. In this paper, we give a definition of volume for subsets in the space of arcs of an algebraic variety, and study its properties. Our main result relates the volume of a set of arcs on a Cohen-Macaulay variety to its jet-codimension, a notion which generalizes the codimension of a cylinder in the arc space of a smooth variety. △ Less

Submitted 21 June, 2015; originally announced June 2015.

Comments: 20 pages

Durfee's conjecture on the signature of smoothings of surface singularities

Authors: Tommaso de Fernex, János Kollár, András Némethi

Abstract: In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We prove a `strong' Durfee--type inequality for any smoothing of a Gorenstein singularity, provided that the intersection form the resolution is unimodular, and the… ▽ More In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We prove a `strong' Durfee--type inequality for any smoothing of a Gorenstein singularity, provided that the intersection form the resolution is unimodular, and the conjectured `weak' inequality for all hypersurface singularities and for sufficiently large multiplicity strict complete intersections. The proofs establish general inequalities valid for any normal surface singularity. △ Less

Submitted 4 November, 2014; originally announced November 2014.

Terminal valuations and the Nash problem

Authors: Tommaso de Fernex, Roi Docampo

Abstract: Let X be an algebraic variety of characteristic zero. Terminal valuations are defined in the sense of the minimal model program, as those valuations given by the exceptional divisors on a minimal model over X. We prove that every terminal valuation over X is in the image of the Nash map, and thus it corresponds to a maximal family of arcs through the singular locus of X. In dimension two, this res… ▽ More Let X be an algebraic variety of characteristic zero. Terminal valuations are defined in the sense of the minimal model program, as those valuations given by the exceptional divisors on a minimal model over X. We prove that every terminal valuation over X is in the image of the Nash map, and thus it corresponds to a maximal family of arcs through the singular locus of X. In dimension two, this result gives a new proof of the theorem of Fernández de Bobadilla and Pe Pereira stating that, for surfaces, the Nash map is a bijection. △ Less

Submitted 12 April, 2015; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: v2: 21 pages, minor changes and corrections following the referees' reports. To appear in Invent. Math

MSC Class: Primary 14E18; Secondary 14E30; 14J17

Journal ref: Invent. Math. 203 (2016), no. 1, 303-331

Comparing multiplier ideals to test ideals on numerically Q-Gorenstein varieties

Authors: Tommaso de Fernex, Roi Docampo, Shunsuke Takagi, Kevin Tucker

Abstract: 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. 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. △ Less

Submitted 15 January, 2015; v1 submitted 30 January, 2014; originally announced January 2014.

Comments: 11 pages; v2: minor changes, to appear in Bull. London Math. Soc

Journal ref: Bull. London Math. Soc. (2015) 47 (2): 359-369

Fano hypersurfaces and their birational geometry

Authors: Tommaso de Fernex

Abstract: We survey some results on the nonrationality and birational rigidity of certain hypersurfaces of Fano type. The focus is on hypersurfaces of Fano index one, but hypersurfaces of higher index are also discussed. We survey some results on the nonrationality and birational rigidity of certain hypersurfaces of Fano type. The focus is on hypersurfaces of Fano index one, but hypersurfaces of higher index are also discussed. △ Less

Submitted 7 January, 2014; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 14 pages; v3: final version; to appear in the proceedings of the conference "Groups of Automorphisms in Birational and Affine Geometry", Levico Terme (Trento), 2012

MSC Class: Primary: 14E08; Secondary: 14J45; 14E05; 14B05; 14N30

Valuation spaces and multiplier ideals on singular varieties

Authors: Sébastien Boucksom, Tommaso de Fernex, Charles Favre, Stefano Urbinati

Abstract: 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 th… ▽ More 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. These ideas naturally lead to the notion of numerically Q-Gorenstein varieties, for which our valuative characterization of multiplier ideals takes a particularly simple form. △ Less

Submitted 30 June, 2013; originally announced July 2013.

Comments: 17 pages

The dual complex of singularities

Authors: Tommaso de Fernex, János Kollár, Chenyang Xu

Abstract: The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well defined up-to piecewise linear homeomorphism. This is derived from a more global result concerning dual complexes of dlt pairs. As an application, we also show th… ▽ More The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well defined up-to piecewise linear homeomorphism. This is derived from a more global result concerning dual complexes of dlt pairs. As an application, we also show that the dual complex of a log terminal singularity as well as the one of a simple normal crossing degeneration of a family of rationally connected manifolds are contractible. △ Less

Submitted 16 March, 2014; v1 submitted 7 December, 2012; originally announced December 2012.

Comments: 21 pages; v3: final version, to appear in Adv. Stud. Pure Math., Professor Kawamata's 60th birthday volume

Birational rigidity of singular Fano hypersurfaces

Authors: Tommaso de Fernex

Abstract: We establish birational superrigidity for a large class of singular projective Fano hypersurfaces of index one. In the special case of isolated singularities, our result applies for instance to: (1) hypersurfaces with semi-homogeneous singularities of multiplicity asymptotically bounded by twice the square root of the dimension of the hypersurface, (2) hypersurfaces with isolated singularities who… ▽ More We establish birational superrigidity for a large class of singular projective Fano hypersurfaces of index one. In the special case of isolated singularities, our result applies for instance to: (1) hypersurfaces with semi-homogeneous singularities of multiplicity asymptotically bounded by twice the square root of the dimension of the hypersurface, (2) hypersurfaces with isolated singularities whose Tyurina numbers satisfy a similar bound, and (3) hypersurfaces with isolated singularities whose dual variety is a hypersurface of degree sufficiently close to the expected degree. △ Less

Submitted 6 April, 2016; v1 submitted 29 August, 2012; originally announced August 2012.

Comments: 16 pages, v3: Final version, to appear in Ann. Sc. Norm. Super. Pisa, Cl. Sci

Three-dimensional counter-examples to the Nash problem

Authors: Tommaso de Fernex

Abstract: The Nash problem asks about the existence of a correspondence between families of arcs through singularities of complex varieties and certain types of divisorial valuations. It has been positively settled in dimension 2 by Fernández de Bobadilla and Pe Pereira, and it was shown to have a negative answer in all dimensions $\ge 4$ by Ishii and Kollár. In this note we discuss examples which show that… ▽ More The Nash problem asks about the existence of a correspondence between families of arcs through singularities of complex varieties and certain types of divisorial valuations. It has been positively settled in dimension 2 by Fernández de Bobadilla and Pe Pereira, and it was shown to have a negative answer in all dimensions $\ge 4$ by Ishii and Kollár. In this note we discuss examples which show that the problem has a negative answer in dimension 3 as well. These examples bring also to light the different nature of the problem depending on whether it is formulated the algebraic setting or in the analytic setting. △ Less

Submitted 13 March, 2013; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: 16 pages; v4: Exposition substantially improved, all results remain unchanged; to appear in Compositio Math

MSC Class: 14B05 (Primary) 14E18; 14E15; 32S05 (Secondary)

Rationality in families of threefolds

Authors: Tommaso de Fernex, Davide Fusi

Abstract: We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field has characteristic zero, this implies that the locus of rational fibers in a smooth family of projective threefolds is the union of at most countably many close… ▽ More We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field has characteristic zero, this implies that the locus of rational fibers in a smooth family of projective threefolds is the union of at most countably many closed subfamilies. △ Less

Submitted 15 May, 2012; v1 submitted 20 January, 2012; originally announced January 2012.

Comments: 9 pages; v2: minor changes, final version to appear in Rend. Circ. Mat. Palermo

Jacobian discrepancies and rational singularities

Authors: Tommaso de Fernex, Roi Docampo

Abstract: Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adj… ▽ More Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Riemenschneider canonical sheaf of a normal variety. As an application, we give characterizations for rational and Du Bois singularities on normal Cohen-Macaulay varieties in terms of Jacobian discrepancies. In the case when the canonical class of the variety is Q-Cartier, our result provides the necessary corrections for the converses to hold in theorems of Elkik, of Kovaćs, Schwede and Smith, and of Kollaŕ and Kovaćs on rational and Du Bois singularities. △ Less

Submitted 11 July, 2012; v1 submitted 10 June, 2011; originally announced June 2011.

Comments: 30 pages. Minor corrections. Final version, to appear in J. Eur. Math. Soc

MSC Class: 14J17 (Primary) 14F18 (Secondary) 14E18

Journal ref: J. Eur. Math. Soc. (JEMS) 16 (2014), no. 1, 165-199

The volume of an isolated singularity

Authors: Sebastien Boucksom, Tommaso De Fernex, Charles Favre

Abstract: We introduce a notion of volume of a normal isolated singularity that generalizes Wahl's characteristic number of surface singularities to arbitrary dimensions. We prove a basic monotonicity property of this volume under finite morphisms. We draw several consequences regarding the existence of non-invertible finite endomorphisms fixing an isolated singularity. Using a cone construction, we deduce… ▽ More We introduce a notion of volume of a normal isolated singularity that generalizes Wahl's characteristic number of surface singularities to arbitrary dimensions. We prove a basic monotonicity property of this volume under finite morphisms. We draw several consequences regarding the existence of non-invertible finite endomorphisms fixing an isolated singularity. Using a cone construction, we deduce that the anticanonical divisor of any smooth projective variety carrying a non-invertible polarized endomorphism is pseudoeffective. Our techniques build on Shokurov's b-divisors. We define the notion of nef Weil b-divisors, and of nef envelopes of b-divisors. We relate the latter to the pull-back of Weil divisors introduced by de Fernex and Hacon. Using the subadditivity theorem for multiplier ideals with respect to pairs recently obtained by Takagi, we carry over to the isolated singularity case the intersection theory of nef Weil b-divisors formerly developed by Boucksom, Favre, and Jonsson in the smooth case. △ Less

Submitted 16 November, 2011; v1 submitted 12 November, 2010; originally announced November 2010.

Comments: 48 pages. v4: Appendix is new, plus several minor changes made throughout the paper following the referee's suggestions. Final version, to appear in Duke Math J

Journal ref: Duke Math. J. 161, no. 8 (2012), 1455-1520

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)

On the Mori cone of blow-ups of the plane

Authors: Tommaso de Fernex

Abstract: We discuss some properties of the extremal rays of the cone of effective curves of surfaces that are obtained by blowing up the projective plane at points in very general position. The main motivation is to rectify an incorrect interpretation, in terms of the geometry of this cone, of the Segre--Harbourne--Gimigliano--Hirschowitz conjecture. Even though the arguments are based on elementary comp… ▽ More We discuss some properties of the extremal rays of the cone of effective curves of surfaces that are obtained by blowing up the projective plane at points in very general position. The main motivation is to rectify an incorrect interpretation, in terms of the geometry of this cone, of the Segre--Harbourne--Gimigliano--Hirschowitz conjecture. Even though the arguments are based on elementary computations, the point of view leads to observe some other properties of the Mori cone, among which the fact that in the case of ten or more points the cone is not countably generated. △ Less

Submitted 23 April, 2010; v1 submitted 28 January, 2010; originally announced January 2010.

Comments: 14 pages; v2: minor changes

MSC Class: 14E30; 14J26

Rigidity properties of Fano varieties

Authors: Tommaso de Fernex, Christopher Hacon

Abstract: We overview some recent results on Fano varieties giving evidence of their rigid nature under small deformations. We overview some recent results on Fano varieties giving evidence of their rigid nature under small deformations. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 11 pages

MSC Class: Primary 14J45; Secondary 14E22; 14D15

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

Deformations of canonical pairs and Fano varieties

Authors: Tommaso de Fernex, Christopher D. Hacon

Abstract: This paper is devoted to the study of various aspects of deformations of log pairs, especially in connection to questions related to the invariance of singularities and log plurigenera. In particular, using recent results from the minimal model program, we obtain an extension theorem for adjoint divisors in the spirit of Siu and Kawamata and more recent works of Hacon and McKernan. Our main moti… ▽ More This paper is devoted to the study of various aspects of deformations of log pairs, especially in connection to questions related to the invariance of singularities and log plurigenera. In particular, using recent results from the minimal model program, we obtain an extension theorem for adjoint divisors in the spirit of Siu and Kawamata and more recent works of Hacon and McKernan. Our main motivation however comes from the study of deformations of Fano varieties. Our first application regards the behavior of Mori chamber decompositions in families of Fano varieties: we prove that, in the case of mild singularities, such decomposition is rigid under deformation when the dimension is small. We then turn to analyze deformation properties of toric Fano varieties, and prove that every simplicial toric Fano variety with at most terminal singularities is rigid under deformations (and in particular is not smoothable, if singular). △ Less

Submitted 24 June, 2009; v1 submitted 4 January, 2009; originally announced January 2009.

Comments: 26 pages; v3: in view of counter-examples found by Burt Totaro, Conjecture 1.2 appearing in version 2 has now been removed. To appear in J. Reine Angew. Math

MSC Class: 14B07; 14J45 (Primary) 14J10; 14J17; 14M30 (Secondary)

The Ascending Chain Condition for log canonical thresholds on l.c.i. varieties

Authors: Tommaso de Fernex, Mircea Mustata

Abstract: Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1]. Here we use this result and inversion of adjunction to establish the conjecture for locally complete intersection varieties. Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1]. Here we use this result and inversion of adjunction to establish the conjecture for locally complete intersection varieties. △ Less

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

Comments: 7 pages; v.2: minor revisions

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

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)

Singularities on normal varieties

Authors: Tommaso de Fernex, Christopher D. Hacon

Abstract: 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. 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. △ Less

Submitted 25 October, 2008; v1 submitted 13 May, 2008; originally announced May 2008.

Comments: 21 pages; v2: final version (minor changes), to appear in Compositio Mathematica

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

Limits of log canonical thresholds

Authors: Tommaso de Fernex, Mircea Mustata

Abstract: Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Kollár. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit… ▽ More Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Kollár. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check Shokurov's ACC Conjecture for all T_n, it is enough to show that 1 is not a point of accumulation from below of any T_n. In a different direction, we interpret the ACC Conjecture as a semi-continuity property for log canonical thresholds of formal power series. △ Less

Submitted 2 February, 2009; v1 submitted 25 October, 2007; originally announced October 2007.

Comments: 26 pages; revised version, to appear in Ann. Sci. Ecole Norm. Sup

MSC Class: 14B05 (Primary); 03H05; 14E30 (Secondary)

Ample subvarieties and rationally connected fibrations

Authors: Mauro C. Beltrametti, Tommaso de Fernex, Antonio Lanteri

Abstract: Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on… ▽ More Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on X and on Y. Applications of these results include an extension theorem for Mori contractions of fiber type and a classification theorem in the case Y has a structure of projective bundle or quadric fibration. △ Less

Submitted 5 March, 2008; v1 submitted 4 April, 2007; originally announced April 2007.

Comments: 27 pages; v2: minor changes and corrections following the referee's comments. v3: few typos corrected. To appear in Math. Ann

MSC Class: 14D06; 14J10 (Primary) 14C05; 14J40; 14N30 (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

Birationally rigid hypersurfaces

Authors: Tommaso de Fernex

Abstract: We prove that for N greater than or equal to 4, all smooth hypersurfaces of degree N in P^N are birationally superrigid. First discovered in the case N = 4 by Iskovskikh and Manin in a work that started this whole direction of research, this property was later conjectured to hold in general by Pukhlikov. The proof relies on the method of maximal singularities in combination with a delicate formula… ▽ More We prove that for N greater than or equal to 4, all smooth hypersurfaces of degree N in P^N are birationally superrigid. First discovered in the case N = 4 by Iskovskikh and Manin in a work that started this whole direction of research, this property was later conjectured to hold in general by Pukhlikov. The proof relies on the method of maximal singularities in combination with a delicate formula on restrictions of multiplier ideals. △ Less

Submitted 23 June, 2015; v1 submitted 9 April, 2006; originally announced April 2006.

Comments: 27 pages; v4: to appear in Invent. Math. v6: we revert to the published version; the proof of the main theorem contains a gap, and a new proof is given in the erratum arXiv:1506.07086

Higher cohomology of divisors on a projective variety

Authors: Tommaso de Fernex, Alex Kuronya, Robert Lazarsfeld

Abstract: We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has maximal growth. For i = 0, this happens by definition exactly when L is big. Here we focus on the question of when one or more of the higher cohomology groups… ▽ More We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has maximal growth. For i = 0, this happens by definition exactly when L is big. Here we focus on the question of when one or more of the higher cohomology groups grows maximally. Our main result is that if one considers also small perturbations of the divisor in question, then the maximal growth of higher cohomology characterizes non-ample divisors. This criterion can also be phrased in terms of the vanishing of continuous functions on the Neron-Severi space of X that measure the growth of higher cohomology groups. △ Less

Submitted 13 February, 2006; v1 submitted 7 January, 2006; originally announced January 2006.

Comments: 12 pages; v2: the proof of Proposition 1.1 has been corrected

MSC Class: 14C20; 14F99

Negative curves on very general blow-ups of P^2

Authors: Tommaso de Fernex

Abstract: A conjecture, related to the Nagata conjecture and the Segre-Harbourne-Gimigliano-Hirschowitz conjecture, states that every integral curve with negative self-intersection on the blow-up of $¶^2$ at a set of points in very general position is a (-1)-curve. In this paper we verify this conjecture for all curves whose image on $¶^2$ is a curve with a singularity of multiplicity two at one of the ce… ▽ More A conjecture, related to the Nagata conjecture and the Segre-Harbourne-Gimigliano-Hirschowitz conjecture, states that every integral curve with negative self-intersection on the blow-up of $¶^2$ at a set of points in very general position is a (-1)-curve. In this paper we verify this conjecture for all curves whose image on $¶^2$ is a curve with a singularity of multiplicity two at one of the centers of the blow-up. △ Less

Submitted 28 December, 2005; originally announced December 2005.

MSC Class: 14C20; 14J25

A Localization Principle for Orbifold Theories

Authors: Tommaso de Fernex, Ernesto Lupercio, Thomas Nevins, Bernardo Uribe

Abstract: In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as $K$-theory, index theory, motivic integration and elliptic genera. In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as $K$-theory, index theory, motivic integration and elliptic genera. △ Less

Submitted 2 November, 2004; originally announced November 2004.

Length, multiplicity, and multiplier ideals

Authors: Tommaso de Fernex

Abstract: Let (R,m) be an n-dimensional regular local ring, essentially of finite type over a field of characteristic zero. In this paper we study the relationship between the singularities of the scheme defined by an m-primary ideal I of R and the multiplier ideals J(I^c), with c varying among the positive rational numbers. In particular, we prove that, for every nonnegative integer k, the Samuel multipl… ▽ More Let (R,m) be an n-dimensional regular local ring, essentially of finite type over a field of characteristic zero. In this paper we study the relationship between the singularities of the scheme defined by an m-primary ideal I of R and the multiplier ideals J(I^c), with c varying among the positive rational numbers. In particular, we prove that, for every nonnegative integer k, the Samuel multiplicity of I is greater or equal to (n+k)^n/c^n whenever J(I^c) is contained in the (k+1)-th power of the maximal ideal m. This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustaţǎ and the author of this paper (arXiv:math.AG/0205171). A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented. △ Less

Submitted 26 September, 2004; originally announced September 2004.

Comments: 15 pages; to appear in Trans. Amer. Math. Soc

MSC Class: 14B05 (primary); 13H05; 14B07; 13H15 (secondary)

Bad loci of free linear systems

Authors: Tommaso de Fernex, Antonio Lanteri

Abstract: The bad locus of a base-point free linear system L on a normal complex projective variety X is defined as the subset B(L) of X of points that are not contained in any irreducible and reduced member of L. In this paper we provide a geometric description of such locus in terms of the morphism defined by L. In particular, assume that the dimension of X is at least 2, and that L is the complete line… ▽ More The bad locus of a base-point free linear system L on a normal complex projective variety X is defined as the subset B(L) of X of points that are not contained in any irreducible and reduced member of L. In this paper we provide a geometric description of such locus in terms of the morphism defined by L. In particular, assume that the dimension of X is at least 2, and that L is the complete linear system associated to an ample and spanned line bundle. It is known that in this case B(L) is empty unless X is a surface. Then we prove that, when the latter occurs, B(L) is not empty if and only if L defines a morphism onto a two dimensional cone, in which case B(L) is the inverse image of the vertex of the cone. △ Less

Submitted 26 September, 2004; originally announced September 2004.

Comments: 13 pages; to appear in Adv. Geom

MSC Class: 14C20 (primary); 14J25 (secondary)

Stringy Chern classes of singular varieties

Authors: Tommaso de Fernex, Ernesto Lupercio, Thomas Nevins, Bernardo Uribe

Abstract: Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by… ▽ More Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by quotients of manifolds by finite groups. For the latter an explicit formula is proven, assuming that the canonical line bundle of the manifold descends to the quotient. This gives an expression of the stringy Chern class of the quotient in terms of Chern-Schwartz-MacPherson classes of the fixed-point set data. △ Less

Submitted 9 March, 2006; v1 submitted 18 July, 2004; originally announced July 2004.

Comments: 24 pages; v2: small remarks and one reference added; v3: reviewed esposition, with minor changes and corrections and slightly greater generality in section 5; all main results remain unchanged; to appear in Advances in Math

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

On planar Cremona maps of prime order

Authors: Tommaso de Fernex

Abstract: This paper contains a new proof of the classification of elements of prime order in the Cremona group Bir(P^2), up to conjugation. In addition, we give explicit geometric constructions of these Cremona transformations, and provide a parameterization of their conjugacy classes. Analogous constructions in higher dimensions are also discussed. This paper contains a new proof of the classification of elements of prime order in the Cremona group Bir(P^2), up to conjugation. In addition, we give explicit geometric constructions of these Cremona transformations, and provide a parameterization of their conjugacy classes. Analogous constructions in higher dimensions are also discussed. △ Less

Submitted 7 March, 2003; v1 submitted 14 February, 2003; originally announced February 2003.

Comments: 21 pages; AMS-LaTeX; v2: proofs of Proposition 4.3.2 (now 4.3.1) and Lemma 4.4.1 semplified, and few other minor changes, following referee's comments; one reference added

MSC Class: 14E07; 14J50(Primary);14E20(Secondary)

Journal ref: Nagoya Math. J. 174 (2004), 1-28.

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.

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.