相关论文: On the Orlov conjecture for hyper-K\"ahler varieti…

We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its…

We classify all smooth compact connected K\"ahler threefolds that admit the structure of a $C^\infty$-fiber bundle over the circle. This generalizes the work of Hao and Schreieder in the projective case. In contrast to the projective case,…

We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses…

Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is…

We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that…

Let $X$ be a K3 surface with a polarization $H$ of the degree $H^2=2rs$, $r,s\ge 1$, and the isotropic Mukai vector $v=(r,H,s)$ is primitive. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(r,H,s)$ is again a K3…

This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-K\"ahler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a…

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…

Let $X$ be a K3 surface with Picard group $\mathrm{Pic}(X)\cong\mathbb{Z} H$ such that $H^2=2n$. Let $M_{H}(\mathbf{v})$ be the moduli space of Gieseker semistable sheaves on $X$ with Mukai vector $\mathbf{v}$. We say that $\mathbf{v}$…

We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case.…

We consider closed manifolds that admit a metric locally isometric to a product of symmetric planes. For such manifolds, we prove that the Euler characteristic is an obstruction to the existence of flat structures, confirming an old…

We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3…

Using wall-crossing for K3 surfaces, we establish birational equivalence of moduli spaces of stable objects on generic Enriques surfaces for different stability conditions. As an application, we prove in the case of a Mukai vector of odd…

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…

In this paper we prove a family of results connecting the problem of computing cup products in surface bundles to various other objects that appear in the theory of the cohomology of the mapping class group $\operatorname{Mod}_g$ and the…

The aim of these notes is to acquaint the reader with important objects in complex algebraic geometry: K3 surfaces and their higher-dimensional analogs, hyperk\"ahler manifolds. These manifolds are interesting from several points of view:…

Polarized K3 surfaces of genus sixteen have a Mukai vector bundle of rank two. We study the geometry of the projectivization of this bundle. We prove that it has an embedding in $\mathbb{P}_9$ with an ideal generated by quadrics. We give an…

We show that a moduli space of slope-stable sheaves over a K3 surface is an irreducible hyperk\"ahler manifold if and only if its second Betti number is the sum of its Hodge numbers $h^{2,0}$, $h^{1,1}$ and $h^{0,2}$.

Given an $n$-tuple of positive real numbers $\alpha$ we consider the hyperpolygon space $X(\alpha)$, the hyperk\"{a}hler quotient analogue to the K\"ahler moduli space of polygons in $\mathbb{R}^3$. We prove the existence of an isomorphism…

In this paper we prove the SYZ conjecture for irreducible symplectic varieties that are locally trivial deformation equivalent to moduli spaces of sheaves on K3 surfaces. As an intermediate step in the argument, we generalise to the…