pith. sign in

arxiv: 2604.20114 · v1 · submitted 2026-04-22 · 🧮 math.AG

Maximally nodal sextic surfaces and linear determinantal representations

Yonghwa Cho This is my paper

Pith reviewed 2026-05-09 23:55 UTC · model grok-4.3

classification 🧮 math.AG MSC 14J2514M12
keywords sextic surfacesnodesdeterminantal representationsUlrich sheaveshalf-even setsalgebraic geometry
0
0 comments X

The pith

Every maximally nodal sextic surface contains a symmetric set of 35 nodes that yields a linear determinantal representation.

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

The paper establishes that any sextic surface in projective 3-space with the maximum of 65 nodes must include a symmetric half-even set consisting of 35 of those nodes. This set ensures that a sheaf tied to the surface, called the half-quadratic sheaf, arises as the cokernel of a 6 by 6 matrix with linear form entries. As a result, the defining equation of the surface is the determinant of this matrix, giving it a linear determinantal representation. After an appropriate twist, the sheaf becomes an Ulrich sheaf of rank one. This structure provides a concrete algebraic way to represent and analyze these highly singular surfaces, illustrated by an explicit matrix for the Barth sextic.

Core claim

Every maximally nodal sextic surface with 65 nodes contains a symmetric half-even set of nodes of cardinality 35. The associated half-quadratic sheaf is then the cokernel of a symmetric 6 by 6 matrix of linear forms, which yields a linear determinantal representation of the surface. After a suitable Serre twist, this sheaf is an Ulrich sheaf of rank 1. An explicit 6 by 6 matrix is given whose determinant is the Barth sextic surface.

What carries the argument

The symmetric half-even set of 35 nodes, which defines a half-quadratic sheaf that serves as the cokernel of a symmetric 6x6 matrix of linear forms.

If this is right

  • Every maximally nodal sextic surface admits a linear determinantal representation as the determinant of a symmetric 6x6 matrix of linear forms.
  • The half-quadratic sheaf associated to the 35 nodes is an Ulrich sheaf of rank 1 after a Serre twist.
  • An explicit example is provided for the Barth sextic surface via a 6x6 matrix.
  • This representation connects the nodal configuration directly to the matrix factorization of the surface equation.

Where Pith is reading between the lines

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

  • This could enable algorithms to construct or verify determinantal forms for given sextic equations by searching for the 35-node sets.
  • The result suggests that the maximum nodal sextics form a class where geometric properties are controlled by linear algebra over the polynomial ring.
  • Similar half-even sets might exist in other contexts like quartic surfaces or higher-dimensional varieties with maximal singularities.

Load-bearing premise

That a symmetric half-even set of 35 nodes always exists for any maximally nodal sextic surface and that the associated half-quadratic sheaf satisfies the symmetry needed to be the cokernel of a symmetric linear matrix.

What would settle it

Finding or constructing a specific sextic polynomial with exactly 65 nodes where no symmetric half-even set of 35 nodes exists, or where the cokernel of any candidate 6x6 linear matrix does not match the surface equation.

read the original abstract

We prove that every maximally nodal sextic surface\,(with 65 nodes) $X \subset \mathbb{P}_{\mathbb{C}}^3$ contains a symmetric half-even set of nodes of cardinality 35. It follows that the associated half-quadratic sheaf is the cokernel of a symmetric $6 \times 6$ matrix of linear forms, yielding a linear determinantal representation of $X$. In particular, after a suitable Serre twist, the half-quadratic sheaf is an Ulrich sheaf of rank 1. As an example, we exhibit an explicit $6 \times 6$ matrix of linear forms whose determinant defines the Barth sextic surface.

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 / 3 minor

Summary. The manuscript proves that every maximally nodal sextic surface X in P^3_C with exactly 65 nodes admits a symmetric half-even set of 35 nodes. From this set the associated half-quadratic sheaf is shown to be the cokernel of a symmetric 6x6 matrix of linear forms, yielding a linear determinantal representation of X. After a suitable Serre twist the sheaf is Ulrich of rank 1. An explicit 6x6 matrix whose determinant is the Barth sextic is constructed as an example.

