Related papers: Frobenius liftable hypersurfaces
Let $X$ be a smooth scheme over a perfect field $k$ of positive characteristic. M.V.~Nori and V.~Srinivas studied infinitesimal liftings of Frobenius morphism $F:X\to X$. Namely, given a Frobenius lifting $F_Y: Y\to Y$ over $W_{n-1}(k)$ the…
We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is…
Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$ and $F_{X/k}:X\rightarrow X^{(1)}$ be the relative Frobenius morphism. Let $\mathfrak{M}^{s(ss)}_X(r,d)$ (resp.…
Let $X$ be a projective irreducible holomorphic symplectic manifold. We associate with any big $\mathbf{R}$-divisor $D$ on $X$ a convex polygon $\Delta_E^{\mathrm{num}}(D)$ of dimension 2, whose Euclidean volume is…
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…
I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…
Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…
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…
We adapt for algebraically closed fields $k$ of characteristic greater than $2$ two results of Voisin, on the decomposition of the diagonal of a smooth cubic hypersurface $X$ of dimension $3$ over $\mathbb C$, namely: the equivalence…
Let $X$ be a very general hypersurface of degree $d$ in the projective $(n+1)$-space with $n \ge 3$, and $f: X \to Y$ a non-birational surjective morphism to a normal projective variety $Y$. We first prove that $Y$ is a klt Fano variety if…
We show that if $G$ is a linear algebraic group over a number field and if $G$ is not a torus then for all but finitely many primes $p$ the $p$-adic completion of $G$ does not possess a Frobenius lift that is "Lie invariant mod $p$" (in the…
We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume…
We prove that a cyclic cover of a smooth complex projective variety is Brody hyperbolic if its branch divisor is a generic small deformation of a large enough multiple of a Brody hyperbolic base-point-free ample divisor. We also show the…
We explicitly compute canonical liftings modulo $p^2$ in a sense of Achinger--Zdanowicz of Dwork hypersurfaces. The computation involves studying a compatibility between Hodge filtrations and a crystalline Frobenius. In particular,…
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…
A smooth scheme $X$ over a field $k$ of positive characteristic is said to be strongly liftable over $W_2(k)$, if $X$ and all prime divisors on $X$ can be lifted simultaneously over $W_2(k)$. In this paper, we give a criterion for that…
The main aim of this article is to give new classes of smooth projective varieties over characteristic $p>0$ that admit flat liftings over the Witt vectors together with additional data (logarithmic structure and the Frobenius morphism) by…
Consider a finite morphism f:X -> Y of smooth projective varieties over a finite field k. Suppose X is the vanishing locus in projective N-space of at most r forms of degree at most d. We show there is a constant C, depending only on N, r,…
We establish a type of the Picard's theorem for entire curves in $P^n(\mathbb C)$ whose spherical derivative vanishes on the inverse images of hypersurface targets. Then, as a corollary, we prove that there is an union $D$ of finite number…
In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors…