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 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 isolated quotient singularities by finite and linearly reductive group schemes (lrq singularities for short) and show that they satisfy many, but not all, of the known properties of finite quotient singularities in characteristic zero: (1) From the lrq singularity we can recover the group scheme and the quotient presentation. (2) We establish canonical lifts to characteristic zero, which leads to a bijection between lrq singularities and certain characteristic zero counterparts. (3) We classify subgroup schemes of ${\mathbf{GL}}_d$ and ${\mathbf{SL}}_d$ that correspond to lrq singularities. For $d=2$, this generalises results of Klein, Brieskorn, and Hashimoto. Also, our classification is closely related to the spherical space form problem. (4) F-regular (resp. F-regular and Gorenstein) surface singularities are precisely the lrq singularities by finite and linearly reductive subgroup schemes of ${\mathbf{GL}}_2$ (resp. ${\mathbf{SL}}_2$). This generalises results of Klein and Du Val. (5) Lrq singularities in dimension $\geq 4$ are infinitesimally rigid. We classify lrq singularities in dimension $3$ that are not infinitesimally rigid and compute their deformation spaces. This generalises Schlessinger's rigidity theorem to positive and mixed characteristic. Finally, we study Riemenschneider's conjecture in this context, that is, whether lrq singularities deform to lrq 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.