Showing 1–36 of 36 results for author: Patakfalvi, Z

Perfectoid pure singularities

Authors: Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call \emph{perfectoid pure}. We also study a related a priori weaker condition which asks that $R$ is pure in its absolute perfectoidization, a condition we call \emph{li… ▽ More Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call \emph{perfectoid pure}. We also study a related a priori weaker condition which asks that $R$ is pure in its absolute perfectoidization, a condition we call \emph{lim-perfectoid pure}. We show that both these notions coincide when $R$ is LCI. Mixed characteristic analogs of $F$-injective and Du Bois singularities are also explored. We study these notions of singularity, proving that they are weakly normal and that they are Du Bois after inverting $p$. We also explore the behavior of perfectoid singularities under finite covers and their relation to log canonical singularities. Finally, we prove an inversion of adjunction result in the LCI setting, and use it to prove that many common examples are perfectoid pure. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 46 pages, comments welcome

MSC Class: 14G45; 14F18; 14B05; 13A35; 11G25

A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Authors: Fabio Bernasconi, Stefano Filipazzi, Zsolt Patakfalvi, Nikolaos Tsakanikas

Abstract: For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the Beauville--Bogomolov decomposition in the log canonical setting. This construction can also be adapted to construct a smooth quasi-projective variety of logarithmic Kodaira dimens… ▽ More For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the Beauville--Bogomolov decomposition in the log canonical setting. This construction can also be adapted to construct a smooth quasi-projective variety of logarithmic Kodaira dimension 0 whose quasi-Albanese morphism has maximal variation. On the positive side, we show that the Albanese morphism for log canonical pairs with nef anti-canonical class is a locally stable family of pairs. △ Less

Submitted 11 December, 2024; v1 submitted 24 July, 2024; originally announced July 2024.

Comments: 28 pages. Main update: an appendix written by Niklas Müller shows that the tangent sheaf of our example is not polystable. Comments are still welcome

Test ideals in mixed characteristic: a unified theory up to perturbation

Authors: Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: Let $X$ be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting $p$, can be computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after localizing and completing at any point of residue characteristic $p$ (up to small perturbati… ▽ More Let $X$ be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting $p$, can be computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after localizing and completing at any point of residue characteristic $p$ (up to small perturbation), and which satisfies the full suite of expected properties of a multiplier or test ideal. This object is obtained via the $p$-adic Riemann-Hilbert functor. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 99 pages, comments welcome

MSC Class: 14F18; 13A35

The Demailly--Peternell--Schneider conjecture is true in positive characteristic

Authors: Sho Ejiri, Zsolt Patakfalvi

Abstract: We prove the Demailly--Peternell--Schneider conjecture in positive characteristic: if $X$ is a smooth projective variety over an algebraically closed field of characteristic $p>0$ with $-K_X$ is nef, then the Albanese morphism $a: X \to A$ is surjective. We also show strengthenings either allowing mild singularities for $X$, or proving more special properties of $a$. The above statement for comp… ▽ More We prove the Demailly--Peternell--Schneider conjecture in positive characteristic: if $X$ is a smooth projective variety over an algebraically closed field of characteristic $p>0$ with $-K_X$ is nef, then the Albanese morphism $a: X \to A$ is surjective. We also show strengthenings either allowing mild singularities for $X$, or proving more special properties of $a$. The above statement for compact Kähler manifolds was conjectured originally by Demailly, Peternell and Schneider in 1993, and for smooth projective varieties of characteristic zero it was shown by Zhang in 1996. In positive characteristic, all earlier results involved tameness assumptions either on cohomology or on the singularities of the general fibers of $a$. The main feature of the present article is the development of a technology to avoid such assumptions. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: Comments are welcomed

MSC Class: 14J10; 14E99; 14G17; 14D99; 14K99

On the properness of the moduli space of stable surfaces over $\mathbb{Z}[1/30]$

Authors: Emelie Arvidsson, Fabio Bernasconi, Zsolt Patakfalvi

Abstract: We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional log canonical singularities at closed point of characteristic $p \neq 2, 3$ and $5$ which are not log canonical centres. We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional log canonical singularities at closed point of characteristic $p \neq 2, 3$ and $5$ which are not log canonical centres. △ Less

Submitted 24 November, 2023; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: 33 pages, minor modifications. To appear in Moduli

Varieties with ample Frobenius-trace kernel

Authors: Javier Carvajal-Rojas, Zsolt Patakfalvi

Abstract: In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the Frobenius endomorphism) on a smooth projective variety over an algebraically closed field of positive characteristic. For instance, such kernel is ample for proj… ▽ More In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the Frobenius endomorphism) on a smooth projective variety over an algebraically closed field of positive characteristic. For instance, such kernel is ample for projective spaces. Conversely, we show that for curves, surfaces, and threefolds the Frobenius trace kernel is ample only for Fano varieties of Picard rank $1$. △ Less

