pith. sign in

arxiv: 2406.16246 · v5 · pith:VA4AF23Vnew · submitted 2024-06-24 · 🧮 math.AG

Bitangent surfaces and involutions of quartic surfaces

Igor Dolgachev , Shigeyuki Kond\=o This is my paper

Pith reviewed 2026-05-24 00:34 UTC · model grok-4.3

classification 🧮 math.AG
keywords bitangent linesquartic surfacesrational double pointsKummer surfacesinvolutionsprojective spacecongruencesalgebraic surfaces
0
0 comments X

The pith

The bitangent lines to an irreducible surface in projective 3-space form a congruence that for quartics with rational double points corresponds to involutions on the surface.

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

The paper examines the set of lines tangent to an irreducible surface in three-dimensional projective space at exactly two points. It develops this study uniformly across all characteristics of the base field and focuses on quartic surfaces whose only singularities are rational double points. Special emphasis falls on Kummer quartic surfaces. A sympathetic reader would care because the construction reveals geometric structures and symmetries that persist without assuming the field is the complex numbers.

Core claim

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. The bitangent surfaces arising from this congruence are shown to correspond to involutions of the quartic surface.

What carries the argument

The bitangent congruence, the incidence variety of bitangent lines that organizes them into a surface and links them to automorphisms of the quartic.

If this is right

  • The description of the congruence applies equally in positive characteristic and in characteristic zero.
  • For Kummer quartics the bitangent lines admit explicit parametrization tied to the nodes.
  • Each such involution on the quartic produces a corresponding bitangent surface.
  • The construction remains valid when the quartic has only rational double points as singularities.

Where Pith is reading between the lines

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

  • The same incidence techniques could be tested on other classes of surfaces with mild singularities beyond quartics.
  • The link between bitangents and involutions may supply new invariants for the moduli space of K3 surfaces.
  • Explicit equations for the bitangent surface could be computed for low-degree Kummer examples to check the correspondence.

Load-bearing premise

The surface under consideration must be irreducible so that the bitangent lines assemble into a single well-defined congruence.

What would settle it

An explicit irreducible quartic surface with rational double points, in any characteristic, whose bitangent lines fail to produce an involution on the surface.

read the original 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.

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

1 major / 0 minor

Summary. The manuscript studies the congruence of bitangent lines to an irreducible surface in projective 3-space over an arbitrary base field. Special attention is given to quartic surfaces with rational double points, and in particular to Kummer quartic surfaces.

Significance. If the results are correct, the work would extend classical results on bitangents and involutions to arbitrary characteristic and to singular quartics, potentially providing uniform statements that are not available in the literature. No machine-checked proofs, reproducible code, or explicit falsifiable predictions are mentioned in the visible material.

major comments (1)
  1. Abstract: no theorems, propositions, or derivations are stated, so it is impossible to identify or evaluate any load-bearing claims, definitions of the bitangent congruence, or arguments that the construction works uniformly in positive characteristic.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their feedback. The sole major comment concerns the abstract. We address it point by point below.

read point-by-point responses

  1. Referee: Abstract: no theorems, propositions, or derivations are stated, so it is impossible to identify or evaluate any load-bearing claims, definitions of the bitangent congruence, or arguments that the construction works uniformly in positive characteristic.

    Authors: We agree that the current abstract is a high-level description and does not explicitly state the main theorems or the precise definition of the bitangent congruence. In the revised manuscript we will expand the abstract to include concise statements of the principal results: the construction of the bitangent congruence for an irreducible surface in P^3 over an arbitrary field, the fact that this construction is uniform in positive characteristic, and the specific statements for quartic surfaces with rational double points (including Kummer surfaces). This will make the load-bearing claims and the uniformity argument immediately visible. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation chain not exhibited

full rationale

The query supplies only the abstract and notes that the full manuscript is referenced externally but not provided for inspection. No equations, definitions, proofs, or load-bearing steps are available to examine against the enumerated circularity patterns. Without any quoted derivation that reduces by construction to its own inputs (self-definitional, fitted prediction, or self-citation chain), the default finding of no circularity applies. The paper's geometric study of bitangent congruences on irreducible surfaces appears self-contained in principle, as no reduction to fitted parameters or imported uniqueness theorems is visible.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no information on free parameters, background axioms, or newly postulated entities.

