English
Related papers

Related papers: Formality conjecture for K3 surfaces

200 papers

We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…

Differential Geometry · Mathematics 2026-04-15 Lapo Rubini

A complex smooth prime Fano threefold $X$ of genus $9$ is related via projective duality to a quartic plane curve $\Gamma$. We use this setup to study the restriction of rank $2$ stable sheaves with prescribed Chern classes on $X$ to an…

Algebraic Geometry · Mathematics 2024-01-08 Dominique Mattei

We show that the Hodge numbers of the moduli space of stable rank two sheaves with primitive determinant on a K3 surface coincide with the Hodge numbers of an appropriate Hilbert scheme of points on the K3 surface. The precise result is:…

alg-geom · Mathematics 2008-02-03 Lothar Goettsche , Daniel Huybrechts

In this note we realize the sheaf of Cherednik algebras $H_{1, c, X, G}$ on a general good complex orbifold $X/G$, originally introduced by Etingof for smooth complex varieties with an action by a finite group, by gluing sheaves of flat…

Algebraic Geometry · Mathematics 2022-06-22 Alexander Vitanov

Let X be a K3 surface with a polarization H of degree H^2=2rs and with a primitive Mukai vector (r,H,s). The moduli space of sheaves over X with the isotropic Mukai vector (r,H,s) is again a K3 surface Y. We prove that Y\cong X, if Picard…

Algebraic Geometry · Mathematics 2009-12-10 Viacheslav V. Nikulin

We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.

Algebraic Topology · Mathematics 2017-03-27 Geoffroy Horel

With any hyper-K\"ahler variety $K$ of generalized Kummer type is associated via Hodge theory a K3 surface $S_K$. We show how they are related geometrically through a moduli space of sheaves on $S_K$. As a consequence, building…

Algebraic Geometry · Mathematics 2025-11-26 Salvatore Floccari

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…

Algebraic Geometry · Mathematics 2022-04-19 Ananyo Dan , Inder Kaur

Recently S. Patrikis, J.F. Voloch and Y. Zarhin have proven, assuming several well known conjectures, that the finite descent obstruction holds on the moduli space of principally polarised abelian varieties. We show an analogous result for…

Number Theory · Mathematics 2021-10-05 Gregorio Baldi

We show that infinitesimal deformations of twisted sheaves are controlled by the DG Lie algebra of their derived automorphisms. We prove that such DG Lie algebra is formal for polystable twisted sheaves on minimal surfaces of Kodaira…

Algebraic Geometry · Mathematics 2025-09-04 Francesco Meazzini , Claudio Onorati

Let M be a closed 3-manifold and S(M) the skein module of M at some odd root of unity. Using the Frobenius morphism, we can see S(M) as the space of global sections of a coherent sheaf over the SL2 character scheme of M. We prove that when…

Quantum Algebra · Mathematics 2025-01-07 Julien Korinman

We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between…

Algebraic Geometry · Mathematics 2025-04-09 L. Göttsche , M. Kool , R. A. Williams

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

Quantum Algebra · Mathematics 2007-05-23 Vasiliy Dolgushev

We apply the technique of formal geometry to give a necessary and sufficient condition for a line bundle supported on a smooth Lagrangian subvariety to deform to a sheaf of modules over a fixed deformation quantization of the structure…

Algebraic Geometry · Mathematics 2015-02-19 Vladimir Baranovsky , Victor Ginzburg , Dmitry Kaledin , Jeremy Pecharich

We prove that the gonality among the smooth curves in a complete linear system on a $K3$ surface is constant except for the Donagi-Morrison example. This was proved by Ciliberto and Pareschi under the additional condition that the linear…

Algebraic Geometry · Mathematics 2007-05-23 Andreas Leopold Knutsen

Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation…

Algebraic Geometry · Mathematics 2019-05-22 Lei Fu

The main result of the present paper is a construction of relative moduli spaces of stable sheaves over the stack of quasipolarized projective surfaces. For this, we use the theory of good moduli spaces, whose study was initiated by Alper.…

Algebraic Geometry · Mathematics 2025-01-08 Svetlana Makarova

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…

Algebraic Geometry · Mathematics 2025-10-02 Claudio Onorati , Ángel David Ríos Ortiz

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…

Algebraic Geometry · Mathematics 2015-04-15 Nicolas Bergeron , Zhiyuan Li , John Millson , Colette Moeglin

We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the…

Algebraic Geometry · Mathematics 2007-05-23 Kota Yoshioka