Significance. If the existence of the symmetric half-even 35-node set holds in general, the result supplies a uniform linear determinantal representation for all maximally nodal sextics and identifies the half-quadratic sheaf as an Ulrich sheaf. This connects the nodal geometry of these K3 surfaces to matrix factorizations and provides a concrete computational realization via the Barth sextic. The argument combines standard sheaf-theoretic techniques with a new existence statement on node configurations.

minor comments (3)
  1. §2, Definition 2.3: the notion of 'half-even set' is used throughout but its precise relation to the 2-torsion in the Picard group of the minimal resolution is only sketched; a short reminder of the parity condition would aid readability.
  2. §4, Proposition 4.2: the passage from the symmetric half-even set to the 6x6 matrix via the cokernel of the half-quadratic sheaf is stated as 'standard,' yet the precise vanishing of H^1 and the symmetry of the resulting map are not verified explicitly for the general case; a one-paragraph outline would strengthen the argument.
  3. §5, Example 5.1: the explicit matrix for the Barth sextic is given, but the verification that its determinant has exactly 65 nodes is omitted; a brief reference to the known node count or a computational check would be helpful.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point. We confirm that the manuscript is ready for the suggested minor revision process if any editorial changes are needed.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript is a self-contained existence proof in algebraic geometry: it establishes that every maximally nodal sextic contains a symmetric half-even 35-node set, then invokes the standard construction of the associated half-quadratic sheaf whose cokernel is realized by a symmetric 6×6 matrix of linear forms. No step reduces a claimed prediction or uniqueness result to a fitted parameter, a self-citation chain, or a definitional tautology; the passage from node set to determinantal representation follows from sheaf cohomology and the Ulrich property after twisting, all independent of the target conclusion. The explicit Barth-sextic matrix serves as verification rather than input. The derivation therefore remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes standard notions from algebraic geometry (nodes, sheaves on projective space, determinantal representations) without introducing new free parameters or invented entities. The half-quadratic sheaf is treated as an associated object whose existence is assumed in the domain.

axioms (2)
  • domain assumption Standard properties of isolated nodes on hypersurfaces in P^3 over the complex numbers
    The paper uses the definition of nodes and the count of 65 as the maximum without further justification in the abstract.
  • domain assumption Existence of an associated half-quadratic sheaf for a half-even set of nodes
    The abstract refers to 'the associated half-quadratic sheaf' as if it is a standard construction once the node set is chosen.

