Related papers: Elliptic Fibrations and Hilbert Property
We conjecture that the relative Gromov-Witten potentials of elliptic fibrations are (cycle-valued) lattice quasi-Jacobi forms and satisfy a holomorphic anomaly equation. We prove the conjecture for the rational elliptic surface in all…
Let $X$ be a complex $K3$ surface with an effective action of a group $G$ which preserves the holomorphic symplectic form. Let $$ Z_{X,G}(q) = \sum_{n=0}^{\infty} e\left(\operatorname{Hilb}^{n}(X)^{G} \right)\, q^{n-1} $$ be the generating…
Based on the result on derived categories on K3 surfaces due to Mukai and Orlov and the result concerning almost-prime numbers due to Iwaniec, we remark the following fact: For any given positive integer N, there are N (mutually…
We discuss properties of the Seifert form for simple $K3$ singularities, and of the Picard lattices of families of weighted $K3$ surfaces. We study a collection $\mathcal{M}_{(\rho,\,\delta)}$ of $K3$ surfaces polarized by their Picard…
Let $X$ be a smooth proper curve defined over a field $k$. The representability of the relative Picard functor is obstructed by a class $\alpha\in\mathrm{Br}(\mathrm{Pic}_{X/k})$. We show the associated division algebra on…
We construct the moduli space of cubic surfaces which do not admit a Sylvester form as an arithmetic quotient, and determine the graded ring of modular forms of even weights.
We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field $K$ of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be…
To a pair of elliptic curves, one can naturally attach two K3 surfaces: the Kummer surface of their product and a double cover of it, called the Inose surface. They have prominently featured in many interesting constructions in algebraic…
As a generalization of a quasi-elliptic surface, there is a quasi-hyperelliptic surface, a nonsingular projective surface which has a fibration structure whose general fiber is a quasi-hyperelliptic curve ($=$ singular hyperelliptic curve…
We prove that the locus of Hilbert schemes of n points on a projective K3 surface is dense in the moduli space of irreducible holomorphic symplectic manifolds of that deformation type. The analogous result for generalized Kummer manifolds…
We prove that any hyper-K\"{a}hler sixfold $K$ of generalized Kummer type has a naturally associated manifold $Y_K$ of $\mathrm{K}3^{[3]}$-type. It is obtained as crepant resolution of the quotient of $K$ by a group of symplectic…
For a fibration with the fiber $K(\pi,n)$-space, the algebraic model as a twisted tensor product of chains of the base with standard chains of $K(\pi,n)$-complex is given which preserves multiplicative structure as well. In terms of this…
Let $S$ be a K3 surface with primitive curve class $\beta$. We solve the relative Gromov-Witten theory of $S \times \mathbb{P}^1$ in classes $(\beta,1)$ and $(\beta,2)$. The generating series are quasi-Jacobi forms and equal to a…
Hilbert schemes of suitable smooth, projective manifolds of low degree which are 3-fold scrolls over the Hirzebruch surface F_1 are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be…
David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such…
Given an nxn nilpotent matrix over an algebraically closed field K, we prove some properties of the set of all the nxn nilpotent matrices over K which commute with it. Then we give a proof of the irreducibility of the variety of all the…
We classify the group of birational automorphisms of Hilbert schemes of points on algebraic K3 surfaces of Picard rank one. We study whether these automorphisms are symplectic or non-symplectic and if there exists a hyperk\"ahler birational…
Let X be a Hyperk\"{a}hler variety deformation equivalent to the Hilbert square on a K3 surface and let f be an involution preserving the symplectic form. We prove that the fixed locus of f consists of 28 isolated points and 1 K3 surface,…
We show that the vector of period ratios of a cubic surface is rational over $Q(\omega)$, where $\omega = \exp(2\pi i/3)$ if and only if the associate abelian variety is isogeneous to a product of Fermat elliptic curves. We also show how to…
A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety…