Related papers: Lagrangian planes in hyperk\"ahler varieties of $K…

We generalise a result from [Bak15] on K3 type hyperk\"ahler manifolds proving that a line in a lagrangian plane on a hyperk\"ahler manifold $X$ of Kummer type has Beauville-Bogomolov-Fujiki square $-\frac{n+1}{2}$ and order 2 in the…

We study the decomposability of a Lagrangian homology class on a K3 surface into a sum of classes represented by special Lagrangian submanifolds, and develop criteria for it in terms of lattice theory. As a result, we prove the…

Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^2=-2$. We prove a higher-dimensional generalization conjectured by Hassett and…

Let $X$ be a hyperk\"ahler variety, and let $Z\subset X$ be a Lagrangian subvariety. Conjecturally, $Z$ should have trivial intersection with certain parts of the Chow ring of $X$. We prove this conjecture for certain Hilbert schemes $X$…

We introduce the notion of a Hyper-K\"{a}hler manifold $X$ induced by a Hodge structure of K3-type. We explore this notion for the known deformation types of hyper-K\"{a}hler manifolds studying those that are induced by a K3 or abelian…

We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperk\"ahler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures…

In this paper we define the notion of a hyperk\"ahler manifold (potentially) of Jacobian type. If we view hyperk\"ahler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor…

We propose an explicit conjectural lift of the Neron-Severi Lie algebra of a hyperk\"ahler variety $X$ of $K3^{[2]}$-type to the Chow ring of correspondences ${\rm CH}^\ast(X \times X)$ in terms of a canonical lift of the…

We show that the base manifold of a Lagrangian fibration on a hyperk\"ahler manifold is isomorphic to complex projective space. This generalises a theorem of J.-M. Hwang to the K\"ahler case.

We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Pl\"ucker type formula for Legendre dual…

We show that the hyperplane conjecture holds for the classes of $k$-intersection bodies with arbitrary measures in place of volume.

Let p: M -> B be a Lagrangian fibration on a hyperkahler manifold of maximal holonomy (also known as IHS), and H the generator of the Picard group of B. We prove that the pullback $p^*(H)$ is a primitive class on M.

We prove that a hyper-K\"ahler fourfold satisfying a mild topological assumption is of K3$^{[2]}$ deformation type. This proves in particular a conjecture of O'Grady stating that hyper-K\"ahler fourfolds of K3$^{[2]}$ numerical type are of…

Let S be a smooth projective surface equipped with a line bundle H. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to H on the Hilbert scheme of points of S. Voisin has recently reduced Lehn's…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together…

We construct the first examples of good type III degenerations of hyperk\"ahler varieties in dimension greater than 2. These are presented as moduli of 0-dimensional subschemes on expansions of a degeneration of K3 surfaces. We prove…

We give a simple argument to prove Nagai's conjecture for type II degenerations of compact hyperk\"ahler manifolds and cohomology classes of middle degree. Under an additional assumption, the techniques yield the conjecture in arbitrary…

We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…

The Beauville-Voisin conjecture for a hyperk\"ahler manifold X states that the subring of the Chow ring A^*(X) generated by divisor classes and Chern characters of the tangent bundle injects into the cohomology ring of X. We prove a weak…