arXiv subjects
Publications and source records attributed to Piotr Achinger.
We present some simple examples of smooth projective varieties in positive characteristic, arising from linear algebra, which do not admit a lifting neither to characteristic zero, nor to the ring of second Witt vectors. Our first construction is the blow-up of the graph of the Frobenius morphism of a homogeneous space. The second example is a blow-up of $\mathbb{P}^3$ in a 'purely characteristic-$p$' configuration of points and lines.
Let $H$ be a diagonalizable group over an algebraically closed field $k$ of positive characteristic, and $X$ a normal $k$-variety with an $H$-action. Under a mild hypothesis, e.g. $H$ a torus or $X$ quasiprojective, we construct a certain quotient log pair $(Y,Δ)$ and show that $X$ is F-split (F-regular) if and only if the pair $(Y,Δ)$ if F-split (F-regular). We relate splittings of $X$ compatible with $H$-invariant subvarieties to compatible splittings of $(Y,Δ)$, as well as discussing diagonal splittings of $X$. We apply this machinery to analyze the F-splitting and F-regularity of complexity-one $T$-varieties and toric vector bundles, among other examples.
A technical ingredient in Faltings' original approach to p-adic comparison theorems involves the construction of $K(π, 1)$-neighborhoods for a smooth scheme X over a mixed characteristic dvr with a perfect residue field: every point of X has an open neighborhood whose general fiber is a $K(π, 1)$ scheme (a notion analogous to having a contractible universal cover). We show how to extend this result to the logarithmically smooth case, which might help to simplify some proofs in p-adic Hodge theory. The main ingredient of the proof is a variant of a trick of Nagata used in his proof of the Noether Normalization Lemma.
For a reductive group G, the products of projective rational varieties homogeneous under G that are spherical for G have been classified by Stembridge. We consider the B-orbit closures in these spherical varieties and prove that under some mild restrictions they are normal, Cohen-Macaulay and have a rational resolution.
If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of invertible sheaves. We show that this property characterizes smooth projective toric varieties.
We give a new, shorter computation of Frobenius push-forwards of line bundles on toric varieties.
We generalize, explain and simplify Langer's results concerning Frobenius direct images of line bundles on quadrics, describing explicitly the decompositions of higher Frobenius push-forwards of arithmetically Cohen-Macaulay bundles into indecomposables, with an additional emphasis on the case of characteristic two. These results are applied to check which Frobenius push-forwards of the structure sheaf are tilting.