Submitted 18 May, 2023; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 40 pages, comments are very much welcome! Thorough revision, many typos and errors fixed

MSC Class: 14G17; 14J45; 14E30; 14J30; 14J26

Wall crossing for moduli of stable log pairs

Authors: Kenneth Ascher, Dori Bejleri, Giovanni Inchiostro, Zsolt Patakfalvi

Abstract: We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor. We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor. △ Less

Submitted 26 January, 2023; v1 submitted 16 August, 2021; originally announced August 2021.

Comments: Improved exposition and minor corrections throughout. Final version to appear in Annals of Mathematics

A note on families of K-semistable log-Fano pairs

Authors: Giulio Codogni, Zsolt Patakfalvi

Abstract: In this short note, we give an alternative proof of the semipositivity of the Chow-Mumford line bundle for families of K-semistable log-Fano pairs, and of the nefness threeshold for the log-anti-canonical line bundle on families of K-stable log Fano pairs. We also prove a bound on the multiplicity of fibers for families of K-semistable log Fano varieties, which to the best of our knowledge is new. In this short note, we give an alternative proof of the semipositivity of the Chow-Mumford line bundle for families of K-semistable log-Fano pairs, and of the nefness threeshold for the log-anti-canonical line bundle on families of K-stable log Fano pairs. We also prove a bound on the multiplicity of fibers for families of K-semistable log Fano varieties, which to the best of our knowledge is new. △ Less

Submitted 13 July, 2023; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: comments are welcomed

MSC Class: 14J45; 14J10; 14D20; 14D06

Journal ref: In proceeding: Cheltsov, I., Chen, X., Katzarkov, L., Park, J. (eds) Birational Geometry, Kähler--Einstein Metrics and Degenerations, 2019, Springer Proceedings in Mathematics \& Statistics, vol 409, page 195--203

Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic

Authors: Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic. We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic. △ Less

Submitted 5 December, 2022; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 132 pages, numerous minor changes, corrections, more detailed explanations and expositional improvements

MSC Class: 14E30; 14J30; 14F18; 14B05; 14D10; 13A35; 13D22; 11G99

Generic vanishing in characteristic p>0 and the geometry of theta divisors

Authors: Christopher D. Hacon, Zsolt Patakfalvi

Abstract: In this paper we prove a strengthening of the generic vanishing result in characteristic $p>0$ given in [HP16]. As a consequence of this result, we show that irreducible $Θ$ divisors are strongly F-regular and we prove a related result for pluri-theta divisors. In this paper we prove a strengthening of the generic vanishing result in characteristic $p>0$ given in [HP16]. As a consequence of this result, we show that irreducible $Θ$ divisors are strongly F-regular and we prove a related result for pluri-theta divisors. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: Comments are more than welcome

MSC Class: 14K15; 14G17; 14F10; 14E99

Pseudo-effectivity of the relative canonical divisor and uniruledness in positive characteristic

Authors: Zsolt Patakfalvi

