Searcharxiv⌕ Search

arXiv subjects

Jakub Witaszek

Publications and source records attributed to Jakub Witaszek.

35 records · Page 2Linked to original sources
arXiv2022

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

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.

math.AG↗
arXiv2021

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

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.

math.AG↗
arXiv2021

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

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.

math.AG↗
arXiv2021

Relative semiampleness in mixed characteristic

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.

math.AG↗
arXiv2021

Global Frobenius Liftability I

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.

math.AG↗
arXiv2021

Resolution and alteration with ample exceptional divisor

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.

math.AG↗
arXiv2021

Global Frobenius Liftability II: Surfaces and Fano Threefolds

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.

math.AG↗
arXiv2020

On the relative Minimal Model Program for threefolds in low characteristics

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.

math.AG↗
arXiv2018

On the canonical bundle formula and log abundance in positive characteristic

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$.

math.AG↗
arXiv2016

On log del Pezzo surfaces in 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.

math.AG↗
arXiv2016

On base point free theorem and Mori dream spaces for log canonical threefolds 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.

math.AG↗
arXiv2012

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

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.

math.AG↗