pith. sign in

arxiv: 2207.09294 · v2 · pith:WSAV6V3Qnew · submitted 2022-07-19 · 🧮 math.AG

The cotangent bundle of K3 surfaces of degree two

Fabrizio Anella , Andreas H\"oring This is my paper

Pith reviewed 2026-05-24 11:16 UTC · model grok-4.3

classification 🧮 math.AG MSC 14J28
keywords K3 surfacescotangent bundleprojectivized cotangent bundlebitangent surfacedegree two polarizationalgebraic geometry
0
0 comments X

The pith

A surface D_S inside the projectivized cotangent bundle of a very general degree-two polarized K3 surface S mirrors the geometry of the bitangent surface of a quartic in P^3.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the projectivized cotangent bundle P(Ω_S) of a very general polarized K3 surface S of degree two. It isolates a surface D_S inside this bundle and works out its basic geometric properties. These properties are shown to parallel those of the classical surface of bitangents to a smooth quartic hypersurface in projective 3-space. The construction supplies concrete information about the positivity and global geometry of the cotangent bundle on such K3 surfaces.

Core claim

We describe the geometry of a surface D_S ⊂ P(Ω_S) that plays a similar role to the surface of bitangents for a quartic in P^3.

What carries the argument

The surface D_S inside the projectivized cotangent bundle P(Ω_S) of the K3 surface S.

If this is right

  • The description of D_S yields explicit information on the zero loci of sections of symmetric powers of the cotangent bundle.
  • The analogy with bitangents supplies a dictionary between curves on S and certain curves in the projectivized cotangent bundle.
  • Positivity questions for Ω_S can be reduced to questions about the position of D_S relative to the zero section and the fibers.
  • The same construction can be used to produce divisors whose intersection numbers with curves in P(Ω_S) are computable from the polarization on S.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same surface D_S may give a uniform way to study the stability of the cotangent bundle under deformations of the K3 surface.
  • If the analogy with bitangents extends to higher-dimensional Calabi-Yau threefolds, one might expect analogous surfaces inside their projectivized cotangent bundles.
  • The incidence geometry of D_S could be used to produce new correspondences between points and lines on the K3 surface itself.

Load-bearing premise

The K3 surface S must be very general and polarized of degree two.

What would settle it

Exhibit a very general degree-two polarized K3 surface S for which the surface D_S fails to be irreducible, or fails to intersect the fibers of P(Ω_S) in the expected number of points, or fails to satisfy any of the incidence relations that hold for the bitangent surface of a quartic.

Figures

Figures reproduced from arXiv: 2207.09294 by Andreas H\"oring, Fabrizio Anella.

Figure 1
Figure 1. Figure 1: Vanishing set of (4.6) in red (note that since E 3 S > 0, the origin lies in a connected component of the plane where (4.6) is positive), line x = 0.03577 in blue and line y = −0.047976x in green. □ Remark 4.10. Theorem 1.4 may be a rather small improvement of Corollary 4.9, yet in view of Theorem 1.5 it is also clear that there is not much space left. In fact more should be true: by Corollary 4.9 the divi… view at source ↗
read the original abstract

K3 surfaces have been studied from many points of view, but the positivity of the cotangent bundle is not well understood. In this paper we explore the surprisingly rich geometry of the projectivised cotangent bundle of a very general polarised K3 surface $S$ of degree two. In particular, we describe the geometry of a surface $D_S \subset \mathbb{P}(\Omega_S)$ that plays a similar role to the surface of bitangents for a quartic in $\mathbb{P}^3$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper explores the projectivised cotangent bundle of a very general polarised K3 surface S of degree two. It describes the geometry of a surface D_S ⊂ P(Ω_S) that plays a role analogous to the surface of bitangents for a quartic in P^3, under the hypothesis that S is very general.

