Involutions on K3 surfaces and derived equivalence

Brendan Hassett,Yuri Tschinkel

2024-08-01

Abstract:We study involutions on K3 surfaces under conjugation by derived equivalence and more general relations, together with applications to equivariant birational geometry.

Algebraic Geometry

What problem does this paper attempt to address?

Elliptic fibrations and involutions on K3 surfaces

Alice Garbagnati,Cecília Salgado

2023-04-04

Abstract:We survey our contributions on the classification of elliptic fibrations on K3 surfaces with a non-symplectic involution. We place them in the more general framework of K3 surfaces with an involution without any hypothesis on its fixed locus or on the action on the symplectic 2-form. We revisit the complete classification of elliptic fibrations on K3 surfaces with a 2-elementary Néron--Severi lattice, and give a complete classification of extremal elliptic fibrations on K3 surfaces that are quadratic covers of rational elliptic surfaces.

Algebraic Geometry
Anti-symplectic involutions on moduli spaces of sheaves on K3 surfaces via auto-equivalences

Daniele Faenzi,Grégoire Menet,Yulieth Prieto-Montañez

2024-09-19

Abstract:We provide new examples of anti-symplectic involutions on moduli spaces of stable sheaves on K3 surfaces. These involutions are constructed through (anti) autoequivalences of the bounded derived category of coherent sheaves on K3 surfaces arising from spherical bundles. We analyze these induced maps in the moduli space, imposing restrictions on the Mukai vector and considering the preservation of stability conditions. Our construction extends and unifies classical examples, such as the Beauville involutions, Markman-O'Grady reflections and a more recent construction by Beri-Manivel.

Algebraic Geometry
Equivariant Moduli Theory on $ K3 $ Surfaces

Yuhang Chen

2023-07-13

Abstract: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 symplectic manifolds deformation equivalent to Hilbert schemes of points on $ X $ via a connection between Gieseker and Bridgeland moduli spaces, as well as the derived McKay correspondence.

Algebraic Geometry
Geometric invariants of $K3$ surfaces with purely non-symplectic automorphisms

Dominik Burek

2023-12-12

Abstract:We give new relations between geometric invariants of $K3$ surfaces with purely non-symplectic automorphisms of order 4 and 6. Our approach is based on a comparison of two methods of computation of formulas for the Euler characteristic of higher dimensional generalized Borcea-Vosin Calabi-Yau manifolds constructed in [Bur21].

Algebraic Geometry
Curves on K3 surfaces and modular forms

D. Maulik,R. Pandharipande,R. P. Thomas

DOI: https://doi.org/10.1112/jtopol/jtq030

2012-04-19

Abstract:We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $\lambda_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.

Algebraic Geometry,High Energy Physics - Theory
Equivariant birational types and derived categories

Christian Böhning,Hans‐Christian Graf von Bothmer,Yuri Tschinkel

DOI: https://doi.org/10.1002/mana.202400006

2024-09-28

Mathematische Nachrichten

Abstract:We investigate equivariant birational geometry of rational surfaces and threefolds from the perspective of derived categories.

mathematics
On L-equivalence for K3 surfaces and hyperkähler manifolds

Reinder Meinsma

2024-09-16

Abstract:This paper explores the relationship between L-equivalence and D-equivalence for K3 surfaces and hyperkähler manifolds. Building on Efimov's approach using Hodge theory, we prove that very general L-equivalent K3 surfaces are D-equivalent, leveraging the Derived Torelli Theorem for K3 surfaces. Our main technical contribution is that two distinct lattice structures on an integral, irreducible Hodge structure are related by a rational endomorphism of the Hodge structure. We partially extend our results to hyperkähler fourfolds and moduli spaces of sheaves on K3 surfaces.

Algebraic Geometry
On the descendent Gromov-Witten theory of a K3 surface

Georg Oberdieck

2023-08-18

Abstract:We study the reduced descendent Gromov-Witten theory of K3 surfaces in primitive curve classes. We present a conjectural closed formula for the stationary theory, which generalizes the Bryan-Leung formula. We also prove a new recursion that allows to remove descendent insertions of $1$ in many instances. Together this yields an efficient way to compute a large class of invariants (modulo the conjecture on the stationary part). As a corollary we conjecture a surprising polynomial structure which underlies the Gromov-Witten invariants of the K3 surface.

Algebraic Geometry
Symplectic involutions on deformations of K3^[2]

Giovanni Mongardi

DOI: https://doi.org/10.2478/s11533-012-0073-z

2012-05-09

