Rational double points on Enriques surfaces
We classify, up to some lattice-theoretic equivalence, all possible configurations of rational double points that can appear on a surface whose minimal resolution is a complex Enriques surface.
Discover
Research tools
Network
Opportunities
Account
Source author record
Ichiro Shimada appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We classify, up to some lattice-theoretic equivalence, all possible configurations of rational double points that can appear on a surface whose minimal resolution is a complex Enriques surface.
Let Y be a complex Enriques surface whose universal cover X is birational to a general quartic Hessian surface. Using the result on the automorphism group of X due to Dolgachev and Keum, we obtain a finite presentation of the automorphism group of Y. A fundamental domain of the action of the automorphism group on the nef cone of Y is described explicitly. The list of elliptic fibrations on Y and the list of combinations of rational double points that can appear on a surface birational to Y are presented. As an application, a set of generators of the automorphism group of the generic Enriques surface is calculated explicitly.
We classify Enriques involutions on a K3 surface, up to conjugation in the automorphism group, in terms of lattice theory. We enumerate such involutions on singular K3 surfaces with transcendental lattice of discriminant smaller than or equal to 36. For 11 of these K3 surfaces, we apply Borcherds method to compute the automorphism group of the Enriques surfaces covered by them. In particular, we investigate the structure of the two most algebraic Enriques surfaces.
Using the theory of holes of the Leech lattice and Borcherds method for the computation of the automorphism group of a K3 surface, we give an effective bound for the set of isomorphism classes of projective models of fixed degree for certain K3 surfaces.
We give a defining equation of a complex smooth quartic surface containing 56 lines, and investigate its reductions to positive characteristics. This surface is isomorphic to the complex Fermat quartic surface, which contains only 48 lines. We give the isomorphism explicitly.
Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural homomorphism from the automorphism group of X to the orthogonal group of the Néron-Severi lattice of X. We then apply this algorithm to certain complex K3 surfaces, among which are singular K3 surfaces whose transcendental lattices are of small discriminants.
We present a method to generate many automorphisms of a supersingular K3 surface in odd characteristic. As an application, we show that, if p is an odd prime less than or equal to 7919, then every supersingular K3 surface in characteristic p has an automorphism whose characteristic polynomial on the Néron-Severi lattice is a Salem polynomial of degree 22. For a supersingular K3 surface with Artin invariant 10, the same holds for odd primes less than or equal to 17389.
Let X be the complex Fermat variety of dimension n=2d and degree m>2. We investigate the submodule of the middle homology group of X with integer coefficients generated by the classes of standard d-dimensional subspaces contained in X, and give an algebraic (or rather combinatorial) criterion for the primitivity of this submodule.
We present finite sets of generators of the full automorphism groups of three singular K3 surfaces, on which the alternating group of degree 6 acts symplectically. We also present a finite set of generators of the full automorphism group of an associated Enriques surface, on which the Mathieu group M_{10} acts.
Let p be a prime integer, and q a power of p. The Ballico-Hefez curve is a non-reflexive nodal rational plane curve of degree q+1 in characteristic p. We investigate its automorphism group and defining equation. We also prove that the surface obtained as the cyclic cover of the projective plane branched along the Ballico-Hefez curve is unirational, and hence is supersingular. As an application, we obtain a new projective model of the supersingular K3 surface with Artin invariant 1 in characteristic 3 and 5.
We construct the graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin from certain relations on the set of non-singular conics totally tangent to the Hermitian curve of degree 6 in characteristic 5. We then interpret this geometric construction in terms of the subgroup structure of the automorphism group of this Hermitian curve.
Let X and Y be supersingular K3 surfaces defined over an algebraically closed field. Suppose that the sum of their Artin invariants is 11. Then there exists a certain duality between their Néron-Severi lattices. We investigate geometric consequences of this duality. As an application, we classify genus one fibrations on supersingular K3 surfaces with Artin invariant 10 in characteristic 2 and 3, and give a set of generators of the automorphism group of the nef cone of these supersingular K3 surfaces. The difference between the automorphism group of a supersingular K3 surface X and the automorphism group of its nef cone is determined by the period of X. We define the notion of genericity for supersingular K3 surfaces in terms of the period, and prove the existence of generic supersingular K3 surfaces in odd characteristics for each Artin invariant larger than 1.
Let X be a supersingular K3 surface in characteristic 5 with Artin invariant 1. Then X has a polarization that realizes X as the Fermat sextic double plane. We present a list of polarizations of X with degree 2 whose intersection number with this Fermat sextic polarization is less than or equal to 5, and give the defining equations of the corresponding projective models. We also present a method to describe birational morphisms between these projective models explicitly. As a by-product, a non-projective automorphism of the Fermat sextic double plane is obtained.
Let q be a power of a prime integer p, and let X be a Hermitian variety of degree q+1 in the n-dimensional projective space. We count the number of rational normal curves that are tangent to X at distinct q+1 points with intersection multiplicity n. This generalizes a result of B. Segre on the permutable pairs of a Hermitian curve and a smooth conic.
We present a finite set of generators of the automorphism group of a supersingular K3 surface with Artin invariant 1 in characteristic 3.
We define Frobenius incidence varieties by means of the incidence relation of Frobenius images of linear subspaces in a fixed vector space over a finite field, and investigate their properties such as supersingularity, Betti numbers and unirationality. These varieties are variants of the Deligne-Lusztig varieties. We then study the lattices associated with algebraic cycles on them. We obtain a positive-definite lattice of rank 84 that yields a dense sphere packing from a 4-dimensional Frobenius incidence variety in characteristic 2.