The Complete Intersection Discrepancy of a Curve I: Numerical Invariants
Pith reviewed 2026-05-22 20:28 UTC · model grok-4.3
The pith
A complete intersection discrepancy acts as a correction term to generalize two classical formulas for curves.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By defining the complete intersection discrepancy of a curve, the paper provides a correction term that generalizes the classical multiplicity formula relating basic invariants of a curve singularity and the genus-degree formula, both originally stated for complete intersection curves. These generalizations are obtained via an adjunction-type identity from Grothendieck duality.
What carries the argument
the complete intersection discrepancy of a curve, which acts as a correction term derived from an adjunction identity
If this is right
- The generalized multiplicity formula applies to the study of equisingularity of curves.
- The genus-degree formula extends to projective curves that are not complete intersections.
- Numerical invariants of curves become related through the discrepancy as an explicit adjustment term.
- The same adjunction identity supplies a method for obtaining further corrections in related curve settings.
Where Pith is reading between the lines
- The discrepancy definition might extend to produce analogous corrections for invariants in higher-dimensional complete intersections.
- Explicit computation of the discrepancy on families of singular curves could reveal patterns linking it to classical singularity invariants.
- The underlying duality identity could connect to other correction terms that appear in duality-based formulas elsewhere in algebraic geometry.
Load-bearing premise
An adjunction-type identity derived from Grothendieck duality theory holds and can be applied directly to produce the stated generalizations for complete intersection curves.
What would settle it
For a concrete curve that is not a complete intersection, compute its complete intersection discrepancy directly and check whether the corrected multiplicity formula matches independent calculations of the curve invariants.
read the original abstract
We generalize two classical formulas for complete intersection curves by introducing the the complete intersection discrepancy of a curve as a correction term. The first is a well-known multiplicity formula in singularity theory, due to L\^e, Greuel and Teissier, which relates some of the basic invariants of a curve singularity. We apply this generalization elsewhere to the study of equisingularity of curves. The second is the genus--degree formula for projective curves. The main technical tool used to obtain these generalizations is an adjunction-type identity derived from Grothendieck duality theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes two classical formulas for complete intersection curves by introducing the complete intersection discrepancy of a curve as a correction term. The first is the Lê-Greuel-Teissier multiplicity formula relating basic invariants of a curve singularity; the second is the genus-degree formula for projective curves. Both generalizations are obtained from an adjunction-type identity derived from Grothendieck duality theory, with an application noted to equisingularity studies.
Significance. If the adjunction identity is correctly derived and its hypotheses verified for the relevant complete-intersection embeddings, the discrepancy supplies a uniform correction that extends two standard formulas in singularity theory and projective geometry. This could furnish a new numerical invariant useful for equisingularity questions, as the authors indicate they apply the multiplicity generalization elsewhere.
major comments (1)
- [Abstract] Abstract: the central claim that the discrepancy corrects the Lê-Greuel-Teissier and genus-degree formulas rests on an adjunction-type identity from Grothendieck duality, yet the abstract (and the provided manuscript text) records neither the precise statement of the identity (including ambient scheme, ideal sheaf of the curve, and dualizing sheaf) nor the verification that the required hypotheses (e.g., flatness or vanishing conditions) hold for arbitrary complete-intersection curves. This verification is load-bearing for the generalizations.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need for greater precision in stating the central adjunction identity. We agree that this clarification strengthens the manuscript and will revise accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that the discrepancy corrects the Lê-Greuel-Teissier and genus-degree formulas rests on an adjunction-type identity from Grothendieck duality, yet the abstract (and the provided manuscript text) records neither the precise statement of the identity (including ambient scheme, ideal sheaf of the curve, and dualizing sheaf) nor the verification that the required hypotheses (e.g., flatness or vanishing conditions) hold for arbitrary complete-intersection curves. This verification is load-bearing for the generalizations.
Authors: We agree that the abstract would benefit from a more explicit formulation of the adjunction identity. In the revised version we will expand the abstract to record the precise statement, specifying the ambient smooth scheme X, the ideal sheaf I_C of the curve C, and the dualizing sheaf involved in the Grothendieck duality isomorphism. For the verification of hypotheses, the body derives the identity under the standing assumption that C is a complete intersection in a regular ambient scheme; this guarantees the necessary Cohen-Macaulay property, flatness of the relevant morphisms, and vanishing of higher direct images. We will add an explicit verification paragraph (likely in the introduction or §2) confirming these conditions hold for arbitrary complete-intersection curves, as the referee correctly notes that this is load-bearing. revision: yes
Circularity Check
No circularity; discrepancy derived independently via Grothendieck duality
full rationale
The paper introduces the complete intersection discrepancy explicitly as a correction term obtained from an adjunction-type identity derived from Grothendieck duality theory. This identity is positioned as the main technical tool used to generalize the Lê-Greuel-Teissier multiplicity formula and the genus-degree formula. No equations or definitions in the abstract or description indicate that the discrepancy is defined in terms of the invariants it corrects, nor are there fitted parameters renamed as predictions, self-citation load-bearing steps, or ansatzes smuggled via prior work. The derivation chain relies on standard duality results external to the paper's own claims, making the central generalizations non-circular by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Grothendieck duality supplies an adjunction-type identity that can be specialized to complete intersection curves.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.