Searcharxiv⌕ Search

arXiv subjects

Shigeyuki Kondo

Publications and source records attributed to Shigeyuki Kondo.

At least 19 recordsLinked to original sources
arXiv2026

Desmic quartic surfaces in arbitrary characteristic

A desmic quartic surface is a birational model of the Kummer surface of the self-product of an elliptic curve. We recall the classical geometry of these surfaces and study their analogs in arbitrary characteristic. Moreover, we discuss the cubic line complex $\frakG$ associated with the desmic tetrahedra introduced by G. Humbert. We prove that $\frakG$ is a rational Fano threefold with $34$ nodes. The number $34$ is the maximum number of nodes on a Fano threefold of degree 6 in $\bbP^5$, and the group of projective automorphisms is isomorphic to $\frakS_4\wr 2 = (\frakS_4\times \frakS_4)\rtimes 2$.

math.AG↗
arXiv2026

Compactifications of the Eisenstein ancestral Deligne-Mostow variety

All arithmetic non-compact ball quotients by Deligne-Mostow's unitary monodromy group arise as sub-ball quotients of either of two spaces called ancestral cases, corresponding to Gaussian or Eisenstein Hermitian forms respectively. In a previous paper, we investigated the compactifications of the Gaussian Deligne-Mostow variety. Here we work on the remaining case, namely the ring of Eisenstein integers. This variety is related to the moduli space of unordered 12 points on $\mathbb{P}^1$. In particular, we show that Kirwan's partial resolution of the moduli space is not a semi-toroidal compactification and Deligne-Mostow's period map does not lift to the unique toroidal compactification. We give two interpretations of these phenomena in terms of the log minimal model program and automorphic forms. As an application, we prove that the above two compactifications are not (stacky) derived equivalent, as the $DK$-conjecture predicts. Furthermore, we construct an automorphic form on the moduli space of non-hyperelliptic curves of genus 4, which is isogenous to the Eisenstein Deligne-Mostow variety, giving another intrinsic proof, independent of lattice embeddings, of a result by Casalaina-Martin, Jensen and Laza.

math.AG↗
arXiv2025

Kummer surfaces and quadratic line complexes in characteristic two

In this paper, we study the classical theory of quadratic line complexes and Kummer surfaces. A quadratic line complex is the intersection of the Grassmannian $G(2,4)$ and a quadric hypersurface in ${\bf P}^5$, and a Kummer surface is the quotient of the Jacobian of a curve of genus 2 by the inversion. F. Klein discovered a relationship between a quadratic line complex and a curve of genus 2, its Jacobian and the associated Kummer surface. This theory holds in any characteristic not equal to two. However the situation in characteristic two is entirely different. The purpose of this paper is to give an analogue in characteristic 2 of this classical theory.

math.AG↗
arXiv2025

K3 surfaces of degree six arising from desmic tetrahedra

We study K3 surfaces of degree 6 containing two sets of 12 skew lines such that each line from a set intersects exactly six lines from the other set. These surfaces arise as hyperplane sections of the cubic line complex associated with the pencil of desmic quartic surfaces introduced by George Humbert and recently studied by the second and third authors. We discuss alternative birational models of the surfaces, compute the Picard lattice and a group of projective automorphisms, and describe rational curves of low degree on the general surface.

math.AG↗
arXiv2021

Coble surfaces in characteristic two

We study Coble surfaces in characteristic 2, in particular, singularities of their canonical coverings. As an application we classify Coble surfaces with finite automorphism group in characteristic 2. There are exactly 9 types of such surfaces.

math.AG↗
arXiv2019

Kummer surfaces associated with group schemes

We introduce Kummer surfaces X=Km(CxC) with the group scheme G=mu_2 acting on the self-product of the rational cuspidal curve in characteristic two. The resulting quotients are normal surfaces having a configuration of sixteen rational double points of type A_1, together with a rational double point of type D_4. We show that our Kummer surfaces are precisely the supersingular K3 surfaces with Artin invariant sigma\leq 3, and characterize them by the existence of a certain configuration of thirty curves. After contracting suitable curves, they also appear as normal K3-like coverings for simply-connected Enriques surfaces.

math.AG↗
arXiv2019

Classification of Enriques surfaces with finite automorphism group in characteristic 2

We classify supersingular and classical Enriques surfaces with finite automorphism group in characteristic 2 into 8 types according to their dual graphs of all $(-2)$-curves (nonsigular rational curves). We give examples of these Enriques surfaces together with their canonical coverings. It follows that the classification of all Enriques surfaces with finite automorphism group in any characteristics has been finished.

math.AG↗
arXiv2015

On Enriques surfaces in characteristic 2 with a finite group of automorphisms

Complex Enriques surfaces with a finite group of automorphisms are classified into seven types. In this paper, we determine which types of such Enriques surfaces exist in characteristic 2. In particular we give a one dimensional family of classical and supersingular Enriques surfaces with the automorphism group isomorphic to the symmetric group of degree five.

math.AG↗
arXiv2014

A 1-dimensional family of Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1

We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten non-effective (-2)-divisors on these Enriques surfaces whose reflection group is of finite index in the orthogonal group of the Neron-Severi lattice modulo torsion.

math.AG↗
arXiv2014

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↗
arXiv2014

Igusa quartic and Borcherds products

By applying Borcherds' theory of automorphic forms on bounded symmetric domains of type IV, we give a 5-dimensional linear system of automorphic forms of weight 6 on Igusa quartic 3-fold which induces an S_6-equivariant rational map of degree 16 from Igusa quartic to Segre cubic.

math.AG↗
arXiv2013

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↗