Related papers: Frobenius liftable hypersurfaces
This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$…
Let $X$ be a smooth projective surface over an algebraically closed field $k$ of characteristic $p> 0$ with $\Omega_{X}^{1}$ semistable and $\mu(\Omega_{X}^{1})>0$. For any semistable (resp. stable) bundle $W$ of rank $r$, we prove that…
In this paper we show that quotients of smooth projective toric varieties by $\mu_p$ in positive characteristics $p$ are toric varieties.
We prove a precise version of a theorem of Siu and Beauville on morphisms to higher genus curves, and use it to show that if a variety $X$ in characteristic $p$ lifts to characteristic $0$, then any morphism $X \to C$ to a curve of genus $g…
In 1973 V.L.Popov classified affine SL(2)-embeddings. He proved that a locally transitive SL(2)-action on a normal affine three-dimensional variety X is uniquely determined by a pair (p/q, r), where 0<p/q<=1 is an uncancelled fraction and r…
We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective…
We study the algbraic dynamics for endomorphisms of projective spaces with coefficients in a p-adic field whose reduction in positive characteritic is the Frobenius. In particular, we prove a version of the dynamical Manin-Mumford…
We present an algebraic method to study four-dimensional toric varieties by lifting matrix equations from the special linear group ${\rm SL}_2({\mathbb Z})$ to its preimage in the universal cover of ${\rm SL}_2({\mathbb R})$. With this…
We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the…
I consider the problem of existence of intrinsic determinantal equations for plane projective curves and hypersurfaces in projective space and prove that in many cases of interest there exist intrinsic determinantal equations. In particular…
Let X be a smooth variety over a field k, and l be a prime number invertible in k. We study the (\'etale) unramified H^3 of X with coefficients Q_l/Z_l(2) in the style of Colliot-Th\'el\`ene and Voisin. If k is separably closed, finite or…
In this paper, we prove that a smooth projective variety $X$ of characteristic $p>0$ is an ordinary abelian variety if and only if $K_X$ is pseudo-effective and $F^e_*\mathcal O_X$ splits into a direct sum of line bundles for an integer $e$…
In algebraic geometry, theorems of K\"uronya and Lozovanu characterize the ampleness and the nefness of a Cartier divisor on a projective variety in terms of the shapes of its associated Okounkov bodies. We prove the analogous result in the…
Given a complex projective manifold $X$ and a divisor $D$ with normal crossings, we say that the logarithmic tangent bundle $T_X(-\log D)$ is R-flat if its pull-back to the normalization of any rational curve contained in $X$ is the trivial…
Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…
Theorem: If W is a smooth complex projective variety with h^1 (O-script_W) = 0, then a sufficiently ample smooth divisor X on W cannot be a hyperplane section of a Calabi-Yau variety, unless W is itself a Calabi-Yau. Corollary: A smooth…
Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…
We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…
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…
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective…