An even extremal lattice of rank 64
We construct an even extremal lattice of rank 64 by means of a generalized quadratic residue code.
math.NT↗
arXiv subjects
Ichiro Shimada
Publications and source records attributed to Ichiro Shimada.
On Edge's correspondence associated with \cdot 222
We describe explicitly the correspondence of Edge between the set of planes contained in the Fermat cubic 4-fold in characteristic 2, and the set of lattice points T of the Leech lattice such that OABT is a regular tetrahedron, where O is the origin of the Leech lattice, and A and B are fixed points of the Leech lattice such that OAB is a regular triangle of edge length 2. Using this description, we present Conway's isomorphism from PSU(6,4) to \cdot 222 in terms of matrices.
math.AG↗
Connected components of the moduli of elliptic K3 surfaces
The combinatorial type of an elliptic K3 surface with a zero section is the pair of the ADE -type of singular fibers and the torsion part of the Mordell-Weil group. We determine the set of connected components of the moduli of elliptic K3 surfaces with fixed combinatorial type. Our method relies on the theory of Miranda and Morrison on the structure of a genus of even indefinite lattices, and computer-aided calculations of p-adic quadratic forms.
math.AG↗
On a smooth quartic surface containing 56 lines which is isomorphic as a K3 surface to the Fermat quartic
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.
math.AG↗
Holes of the Leech lattice and the projective models of K3 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.
math.AG↗
Automorphisms of supersingular K3 surfaces and Salem polynomials
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.
math.AG↗
The automorphism groups of certain singular K3 surfaces and an Enriques surface
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.
math.AG↗
On the topology of projective subspaces in complex Fermat varieties
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.
math.AG↗
An algorithm to compute automorphism groups of K3 surfaces and an application to singular K3 surfaces
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.
math.AG↗
On the supersingular K3 surface in characteristic 5 with Artin invariant 1
We present three interesting projective models of the supersingular K3 surface X in characteristic 5 with Artin invariant 1. For each projective model, we determine smooth rational curves on X with the minimal degree and the projective automorphism group. Moreover, by using the superspecial abelian surface, we construct six sets of 16 disjoint smooth rational curves on X, and show that they form a beautiful configuration.
math.AG↗
Dynkin diagrams of rank 20 on supersingular K3 surfaces
We classify normal supersingular K3 surfaces Y with total Milnor number 20 in characteristic p, where p is an odd prime that does not divide the discriminant of the Dynkin type of the rational double points on Y.
math.AG↗
The graphs of Hoffman-Singleton, Higman-Sims, and McLaughlin, and the Hermitian curve of degree 6 in characteristic 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.
math.AG↗
On Ballico-Hefez curves and associated supersingular surfaces
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.
math.AG↗
On certain duality of Néron-Severi lattices of supersingular K3 surfaces
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.
math.AG↗
Projective models of the supersingular K3 surface with Artin invariant 1 in characteristic 5
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.
math.AG↗
A note on rational normal curves totally tangent to a Hermitian variety
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.
math.AG↗
On Frobenius incidence varieties of linear subspaces over finite fields
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.
math.AG↗
Zariski-van Kampen method and transcendental lattices of certain singular K3 surfaces
We present a method of Zariski-van Kampen type for the calculation of the transcendental lattice of a complex projective surface. As an application, we calculate the transcendental lattices of complex singular K3 surfaces associated with an arithmetic Zariski pair of maximizing sextics of type $A_{10}+A_{9}$ that are defined over a real quadratic field and are conjugate to each other over the field of rational numbers.
math.AG↗