pith-pipeline@v0.9.0 · 5397 in / 1398 out tokens · 28315 ms · 2026-05-09T23:55:50.967252+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Barth, Two projective surfaces with many nodes, admitting the symmetries of the icosahedron , J

    W. Barth, Two projective surfaces with many nodes, admitting the symmetries of the icosahedron , J. Algebraic Geom. 5 , no. 1, (1996), 173--186

    work page 1996

  2. [2]

    A. Beauville, Sur le nombre maximum de point doubles d'une surface dans ^3 \, ( (5)=31 ) , in Journ\'ees de G\'eometrie Alg\'ebrique d'Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, (1980), 207--215

    work page 1979

  3. [3]

    Beauville, An introduction to Ulrich bundles , Eur

    A. Beauville, An introduction to Ulrich bundles , Eur. J. Math. 4 , no. 1, (2018), 26--36

    work page 2018

  4. [4]

    Casnati and F

    G. Casnati and F. Catanese, Even sets of nodes are bundle symmetric , J. Differential Geom. 47 , no. 2, (1997), 237--256

    work page 1997

  5. [5]

    Catanese, Babbage's conjecture, contact of surfaces, symmetric determinantal varieties and applications , Invent

    F. Catanese, Babbage's conjecture, contact of surfaces, symmetric determinantal varieties and applications , Invent. Math. 63 , no. 3, (1981), 433--465

    work page 1981

  6. [6]

    Catanese, Y

    F. Catanese, Y. Cho and M. Kiermaier, Nodal Sextic Surfaces , in Varieties of Nodal Surfaces, Coding Theory and Discriminants of Cubic Hypersurfaces, Lect. Notes Unione Mat. Ital., 31, Springer, Cham, (2026), 141--192

    work page 2026

  7. [7]

    Dimca, On the syzygies and Hodge theory of nodal hypersurfaces , Ann

    A. Dimca, On the syzygies and Hodge theory of nodal hypersurfaces , Ann. Univ. Ferrara Sez. VII Sci. Mat. 63 , no. 1, (2017), 87--101

    work page 2017

  8. [8]

    Eisenbud and F.-O

    D. Eisenbud and F.-O. Schreyer, Resultants and Chow forms via exterior syzygies , J. Amer. Math. Soc. 16 , no. 3, (2003), 537--579

    work page 2003

  9. [9]

    Endra , Minimal even sets of nodes , J

    S. Endra , Minimal even sets of nodes , J. Reine Angew. Math. 503 , (1998), 87--108

    work page 1998

  10. [10]

    Jaffe and D

    D. Jaffe and D. Ruberman, A sextic surface cannot have 66 nodes , J. Algebraic Geom. 6 , no. 1, (1997), 151--168

    work page 1997

  11. [11]

    Kloosterman, Nodal surfaces with obstructed deformations , Geom

    R. Kloosterman, Nodal surfaces with obstructed deformations , Geom. Dedicata 190 , (2017), 143--150

    work page 2017

  12. [12]

    Kurz, Codes of Nodal Sextics with Many Nodes , in Varieties of Nodal Surfaces, Coding Theory and Discriminants of Cubic Hypersurfaces , Lect

    S. Kurz, Codes of Nodal Sextics with Many Nodes , in Varieties of Nodal Surfaces, Coding Theory and Discriminants of Cubic Hypersurfaces , Lect. Notes Unione Mat. Ital., 31, Springer, Cham, (2026), 193--198

    work page 2026

  13. [13]

    Miyaoka, The maximal number of quotient singularities on surfaces with given numerical invariants , Math

    Y. Miyaoka, The maximal number of quotient singularities on surfaces with given numerical invariants , Math. Ann. 268 , no. 2, (1984), 159--171

    work page 1984

  14. [14]

    Togliatti, Una notevole superficie de 5 ^o ordine con soli punti doppi isolati , Vierteljschr

    E. Togliatti, Una notevole superficie de 5 ^o ordine con soli punti doppi isolati , Vierteljschr. Naturforsch. Ges. Z\"urich 85 , Beiblatt (Festschrift Rudolf Fueter), (1940), 127--132

    work page 1940

  15. [15]

    Wahl, Nodes on sextic hypersurfaces in ^3 , J

    J. Wahl, Nodes on sextic hypersurfaces in ^3 , J. Differential Geom. 48 , no. 3, (1998), 439--444

    work page 1998

  16. [16]

    Griffiths, and Joe Harris, Geometry of Algebraic Curves: Volume I, Grundlehren der mathematischen Wissenschaften 267 (1985), Springer-Verlag, Berlin

    Enrico Arbarello, Maurizio Cornalba, Philip A. Griffiths, and Joe Harris, Geometry of Algebraic Curves: Volume I, Grundlehren der mathematischen Wissenschaften 267 (1985), Springer-Verlag, Berlin

    work page 1985

  17. [17]

    Math., XXXIV, Cambridge Univ

    Dave Bayer and David Mumford, What can be computed in algebraic geometry?, Computational algebraic geometry and commutative algebra (Cortona, 1991), Sympos. Math., XXXIV, Cambridge Univ. Press, Cambridge (1993), 1--48

    work page 1991

  18. [18]

    Beltrametti and Andrew J

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

    work page 1995

  19. [19]

    Butler, Normal generation of vector bundles over a curve, J

    David C. Butler, Normal generation of vector bundles over a curve, J. Differential Geom. 39 (1994), 1--34

    work page 1994

  20. [20]

    Lawrence Ein, The ramification divisors for branched coverings of _k^n , Math. Ann. 261 (1982), 483--485

    work page 1982

  21. [21]

    Takao Fujita, On the structure of polarized manifolds with total deficiency one I, J. Math. Soc. Japan 32 (1980), 709--725

    work page 1980

  22. [22]

    Takao Fujita, On the structure of polarized manifolds with total deficiency one II, J. Math. Soc. Japan 33 (1981), 415--434

    work page 1981

  23. [23]

    Daniel Grayson and Michael Stillman, Macaulay2, a software system for research in algebraic geometry, available at http://www.math.uiuc.edu/Macaulay2/

    work page

  24. [24]

    Bo Ilic, Geometric properties of the double-point divisor, Trans. Amer. Math. Soc. 350 (1998), 1643--1661

    work page 1998

  25. [25]

    1056 (1984), Springer-Verlag, Berlin, 142--186

    Paltin Ionescu, Embedded projective varieties of small invariants, in Algebraic Geometry (Bucharest 1982), Lecture Notes in Math. 1056 (1984), Springer-Verlag, Berlin, 142--186

    work page 1982

  26. [26]

    1417 (1990), Springer-Verlag, Berlin, 138--154

    Paltin Ionescu, Embedded projective varieties of small invariants III, in Algebraic Geometry (L'Aquila 1988), Lecture Notes in Math. 1417 (1990), Springer-Verlag, Berlin, 138--154

    work page 1988

  27. [27]

    Paltin Ionescu, On manifolds of small degree, Comment. Math. Helv. 83 (2008), 927--940

    work page 2008

  28. [28]

    Reine Angew

    Sijong Kwak, Castelnuovo--Mumford regularity bound for smooth threefolds in ^5 and extremal examples, J. Reine Angew. Math. 509 (1999), 21--34

    work page 1999

  29. [29]

    Sijong Kwak and Jinhyung Park, Geometric properties of projective manifolds of small degree, Math. Proc. Cambridge Philos. Soc. 160 (2016), 257--277

    work page 2016

  30. [30]

    Sijong Kwak and Jinhyung Park, A bound for Castelnuovo--Mumford regularity by double point divisors, Adv. Math. 364 (2020), 107008, 33pp

    work page 2020

  31. [31]

    48 and 49 (2004), Springer-Verlag, Berlin

    Robert Lazarsfeld, Positivity in algebraic geometry I and II, A Series of Modern Surveys in Math. 48 and 49 (2004), Springer-Verlag, Berlin

    work page 2004

  32. [32]

    Atsushi Noma, Hypersurfaces cutting out a projective vareity, Trans. Amer. Math. Soc. 362, (2010), 4481--4495

    work page 2010

  33. [33]

    Atsushi Noma, Generic inner projections of projective varieties and an application to the positivity of double point divisors, Trans. Amer. Math. Soc. 366 (2014), 4603--4623

    work page 2014

  34. [34]

    Atsushi Noma, Projective varieties with nonbirational linear projections and applications, Trans. Amer. Math. Soc. 370 (2018), 2299--2320

    work page 2018

  35. [35]

    Algebra 504 (2018), 39--53

    Atsushi Noma, Base-point-freeness of double-point divisors of smooth birational-divisors on conical rational scrolls, J. Algebra 504 (2018), 39--53

    work page 2018

  36. [36]

    Atsushi Noma, Nonbirational centers of linear projections of scrolls over curves, Kodai Math. J. 45 (2022), 404--412

    work page 2022

  37. [37]

    Pure Appl

    Atsushi Noma, The number of irreducible components of the locus of nonbirational projection center, J. Pure Appl. Algebra 228 (2024), 107523, 15pp

    work page 2024

  38. [38]

    Scuola Norm

    Giorgio Ottaviani, On 3-folds in ^5 which are scrolls, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 19 (1992), 451--471. document

    work page 1992