Abstract: We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is pseudo-effective. The proof is based on covering $X$ with rational curves, which gives a contradiction as soon as both the base and the generic fiber are not unir… ▽ More We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is pseudo-effective. The proof is based on covering $X$ with rational curves, which gives a contradiction as soon as both the base and the generic fiber are not uniruled. However, we assume only that the generic fiber is not uniruled. Hence, the hardest part of the proof is to show that there is a finite smooth non-uniruled cover of the base for which we show the following: If $T$ is a smooth projective variety over $k$ and $\mathcal{A}$ is an ample enough line bundle, then a cyclic cover of degree $p \nmid d$ given by a general element of $\left|\mathcal{A}^d\right|$ is not uniruled. For this we show the following cohomological uniruledness condition, which might be of independent interest: A smooth projective variety $T$ of dimenion $n$ is not uniruled whenever the dimension of the semi-stable part of $H^n(T, \mathcal{O}_T)$ is greater than that of $H^{n-1}(T, \mathcal{O}_T)$. Additionally, we also show singular versions of all the above statements. △ Less

Submitted 13 April, 2025; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: Comments are more than welcome

MSC Class: 14E99; 14G17; 14J40; 14F99

Journal ref: Épijournal de Géométrie Algébrique, Volume 9 (April 16, 2025) epiga:11595

Ordinary varieties with trivial canonical bundle are not uniruled

Authors: Zsolt Patakfalvi, Maciej Zdanowicz

Abstract: We prove that smooth, projective, $K$-trivial, weakly ordinary varieties over a perfect field of characteristic $p>0$ are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with Langer's results, implies that varieties of the above type have strongly semistable tangent bundles with respect to any polarization. We prove that smooth, projective, $K$-trivial, weakly ordinary varieties over a perfect field of characteristic $p>0$ are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with Langer's results, implies that varieties of the above type have strongly semistable tangent bundles with respect to any polarization. △ Less

Submitted 10 September, 2020; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: Proof of Proposition 2.2 clarified, one reference added. Comments still welcome!

MSC Class: Primary 14G17; Secondary 14M17; 14M25; 14J45

On the Beauville--Bogomolov decomposition in characteristic $p\geq 0$

Authors: Zsolt Patakfalvi, Maciej Zdanowicz

Abstract: We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of th… ▽ More We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of the Albanese morphism are isomorphic. In the appendix written jointly with Giulio Codogni, we also deduce the singular version of the latter statement, in characteristic zero. Finally, we apply our main theorem to draw consequences to the behavior of rational points and fundamental groups of weakly ordinary $K$-trivial varieties in positive characteristic. △ Less

Submitted 1 July, 2020; v1 submitted 29 December, 2019; originally announced December 2019.

Comments: The main update: an example showing that the weakly ordinary assumption cannot be dropped in our main statement. Comments are more than welcome

MSC Class: 14G17; 14J32; 14J40; 14G05; 14E99; 14D06;

Positivity of the CM line bundle for families of K-stable klt Fano varieties

Authors: Giulio Codogni, Zsolt Patakfalvi

Abstract: The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We pro… ▽ More The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming K-stability only for general fibers. Our statements work in the most general singular situation (klt singularities), and the proofs are algebraic, except the computation of the limit of a sequence of real numbers via the central limit theorem of probability theory. We also present an application to the classification of Fano varieties. Additionally, our semi-positivity statements work in general for log-Fano pairs. △ Less

Submitted 31 August, 2020; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: final version, to appear in Inventiones Mathematicae

MSC Class: 14J45; 14J10; 14D20; 14D06

On the projectivity of the moduli space of stable surfaces in characteristic p>5

Authors: Zsolt Patakfalvi

Abstract: We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor. We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor. △ Less

Submitted 13 October, 2017; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: Just one change: the author was doubled in the previous version, which got corrected

MSC Class: 14J10; 14J29; 14J20; 14E30

Singularities of General Fibers and the LMMP

Authors: Zsolt Patakfalvi, Joe Waldron

Abstract: We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p-1$. We deduce many consequences about the fibrations of the minimal model program: for example the general fibers of terminal $3$-fold Mori fiber spaces are n… ▽ More We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p-1$. We deduce many consequences about the fibrations of the minimal model program: for example the general fibers of terminal $3$-fold Mori fiber spaces are normal in characteristic $p\geq 5$ and smooth in characteristic $p\geq 11$. △ Less

Submitted 27 August, 2018; v1 submitted 14 August, 2017; originally announced August 2017.

MSC Class: 14E30; 14J10; 14F17

Birational characterization of abelian varieties and ordinary abelian varieties in characteristic p>0

Authors: Christopher D. Hacon, Zsolt Patakfalvi, Lei Zhang

Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$. We give a birational characterization of ordinary abelian varieties over $k$: a smooth projective variety $X$ is birational to an ordinary abelian variety if and only if $κ_S(X)=0$ and $b_1(X)=2 \dim X$. We also give a similar characterization of abelian varieties as well: a smooth projective variety $X$ is birational to an abelian… ▽ More Let $k$ be an algebraically closed field of characteristic $p>0$. We give a birational characterization of ordinary abelian varieties over $k$: a smooth projective variety $X$ is birational to an ordinary abelian variety if and only if $κ_S(X)=0$ and $b_1(X)=2 \dim X$. We also give a similar characterization of abelian varieties as well: a smooth projective variety $X$ is birational to an abelian variety if and only if $κ(X)=0$, and the Albanese morphism $a: X \to A$ is generically finite. Along the way, we also show that if $κ_S (X)=0$ (or if $κ(X)=0$ and $a$ is generically finite) then the Albanese morphism $a:X\to A$ is surjective and in particular $\dim A\leq \dim X$. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: This submissium supercedes the previous submission arXiv:1602.01791, 9 pages

MSC Class: 14E99; 14K05; 14K15

Journal ref: Duke Math. J. 168, no. 9 (2019), 1723-1736

Frobenius techniques in birational geometry

Authors: Zsolt Patakfalvi

Abstract: This is a survey for the 2015 AMS Summer Institute on Algebraic Geometry about the Frobenius type techniques recently used extensively in positive characteristic algebraic geometry. We first explain the basic ideas through simple versions of the fundamental definitions and statements, and then we survey most of the recent algebraic geometry results obtained using these techniques. This is a survey for the 2015 AMS Summer Institute on Algebraic Geometry about the Frobenius type techniques recently used extensively in positive characteristic algebraic geometry. We first explain the basic ideas through simple versions of the fundamental definitions and statements, and then we survey most of the recent algebraic geometry results obtained using these techniques. △ Less

Submitted 11 October, 2016; originally announced October 2016.

MSC Class: 14E99; 14J20

On the characterization of abelian varieties in characteristic $p>0$

Authors: Christopher Hacon, Zsolt Patakfalvi

Abstract: This article is superseded by 1703.06631. We keep this version here since some of the arguments for the special cases treated here are different than those of 1703.06631. This article is superseded by 1703.06631. We keep this version here since some of the arguments for the special cases treated here are different than those of 1703.06631. △ Less

Submitted 21 March, 2017; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: This article is superseded by 1703.06631

MSC Class: 14E99; 14K05; 14K15

Ampleness of the CM line bundle on the moduli space of canonically polarized varieties

Authors: Zsolt Patakfalvi, Chenyang Xu

Abstract: We prove that the CM line bundle is ample on the proper moduli space which parametrizes KSBA stable varieties. We prove that the CM line bundle is ample on the proper moduli space which parametrizes KSBA stable varieties. △ Less

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

MSC Class: 14J10; 14J15; 14E30; 32Q05

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

Positive characteristic algebraic geometry

Authors: Zsolt Patakfalvi, Karl Schwede, Kevin Tucker

Abstract: These are notes for the Bootcamp volume for the 2015 AMS Summer Institute in Algebraic Geometry. They are based on earlier notes for the "Positive Characteristic Algebraic Geometry Workshop" held at University of Illinois at Chicago in March 2014. These are notes for the Bootcamp volume for the 2015 AMS Summer Institute in Algebraic Geometry. They are based on earlier notes for the "Positive Characteristic Algebraic Geometry Workshop" held at University of Illinois at Chicago in March 2014. △ Less

Submitted 23 January, 2017; v1 submitted 6 December, 2014; originally announced December 2014.

Comments: 42 pages, typos corrected

Generic vanishing in characteristic $p>0$ and the characterization of ordinary abelian varieties

Authors: Christopher D. Hacon, Zsolt Patakfalvi

Abstract: We prove a generic vanishing type statement in positive characteristic and apply it to prove positive characteristic versions of Kawamata's theorems: a characterization of smooth varieties birational to ordinary abelian varieties and the surjectivity of the Albanese map when the Frobenius stable Kodaira dimension is zero. We prove a generic vanishing type statement in positive characteristic and apply it to prove positive characteristic versions of Kawamata's theorems: a characterization of smooth varieties birational to ordinary abelian varieties and the surjectivity of the Albanese map when the Frobenius stable Kodaira dimension is zero. △ Less

Submitted 20 February, 2014; v1 submitted 10 October, 2013; originally announced October 2013.

On subadditivity of Kodaira dimension in positive characteristic

Authors: Zsolt Patakfalvi

Abstract: We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt matrix of the geometric general fiber is not nilpotent. We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt matrix of the geometric general fiber is not nilpotent. △ Less

Submitted 5 March, 2014; v1 submitted 24 August, 2013; originally announced August 2013.

Comments: 24 pages, comments are welcomed

MSC Class: 14E30; 14J10; 14J20; 14D10

On Rational Connectedness of Globally F-Regular Threefolds

Authors: Yoshinori Gongyo, Zhiyuan Li, Zsolt Patakfalvi, Karl Schwede, Hiromu Tanaka, Hong R. Zong

Abstract: In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. △ Less

Submitted 17 October, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: 36 pages, largely rewritten according to referee advice, comments are welcome!

Journal ref: Advances in Mathematics, vol. 280, 47--78 (2015)

Semi-negativity of Hodge bundles associated to Du Bois families

Authors: Zsolt Patakfalvi

Abstract: In this note we show that the sheaf $R^1 f_* \mathcal{O}_X$ is an anti-nef vector bundle (i.e., its dual is nef), where $f : X \to Y$ is a family of Du Bois schemes of pure dimension. In this note we show that the sheaf $R^1 f_* \mathcal{O}_X$ is an anti-nef vector bundle (i.e., its dual is nef), where $f : X \to Y$ is a family of Du Bois schemes of pure dimension. △ Less

Submitted 15 February, 2015; v1 submitted 21 July, 2013; originally announced July 2013.

Comments: This is a short note about a statement that was originally part of arXiv:1208.1787

F-singularities in families

Authors: Zsolt Patakfalvi, Karl Schwede, Wenliang Zhang

Abstract: We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards… ▽ More We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these. △ Less

Submitted 2 October, 2017; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: 60 pages, typos corrected throughout and improved exposition, to appear in Algebraic Geometry

MSC Class: 14B05; 13A35; 14D05; 14F18; 13B40

Semi-positivity in positive characteristics

Authors: Zsolt Patakfalvi

Abstract: Let $f : (X, Δ) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarize… ▽ More Let $f : (X, Δ) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarized pairs. The main motivation of the above results is projectivity of proper subspaces of the moduli space of stable pairs in positive characteristics. Other applications are Kodaira vanishing free, algebraic proofs of corresponding positivity results in characteristic zero, and special cases of subadditivity of Kodaira-dimension in positive characteristics. △ Less

Submitted 10 October, 2012; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 34 pages, comments are welcomed

MSC Class: 14J10; 14J20

Journal ref: Annales scientifiques de l'École Normale Supérieure, vol 47, no 5, (2014) 991--1025

