Related papers: Formality conjecture for K3 surfaces

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}$.

Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, \gamma be a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where…

We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on…

In this paper we study equivariant moduli spaces of sheaves on a $ K3 $ surface $ X $ under a symplectic action of a finite group. We prove that under some mild conditions, equivariant moduli spaces of sheaves on $ X $ are irreducible…

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

F-theory/heterotic duality is formulated in the stable degeneration limit of a K3 fibration on the F-theory side. In this note, we analyze the structure of the stable degeneration limit. We discuss whether stable degeneration exists for…

A long standing conjecture, known to us as the Eisenbud Goto conjecture, states that an n-dimensional variety embedded with degree $d$ in the $N$- dimensional projective space is $(d-(N-n)+1)$-regular in the sense of Castelnuovo-Mumford. In…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

This paper concerns the explicit construction of extremal Kaehler metrics on total spaces of projective bundles, which have been studied in many places. We present a unified approach, motivated by the theory of hamiltonian 2-forms (as…

Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…

We study Fourier transforms induced by Markman's projectively hyperholomorphic bundles on products of hyper-K\"ahler varieties of $K3^{[n]}$-type. As applications, we prove the following. (a) Derived equivalent hyper-K\"ahler varieties of…

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let…

We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface, there exists a constant C depending only on the rank and…

In this paper we prove that the sheaf of $\Lscr$-poly-differential operators for a locally free Lie algebroid $\Lscr$ is formal when viewed as a sheaf of $G_\infty$-algebras via Tamarkin's morphism of DG-operads $G_\infty\r B_\infty$. In an…

We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…

In this article we introduce a hyperbolic metric on the (normalized) space of stability conditions on projective K3 surfaces $X$ with Picard rank $\rho (X) =1$. And we show that all walls are geodesic in the normalized space with respect to…

Using Langer's construction of Bridgeland stability conditions on normal surfaces, we prove Reider-type theorems generalizing the work done by Arcara-Bertram in the smooth case. Our results still hold in positive characteristic or when…

We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and…

We extend results on generic strange duality for K3 surfaces by showing that the proposed isomorphism holds over an entire Noether-Lefschetz divisor in the moduli space of quasipolarized K3s. We interpret the statement globally as an…

We prove the KKV conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. Our results apply in every genus and for every curve class. The proof uses the Gromov-Witten/Pairs correspondence for K3-fibered…