Related papers: Modular forms and K3 surfaces
We introduce the notion of a manifold admitting a simple compact Cartan 3-form $\om^3$. We study algebraic types of such manifolds specializing on those having skew-symmetric torsion, or those associated with a closed or coclosed 3-form…
An integral hyperbolic lattice is called reflective if its automorphism group is generated by reflections, up to finite index. Since 1981, it is known that their number is essentially finite. We show that K3 surfaces over C with reflective…
We consider the variant of Mirror Symmetry Conjecture for K3 surfaces which relates "geometry" of curves of a general member of a family of K3 with "algebraic functions" on the moduli of the mirror family. Lorentzian Kac--Moody algebras are…
Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this…
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…
Given two Siegel eigenforms of different weights, we determine explicit sets of Hecke eigenvalues for the two forms that must be distinct. In degree two, and under some additional conditions, we determine explicit sets of Fourier…
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…
The Hessian of a general cubic surface is a nodal quartic surface, hence its desingularisation is a K3 surface. We determine the transcendental lattice of the Hessian K3 surface for various cubic surfaces (with nodes and/or Eckardt points…
For a real algebraic K3 surface $X(R)$, we give all possible values of the dimension $h^1_{alg}(X(R)$ of the group $\H^1_{alg}(X(R),Z/2)$ of algebraic cycles of $X(R)$. In particular, we prove that if $X(R)$ is not an M-surface, $X(R)$ can…
We study the moduli spaces of elliptic K3 surfaces of Picard number at least 3, i.e. $U\oplus \langle -2k \rangle$-polarized K3 surfaces. Such moduli spaces are proved to be of general type for $k\geq 220$. The proof relies on the…
Classification of real K3 surfaces X with a non-symplectic involution \tau is considered. For some exactly defined and one of the weakest possible type of degeneration (giving the very reach discriminant), we show that the connected…
We consider two K3 surfaces defined over an arbitrary field, together with a smooth proper moduli space of stable sheaves on each. When the moduli spaces have the same dimension, we prove that if the \'etale cohomology groups (with Q_ell…
We prove that supersingular K3 surfaces over algebraically closed fields of characteristic at least $5$ are unirational, following a simplified form of Liedtke's strategy.
We give a basis for the vector space generated by rational Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank, which is a subspace of the singular cohomology ring with rational coefficients: we…
This note is a summary of our work [OO] which provides an explicit and global moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics and we use it to study especially the K3 surfaces case. For instance, it allows us to…
Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…
We construct Zariski K3 surfaces of Artin invariant 1, 2 and 3 in many characteristics. In particular, we prove that any supersingular Kummer surface is Zariski if the characteristic is not congruent to 1 modulo 12. Our methods combine…
Using the framework relating hypergeometric motives to modular forms, we define an explicit family of weight 2 Hecke eigenforms with complex multiplication. We use the theory of ${}_2F_1(1)$ hypergeometric series and Ramanujan's theory of…
Mumford constructed a family of abelian fourfolds with special stucture not characterized by endomorphism ring. Galluzzi showed that the weight 2 Hodge structure of such a variety decomposes into Hodge substructures via the action of…
We explicitly construct modular forms on a $4$-dimensional bounded symmetric domain of type $IV$ based on the variation of the Hodge structures of $K3$ surfaces. We study the ring of our modular forms. Because of the Kneser conditions of…