Significance. If the geometric description holds, the work supplies an explicit special surface inside P(Ω_S) for degree-two K3 surfaces, furnishing a concrete handle on the positivity properties of the cotangent bundle, a topic noted as not well understood. The explicit analogy to bitangents opens potential links to enumerative questions on moduli spaces of K3 surfaces.

minor comments (1)
  1. The abstract states the main geometric claim but does not preview the key lemmas or constructions that establish the properties of D_S; a brief outline in the introduction would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the encouraging significance statement, and the recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper is a pure geometric description of the projectivised cotangent bundle P(Ω_S) and the surface D_S for a very general polarized K3 surface S of degree 2, with an analogy to bitangents. No derivation chain, equations, predictions, fitted parameters, or self-referential definitions appear in the abstract or title. The very-general hypothesis is stated explicitly as an assumption required for the geometry to hold, not derived from the result. No load-bearing steps reduce to inputs by construction, self-citation, or renaming. The work is self-contained as a descriptive result in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the work relies on standard background in algebraic geometry of K3 surfaces and vector bundles.

pith-pipeline@v0.9.0 · 5602 in / 1133 out tokens · 24967 ms · 2026-05-24T11:16:43.601780+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    o ring. Twisted cotangent bundle of hyperk\

    Fabrizio Anella and Andreas H\" o ring. Twisted cotangent bundle of hyperk\" a hler manifolds. J. \' E c. polytech. Math. , 8:1429---1457, 2021. With an appendix by Simone Diverio

    work page 2021

  2. [2]

    Faisceaux amples sur les espaces analytiques

    Vincenzo Ancona. Faisceaux amples sur les espaces analytiques. Trans. Amer. Math. Soc. , 274(1):89--100, 1982

    work page 1982

  3. [3]

    A classification of L agrangian planes in holomorphic symplectic varieties

    Benjamin Bakker. A classification of L agrangian planes in holomorphic symplectic varieties. J. Inst. Math. Jussieu , 16(4):859--877, 2017

    work page 2017

  4. [4]

    The pseudo-effective cone of a compact K\"a hler manifold and varieties of negative K odaira dimension

    S \'e bastien Boucksom, Jean-Pierre Demailly, Mihai P a un, and Thomas Peternell. The pseudo-effective cone of a compact K\"a hler manifold and varieties of negative K odaira dimension. Journal of Algebraic Geometry , 22:201--248, 2013

    work page 2013

  5. [5]

    M MP for moduli of sheaves on K 3s via wall-crossing: nef and movable cones, L agrangian fibrations

    Arend Bayer and Emanuele Macr\` . M MP for moduli of sheaves on K 3s via wall-crossing: nef and movable cones, L agrangian fibrations. Invent. Math. , 198(3):505--590, 2014

    work page 2014

  6. [6]

    Divisorial Z ariski decompositions on compact complex manifolds

    S \'e bastien Boucksom. Divisorial Z ariski decompositions on compact complex manifolds. Ann. Sci. \'Ecole Norm. Sup. (4) , 37(1):45--76, 2004

    work page 2004

  7. [7]

    Beltrametti and Andrew J

    Mauro C. Beltrametti and Andrew J. Sommese. The adjunction theory of complex projective varieties , volume 16 of de Gruyter Expositions in Mathematics . Walter de Gruyter & Co., Berlin, 1995

    work page 1995

  8. [8]

    S\' e minaire sur les S ingularit\' e s des S urfaces , volume 777 of Lecture Notes in Mathematics

    Michel Demazure, Henry Charles Pinkham, and Bernard Teissier, editors. S\' e minaire sur les S ingularit\' e s des S urfaces , volume 777 of Lecture Notes in Mathematics . Springer, Berlin, 1980. Held at the Centre de Math\' e matiques de l'\' E cole Polytechnique, Palaiseau, 1976--1977

    work page 1980

  9. [9]

    An effective restriction theorem via wall-crossing and M ercat's conjecture, 2016

    Soheyla Feyzbakhsh. An effective restriction theorem via wall-crossing and M ercat's conjecture, 2016

    work page 2016

  10. [10]

    Restrictions of semistable bundles on projective varieties

    Hubert Flenner. Restrictions of semistable bundles on projective varieties. Comment. Math. Helv. , 59(4):635--650, 1984

    work page 1984

  11. [11]

    Remarks on the positivity of the cotangent bundle of a K 3 surface

    Frank Gounelas and John Christian Ottem. Remarks on the positivity of the cotangent bundle of a K 3 surface. \' E pijournal G\' e om. Alg\' e brique , 4:Art. 8, 16, 2020

    work page 2020

  12. [12]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52

    work page 1977

  13. [13]

    Restriction of stable rank two vector bundles in arbitrary characteristic

    Georg Hein. Restriction of stable rank two vector bundles in arbitrary characteristic. Comm. Algebra , 34(7):2319--2335, 2006

    work page 2006

  14. [14]

    Algebraic integrability of foliations with numerically trivial canonical bundle

    Andreas H\" o ring and Thomas Peternell. Algebraic integrability of foliations with numerically trivial canonical bundle. Invent. Math. , 216(2):395--419, 2019

    work page 2019

  15. [15]

    Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics

    J \'a nos Koll \'a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti

    work page 1998

  16. [16]

    Positivity in algebraic geometry

    Robert Lazarsfeld. Positivity in algebraic geometry. I , volume 48 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, 2004. Classical setting: line bundles and linear series

    work page 2004

  17. [17]

    Positivity in algebraic geometry

    Robert Lazarsfeld. Positivity in algebraic geometry. II , volume 49 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals

    work page 2004

  18. [18]

    Maps from K -trivial varieties and connectedness problems

    Vladimir Lazi\' c and Thomas Peternell. Maps from K -trivial varieties and connectedness problems. Ann. H. Lebesgue , 3:473--500, 2020

    work page 2020

  19. [19]

    On a family of algebraic vector bundles

    Masaki Maruyama. On a family of algebraic vector bundles. Dissertation Kyoto University, https://doi.org/10.14989/doctor.r2072, 1972

    work page doi:10.14989/doctor.r2072 1972

  20. [20]

    Zariski-decomposition and abundance , volume 14 of MSJ Memoirs

    Noboru Nakayama. Zariski-decomposition and abundance , volume 14 of MSJ Memoirs . Mathematical Society of Japan, Tokyo, 2004

    work page 2004

  21. [21]

    Semi-positivity and cotangent bundles

    Keiji Oguiso and Thomas Peternell. Semi-positivity and cotangent bundles. In Complex analysis and geometry ( T rento, 1993) , volume 173 of Lecture Notes in Pure and Appl. Math. , pages 349--368. Dekker, New York, 1996

    work page 1993

  22. [22]

    Algebraic geometry

    Daniel Perrin. Algebraic geometry . Universitext. Springer-Verlag London, Ltd., London; EDP Sciences, Les Ulis, 2008. An introduction, Translated from the 1995 French original by Catriona Maclean

    work page 2008

  23. [23]

    A. S. Tihomirov. Geometry of the F ano surface of a double P ^ 3 branched in a quartic. Izv. Akad. Nauk SSSR Ser. Mat. , 44(2):415--442, 479, 1980

    work page 1980

  24. [24]

    Th\'eorie de H odge et g\'eom\'etrie alg\'ebrique complexe , volume 10 of Cours Sp\'ecialis\'es

    Claire Voisin. Th\'eorie de H odge et g\'eom\'etrie alg\'ebrique complexe , volume 10 of Cours Sp\'ecialis\'es . Soci\'et\'e Math\'ematique de France, Paris, 2002

    work page 2002

  25. [25]

    Gerald. E. Welters. Abel- J acobi isogenies for certain types of F ano threefolds , volume 141 of Mathematical Centre Tracts . Mathematisch Centrum, Amsterdam, 1981

    work page 1981