A note on the supersingular K3 surface of Artin invariant 1
We prove that the supersingular K3 surface of Artin invariant 1 in characteristic p (where p denotes an arbitrary prime) admits a model over IF_p with Picard number 21.
math.AG↗
arXiv subjects
Matthias Schuett
Publications and source records attributed to Matthias Schuett.
Enriques Surfaces - Brauer groups and Kummer structures
This paper develops families of complex Enriques surfaces whose Brauer groups pull back identically to zero on the covering K3 surfaces. Our methods rely on isogenies with Kummer surfaces of product type. We offer both lattice theoretic and geometric constructions. We also sketch how the construction connects to string theory and Picard-Fuchs equations in the context of Enriques Calabi-Yau threefolds.
math.AG↗
On the uniqueness of elliptic K3 surfaces with maximal singular fibre
We explicitly determine the elliptic K3 surfaces with a maximal singular fibre. If the characteristic of the ground field is different from 2, for each of the two possible maximal fibre types, $I_{19}$ and $I^*_{14}$, the surface is unique. In characteristic 2 the maximal fibre types are $I_{18}$ and $I^*_{13}$, and there exist two (resp. one) one-parameter families of such surfaces.
math.AG↗
Arithmetic of singular Enriques Surfaces
We study the arithmetic of Enriques surfaces whose universal covers are singular K3 surfaces. If a singular K3 surface X has discriminant d, then it has a model over the ring class field d. Our main theorem is that the same holds true for any Enriques quotient of X. It is based on a study on Neron-Severi groups of singular K3 surfaces. We also comment on Galois actions on divisors of Enriques surfaces.
math.AG↗
Non-liftable Calabi-Yau spaces
We construct many new non-liftable three-dimensional Calabi-Yau spaces in positive characteristic. The technique relies on lifting a nodal model to a smooth rigid Calabi-Yau space over some number field as introduced by the first author and D. van Straten.
math.AG↗
Lifts of projective congruence groups
We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level N>2, and they exist in many cases also for Gamma_0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the same spaces of cusp forms for all even weights whereas the spaces of cusp forms of odd weights are distinct in general. We make some initial observations on this phenomenon for weight 3 via geometric considerations of the attached elliptic modular surfaces. We also develop algorithms that construct all subgroups projectively equivalent to a given congruence subgroup and decides which of them are congruence. A crucial tool in this is the generalized level concept of Wohlfahrt.
math.NT↗
Elliptic Surfaces
This survey paper concerns elliptic surfaces with section. We give a detailed overview of the theory including many examples. Emphasis is placed on rational elliptic surfaces and elliptic K3 surfaces. To this end, we particularly review the theory of Mordell-Weil lattices and address arithmetic questions.
math.AG↗
Enriques Surfaces and jacobian elliptic K3 surfaces
This paper proposes a new geometric construction of Enriques surfaces. Its starting point are K3 surfaces with jacobian elliptic fibration which arise from rational elliptic surfaces by a quadratic base change. The Enriques surfaces obtained in this way are characterised by elliptic fibrations with a rational curve as bisection which splits into two sections on the covering K3 surface. The construction has applications to the study of Enriques surfaces with specific automorphisms. It also allows us to answer a question of Beauville about Enriques surfaces whose Brauer groups show an exceptional behaviour. In a forthcoming paper, we will study arithmetic consequences of our construction.
math.AG↗
K3 surfaces with Picard rank 20
We determine all complex K3 surfaces with Picard rank 20 over Q. Here the Neron-Severi group has rank 20 and is generated by divisors which are defined over Q. Our proof uses modularity, the Artin-Tate conjecture and class group theory. With different techniques, the result has been established by Elkies to show that Mordell-Weil rank 18 over Q is impossible for an elliptic K3 surface. We then apply our methods to general singular K3 surfaces, i.e. with Neron-Severi group of rank 20, but not necessarily generated by divisors over Q.
math.NT↗
The modularity of K3 surfaces with non-symplectic group actions
We consider complex K3 surfaces with a non-symplectic group acting trivially on the algebraic cycles. Vorontsov and Kondo classified those K3 surfaces with transcendental lattice of minimal rank. The purpose of this note is to study the Galois representations associated to these K3 surfaces. The rank of the transcendental lattices is even and varies from 2 to 20, excluding 8 and 14. We show that these K3 surfaces are dominated by Fermat surfaces, and hence they are all of CM type. We will establish the modularity of the Galois representations associated to them. Also we discuss mirror symmetry for these K3 surfaces in the sense of Dolgachev, and show that a mirror K3 surface exists with one exception.
math.AG↗
Lines on Fermat surfaces
We prove that the Neron-Severi groups of several complex Fermat surfaces are generated by lines. Specifically, we obtain these new results for all degrees up to 100 that are relatively prime to 6. The proof uses reduction modulo a supersingular prime. The techniques are developed in detail. They can be applied to other surfaces and varieties as well.
math.AG↗
K3 surfaces with non-symplectic automorphisms of 2-power order
This paper concerns complex algebraic K3 surfaces with an automorphism which acts trivially on the Neron-Severi group. Complementing a result by Vorontsov and Kondo, we determine those K3 surfaces where the order of the automorphism is a 2-power and equals the rank of the transcendental lattice. We also study the arithmetic of these K3 surfaces and comment on mirror symmetry
math.AG↗
Arithmetic of a singular K3 surface
This paper is concerned with the arithmetic of the elliptic K3 surface with configuration [1,1,1,12,3*]. We determine the newforms and zeta-functions associated to X and its twists. We verify conjectures of Tate and Shioda for the reductions of X at 2 and 3.
math.NT↗
CM newforms with rational coefficients
We classify newforms with rational Fourier coefficients and complex multiplication for fixed weight up to twisting. Under the extended Riemann hypothesis for odd real Dirichlet characters, these newforms are finite in number. We produce tables for weights 3 and 4, where finiteness holds unconditionally.
math.NT↗
Arithmetic of K3 surfaces
We review recent developments in the arithmetic of K3 surfaces. Our focus lies on aspects of modularity, Picard number and rational points. Throughout we emphasise connections to geometry.
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↗
Generalised Kummer constructions and Weil restrictions
We use a generalised Kummer construction to realise all but one known weight four newforms with complex multiplication and rational Fourier coefficients in smooth Calabi-Yau threefolds defined over the rational numbers. The Calabi-Yau manifolds are smooth models of quotients of the Weil restrictions of elliptic curves with CM of class number three.
math.AG↗
On Davenport-Stothers inequalities and elliptic surfaces in positive characteristic
We show that the Davenport-Stothers inequality from characteristic 0 fails in any characteristic p>3. The proof uses elliptic surfaces over the projective line and inseparable base change. We then present adjusted inequalities. These follow from results of Pesenti-Szpiro. For characteristic 2 and 3, we achieve a similar result in terms of the maximal singular fibres of elliptic surfaces over the projective line. Our ideas are also related to supersingular surfaces (in Shioda's sense).
math.NT↗