Related papers: K3 surfaces and cubic fourfolds with Abelian motiv…
We construct a new 20-dimensional family of algebraic hyper-Kaehler fourfolds and prove that they are deformation-equivalent to the second punctual Hilbert scheme of a K3 surface of degree 22.
We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are…
We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal…
Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano…
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…
We show that smooth cubic hypersurfaces of dimension $n$ defined over a finite field ${\bf F}_q$ contain a line defined over ${\bf F}_q$ in each of the following cases: - $n=3$ and $q\ge 11$; - $n=4$ and $q\ne 3$; - $n\ge 5$. For a smooth…
We study the higher Chow groups $CH^2(X,1)$ and $CH^3(X,2)$ of smooth, projective algebraic surfaces over a field of char 0. We develop a theoretical framework to study them by using so-called higher normal functions and higher…
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 up to birational equivalence, there exists only a finite number of families of Calabi-Yau threefolds (i.e. a threefold with trivial canonical class and factorial terminal singularities) which have an elliptic fibration to a…
The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent…
We determine explicit generators for the ring of modular forms associated with the moduli spaces of K3 surfaces with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ and of Picard rank 13 and higher. The K3 surfaces in question carry a…
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…
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension…
We show that a wide range of Fano varieties of K3 type, recently constructed by Bernardara, Fatighenti, Manivel and Tanturri, have a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. It follows that the Chow ring of…
The Kuznetsov component of the derived category of a cubic fourfold is a `non-commutative K3 surface'. Its symmetric square is hence a `non-commutative hyperkaehler fourfold'. We prove that this category is equivalent to the derived…
Cubic fourfolds of discriminant 24 contain special codimension-two algebraic cycles of degree 6 and self-intersection 20. Such cycles may be represented by singular scrolls or del Pezzo surfaces. A discriminant 24 cubic fourfold gives rise…
A well known conjecture asserts that a cubic fourfold X is rational if it has a cohomologically associated K3 surface. G.Ouchi proved that if X admits a finite group G of symplectic automorphisms, whose order is different from 2, then X has…
We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is…
The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism…
Let $X$ be a cubic fourfold that has only simple singularities and does not contain a plane. We prove that the Fano variety of lines on $X$ has the same analytic type of singularity as the Hilbert scheme of two points on a surface with only…