Fibered stable varieties

Authors: Zsolt Patakfalvi

Abstract: We show that if a stable variety (in the sense of Kollár and Shepherd-Barron) admits a fibration with stable fibers and base, then this fibration structure deforms (uniquely) for all small deformations. During our proof we obtain also a Bogomolov-Sommese type vanishing for vector bundles and reflexive differential $n-1$-forms. We show that if a stable variety (in the sense of Kollár and Shepherd-Barron) admits a fibration with stable fibers and base, then this fibration structure deforms (uniquely) for all small deformations. During our proof we obtain also a Bogomolov-Sommese type vanishing for vector bundles and reflexive differential $n-1$-forms. △ Less

Submitted 3 February, 2014; v1 submitted 8 August, 2012; originally announced August 2012.

MSC Class: 14J10; 14J40

Depth of $F$-singularities and base change of relative canonical sheaves

Authors: Zsolt Patakfalvi, Karl Schwede

Abstract: For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Kollár for varieties in characteristic zero. As an application, we show that that relative canonical sheaves are compatible with arbitrary base change for certain families with… ▽ More For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Kollár for varieties in characteristic zero. As an application, we show that that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers. △ Less

Submitted 3 February, 2013; v1 submitted 8 July, 2012; originally announced July 2012.

Comments: 18 pages, typos corrected, exposition improved, Corollary 3.3 added. To appear in Journal of the Institute of Mathematics of Jussieu

MSC Class: 13A35; 14J10; 14J17; 14F18; 13C14; 13C15

Journal ref: Journal of the Institute of Mathematics Jussieu, vol 13, no. 1, (2014), 43-63

Moduli of products of stable varieties

Authors: Bhargav Bhatt, Wei Ho, Zsolt Patakfalvi, Christian Schnell

Abstract: We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism.… ▽ More We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension 1. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global ones use some differential-geometric input. △ Less

Submitted 3 June, 2012; originally announced June 2012.

Comments: 26 pages, suggestions and comments are welcomed

MSC Class: 14B10; 14J10; 14J99

Journal ref: Compositio Math. 149 (2013) 2036-2070

Viehweg's hyperbolicity conjecture is true over compact bases

Authors: Zsolt Patakfalvi

Abstract: We prove Viehweg's hyperbolicity conjecture over compact bases and over bases with non-uniruled compactification. The most general case of the conjecture states that the the base space of a maximal variation family of smooth projective manifolds with semi-ample canonical sheaf is of log-general type. We prove Viehweg's hyperbolicity conjecture over compact bases and over bases with non-uniruled compactification. The most general case of the conjecture states that the the base space of a maximal variation family of smooth projective manifolds with semi-ample canonical sheaf is of log-general type. △ Less

Submitted 13 September, 2011; originally announced September 2011.

Comments: 3 pages, comments are warmly welcomed

MSC Class: 14J10; 14D20

Journal ref: Advances in Mathematics 229 (2012) no. 3, 1640-1642

Arakelov-Parshin rigidity of towers of curve fibrations

Authors: Zsolt Patakfalvi

Abstract: Arakelov-Parshin rigidity is concerned with varieties mapping rigidly to the moduli stack M_h of canonically polarized manifolds. Affirmative answer for any class of maps implies finiteness of the given class. This article studies Arakelov-Parshin rigidity on an open subspace of M_h, on the locus KF_h of iterated Kodaira fibrations. First, we prove rigidity for all complete curves mapping finite… ▽ More Arakelov-Parshin rigidity is concerned with varieties mapping rigidly to the moduli stack M_h of canonically polarized manifolds. Affirmative answer for any class of maps implies finiteness of the given class. This article studies Arakelov-Parshin rigidity on an open subspace of M_h, on the locus KF_h of iterated Kodaira fibrations. First, we prove rigidity for all complete curves mapping finitely onto KF_h. Then, for generic affine curves mapping into KF_h, rigidity is shown when deg h =2. The method used in the latter part is showing that the iterated Kodaira-Spencer map is injective. △ Less

