Showing 1–39 of 39 results for author: Kovács, S J

The relative Du Bois complex -- on a question of S. Zucker

Authors: Sándor J Kovács, Behrouz Taji

Abstract: In this paper we are making the first step toward answering a question posed by Steven Zucker at a JAMI conference at Johns Hopkins University in 1996, organized by Vyacheslav Shokurov. In this paper we are making the first step toward answering a question posed by Steven Zucker at a JAMI conference at Johns Hopkins University in 1996, organized by Vyacheslav Shokurov. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Comments: This paper is to appear in a volume dedicated to the 70th birthday of Vyacheslav Shokurov

KSB stability is automatic in codimension 3

Authors: János Kollár, Sándor J Kovács

Abstract: KSB stability holds at codimension 1 points trivially, and it is quite well understood at codimension 2 points, since we have a complete classification of 2-dimensional slc singularities. We show that it is automatic in codimension 3. KSB stability holds at codimension 1 points trivially, and it is quite well understood at codimension 2 points, since we have a complete classification of 2-dimensional slc singularities. We show that it is automatic in codimension 3. △ Less

Submitted 21 May, 2024; v1 submitted 18 April, 2023; originally announced April 2023.

Comments: v2: Added new Corollary 1.8. arXiv admin note: text overlap with arXiv:1807.07417 v3: final version, to appear in Moduli (https://moduli.nl/)

Du Bois property of log centers

Authors: János Kollár, Sándor J Kovács

Abstract: In this note we generalize the results of [KK10] and [KK20] by showing that if a closed subset V of X is "close enough" to being a union of log canonical centers, then it is Du Bois. In this note we generalize the results of [KK10] and [KK20] by showing that if a closed subset V of X is "close enough" to being a union of log canonical centers, then it is Du Bois. △ Less

Submitted 1 November, 2022; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 8 pages

MSC Class: 14J17; 14E30

Arakelov inequalities in higher dimensions

Authors: Sándor J Kovács, Behrouz Taji

Abstract: We develop a Hodge theoretic invariant for families of projective manifolds that measures the potential failure of an Arakelov-type inequality in higher dimensions, one that naturally generalizes the classical Arakelov inequality over regular quasi-projective curves. We show that for families of manifolds with ample canonical bundle this invariant is uniformly bounded. As a consequence we establis… ▽ More We develop a Hodge theoretic invariant for families of projective manifolds that measures the potential failure of an Arakelov-type inequality in higher dimensions, one that naturally generalizes the classical Arakelov inequality over regular quasi-projective curves. We show that for families of manifolds with ample canonical bundle this invariant is uniformly bounded. As a consequence we establish that such families over a base of arbitrary dimension verify the aforementioned Arakelov inequality, answering a question of Viehweg. △ Less

Submitted 11 October, 2022; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: Streamlined exposition; minor changes in notations; additional details and references in Section 2

Hodge sheaves underlying flat projective families

Authors: Sándor J. Kovács, Behrouz Taji

Abstract: We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base sp… ▽ More We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms for smooth maps and their functorial properties. △ Less

Submitted 9 February, 2023; v1 submitted 5 March, 2021; originally announced March 2021.

Comments: More streamlined exposition following referee's suggestions. Corrected some minor errors in Sections 4 and 5. Main results and statements unchanged

Frobenius split anticanonical divisors

Authors: Sándor J Kovács

Abstract: In this note I extend two theorems of Sommese regarding abelian varieties to arbitrary characteristic; that an abelian variety cannot be an ample divisor in a smooth projective variety and that a cone over an abelian variety of dimension at least two is not smoothable. In this note I extend two theorems of Sommese regarding abelian varieties to arbitrary characteristic; that an abelian variety cannot be an ample divisor in a smooth projective variety and that a cone over an abelian variety of dimension at least two is not smoothable. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: to appear in "Integrable systems and algebraic geometry", vol.1-2 London Math Society Lecture Notes Series 458-459 (Cambridge University Press)

Deformations of log canonical and F-pure singularities

Authors: János Kollár, Sándor J Kovács

Abstract: We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the cohomology sheaves of the relative dualizing complex are flat and commute with base change. We also derive several consequences for deformations of semi-log-canoni… ▽ More We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the cohomology sheaves of the relative dualizing complex are flat and commute with base change. We also derive several consequences for deformations of semi-log-canonical, Du Bois and F-pure singularities. △ Less

Submitted 22 October, 2018; v1 submitted 17 July, 2018; originally announced July 2018.

Comments: This is a substantially generalized and expanded version of arXiv:1803.03325 [math.AG]. Version 3: new references added to related works

Deformations of log canonical singularities

Authors: János Kollár, Sándor J Kovács

Abstract: We prove that the cohomology sheaves of the relative dualizing complex of a flat family of varieties with semi-log-canonical or Du Bois singularities are flat and commute with base change. This is a local version of our earlier similar result where the family was assumed to be projective. We also derive several consequences for deformations of semi-log-canonical and of Du Bois singularities. We prove that the cohomology sheaves of the relative dualizing complex of a flat family of varieties with semi-log-canonical or Du Bois singularities are flat and commute with base change. This is a local version of our earlier similar result where the family was assumed to be projective. We also derive several consequences for deformations of semi-log-canonical and of Du Bois singularities. △ Less

Submitted 17 July, 2018; v1 submitted 8 March, 2018; originally announced March 2018.

Comments: The results of this paper are now contained in a new, substantially expanded version entitled "Deformations of log canonical and F-pure singularities"

The minimal model program for b-log canonical divisors and applications

Authors: Daniel Chan, Kenneth Chan, Louis de Thanhoffer de Völcsey, Colin Ingalls, Kelly Jabbusch, Sándor J Kovács, Rajesh Kulkarni, Boris Lerner, Basil Nanayakkara, Shinnosuke Okawa, Michel Van den Bergh

Abstract: We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and… ▽ More We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and the equivariant MMP as special cases. There are various interesting b-log varieties arising from different objects, including the Brauer pairs, or "non-commutative algebraic varieties which are finite over their centres". The case of toric Brauer pairs is discussed in further detail. △ Less

Submitted 5 July, 2017; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: Fixed spelling mistake in one author's name

MSC Class: 14E30; 14A22

Rational singularities

Authors: Sándor J Kovács

Abstract: A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is also demonstrated that pseudo-rational singularities are rational. The main theorem, a Kempf-type criterion for rational singularities, is new even in characteris… ▽ More A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is also demonstrated that pseudo-rational singularities are rational. The main theorem, a Kempf-type criterion for rational singularities, is new even in characteristic zero contrasting an earlier result of Cutkosky that a similar result with slightly different assumptions could not hold. Several applications are included. In particular, an Elkik-type theorem, proving that Cohen-Macaulay dlt singularities are rational in arbitrary characteristic. △ Less

Submitted 30 December, 2022; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: Current version:Added missing assumption "normal". Previous changes: Instead of the exceptional inverse image calculation, Section 6 now contains the construction and study of Koszul type resolutions. Accordingly one step of the proof of the main technical theorem in Section 7 changed. The application to klt singularities has been extended to dlt singularities

Non-Cohen-Macaulay canonical singularities

Authors: Sándor J. Kovács

Abstract: The purpose of this note is to show that in characteristic two there exists a smooth Fano variety for which the square of the anti-canonical bundle violates Kodaira vanishing. This is used in turn to construct non-Cohen-Macaulay canonical singularities in characteristic two. The purpose of this note is to show that in characteristic two there exists a smooth Fano variety for which the square of the anti-canonical bundle violates Kodaira vanishing. This is used in turn to construct non-Cohen-Macaulay canonical singularities in characteristic two. △ Less

Submitted 26 October, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: added references to related work done recently

On the boundedness of SLC surfaces of general type

Authors: Christopher D. Hacon, Sándor J Kovács

Abstract: The purpose of this note is to give a new proof of Alexeev's boundedness result for stable surfaces which is independent of the base field and to highlight some important consequences of this result. The purpose of this note is to give a new proof of Alexeev's boundedness result for stable surfaces which is independent of the base field and to highlight some important consequences of this result. △ Less

Submitted 3 October, 2016; v1 submitted 15 March, 2016; originally announced March 2016.

Projectivity of the moduli space of stable log-varieties and subadditvity of log-Kodaira dimension

Authors: Sándor J Kovács, Zsolt Patakfalvi

Abstract: We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type. We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type. △ Less

Submitted 10 March, 2015; originally announced March 2015.

Comments: Comments are welcomed

MSC Class: 14J10; 14E99

On positivity and base loci of vector bundles

Authors: Thomas Bauer, Sándor J Kovács, Alex Küronya, Ernesto Carlo Mistretta, Tomasz Szemberg, Stefano Urbinati

Abstract: The aim of this note is to shed some light on the relationships among some notions of positivity for vector bundles that arose in recent decades. Our purpose is to study several of the positivity notions studied for vector bundles with some notions of asymptotic base loci that can be defined on the variety itself, rather than on the projectivization of the given vector bundle. We relate some of… ▽ More The aim of this note is to shed some light on the relationships among some notions of positivity for vector bundles that arose in recent decades. Our purpose is to study several of the positivity notions studied for vector bundles with some notions of asymptotic base loci that can be defined on the variety itself, rather than on the projectivization of the given vector bundle. We relate some of the different notions conjectured to be equivalent with the help of these base loci, and we show that these can help simplify the various relationships between the positivity properties present in the literature. In particular, we define augmented and restricted base loci $\mathbb{B}_+ (E)$ and $\mathbb{B}_- (E)$ of a vector bundle $E$ on the variety $X$, as generalizations of the corresponding notions studied extensively for line bundles. As it turns out, the asymptotic base loci defined here behave well with respect to the natural map induced by the projectivization of the vector bundle $E$. △ Less

Submitted 23 June, 2014; originally announced June 2014.

Potentially Du Bois spaces

Authors: Patrick Graf, Sándor J Kovács

Abstract: We investigate properties of potentially Du Bois singularities, that is, those that occur on the underlying space of a Du Bois pair. We show that a normal variety $X$ with potentially Du Bois singularities and Cartier canonical divisor $K_X$ is necessarily log canonical, and hence Du Bois. As an immediate corollary, we obtain the Lipman-Zariski conjecture for varieties with potentially Du Bois sin… ▽ More We investigate properties of potentially Du Bois singularities, that is, those that occur on the underlying space of a Du Bois pair. We show that a normal variety $X$ with potentially Du Bois singularities and Cartier canonical divisor $K_X$ is necessarily log canonical, and hence Du Bois. As an immediate corollary, we obtain the Lipman-Zariski conjecture for varieties with potentially Du Bois singularities. We also show that for a normal surface singularity, the notions of Du Bois and potentially Du Bois singularities coincide. In contrast, we give an example showing that in dimension at least three, a normal potentially Du Bois singularity $x \in X$ need not be Du Bois even if one assumes the canonical divisor $K_X$ to be $\mathbb{Q}$-Cartier. △ Less

Submitted 23 October, 2014; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: Updated thanks and references

Journal ref: Journal of Singularities 8 (2014), pp. 117-134

Inversion of adjunction for rational and Du Bois pairs

Authors: Sándor J Kovács, Karl Schwede

Abstract: We prove several results about the behavior Du Bois singularities and Du Bois pairs in families. Some of these generalize existing statements about Du Bois singularities to the pair setting while others are new even in the non-pair setting. We also prove a new inversion of adjunction result for Du Bois and rational pairs. In the non-pair setting this asserts that if a family over a smooth base has… ▽ More We prove several results about the behavior Du Bois singularities and Du Bois pairs in families. Some of these generalize existing statements about Du Bois singularities to the pair setting while others are new even in the non-pair setting. We also prove a new inversion of adjunction result for Du Bois and rational pairs. In the non-pair setting this asserts that if a family over a smooth base has a special fiber $X_0$ with Du Bois singularities and the general fiber has rational singularities, then the total space has rational singularities near $X_0$. △ Less

Submitted 16 May, 2016; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: 24 pages. More typos corrected and other minor fixes. To appear in Algebra and Number Theory

MSC Class: 14F18; 14B07; 14D05; 14E15; 14J17; 14B05

Journal ref: Algebra Number Theory 10 (2016) 969-1000

The cone of curves of K3 surfaces revisted

Authors: Sándor J Kovács

Abstract: The main theorem of "S. J. Kovács: The cone of curves of a K3 surface, Math. Ann. 300 (1994), no. 4, 681-691" is proved in arbitrary characteristic. The proof is essentially the same as in the original paper where it was stated only over the complex numbers. The main theorem of "S. J. Kovács: The cone of curves of a K3 surface, Math. Ann. 300 (1994), no. 4, 681-691" is proved in arbitrary characteristic. The proof is essentially the same as in the original paper where it was stated only over the complex numbers. △ Less

Submitted 22 September, 2013; originally announced September 2013.

Comments: To appear in the book Birational Geometry, Rational Curves, and Arithmetic

Steenbrink vanishing extended

Authors: Sándor J Kovács

Abstract: The notion of DB index, a measure of how far a singularity of a pair is from being Du Bois, is introduced and used to generalize vanishing theorems of Steenbrink and others with simpler and more natural proofs than the originals. The notion of DB index, a measure of how far a singularity of a pair is from being Du Bois, is introduced and used to generalize vanishing theorems of Steenbrink and others with simpler and more natural proofs than the originals. △ Less

Submitted 19 August, 2013; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: To appear in the Proceedings of 12th ALGA meeting dedicated to Aron Simis and Steven Kleiman (Bulletin of the Brazilian Mathematical Society). Some typos are corrected in v2, but no essential change from v1

An optimal extension theorem for 1-forms and the Lipman-Zariski conjecture

Authors: Patrick Graf, Sándor J Kovács

Abstract: Let $X$ be a normal variety. Assume that for some reduced divisor $D \subset X$, logarithmic 1-forms defined on the snc locus of $(X, D)$ extend to a log resolution $\tilde X \to X$ as logarithmic differential forms. We prove that then the Lipman-Zariski conjecture holds for $X$. This result applies in particular if $X$ has log canonical singularities. Furthermore, we give an example of a 2-form… ▽ More Let $X$ be a normal variety. Assume that for some reduced divisor $D \subset X$, logarithmic 1-forms defined on the snc locus of $(X, D)$ extend to a log resolution $\tilde X \to X$ as logarithmic differential forms. We prove that then the Lipman-Zariski conjecture holds for $X$. This result applies in particular if $X$ has log canonical singularities. Furthermore, we give an example of a 2-form defined on the smooth locus of a three-dimensional log canonical pair $(X, \emptyset)$ which acquires a logarithmic pole along an exceptional divisor of discrepancy zero, thereby improving on a similar example of Greb, Kebekus, Kovács and Peternell. △ Less

Submitted 22 July, 2014; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: Final version, to appear in Documenta Math

Journal ref: Documenta Math. 19 (2014), pp. 815-830

Generic vanishing fails for singular varieties and in characteristic p>0

Authors: Christopher D Hacon, Sándor J Kovács

Abstract: We show that generic vanishing fails for singular varieties and in characteristic p>0. We show that generic vanishing fails for singular varieties and in characteristic p>0. △ Less

Submitted 6 September, 2013; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: 12 pages

The intuitive definition of Du Bois singularities

Authors: Sándor J Kovács

Abstract: It is proved that for projective varieties having Du Bois singularities is equivalent to the condition that the coherent cohomology groups of the structure sheaf coincide with the appropriate Hodge components of the singular cohomology groups. It is proved that for projective varieties having Du Bois singularities is equivalent to the condition that the coherent cohomology groups of the structure sheaf coincide with the appropriate Hodge components of the singular cohomology groups. △ Less

Submitted 2 October, 2011; v1 submitted 26 September, 2011; originally announced September 2011.

Comments: 9 pages

The splitting principle and singularities

Authors: Sándor J Kovács

Abstract: The splitting principle states that morphisms in a derived category do not "split" accidentally. This has been successsfully applied in several characterizations of rational, DB, and other singularities. In this article I prove a general statement that implies many of the previous individual statements and improves some of the characterizations in the process. The splitting principle states that morphisms in a derived category do not "split" accidentally. This has been successsfully applied in several characterizations of rational, DB, and other singularities. In this article I prove a general statement that implies many of the previous individual statements and improves some of the characterizations in the process. △ Less

Submitted 7 August, 2011; originally announced August 2011.

Comments: 12 pages. To appear in the volume on "Compact moduli spaces and vector bundles"

Du Bois singularities deform

Authors: Sándor J Kovács, Karl Schwede

Abstract: Let $X$ be a variety and $H$ a Cartier divisor on $X$. We prove that if $H$ has Du Bois (or DB) singularities, then $X$ has Du Bois singularities near $H$. As a consequence, if $X \to S$ is a family over a smooth curve $S$ whose special fiber has Du Bois singularities, then the nearby fibers also have Du Bois singularities. We prove this by obtaining an injectivity theorem for certain maps of cano… ▽ More Let $X$ be a variety and $H$ a Cartier divisor on $X$. We prove that if $H$ has Du Bois (or DB) singularities, then $X$ has Du Bois singularities near $H$. As a consequence, if $X \to S$ is a family over a smooth curve $S$ whose special fiber has Du Bois singularities, then the nearby fibers also have Du Bois singularities. We prove this by obtaining an injectivity theorem for certain maps of canonical modules. As a consequence, we also obtain a restriction theorem for certain non-lc ideals. △ Less

Submitted 3 July, 2012; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: Typos corrected and other expository improvements

MSC Class: 14B07; 14B05; 14F17; 14F18

Singularities of stable varieties

Authors: Sándor J. Kovács

Abstract: This is a survey on recent results regarding singularities that occur on higher dimensional stable varieties. This is a survey on recent results regarding singularities that occur on higher dimensional stable varieties. △ Less

Submitted 23 January, 2012; v1 submitted 7 February, 2011; originally announced February 2011.

Comments: to appear in Handbook of Moduli

Irrational centers

Authors: Sándor J. Kovács

Abstract: The main purpose of this article is to get a handle on determining how far a non-rational singularity is from being rational, or in other words, introduce a measure of the failure of a singularity being rational. The main purpose of this article is to get a handle on determining how far a non-rational singularity is from being rational, or in other words, introduce a measure of the failure of a singularity being rational. △ Less

Submitted 2 May, 2011; v1 submitted 22 November, 2010; originally announced November 2010.

Comments: 15 pages, to appear in the special issue of Pure and Applied Mathematics Quarterly dedicated to Eckart Viehweg

DB pairs and vanishing theorems

Authors: Sándor J. Kovács

Abstract: The main purpose of this article is to define the notion of DuBois singularities for pairs and proving a vanishing theorem using this new notion. The main vanishing theorem specializes to a new vanishing theorem for resolutions of log canonial singularities. The main purpose of this article is to define the notion of DuBois singularities for pairs and proving a vanishing theorem using this new notion. The main vanishing theorem specializes to a new vanishing theorem for resolutions of log canonial singularities. △ Less

Submitted 13 January, 2011; v1 submitted 18 September, 2010; originally announced September 2010.

Comments: To appear in the Nagata memorial volume of the Kyoto Journal of Mathematics

MSC Class: 14J17

Journal ref: Kyoto J. Math. 51, no. 1 (2011), 47-69

Differential Forms on Log Canonical Spaces

Authors: Daniel Greb, Stefan Kebekus, Sandor J. Kovacs, Thomas Peternell

Abstract: The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods… ▽ More The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods of the minimal model program. In addition, a theory of differential forms on dlt pairs is developed. It is shown that many of the fundamental theorems and techniques known for sheaves of logarithmic differentials on smooth varieties also hold in the dlt setting. Immediate applications include the existence of a pull-back map for reflexive differentials, generalisations of Bogomolov-Sommese type vanishing results, and a positive answer to the Lipman-Zariski conjecture for klt spaces. △ Less

Submitted 31 October, 2011; v1 submitted 15 March, 2010; originally announced March 2010.

Comments: 72 pages, 6 figures. A shortened version of this paper has appeared in Publications mathématiques de l'IHÉS. The final publication is available at http://www.springerlink.com

MSC Class: 14F10 (Primary) 14F17; 14E30; 14D22 (Secondary)

Journal ref: Publ. Math. IHES 114 (2011), no. 1, 87-169

Hodge theory meets the minimal model program: a survey of log canonical and Du Bois singularities

Authors: Sándor J Kovács, Karl Schwede

Abstract: This is a survey of some recent developments in the study of singularities related to the classification theory of algebraic varieties. In particular, the definition and basic properties of Du Bois singularities and their connections to the more commonly known singularities of the minimal model program are reviewed and discussed. This is a survey of some recent developments in the study of singularities related to the classification theory of algebraic varieties. In particular, the definition and basic properties of Du Bois singularities and their connections to the more commonly known singularities of the minimal model program are reviewed and discussed. △ Less

Submitted 4 September, 2009; originally announced September 2009.

Comments: 35 pages. To appear in the Proceedings of the MSRI Workshop on the Topology of Stratified Spaces

MSC Class: 14B05

Journal ref: MSRI Publications -- Volume 58, Topology of Stratified Spaces (2011), p. 51--94

Log canonical singularities are Du Bois

Authors: János Kollár, Sándor J Kovács

Abstract: A recurring difficulty in the Minimal Model Program is that while log terminal singularities are quite well behaved (for instance, they are rational), log canonical singularities are much more complicated; they need not even be Cohen-Macaulay. The aim of this paper is to prove that log canonical singularities are Du Bois. The concept of Du Bois singularities, introduced by Steenbrink, is a weake… ▽ More A recurring difficulty in the Minimal Model Program is that while log terminal singularities are quite well behaved (for instance, they are rational), log canonical singularities are much more complicated; they need not even be Cohen-Macaulay. The aim of this paper is to prove that log canonical singularities are Du Bois. The concept of Du Bois singularities, introduced by Steenbrink, is a weakening of rationality. We also prove flatness of the cohomology sheaves of the relative dualizing complex of a projective family with Du Bois fibers. This implies that each connected component of the moduli space of stable log varieties parametrizes either only Cohen-Macaulay or only non-Cohen-Macaulay objects. △ Less

Submitted 16 December, 2009; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: An error discovered in the statement and proof of Theorem 1.7 is corrected. Note that this change does not effect the rest of the article. Final version to appear in the Journal of the AMS

MSC Class: 14J17; 14B07; 14E30; 14D99

The structure of surfaces and threefolds map** to the moduli stack of canonically polarized varieties

Authors: Stefan Kebekus, Sandor J. Kovacs

Abstract: Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a non-constant map to the moduli stack, we employ extension properties of logarith… ▽ More Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a non-constant map to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of Y: in all relevant cases the minimal model program leads to a fiber space whose fibration factors the moduli map. A much refined affirmative answer to Viehweg's conjecture for families over threefolds follows as a corollary. For families over surfaces, the moduli map can be often be described quite explicitly. Slightly weaker results are obtained for families of varieties with trivial, or more generally semi-ample canonical bundle. △ Less

Submitted 12 December, 2008; originally announced December 2008.

MSC Class: 14D20; 14D06

Journal ref: Duke Math. J. 155, no. 1 (2010), 1-33

Extension theorems for differential forms and Bogomolov-Sommese vanishing on log canonical varieties

Authors: Daniel Greb, Stefan Kebekus, Sándor J. Kovács

Abstract: Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and for certain values of p, we show that an extension always exists, possibly with logarithmic poles along the exceptional set. As a corollary, it is shown tha… ▽ More Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and for certain values of p, we show that an extension always exists, possibly with logarithmic poles along the exceptional set. As a corollary, it is shown that sheaves of reflexive differentials enjoy good pull-back properties. A natural generalization of the well-known Bogomolov-Sommese vanishing theorem to log canonical threefold pairs follows. △ Less

Submitted 26 April, 2009; v1 submitted 27 August, 2008; originally announced August 2008.

Comments: final version with improved exposition and several minor clarifications and corrections

MSC Class: 14J17; 14F17

Journal ref: Compositio Math. 146 (2010) 193-219

The canonical sheaf of Du Bois singularities

Authors: Sándor J. Kovács, Karl E. Schwede, Karen E. Smith

Abstract: We prove that a Cohen-Macaulay normal variety $X$ has Du Bois singularities if and only if $π_*ω_{X'}(G) \simeq ω_X$ for a log resolution $π: X' \to X$, where $G$ is the reduced exceptional divisor of $π$. Many basic theorems about Du Bois singularities become transparent using this characterization (including the fact that Cohen-Macaulay log canonical singularities are Du Bois). We also give… ▽ More We prove that a Cohen-Macaulay normal variety $X$ has Du Bois singularities if and only if $π_*ω_{X'}(G) \simeq ω_X$ for a log resolution $π: X' \to X$, where $G$ is the reduced exceptional divisor of $π$. Many basic theorems about Du Bois singularities become transparent using this characterization (including the fact that Cohen-Macaulay log canonical singularities are Du Bois). We also give a straightforward and self-contained proof that (generalizations of) semi-log-canonical singularities are Du Bois, in the Cohen-Macaulay case. It also follows that the Kodaira vanishing theorem holds for semi-log-canonical varieties and that Cohen-Macaulay semi-log-canonical singularities are cohomologically insignificant in the sense of Dolgachev. △ Less

Submitted 30 January, 2010; v1 submitted 9 January, 2008; originally announced January 2008.

Comments: Minor changes, 21 pages, to appear in Advances in Mathematics

MSC Class: 14B05

Journal ref: Advances in Mathematics, Volume 224, Issue 4, Pages 1618-1640, 2010

Cohomological characterizations of projective spaces and hyperquadrics

Authors: Carolina Araujo, Stéphane Druel, Sándor J. Kovács

Abstract: We confirm Beauville's conjecture that claims that if the p-th exterior power of the tangent bundle of a smooth projective variety contains the p-th power of an ample line bundle, then the variety is either the projective space or the p-dimensional quadric hypersurface. We confirm Beauville's conjecture that claims that if the p-th exterior power of the tangent bundle of a smooth projective variety contains the p-th power of an ample line bundle, then the variety is either the projective space or the p-dimensional quadric hypersurface. △ Less

Submitted 9 October, 2007; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: Added Lemma 2.8 and slightly changed proof of Lemma 6.2 to make them apply for torsion-free sheaves and not only to vector bundles

MSC Class: 14M20

The structure of surfaces map** to the moduli stack of canonically polarized varieties

Authors: Stefan Kebekus, Sandor J. Kovacs

Abstract: Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establ… ▽ More Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmative answer to Viehweg's conjecture for families over surfaces follows as a corollary. △ Less

Submitted 13 July, 2007; originally announced July 2007.

Comments: 19 pages

MSC Class: 14D20; 14D06

Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich's conjecture

Authors: Sandor J. Kovacs, Max Lieblich

Abstract: We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonical… ▽ More We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties. △ Less

Submitted 31 December, 2009; v1 submitted 22 November, 2006; originally announced November 2006.

Comments: 19 pages, v2: minor changes; one reference added to make a step cleaner and one name added to acknowledgements, v3: final version to appear in Annals of Mathematics

MSC Class: 14J10

Journal ref: Ann. of Math. (2) 173 (2011), no. 1, 585-617

Families of canonically polarized varieties over surfaces

Authors: Stefan Kebekus, Sandor J. Kovacs

Abstract: Shafarevich's hyperbolicity conjecture asserts that a family of curves over a quasi-projective 1-dimensional base is isotrivial unless the logarithmic Kodaira dimension of the base is positive. More generally it has been conjectured by Viehweg that the base of a smooth family of canonically polarized varieties is of log general type if the family is of maximal variation. In this paper, we relate… ▽ More Shafarevich's hyperbolicity conjecture asserts that a family of curves over a quasi-projective 1-dimensional base is isotrivial unless the logarithmic Kodaira dimension of the base is positive. More generally it has been conjectured by Viehweg that the base of a smooth family of canonically polarized varieties is of log general type if the family is of maximal variation. In this paper, we relate the variation of a family to the logarithmic Kodaira dimension of the base and give an affirmative answer to Viehweg's conjecture for families parametrized by surfaces. △ Less

Submitted 7 September, 2006; v1 submitted 15 November, 2005; originally announced November 2005.

Comments: final version, to appear in Invent. Math. A rather minor issue in construction 6.10 and a typo has been fixed

MSC Class: 14D20; 14D22

Holomorphic one-forms on varieties of general type

Authors: Christopher D. Hacon, Sándor J. Kovács

Abstract: It has been conjectured that varieties of general type do not admit nowhere vanishing holomorphic one-forms. We confirm this conjecture for smooth minimal varieties and for varieties whose Albanese variety is simple. It has been conjectured that varieties of general type do not admit nowhere vanishing holomorphic one-forms. We confirm this conjecture for smooth minimal varieties and for varieties whose Albanese variety is simple. △ Less

Submitted 2 November, 2004; originally announced November 2004.

MSC Class: 14J99; 14J29

Are minimal degree rational curves determined by their tangent vectors?

Authors: Stefan Kebekus, Sandor J. Kovacs

Abstract: Let X be a projective variety which is covered by rational curves, for instance a Fano manifold over the complex numbers. In this setup, characterization and classification problems lead to the natural question: "Given two points on X, how many minimal degree rational curve are there which contain those points?". A recent answer to this question led to a number of new results in classification t… ▽ More Let X be a projective variety which is covered by rational curves, for instance a Fano manifold over the complex numbers. In this setup, characterization and classification problems lead to the natural question: "Given two points on X, how many minimal degree rational curve are there which contain those points?". A recent answer to this question led to a number of new results in classification theory. As an infinitesimal analogue, we ask "How many minimal degree rational curves exist which contain a prescribed tangent vector?" In this paper, we give sufficient conditions which guarantee that every tangent vector at a general point of X is contained in at most one rational curve minimal degree. As an immediate application, we obtain irreducibility criteria for the space of minimal rational curves. △ Less

Submitted 17 October, 2002; v1 submitted 19 June, 2002; originally announced June 2002.

Comments: The main theorems were improved; they now work for families of rational curves that are not necessarily irreducible. For this, it was necessary to change the proofs and the exposition substantially. An optimized PDF file with additional graphics is available at http://btm8x5.mat.uni-bayreuth.de/~kebekus/publications-e.html

MSC Class: 14J45

Logarithmic Kodaira-Akizuki-Nakano vanishing and Arakelov-Parshin boundedness for singular varieties

Authors: Sándor J. Kovács

Abstract: The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein… ▽ More The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein singularities. △ Less

Submitted 30 April, 2000; v1 submitted 3 March, 2000; originally announced March 2000.

Comments: 23 pages, typos/errors corrected, definition of strong ampleness is made more general more typos/errors corrected, 6.4 made slightly more general

MSC Class: 14F17; 14D06