Showing 1–28 of 28 results for author: Witaszek, J

Higher F-injective singularities

Authors: Tatsuro Kawakami, Jakub Witaszek

Abstract: We introduce the concept of higher $F$-injectivity, a generalisation of $F$-injectivity. We prove that an isolated singularity over a field of characteristic zero is $k$-Du Bois if it is $k$-$F$-injective after reductions modulo infinitely many primes $p$. Under the ordinarity conjecture, we also establish the converse. As an application, we study Frobenius liftable hypersurfaces. We introduce the concept of higher $F$-injectivity, a generalisation of $F$-injectivity. We prove that an isolated singularity over a field of characteristic zero is $k$-Du Bois if it is $k$-$F$-injective after reductions modulo infinitely many primes $p$. Under the ordinarity conjecture, we also establish the converse. As an application, we study Frobenius liftable hypersurfaces. △ Less

Submitted 11 December, 2024; originally announced December 2024.

Comments: 47 pages

MSC Class: 13A35; 14F10; 14B05

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

Quasi-F-splittings in birational geometry III

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: We prove that $\mathbb Q$-Gorenstein quasi-$F$-regular singularities are klt. To this end, we shall introduce quasi-test ideals. We prove that $\mathbb Q$-Gorenstein quasi-$F$-regular singularities are klt. To this end, we shall introduce quasi-test ideals. △ Less

Submitted 4 August, 2024; originally announced August 2024.

Comments: 117 pages

MSC Class: 14E30; 13A35

Quasi-$F^e$-splittings and quasi-$F$-regularity

Authors: Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko

Abstract: We develop the theory of quasi-$F^e$-splittings, quasi-$F$-regularity, and quasi-$+$-regularity. We develop the theory of quasi-$F^e$-splittings, quasi-$F$-regularity, and quasi-$+$-regularity. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 90 pages. arXiv admin note: text overlap with arXiv:2208.08016

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

Quasi-F-splittings in birational geometry II

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal. △ Less

Submitted 20 April, 2024; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: 81 pages, typos in Notation 6.1 corrected, final version, to appear in Proceedings of the London Mathematical Society

MSC Class: 14E30; 13A35

Quasi-F-splittings in birational geometry

Authors: Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, Shou Yoshikawa

Abstract: We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so… ▽ More We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher Cartier operator. As one of the applications of our theory, we prove that three-dimensional klt singularities in large characteristic are quasi-$F$-split, and so, in particular, they lift modulo $p^2$. △ Less

Submitted 3 October, 2024; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: 84 pages

MSC Class: 14E30; 13A35

Lifting globally $F$-split surfaces to characteristic zero

Authors: Fabio Bernasconi, Iacopo Brivio, Tatsuro Kawakami, Jakub Witaszek

Abstract: We prove that every globally $F$-split surface admits an equisingular lifting over the ring of Witt vectors. We prove that every globally $F$-split surface admits an equisingular lifting over the ring of Witt vectors. △ Less

Submitted 9 August, 2024; v1 submitted 3 May, 2022; originally announced May 2022.

Comments: v3: 53 pages, improved proofs and exposition. To appear in Crelle

Relative semiampleness in mixed characteristic

Authors: Jakub Witaszek

Abstract: We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology. We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology. △ Less

Submitted 10 June, 2021; originally announced June 2021.

The Du Bois complex of a hypersurface and the minimal exponent

Authors: Mircea Mustata, Sebastian Olano, Mihnea Popa, Jakub Witaszek

Abstract: We study the Du Bois complex $\underlineΩ_Z^\bullet$ of a hypersurface $Z$ in a smooth complex algebraic variety in terms its minimal exponent $\widetildeα(Z)$. The latter is an invariant of singularities, defined as the negative of the greatest root of the reduced Bernstein-Sato polynomial of $Z$, and refining the log canonical threshold. We show that if $\widetildeα(Z)\geq p+1$, then the canonic… ▽ More We study the Du Bois complex $\underlineΩ_Z^\bullet$ of a hypersurface $Z$ in a smooth complex algebraic variety in terms its minimal exponent $\widetildeα(Z)$. The latter is an invariant of singularities, defined as the negative of the greatest root of the reduced Bernstein-Sato polynomial of $Z$, and refining the log canonical threshold. We show that if $\widetildeα(Z)\geq p+1$, then the canonical morphism $Ω_Z^p\to \underlineΩ_Z^p$ is an isomorphism, where $\underlineΩ_Z^p$ is the $p$-th associated graded piece of the Du Bois complex with respect to the Hodge filtration. On the other hand, if $Z$ is singular and $\widetildeα(Z)>p\geq 2$, we obtain non-vanishing results for some of the higher cohomologies of $\underlineΩ_Z^{n-p}$. △ Less

