Related papers: Uniform bounds for strongly $F$-regular surfaces
In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then…
We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,\Delta)$ is plt if and only if the modulo $p$ reduction of $(X,\Delta)$ is…
We prove an analogue of Fujino and Mori's ``bounding the denominators'' in the log canonical bundle formula (see also Prokhorov and Shokurov) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a…
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…
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ be a normal projective surface over $k$ with canonical singularities whose anti-canonical divisor is nef and big. We prove that $X$ is globally $F$-regular except for…
Let $X$ be a generic determinantal affine variety over a perfect field of characteristic $p \geq 0$ and $P \subset X$ be a standard prime divisor generator of $\mathrm{Cl}(X) \cong \mathbb{Z}$. We prove that the pair $(X,P)$ is purely…
We show that if $(X,\Theta)$ is a PPAV over an algebraically closed field of characteristic $p>0$ and $D\in |m\Theta|$, then $(X,\frac 1 m D)$ is a limit of strongly $F$-regular pairs and in particular ${\rm mult}_x(D)\leq m\cdot \dim X$…
Let $f$ be a diagonal hypersurface in $A_p=\mathbb{F}_p[[x_1,\dots,x_n]]$. We study the behavior of the function $\phi_{f,p}({a}/{p^e})=p^{-ne}\dim_{\mathbb{F}_p}\big(A_p/(x_1^{p^e},\dots,x_n^{p^e},f^a)\big)$ which encodes information about…
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…
We prove that the Kawamata-Viehweg vanishing theorem holds for a log Calabi-Yau surface $(X, B)$ over an algebraically closed field of large characteristic when $B$ has standard coefficients.
We prove that every globally $F$-regular variety is log Fano. In other words, if a prime characteristic variety $X$ is globally $F$-regular, then it admits an effective $\bQ$-divisor $\Delta$ such that $-K_X - \Delta$ is ample and $(X,…
Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure…
We prove a boundedness result for klt pairs $(X,B)$ such that $K_X+B\equiv 0$ and $B$ is big. As a consequence we obtain a positive answer to the Effective Iitaka Fibration Conjecture for klt pairs with big boundary.
In this paper, we generalize the finiteness of models theorem in [BCHM06] to Kawamata log terminal pairs with fixed Kodaira dimension. As a consequence, we prove that a Kawamata log terminal pair with $\mathbb{R}-$boundary has a canonical…
We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove…
We give an alternative proof of a recent result by Pasquier stating that for a generalized flag variety $X=G/P$ and an effective $\mathbb{Q}$-divisor $D$ stable with respect to a Borel subgroup the pair $(X,D)$ is Kawamata log terminal if…
The weighted dual graph of a two-dimensional normal singularity $(X, x)$ represents the topological nature of the exceptional locus of its minimal log resolution. $(X, x)$ and its graph are said to be taut if the singularity can be uniquely…
In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…
Stable surfaces and their log analogues are the type of varieties naturally occuring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if $(X,\Delta)$ is a stable log…
We show that a plt surface singularity $(P\in X,B)$ is $F$-liftable if and only if it is $F$-pure and is not a rational double point of type $E_8^1$ in characteristic $p=5$. As a consequence, we prove the logarithmic extension theorem for…