Abstract:Let X be a Hyperkähler variety deformation equivalent to the Hilbert square on a K3 surface and let f be an involution preserving the symplectic form. We prove that the fixed locus of f consists of 28 isolated points and 1 K3 surface, moreover the anti-invariant lattice of the induced involution on H^2(X,Z) is isomorphic to E_8(-2). Finally we prove that any couple consisting of one such variety and a symplectic involution on it can be deformed into a couple consisting of the Hilbert square of a K3 surface and the involution induced by a Nikulin involution on the K3 surface.

Algebraic Geometry
Quotient spaces of K3 surfaces by non-symplectic involutions fixing a curve of genus 8 or more

Taro Hayashi

DOI: https://doi.org/10.1515/advgeom-2023-0022

2024-01-25

Advances in Geometry

Abstract:Let X be a K 3 surface and let g be a non-symplectic involution of X such that the fixed points set contains a curve of genus 8 or more. In this paper, we show that the quotient space X /〈 g 〉 is determined by the fixed points set and the action of g on rational curves on X .

mathematics
On K3 surfaces which dominate Kummer surfaces

Shouhei Ma

DOI: https://doi.org/10.48550/arXiv.0905.4107

2011-09-02

Abstract:We study isogeny relations between K3 surfaces and Kummer surfaces. Specifically, we prove a Torelli-type theorem for the existence of rational maps from K3 surfaces to Kummer surfaces, and a Kummer sandwich theorem for K3 surfaces with Shioda-Inose structure.

Algebraic Geometry
K3 surfaces with two involutions and low Picard number

Dino Festi,Wim Nijgh,Daniel Platt

DOI: https://doi.org/10.1007/s10711-024-00900-8

2024-03-14

Geometriae Dedicata

Abstract:Let X be a complex algebraic K3 surface of degree 2 d and with Picard number . Assume that X admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, when and when . For , the first example defined over with was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over , can be used to realise the minimum for all . In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum for . We also show that a nodal quartic surface can be used to realise the minimum for infinitely many different values of d . Finally, we strengthen a result of Morrison by showing that for any even lattice N of rank and signature there exists a K3 surface Y defined over such that .

mathematics
Automorphisms of K3 surfaces and their applications

Shingo Taki

DOI: https://doi.org/10.48550/arXiv.1901.00383

2018-12-31

Algebraic Geometry

Abstract:This paper is a survey about $K3$ surfaces with an automorphism and log rational surfaces, in particular, log del Pezzo surfaces and log Enriques surfaces. It is also a reproduction on my talk at "Mathematical structures of integrable systems and their applications" held at Research Institute for Mathematical Sciences in September 2018.
On two-elementary K3 surfaces with finite automorphism group

Adrian Clingher,Andreas Malmendier,Flora Poon

2024-10-22

Abstract:We study complex algebraic K3 surfaces of Picard ranks 11, 12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a projective quartic hypersurface and construct geometrically the frames of all supported Jacobian elliptic fibrations. We determine the dual graphs of all smooth rational curves for these K3 surfaces, the polarizing divisors, and the embedding of the reducible fibers in each frame into the corresponding dual graph.

Algebraic Geometry
K3 Surfaces from Configurations of Six Lines in ℙ2 and Mirror Symmetry II—λK3-functions

Shinobu Hosono,Bong H. Lian,Shing-Tung Yau

DOI: https://doi.org/10.1093/imrn/rnz259

2019-01-01

International Mathematics Research Notices

Abstract:We continue our study on the hypergeometric system E(3, 6) that describes period integrals of the double cover family of K3 surfaces. Near certain special boundary points in the moduli space of the K3 surfaces, we construct the local solutions and determine the so-called mirror maps expressing them in terms of genus 2 theta functions. These mirror maps are the K3 analogues of the elliptic lambda-function. We find that there are two nonisomorphic definitions of the lambda functions corresponding to a flip in themoduli space. We also discuss mirror symmetry for the double cover K3 surfaces and their higher dimensional generalizations. A follow-up paper will describe more details of the latter.
Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

Sebastian Casalaina-Martin,Xianyu Hu,Xun Lin,Shizhuo Zhang,Zheng Zhang

2024-08-21

