The Picard Rank of an Enriques Surface
In this note, we use crystalline methods and the Tate-conjecture to give a short proof that the Picard rank of an Enriques surface is equal to its second Betti number.
math.AG↗
arXiv subjects
Christian Liedtke
Publications and source records attributed to Christian Liedtke.
On the Birational Nature of Lifting
Let $X$ and $Y$ be proper birational varieties, say with only rational double points over a perfect field $k$ of positive characteristic. If $X$ lifts to $W_n(k)$, is it true that $Y$ has the same lifting property? This is true for smooth surfaces, but we show by example that this is false for smooth varieties in higher dimension, and for surfaces with canonical singularities. We also answer a stacky analogue of this question: given a canonical surface $X$ with minimal resolution $Y$ and stacky resolution $\mathcal{X}$, we characterize when liftability of $Y$ is equivalent to that of $\mathcal{X}$. The main input for our results is a study of how the deformation functor of a canonical surface singularity compares with the deformation functor of its minimal resolution. This extends work of Burns and Wahl to positive characteristic. As a byproduct, we show that Tjurina's vanishing result fails for every canonical surface singularity in every positive characteristic.
math.AG↗
Arithmetic Moduli and Lifting of Enriques Surfaces
We construct the moduli space of Enriques surfaces in positive characteristic and eventually over the integers, and determine its local and global structure. As an application, we show lifting of Enriques surfaces to characteristic zero. The key observation is that the canonical double cover of an Enriques surface is birational to the complete intersection of three quadrics in IP^5, even in characteristic 2.
math.AG↗
Algebraic Surfaces in Positive Characteristic
These notes are an introduction to and an overview of the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After some background in characteristic-p-geometry, we sketch the Kodaira-Enriques classification. Next, we turn to more special characteristic-p topics, and end by lifting results and applications to characteristic zero. We assume that the reader has a background in complex geometry and has seen the Kodaira-Enriques classification of complex surfaces before.
math.AG↗
The Canonical Map and Horikawa Surfaces in Positive Characteristic
We extend fundamental inequalities related to the canonical map of surfaces of general type to positive characteristic. Next, we classify surfaces on the Noether lines, i.e., even and odd Horikawa surfaces, in positive characteristic. We describe their moduli spaces and the subspaces formed by surfaces whose canonical maps are inseparable. Moreover, we compute their Betti-, deRham- and crystalline cohomology. Finally, we prove lifting to characteristic zero and show that the moduli spaces are topologically flat over the integers.
math.AG↗
Rational Curves on K3 Surfaces
We show that projective K3 surfaces with odd Picard rank contain infinitely many rational curves. Our proof extends the Bogomolov-Hassett-Tschinkel approach, i.e., uses moduli spaces of stable maps and reduction to positive characteristic.
math.AG↗
The p-torsion subgroup scheme of an elliptic curve
Let $k$ be a field of positive characteristic $p$. Question: Does every twisted form of $μ_p$ over $k$ occur as subgroup scheme of an elliptic curve over $k$? We show that this is true for most finite fields, for local fields and for fields of characteristic $p\leq11$. However, it is false in general for fields of characteristic $p\geq13$, which implies that there are also $p$-divisible and formal groups of height one over such fields that do not arise from elliptic curves. It also implies that the Hasse invariant does not obey the Hasse principle. Moreover, we also analyse twisted forms of $p$-torsion subgroup schemes of ordinary elliptic curves and the analogous questions for supersingular curves.
math.AG↗
Elliptic K3 surfaces with p^n-torsion sections
We classify elliptic K3 surfaces in characteristic $p$ with $p^n$-torsion sections. For $p^n\geq3$ we verify conjectures of Artin and Shioda, compute the heights of their formal Brauer groups, as well as Artin invariants and Mordell--Weil groups in the supersingular cases.
math.AG↗
The Neron model over the Igusa curves
We analyze the geometry of rational p-division points in degenerating families of elliptic curves in characteristic p. We classify the possible Kodaira symbols and determine for the Igusa moduli problem the reduction type of the universal curve. Special attention is paid to characteristic 2 and 3 where wild ramification and stacky phenomena show up.
math.AG↗
Birational modifications of surfaces via unprojections
We describe elementary transformations between minimal models of rational surfaces in terms of unprojections. These do not fit into the framework of Kustin-Miller unprojections as introduced by Papadakis and Reid, since we have to leave the world of projectively Gorenstein varieties. Also, our unprojections do not depend on the choice of the unprojection locus only, but need extra data corresponding to the choice of a divisor on this unprojection locus.
math.AG↗
Unirational Surfaces on the Noether Line
We show that among simply connected surfaces of general type unirationality is a common feature, even when fixing the positive characteristic or numerical invariants. To do so, we construct unirational Horikawa surfaces in abundance.
math.AG↗
A note on non-reduced Picard schemes
The Picard scheme of a smooth curve and a smooth complex variety is reduced. In this note we discuss which classes of surfaces in terms of the Enriques-Kodaira classification can have non-reduced Picard schemes and whether there are restrictions on the characteristic of the ground field. It turns out that non-reduced Picard schemes are uncommon in Kodaira dimension $κ\leq0$, that this phenomenon can be bounded for $κ=2$ (general type) and that it is as bad as can be in $κ=1$.
math.AG↗
Non-classical Godeaux Surfaces
A non-classical Godeaux surface is a minimal surface of general type with $χ=K^2=1$ but with $h^{01}\neq0$. We prove that such surfaces fulfill $h^{01}=1$ and they can exist only over fields of positive characteristic at most 5. Like non-classical Enriques surfaces they fall into two classes: the singular and the supersingular ones. We give a complete classification in characteristic 5 and compute their Hodge-, Hodge--Witt- and crystalline cohomology (including torsion). Finally, we give an example of a supersingular Godeaux surface in characteristic 5.
math.AG↗
Fundamental Groups of Galois Closures of Generic Projections
For the Galois closure $\Xgal$ of a generic projection from a surface $X$, it is believed that $π_1(\Xgal)$ gives rise to new invariants of $X$. However, in all examples this group is surprisingly simple. In this article, we offer an explanation for this phenomenon: We compute a quotient of $π_1(\Xgal)$ that depends on $π_1(X)$ and data from the generic projection only. In all known examples except one, this quotient is in fact isomorphic to $π_1(\Xgal)$. As a byproduct, we simplify part of the computations of Moishezon, Teicher and others.
math.AG↗
Algebraic Surfaces of General Type with Small c_1^2 in Positive Characteristic
We establish Noether's inequality for surfaces of general type in positive characteristic.Then we extend Enriques' and Horikawa's classification of surfaces on the Noether line, the so-called Horikawa surfaces. We construct examples for all possible numerical invariants and in arbitrary characteristic, where we need foliations and deformation techniques to handle characteristic 2. Finally, we show that Horikawa surfaces lift to characteristic zero.
math.AG↗
Natural Central Extensions of Groups
Given a group $G$ and an integer $n\geq2$ we construct a new group $\tilde{\cal K}(G,n)$. Although this construction naturally occurs in the context of finding new invariants for complex algebraic surfaces, it is related to the theory of central extensions and the Schur multiplier. A surprising application is that Abelian groups of odd order possess naturally defined covers that can be computed from a given cover by a kind of warped Baer sum.
math.GR↗
Uniruled Surfaces of General Type
We give a systematic construction of uniruled surfaces in positive characteristic. Using this construction, we find surfaces of general type with non-trivial vector fields, surfaces with arbitrarily non-reduced Picard schemes as well as surfaces with inseparable canonical maps. In particular, we show that some previously known pathologies are not sporadic but exist in abundance.
math.AG↗