Submitted 16 March, 2013; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: Any comments are welcome

MSC Class: 14J10; 14D20; 14F17

Journal ref: Mathematische Zeitschrift, vol. 278, no. 3, 859--892 (2014)

Base change behavior of the relative canonical sheaf related to higher dimensional moduli

Authors: Zsolt Patakfalvi

Abstract: We show that the compatibility of the relative canonical sheaf with base change fails generally in families of normal varieties. Furthermore, it always fails if the general fiber of a family of pure dimension n is Cohen-Macaulay and the special fiber contains a strictly S_{n-1} point. In particular, in moduli spaces with functorial relative canonical sheaves Cohen-Macaulay schemes can not degenera… ▽ More We show that the compatibility of the relative canonical sheaf with base change fails generally in families of normal varieties. Furthermore, it always fails if the general fiber of a family of pure dimension n is Cohen-Macaulay and the special fiber contains a strictly S_{n-1} point. In particular, in moduli spaces with functorial relative canonical sheaves Cohen-Macaulay schemes can not degenerate to S_{n-1} schemes. Another, less immediate consequence is that the canonical sheaf of an S_{n-1}, G_2 scheme of pure dimension n is not S_3. △ Less

Submitted 28 February, 2012; v1 submitted 27 May, 2010; originally announced May 2010.

Comments: Third, updated version. Minor changes, the non-standard usage of S_d at a point replaced by the adequate depth conditions. Comments are welcome

MSC Class: 14J10; 14F10; 14D06; 14E30

Journal ref: Algebra and number theory 7 (2013) no 2, 353-378

The incidence class and the hierarchy of orbits

Authors: László M. Fehér, Zsolt Patakfalvi

Abstract: R. Rimányi defined the incidence class of two singularities X and Y as $[X]|_Y$, the restriction of the Thom polynomial of X to Y. He conjectured that (under mild conditions) the incidence is not zero if and only if Y is in the closure of X. Generalizing this notion we define the incidence class of two orbits X and Y of a representation. We give a sufficient condition (positivity) for Y to have… ▽ More R. Rimányi defined the incidence class of two singularities X and Y as $[X]|_Y$, the restriction of the Thom polynomial of X to Y. He conjectured that (under mild conditions) the incidence is not zero if and only if Y is in the closure of X. Generalizing this notion we define the incidence class of two orbits X and Y of a representation. We give a sufficient condition (positivity) for Y to have the property that the incidence class $[X]|_Y$ is not zero if and only if Y is in the closure of X for any other orbit X. We show that for many interesting cases, e.g. the quiver representations of Dynkin type positivity holds for all orbits. In other words in these cases the incidence classes completely determine the hierarchy of the orbits. We also study the case of singularities where positivity doesn't hold for all orbits. △ Less

Submitted 25 May, 2007; originally announced May 2007.

Comments: 12 pages

MSC Class: 32S20

Journal ref: Central European Journal of Mathematics 7 (2009) no 3, 429-441

Line-graphs of cubic graphs are normal

Authors: Zsolt Patakfalvi

Abstract: A graph is called normal if its vertex set can be covered by cliques and also by stable sets, such that every such clique and stable set have non-empty intersection. This notion is due to Korner, who introduced the class of normal graphs as an extension of the class of perfect graphs. Normality has also relevance in information theory. Here we prove, that the line graphs of cubic graphs are norm… ▽ More A graph is called normal if its vertex set can be covered by cliques and also by stable sets, such that every such clique and stable set have non-empty intersection. This notion is due to Korner, who introduced the class of normal graphs as an extension of the class of perfect graphs. Normality has also relevance in information theory. Here we prove, that the line graphs of cubic graphs are normal. △ Less

Submitted 21 May, 2006; originally announced May 2006.

Comments: 16 pages, 10 figures

MSC Class: 05C75; 05C70; 05C17

Journal ref: Discrete Mathematics 308 (2008) 2351--2365