arXiv subjects
Publications and source records attributed to Gebhard Martin.
Extending Enriques' characterization to algebraically closed fields of characteristic $p \geq 7$, we show that every smooth projective surface $X$ with $h^1(X, \mathcal{O}_X) = 2$ and $p_1(X) = p_2(X) = 1$ is birational to an Abelian surface. This characterization fails if $p \leq 5$, and we give a sharp alternative.
We give a proof of the Morrison-Kawamata cone conjecture for Enriques surfaces independent of their characteristic. It is based on the analysis of certain generically finite morphisms of degree two.
For an even, integral hyperbolic lattice $L$, the symmetry group of $L$ is the quotient of the group of isometries of $L$ by the Weyl subgroup of $(-2)$-reflections. Following Nikulin, the exceptional lattice of $L$ is defined as the sublattice generated by elements that have finite orbit under the symmetry group of $L$. We prove that every hyperbolic lattice of rank at least $46$ has trivial exceptional lattice. In particular, every such lattice admits a symmetry of maximal Salem degree.
In this expository article, we prove a birational classification of smooth projective models of surfaces with negative Kodaira dimension over $\mathbb{Z}$ and over more general rings of integers $\mathcal{O}_K$, depending on their arithmetic and cohomological invariants. Along the way we collect some results on smooth projective models of surfaces over Dedekind domains.
Lehmer's number $\lambda_{10}$ is the smallest dynamical degree greater than $1$ that can occur for an automorphism of an algebraic surface. We show that $\lambda_{10}$ cannot be realized by automorphisms of Enriques surfaces in odd characteristic, extending a result of Oguiso over the complex numbers. In contrast, we prove that in characteristic $2$ there exists a unique Enriques surface that admits an automorphism with dynamical degree $\lambda_{10}$. We also provide explicit equations for the surface as well as for all conjugacy classes of automorphisms that realize $\lambda_{10}$.
Using Fedder's criterion, we classify all non-$F$-split del Pezzo surfaces of degree $1$. We give a necessary and sufficient criterion for the $F$-splitting of such del Pezzo surfaces in terms of their anti-canonical system.
We classify Enriques surfaces of zero entropy, or, equivalently, Enriques surfaces with a virtually abelian automorphism group.
We show that every classical Enriques surface containing a smooth rational curve is a Reye congruence.
We prove several boundedness statements for geometrically integral normal del Pezzo surfaces $X$ over arbitrary fields. We give an explicit sharp bound on the irregularity if $X$ is canonical or regular. In particular, we show that wild canonical del Pezzo surfaces exist only in characteristic 2. As an application, we deduce that canonical del Pezzo surfaces form a bounded family over $\mathbb{Z}$, generalising work of Tanaka. More generally, we prove the BAB conjecture on the boundedness of $\varepsilon$-klt del Pezzo surfaces over arbitrary fields of characteristic different from 2, 3, and 5.
We complete the classification of automorphism groups of del Pezzo surfaces over algebraically closed fields of odd positive characteristic.
We classify the automorphism groups of del Pezzo surfaces of degrees one and two over an algebraically closed field of characteristic two. This finishes the classification of automorphism groups of del Pezzo surfaces in all characteristics.
We find normal forms for del Pezzo surfaces of degree $2$ over algebraically closed fields of characteristic $2$. For each normal form, we describe the structure of the group of automorphisms of the surface. In particular, we classify all finite groups that can act on such del Pezzo surfaces.
We give several results concerning the connected component ${\rm Aut}_X^0$ of the automorphism scheme of a proper variety $X$ over a field, such as its behaviour with respect to birational modifications, normalization, restrictions to closed subschemes and deformations. Then, we apply our results to study the automorphism scheme of not necessarily Jacobian elliptic surfaces $f: X \to C$ over algebraically closed fields, generalizing work of Rudakov and Shafarevich, while giving counterexamples to some of their statements. We bound the dimension $h^0(X,T_X)$ of the space of global vector fields on an elliptic surface $X$ if the generic fiber of $f$ is ordinary or if $f$ admits no multiple fibers, and show that, without these assumptions, the number $h^0(X,T_X)$ can be arbitrarily large for any base curve $C$ and any field of positive characteristic. If $f$ is not isotrivial, we prove that ${\rm Aut}_X^0 \cong μ_{p^n}$ and give a bound on $n$ in terms of the genus of $C$ and the multiplicity of multiple fibers of $f$. As a corollary, we re-prove the non-existence of global vector fields on K3 surfaces and calculate the connected component of the automorphism scheme of a generic supersingular Enriques surface in characteristic $2$. Finally, we present additional results on horizontal and vertical group scheme actions on elliptic surfaces which can be applied to determine ${\rm Aut}_X^0$ explicitly in many concrete cases.
We classify RDP del Pezzo surfaces with global vector fields over arbitrary algebraically closed fields of characteristic $p \neq 2$. In characteristic $0$, every RDP del Pezzo surface $X$ is equivariant, that is, ${\rm Aut}_X = {\rm Aut}_{\widetilde{X}}$, where $\widetilde{X}$ is the minimal resolution of $X$, hence the classification of RDP del Pezzo surfaces with global vector fields is equivalent to the classification of weak del Pezzo surfaces with global vector fields. In this article, we show that if $p \neq 2,3,5,7$, then it is still true that every RDP del Pezzo surface is equivariant. We classify the non-equivariant RDP del Pezzo surfaces in characteristic $p = 3,5,7$, giving explicit equations for every such RDP del Pezzo surface in all possible degrees. As an application, we construct regular non-smooth RDP del Pezzo surfaces over imperfect fields of characteristic $7$, thereby showing that the known bound $p \leq 7$ for the characteristics, where such a surface can exist, is sharp.
We classify all non-extendable 3-sequences of half-fibers on Enriques surfaces. If the characteristic is different from 2, we prove in particular that every Enriques surface admits a 4-sequence, which implies that every Enriques surface is the minimal desingularization of an Enriques sextic, and that every Enriques surface is birational to a Castelnuovo quintic.
We refine Cossec and Dolgachev's classification of extra-special Enriques surfaces, providing a complete and concise proof.
We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonn\'e module of the (loc,loc)-part $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ computable. Together with the class group and the abelianised local \'etale fundamental group, $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ completely describes the finite abelian torsors over $X\setminus\{x\}$. We compute $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ for every rational double point singularity, which complements results of Artin and Lipman, who determined ${\pi_{\mathrm{loc}}^{\mathrm{et}}}(X)$ and ${\rm Cl}(X)$. All three objects turn out to be finite. We extend the Flenner--Mumford criterion for smoothness of a normal surface germ $x \in X$ to perfect fields of positive characteristic, generalising work of Esnault and Viehweg: If $k$ is algebraically closed, then $X$ is smooth if and only if $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$, ${\pi_{\mathrm{loc}}^{\mathrm{et}}}(X)$, and ${\rm Cl}(X)$ are trivial. Finally, we study the question whether rational double point singularities are quotient singularities by group schemes and if so, whether the group scheme is uniquely determined by the singularity. We give complete answers to both questions, except for some $D_n^r$-singularities in characteristic $2$. In particular, we will give examples of (F-injective) rational double points that are not quotient singularities.
We study the groups of automorphisms of rational algebraic surfaces that admit a relatively minimal pencil of curves of arithmetic genus one over an algebraically closed field of arbitrary characteristic. In particular, we classify such surfaces that admit non-trivial automorphisms that act trivially on the Picard group. As an application, we classify classical Enriques surfaces in characteristic $2$ that admit non-trivial numerically trivial automorphisms.