arXiv subjects
Publications and source records attributed to Shigeru Mukai.
We calculate the automorphism group of the Kummer surface associated with a curve of genus 2 or the product of two elliptic curves in characteristic two under the assumption that the Kummer surface is a $K3$ surface. Moreover we discuss the complex $K3$ surfaces with the same Picard lattice as these Kummer surfaces. The paper has two appendices.
We describe a general (primitively) polarized K3 surface $(S,h)$ with $(h^2)=24$ as a complete intersection variety with respect to vector bundles on the $6$-dimensional moduli space $\mathcal{N}^-$ of the stable vector bundles of rank two with fixed odd determinant on a curve $C$ of genus $3$. If the curve $C$ is hyperelliptic, then $\mathcal{N}^-$ is a subvariety of the $12$-dimensional Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$ defined by a pencil of quadric forms. In this case, our description implies that a general $(S,h)$ is the intersection of two (7-dimensional) contact homogeneous varieties of $\operatorname{Spin}(7)$ in the Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$.
We give a formula that relates the difference of the j-invariants with the Borcherds Phi-function, an automorphic form on the period domain for Enriques surfaces characterizing the discriminant divisor.
Let $S$ be the (minimal) Enriques surface obtained from the symmetric quartic surface $(\sum_{i<j}x_ix_j)^2=kx_1x_2x_3x_4$ in $\mathbb{P}^3$ with $k\neq 0,4,36$, by taking quotient of the Cremona action $(x_i) \mapsto (1/x_i)$. The automorphism group of $S$ is a semi-direct product of a free product $\mathcal{F}$ of four involutions and the symmetric group $\mathfrak{S}_4$. Up to action of $\mathcal{F}$, there are exactly $29$ elliptic pencils on $S$.
An action of a group $G$ on an Enriques surface $S$ is called Mathieu if it acts on $H^0(2K_S)$ trivially and every element of order 2, 4 has Lefschetz number 4. A finite group $G$ has a Mathieu action on some Enriques surface if and only if it is isomorphic to a subgroup of the symmetric group $\mathfrak{S}_6$ of degree 6 and the order $|G|$ is not divisible by $2^4$. Explicit Mathieu actions of the three groups $\mathfrak S_5, N_{72}$ and $\mathfrak A_6$, together with non-Mathieu one of $H_{192}$, on polarized Enriques surfaces of degree 30, 18, 10 and 6, respectively, are constructed without Torelli type theorem to prove the if part.
The Borcherds Phi-function is the automorphic form on the moduli space of Enriques surfaces characterizing the discriminant locus. In this paper, we give an algebro-geometric construction of the Borcherds Phi-function.
We give a sufficient condition for a first order infinitesimal deformation of a curve on a 3-fold to be obstructed. As application we construct generically non-reduced components of the Hilbert schemes of uniruled 3-folds and the Hom scheme from a general curve of genus five to a general cubic 3-fold.
A K3 surface is a quaternionic analogue of an elliptic curve from a view point of moduli of vector bundles. We can prove the algebraicity of certain Hodge cycles and a rigidity of curve of genus eleven and gives two kind of descriptions of Fano threefolds as applications. In the final section we discuss a simplified construction of moduli spaces.
A Brill-Noether locus is a subscheme of the moduli of bundles E over a curve C defined by requiring E to have a given number of sections, or homomorphisms from another bundle. There are a number of different types, that can be treated by determinantal methods, with symmetry or skewsymmetry arising from Serre duality. They have many beautiful applications to curves, K3 surfaces and Fano 3-folds.