Submitted 4 July, 2022; v1 submitted 3 May, 2021; originally announced May 2021.

Comments: 18 pages, v.2 : Lemma 2.1 was added and an argument in the proof of Theorem 1.1 was fixed, v.3: improved exposition, final version, to appear in Duke Math. J

MSC Class: 14F10; 14F17; 14B05; 32S35

Resolution and alteration with ample exceptional divisor

Authors: János Kollár, Jakub Witaszek

Abstract: In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities. In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities. △ Less

Submitted 5 February, 2021; originally announced February 2021.

Global Frobenius Liftability II: Surfaces and Fano Threefolds

Authors: Piotr Achinger, Jakub Witaszek, Maciej Zdanowicz

Abstract: In this article, a sequel to "Global Frobenius Liftability I" (math:1708:03777v2), we continue the development of a comprehensive theory of Frobenius liftings modulo $p^2$. We study compatibility of divisors and closed subschemes with Frobenius liftings, Frobenius liftings of blow-ups, descent under quotients by some group actions, stability under base change, and the properties of associated F-sp… ▽ More In this article, a sequel to "Global Frobenius Liftability I" (math:1708:03777v2), we continue the development of a comprehensive theory of Frobenius liftings modulo $p^2$. We study compatibility of divisors and closed subschemes with Frobenius liftings, Frobenius liftings of blow-ups, descent under quotients by some group actions, stability under base change, and the properties of associated F-splittings. Consequently, we characterise Frobenius liftable surfaces and Fano threefolds, confirming the conjecture stated in our previous paper. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: 24 pages. Comments welcome! This is the second part of the paper arXiv:1708.03777 which was split off the original article "Liftability of the Frobenius morphism and images of toric varieties" in the review process and then revised

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

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

Tamely ramified morphisms of curves and Belyi's theorem in positive characteristic

Authors: Kiran S. Kedlaya, Daniel Litt, Jakub Witaszek

Abstract: We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. △ Less

Submitted 2 October, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 23 pages, comments welcome; accepted to IMRN

MSC Class: 14G17

On the relative Minimal Model Program for fourfolds in positive and mixed characteristic

Authors: Christopher Hacon, Jakub Witaszek

Abstract: We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the minimal model program, and that… ▽ More We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the minimal model program, and that liftability of three-dimensional Calabi-Yau varieties is a birational invariant. Our results are partially contingent upon the existence of log resolutions. △ Less

Submitted 16 August, 2021; v1 submitted 5 September, 2020; originally announced September 2020.

Comments: A significantly changed version with the mixed characteristic case, and applications thereof, added. 38 pages

Keel's base point free theorem and quotients in mixed characteristic

Authors: Jakub Witaszek

Abstract: We develop techniques of mimicking the Frobenius action in the study of universal homeomorphisms in mixed characteristic. As a consequence, we show a mixed characteristic Keel's base point free theorem obtaining applications towards the mixed characteristic Minimal Model Program, we generalise Kollár's theorem on the existence of quotients by finite equivalence relations to mixed characteristic, a… ▽ More We develop techniques of mimicking the Frobenius action in the study of universal homeomorphisms in mixed characteristic. As a consequence, we show a mixed characteristic Keel's base point free theorem obtaining applications towards the mixed characteristic Minimal Model Program, we generalise Kollár's theorem on the existence of quotients by finite equivalence relations to mixed characteristic, and we provide a new proof of the existence of quotients by affine group schemes. △ Less

Submitted 23 January, 2022; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 46 pages, to appear in Annals of Mathematics

The Minimal Model Program for threefolds in characteristic five

Authors: Christopher Hacon, Jakub Witaszek

Abstract: We show the validity of the Minimal Model Program for threefolds in characteristic five. We show the validity of the Minimal Model Program for threefolds in characteristic five. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: 36 pages

MSC Class: 14E30; 14J17; 13A35

An analog of adjoint ideals and PLT singularities in mixed characteristic