pith-pipeline@v0.9.0 · 5547 in / 1086 out tokens · 19275 ms · 2026-05-24T00:34:57.921008+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

29 extracted references · 29 canonical work pages

  1. [1]

    Corvaja, F

    P . Corvaja, F. Zucconi, Bitangents to a quartic surface and infinitesimal Torelli , J. Differential Geom., 126 (2024), no. 3, 1097–1120

    work page 2024

  2. [2]

    Cossec, Reye congruences, Trans

    F. Cossec, Reye congruences, Trans. Amer. Math. Soc., 280 (1983), 737–751

    work page 1983

  3. [3]

    Dolgachev, Classical Algebraic Geometry, Cambridge Univ

    I. Dolgachev, Classical Algebraic Geometry, Cambridge Univ. Press 2012

    work page 2012

  4. [4]

    Dolgachev, 15-nodal quartic surfaces

    I. Dolgachev, 15-nodal quartic surfaces. Part I: quintic del Pezzo surfaces and congruences of lines in P3, Recent developments in algebraic geometry–to Miles Reid for his 70 th birthday, London Math. Soc. Lecture Note Ser., vol. 478, Cambridge University Press, Cambridge, 2022, pp. 66–115

    work page 2022

  5. [5]

    Dolgachev, S

    I. Dolgachev, S. Kond¯ o,Enriques surfaces II, Springer 2025

    work page 2025

  6. [6]

    Ducrohet, The action of the Frobenius map on rank 2 vector bundles over a supersingular genus 2 curve in characteristic 2, Math

    L. Ducrohet, The action of the Frobenius map on rank 2 vector bundles over a supersingular genus 2 curve in characteristic 2, Math. Z., 258 (2008), 477–492

    work page 2008

  7. [7]

    Duquesne, Traces of the group law on the Kummer surface of a curve of genu s 2 in characteristic 2 , Math

    S. Duquesne, Traces of the group law on the Kummer surface of a curve of genu s 2 in characteristic 2 , Math. Computer Science 3 (2010), 173–183

    work page 2010

  8. [8]

    Emch, On surfaces and curves which are invariant under involutory Cremona transformations, Amer

    A. Emch, On surfaces and curves which are invariant under involutory Cremona transformations, Amer. J. Math., 48 (1926), 21–44

    work page 1926

  9. [9]

    Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No

    R. Hartshorne, Algebraic geometry , Graduate Texts in Mathematics, No. 52. Springer-V erlag, N ew Y ork- Heidelberg, 1977

    work page 1977

  10. [10]

    Hudson, Kummer’s quartic surface , Cambridge Univ

    H. Hudson, Kummer’s quartic surface , Cambridge Univ. Press 1905

    work page 1905

  11. [11]

    Hudson, Cremona transformations in plane and space , Cambridge Univ

    H. Hudson, Cremona transformations in plane and space , Cambridge Univ. Press 1927

    work page 1927

  12. [12]

    C. M. Jessop, A treatise on the line complex , Cambridge Univ. Press 1903

    work page 1903

  13. [13]

    Katsura, On Kummer surfaces in characteristic 2, M

    T. Katsura, On Kummer surfaces in characteristic 2, M. Nagata (ed.), Proceedings of the international symposi um on algebraic geometry, 525–542, Kinokuniya Book Store, Tok yo 1978

    work page 1978

  14. [14]

    Katsura, S

    T. Katsura, S. Kond¯ o,Kummer surfaces and quadratic line complexes in characteri stic two, arXiv:2301.01450

    work page arXiv

  15. [15]

    Kulikov, Vik

    V al. Kulikov, Vik. Kulikov, Generic coverings of the plane with A-D-E-singularities, Izv. Ross. Akad. Nauk Ser. Mat., 64 (2000), no. 6, 65–106; translation in Izv. Math., 64 (2000), no.6, 1153–1195

    work page 2000

  16. [16]

    Kummer, ¨Uber die algebraischen Strahlensysteme, in’s Besondere ¨ u ber die der ersten und zweiten Ordnung , Monatsberichte Berliner Akad., 8 (1866), 1–120

    E. Kummer, ¨Uber die algebraischen Strahlensysteme, in’s Besondere ¨ u ber die der ersten und zweiten Ordnung , Monatsberichte Berliner Akad., 8 (1866), 1–120. BITANGENT SURFACES AND INVOLUTIONS 23

    work page

  17. [17]

    Laszlo, C

    Y . Laszlo, C. Pauly, The action of the Frobenius map on rank 2 vector bundles in characteristic 2, J. Algebraic Geometry 11 (2002), 219–243

    work page 2002

  18. [18]

    Laszlo, C

    Y . Laszlo, C. Pauly, The Frobenius map, rank 2 vector bundles and Kummer’s quartic surface in characteris tic 2 and 3, Adv. Math., 185 (2004), 246–269

    work page 2004

  19. [19]

    E. Nart, C. Ritzenthaler, Non-hyperelliptic curves of genus three over finite fields of characteristic two, J. Number Theory 116 (2006), 443–473

    work page 2006

  20. [20]

    M. J. de Resmini, Sulle quartiche piane sopra un campo di caratteristica due , Ricerche di Mat., 19 (1970), 133– 160

    work page 1970

  21. [21]

    Salmon, A treatise on the analytic geometry of three dimensions , revised by R

    G. Salmon, A treatise on the analytic geometry of three dimensions , revised by R. A. P . Rogers. 7th ed. V ol.1, Edited by C. H. Rowe. Chelsea Publ. Company, New Y ork 1958

    work page 1958

  22. [22]

    Semple, L

    J. Semple, L. Roth, Introduction to Algebraic Geometry. Oxford, Clarendon Press, 1949 (reprinted in 1985)

    work page 1949

  23. [23]

    Shioda, Kummer surfaces in characteristic 2, Proc

    T. Shioda, Kummer surfaces in characteristic 2, Proc. Japan Acad., 50 (1974), 718–722

    work page 1974

  24. [24]

    V oloch,A formula for the Cartier operator on plane algebraic curves , J

    K.-O St¨ ohr, J.F. V oloch,A formula for the Cartier operator on plane algebraic curves , J. reine angew. Math., 377 (1987), 49–64

    work page 1987

  25. [25]

    Sturm, Die Gebilde ersten und zweiten Grades der Liniengeometrie i n synthetischer Behandlung , Theil 1–3, Leipzig 1892

    R. Sturm, Die Gebilde ersten und zweiten Grades der Liniengeometrie i n synthetischer Behandlung , Theil 1–3, Leipzig 1892

    work page

  26. [26]

    Tikhomirov, Geometry of the Fano surface of a double P 3 branched in a quartic , Izv

    A. Tikhomirov, Geometry of the Fano surface of a double P 3 branched in a quartic , Izv. Akad. Nauk SSSR Ser. Mat., 44 (1980), no. 2, 415–442, 479

    work page 1980

  27. [27]

    Wagreich, Elliptic singularities of surfaces , Amer

    P . Wagreich, Elliptic singularities of surfaces , Amer. J. Math., 92 (1970), 419–454

    work page 1970

  28. [28]

    Wall, Quartic curves in characteristic 2 , Math

    C.T.C. Wall, Quartic curves in characteristic 2 , Math. Proc. Camb. Phil. Soc., 117 (1995), 393–414

    work page 1995

  29. [29]

    Welters, Abel-Jacobi isogenies for certain types of Fano threefolds , Math

    G. Welters, Abel-Jacobi isogenies for certain types of Fano threefolds , Math. Centre Tracts, 141 Mathematisch Centrum, Amsterdam, 1981. DEPARTMENT OF MATHEMATICS , U NIVERSITY OF MICHIGAN , 525 E AST UNIVERSITY AVENUE , A NN ARBOR , MI 48109-1109 USA Email address: idolga@umich.edu GRADUATE SCHOOL OF MATHEMATICS , N AGOYA UNIVERSITY , NAGOYA, 464-8602 J ...

    work page 1981