Abstract:Let $Y$ be a cubic threefold with a non-Eckardt type involution $\tau$. Our first main result is that the $\tau$-equivariant category of the Kuznetsov component $\mathcal{K}u_{\mathbb{Z}_2}(Y)$ determines the isomorphism class of $Y$ for general $(Y,\tau)$. We shall prove this categorical Torelli theorem via three approaches: a noncommutative Hodge theoretical one (using a generalization of the intermediate Jacobian construction due to Alexander Perry), a Bridgeland moduli theoretical one (using equivariant stability conditions), and a Chow theoretical one (using some techniques in [kuznetsovnonclodedfield2021]).The remaining part of the paper is devoted to proving an equivariant infinitesimal categorical Torelli for non-Eckardt cubic threefolds $(Y,\tau)$. To accomplish it, we prove a compatibility theorem on the algebra structures of the Hochschild cohomology of the bounded derived category $D^b(X)$ of a smooth projective variety $X$ and on the Hochschild cohomology of a semi-orthogonal component of $D^b(X)$. Another key ingredient is a generalization of a result in [macri2009infinitesima] which shows that the twisted Hochschild-Kostant-Rosenberg isomorphism is compatible with the actions on the Hochschild cohomology and on the singular cohomology induced by an automorphism of $X$. In appendix, we prove an equivariant categorical Torelli theorem for arbitrary cubic threefold with a geometric involution under a natural assumption.

Algebraic Geometry
K3 surfaces from configurations of six lines in and mirror symmetry II --- -functions ---

Shinobu Hosono,Bong Lian,Shing-Tung Yau

2019-01-01

Abstract:We continue our study on the hypergeometric system which describes period integrals of the double cover family of K3 surfaces. Near certain special boundary points in the moduli space of the K3 surfaces, we construct the local solutions and determine the so-called mirror maps expressing them in terms of genus two theta functions. These mirror maps are the K3 analogues of the elliptic -function. We find that there are two non-isomorphic definitions of the lambda functions corresponding to a flip in the moduli space. We also discuss mirror symmetry for the double cover K3 surfaces and their higher dimensional generalizations. A follow up paper will describe more details of the latter.
Geometric realizations of non-symplectic involutions on the Hilbert square of a K3 surface

Ana Quedo

2024-12-17

Abstract:We give new examples of geometric constructions of non-natural non-symplectic involutions of IHS manifolds whose existence is guaranteed by previous results of Bossière-Cattaneo-Nieper-Wiesskirchen-Sarti in <a class="link-https" data-arxiv-id="1410.8387" href="https://arxiv.org/abs/1410.8387">arXiv:1410.8387</a> and Bossiére-Camere-Sarti in <a class="link-https" data-arxiv-id="1402.5154" href="https://arxiv.org/abs/1402.5154">arXiv:1402.5154</a>.

Algebraic Geometry,Differential Geometry
K3 surfaces of Kummer type in characteristic two

Igor V. Dolgachev

DOI: https://doi.org/10.1112/blms.13033

IF: 1.036

2024-03-28

Bulletin of the London Mathematical Society

Abstract:We discuss K3 surfaces in characteristic two that contain the Kummer configuration of smooth rational curves.

mathematics
Bitangent surfaces and involutions of quartic surfaces

Igor Dolgachev,Shigeyuki Kondō

2024-08-10

Abstract:We study the congruence of bitangent lines of an irreducible surface in the 3-dimensional projective space in arbitrary characteristic, with special attention to quartic surfaces with rational double points and, in particular, Kummer quartic surfaces.

Algebraic Geometry

Involutions on K3 surfaces and derived equivalence

Elliptic fibrations and involutions on K3 surfaces

Anti-symplectic involutions on moduli spaces of sheaves on K3 surfaces via auto-equivalences

Equivariant Moduli Theory on $ K3 $ Surfaces

Geometric invariants of $K3$ surfaces with purely non-symplectic automorphisms

Curves on K3 surfaces and modular forms

Equivariant birational types and derived categories

On L-equivalence for K3 surfaces and hyperkähler manifolds

On the descendent Gromov-Witten theory of a K3 surface

Symplectic involutions on deformations of K3^[2]

Quotient spaces of K3 surfaces by non-symplectic involutions fixing a curve of genus 8 or more

On K3 surfaces which dominate Kummer surfaces

K3 surfaces with two involutions and low Picard number

Automorphisms of K3 surfaces and their applications

On two-elementary K3 surfaces with finite automorphism group

K3 Surfaces from Configurations of Six Lines in ℙ2 and Mirror Symmetry II—λK3-functions

Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

K3 surfaces from configurations of six lines in and mirror symmetry II --- -functions ---

Geometric realizations of non-symplectic involutions on the Hilbert square of a K3 surface

K3 surfaces of Kummer type in characteristic two

Bitangent surfaces and involutions of quartic surfaces