Authors: Linquan Ma, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them… ▽ More We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristic. We also use our theory to prove that two-dimensional KLT singularities are BCM-regular if the residue characteristic $p>5$, which implies an inversion of adjunction for three-dimensional PLT pairs of residue characteristic $p>5$. In particular, divisorial centers of PLT pairs in dimension three are normal when $p > 5$. Furthermore, in the appendix we provide a streamlined construction of perfectoid big Cohen-Macaulay algebras and show new functoriality properties for them using the perfectoidization functor of Bhatt and Scholze. △ Less

Submitted 15 May, 2022; v1 submitted 31 October, 2019; originally announced October 2019.

Comments: Missing hypothesis on residue characteristic added to Theorem 5.1

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

Journal ref: J. Algebraic Geom. 31 (2022), 497-559

On the relative Minimal Model Program for threefolds in low characteristics

Authors: Christopher Hacon, Jakub Witaszek

Abstract: We show the validity of the relative dlt MMP over Q-factorial threefolds in all characteristics p>0. As a corollary, we generalise many recent results to low characteristics including: $W\mathcal{O}$-rationality of klt singularities, inversion of adjunction, and normality of divisorial centres up to a universal homeomorphism. We show the validity of the relative dlt MMP over Q-factorial threefolds in all characteristics p>0. As a corollary, we generalise many recent results to low characteristics including: $W\mathcal{O}$-rationality of klt singularities, inversion of adjunction, and normality of divisorial centres up to a universal homeomorphism. △ Less

Submitted 6 March, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: Theorem 1.6, Corollary 1.7, and Proposition 6.3 removed due to issues with the proofs

MSC Class: 14E30; 14J17; 13A35

On the canonical bundle formula and log abundance in positive characteristic

Authors: Jakub Witaszek

Abstract: We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing conjecture for three-dimensional klt pairs over any algebraically closed field $k$ of characteristic $p>5$. We also show the log abundance conjecture for threefolds… ▽ More We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing conjecture for three-dimensional klt pairs over any algebraically closed field $k$ of characteristic $p>5$. We also show the log abundance conjecture for threefolds over $k$ when the nef dimension is not maximal, and the base point free theorem for threefolds over the algebraic closure of any finite field of characteristic $p>2$. △ Less

Submitted 10 April, 2018; v1 submitted 12 November, 2017; originally announced November 2017.

Comments: 33 pages; the article has been substantially changed and the results are stronger: we now show log non-vanishing for all three-dimensional klt pairs of characteristic $p>5$, and log abundance when the nef dimension is not maximal. Further, we corrected a mistake in Lemma 4.3(1) (now Lemma 5.1(1)): the effectivity of adjoint divisors on surfaces holds only up to numerical equivalence

MSC Class: 14E30; 14E05

Global Frobenius Liftability I

Authors: Piotr Achinger, Jakub Witaszek, Maciej Zdanowicz

Abstract: We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite étale cover, admit a toric fibration over an ordinary abelian variety. We prove that this assertion implies a conjecture of Occhetta and Wiśniewski, which states that in characteristic zero a smooth image… ▽ More We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite étale cover, admit a toric fibration over an ordinary abelian variety. We prove that this assertion implies a conjecture of Occhetta and Wiśniewski, which states that in characteristic zero a smooth image of a projective toric variety is a toric variety. To this end we analyse the behaviour of toric varieties in families showing some generization and specialization results. Furthermore, we prove a positive characteristic analogue of Winkelmann's theorem on varieties with trivial logarithmic tangent bundle (generalising a result of Mehta-Srinivas), and thus obtaining an important special case of our conjecture. Finally, using deformations of rational curves we verify our conjecture for homogeneous spaces, solving a problem posed by Buch-Thomsen-Lauritzen-Mehta. △ Less

Submitted 5 February, 2021; v1 submitted 12 August, 2017; originally announced August 2017.

Comments: 33 pages, 2 figures. The article "Liftability of the Frobenius morphism and images of toric varieties" has been split into two parts, under new titles (Part II titled "Global Frobenius Liftability II: Surfaces and Fano Threefolds" is available as a separate arXiv submission arXiv:2102.02788). To appear in JEMS

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

On the rationality of Kawamata log terminal singularities in positive characteristic

Authors: Christopher Hacon, Jakub Witaszek

Abstract: We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay. We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay. △ Less

Submitted 17 July, 2017; v1 submitted 10 June, 2017; originally announced June 2017.

Comments: An example, by Takehiko Yasuda, of a non-Cohen-Macaulay quotient klt singularity for any p>2 has been added. Some small changes are introduced. Please note, that being Cohen-Macaulay is now a part of the definition of rational singularities

MSC Class: 14E30; 14J17; 13A35

On base point free theorem and Mori dream spaces for log canonical threefolds over the algebraic closure of a finite field

Authors: Yusuke Nakamura, Jakub Witaszek

Abstract: The authors and D. Martinelli proved the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field. In this paper, we drop the bigness condition when the characteristic is larger than five. Additionally, we discuss Mori dream spaces defined over the algebraic closure of a finite field. The authors and D. Martinelli proved the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field. In this paper, we drop the bigness condition when the characteristic is larger than five. Additionally, we discuss Mori dream spaces defined over the algebraic closure of a finite field. △ Less

Submitted 20 March, 2016; originally announced March 2016.

Comments: 12 pages

MSC Class: 14E30 (Primary); 14C20 (Secondary)

On log del Pezzo surfaces in large characteristic

Authors: Paolo Cascini, Hiromu Tanaka, Jakub Witaszek

Abstract: We show that any Kawamata log terminal del Pezzo surface over an algebraically closed field of large characteristic is globally F-regular or it admits a log resolution which is liftable to characteristic zero. As a consequence, we prove the Kawamata-Viehweg vanishing theorem for klt del Pezzo surfaces of large characteristic. We show that any Kawamata log terminal del Pezzo surface over an algebraically closed field of large characteristic is globally F-regular or it admits a log resolution which is liftable to characteristic zero. As a consequence, we prove the Kawamata-Viehweg vanishing theorem for klt del Pezzo surfaces of large characteristic. △ Less

Submitted 16 November, 2016; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: v2: final version. To appear in Compositio Mathematica

MSC Class: 14E30; 14F17; 13A35

Journal ref: Compositio Math. 153 (2017) 820-850

Klt del Pezzo surfaces which are not globally F-split

Authors: Paolo Cascini, Hiromu Tanaka, Jakub Witaszek

Abstract: We construct a klt del Pezzo surface which is not globally F-split, over any algebraically closed field of positive characteristic. We construct a klt del Pezzo surface which is not globally F-split, over any algebraically closed field of positive characteristic. △ Less

Submitted 14 January, 2016; originally announced January 2016.

Comments: 18 pages

MSC Class: 14E30; 13A35

Effective bounds on singular surfaces in positive characteristic

Authors: Jakub Witaszek

Abstract: Using the theory of Frobenius singularities, we show that 13mK_X + 45mA is very ample for an ample Cartier divisor A on a Kawamata log terminal surface X with Gorenstein index m, defined over an algebraically closed field of characteristic p>5. Using the theory of Frobenius singularities, we show that 13mK_X + 45mA is very ample for an ample Cartier divisor A on a Kawamata log terminal surface X with Gorenstein index m, defined over an algebraically closed field of characteristic p>5. △ Less

Submitted 27 October, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: v3: some proofs simplified and shortened (thanks to the referee), to appear in the Michigan Mathematical Journal

MSC Class: 14E30; 13A35; 14B05; 14F17

On base point free theorem for log canonical threefolds over the algebraic closure of a finite field

Authors: Diletta Martinelli, Yusuke Nakamura, Jakub Witaszek

Abstract: We prove the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field. We prove the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field. △ Less

Submitted 24 May, 2015; v1 submitted 19 July, 2014; originally announced July 2014.

Comments: 20 pages. This is the final version, incorporating the referee's suggestions

Journal ref: Algebra Number Theory 9 (2015) 725-747

The degeneration of the Grassmannian into a toric variety and the calculation of the eigenspaces of a torus action

Authors: Jakub Witaszek

Abstract: Using the method of degenerating a Grassmannian into a toric variety, we calculate recursive formulas for the dimensions of the eigenspaces of the action of an n-dimensional torus on a Grassmannian of planes in an n-dimensional space. In order to verify our result we compare it with the polynomial describing the Euler characteristic of invertible sheaves on a projective space with four blown-up po… ▽ More Using the method of degenerating a Grassmannian into a toric variety, we calculate recursive formulas for the dimensions of the eigenspaces of the action of an n-dimensional torus on a Grassmannian of planes in an n-dimensional space. In order to verify our result we compare it with the polynomial describing the Euler characteristic of invertible sheaves on a projective space with four blown-up points. △ Less

Submitted 17 September, 2012; originally announced September 2012.

Comments: 21 pages, 4 figures