pith. the verified trust layer for science. sign in

arxiv: 2605.00355 · v1 · submitted 2026-05-01 · 🧮 math.AG · math.AT· math.CT

Torsion Trajectories from Local Discriminants to Global Obstructions

Abdul Rahman This is my paper

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

classification 🧮 math.AG math.ATmath.CT
keywords singularitiestorsiondiscriminantintersection cohomologycodimension twonormal surfacesvanishing cyclesalgebraic geometry
0
0 comments X p. Extension

The pith

Finite discriminant torsion is a codimension-two phenomenon rather than generic to nodes.

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

The paper tracks how a finite group E, which measures the difference between ordinary and dual middle-perversity intersection complexes for normal surface singularities, moves from local singularity data through various cohomological constructions to global obstruction theory. Computations for specific cases such as A1, Ak, D4, E8 singularities and the threefold ordinary double point show that surface A1 points produce local Z/2-torsion while threefold nodes have torsion-free links. This leads to the conclusion that such torsion is tied to codimension-two loci. A sympathetic reader would care because it clarifies the origin of torsion in global invariants like Brauer groups or Hodge structures when dealing with singular varieties.

Core claim

By following the discriminant package (E, q) through support cohomology, excision, global torsion, Brauer comparison, Bloch-Ogus residues, and rationalization, and computing explicit examples, the paper finds that surface A1 singularities have local Z/2-torsion while threefold ordinary double points have torsion-free links S^2 × S^3, showing that finite discriminant torsion is naturally a codimension-two phenomenon, not a generic feature of nodes.

What carries the argument

The discriminant package (E, q) consisting of the finite group E and its quadratic form, tracked as it passes through support cohomology, excision, global torsion, Brauer comparison, Bloch-Ogus residues, and rationalization.

If this is right

  • A surface A1 singularity has local Z/2-torsion.
  • A threefold ordinary double point has a torsion-free link and contributes free vanishing-cycle data.
  • Finite discriminant torsion arises naturally along codimension-two strata in families of varieties.
  • The pattern extends to nodal threefolds and quintics as seen in the computed examples.
  • This motivates investigating whether Enriques 2-torsion can degenerate from transverse A1-type data.

Where Pith is reading between the lines

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

  • If the distinction holds, torsion contributions to global invariants may vanish in dimensions three and higher for isolated nodes.
  • Varieties with nodal singularities in codimension one might have different torsion properties than those with surface singularities.
  • Further examples in fourfolds could test whether the codimension-two restriction is sharp.
  • Specialization of local torsion data could explain certain counterexamples to integral Hodge conjectures.

Load-bearing premise

The explicit trajectory computed for the listed singularities is representative of the general case for normal singularities and their degenerations.

What would settle it

Computing the discriminant group or link torsion for a new singularity type, such as another threefold node or a non-ADE surface singularity, and finding torsion where the codimension-two pattern predicts none would falsify the claim.

read the original abstract

For a normal surface singularity, the discrepancy between the ordinary and dual middle-perversity intersection complexes over \(\mathbb Z\) is measured by a finite group \(E\). In previous work, \(E\) was identified with link torsion, the exceptional-lattice discriminant group \(\Lambda^\vee/\Lambda\), a resolution-neighborhood boundary quotient, and, in the hypersurface case, \(\operatorname{coker}(T-\mathrm{id})_{\mathrm{tors}}\). This paper tracks the trajectory of this torsion from local singularity data to global obstruction theory. We follow the discriminant package \((E,q)\) through support cohomology, excision, global torsion, Brauer comparison, Bloch--Ogus residues, and rationalization. The method is example-driven: trajectory tables are computed for \(A_1\), \(A_k\), \(D_4\), \(E_8\), a non-ADE Brieskorn singularity, the threefold ordinary double point, nodal threefolds, nodal quintics, and the Benoist--Ottem benchmark. The computations reveal a sharp distinction: a surface \(A_1\) singularity has local \(\mathbb Z/2\)-torsion, whereas a threefold ordinary double point has torsion-free link \(S^2\times S^3\) and contributes free vanishing-cycle data instead. Thus finite discriminant torsion is naturally a codimension-two phenomenon, not a generic feature of nodes. The resulting pattern motivates a specialization problem: whether the Enriques \(2\)-torsion in Benoist--Ottem integral Hodge counterexamples is genuinely global, or can arise after degeneration from transverse \(A_1\)-type discriminant data along codimension-two strata.

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

3 major / 3 minor

Summary. The manuscript tracks the discriminant package (E, q) for normal surface singularities through support cohomology, excision, global torsion, Brauer comparison, Bloch-Ogus residues, and rationalization. Explicit trajectory tables are computed for A1, Ak, D4, E8, a non-ADE Brieskorn singularity, the threefold ordinary double point, nodal threefolds, nodal quintics, and the Benoist-Ottem benchmark. These reveal that surface A1 singularities produce local Z/2-torsion while threefold ordinary double points yield torsion-free links S^2×S^3 and free vanishing-cycle data. The paper concludes that finite discriminant torsion is naturally a codimension-two phenomenon, not generic to nodes, and motivates a specialization problem on whether Enriques 2-torsion in Benoist-Ottem integral Hodge counterexamples can arise from local A1-type data along codimension-two strata.

Significance. If the example computations hold and the chosen singularities are representative, the work supplies concrete data linking local singularity invariants to global cohomological obstructions. The observed dimension-dependent distinction between torsion and free data could inform degeneration techniques and the sources of torsion in Hodge-theoretic settings. The trajectory method offers a systematic template for analyzing how local discriminant data propagates through excision and residue maps.

major comments (3)
  1. [Abstract] Abstract: The assertion that finite discriminant torsion is 'naturally a codimension-two phenomenon, not a generic feature of nodes' follows from computations on the listed singularities (A1, Ak, D4, E8, non-ADE Brieskorn, ODP, nodal threefolds, nodal quintics, Benoist-Ottem). No general theorem is given showing that the sequence of operations (support cohomology through rationalization) cannot produce torsion in codimension >2 for other node types. This renders the 'natural' qualifier dependent on the unproven representativeness of the examples.
  2. [Trajectory tables for the threefold ordinary double point] Trajectory tables for the threefold ordinary double point: The claim that the link S^2×S^3 is torsion-free and contributes only free vanishing-cycle data requires explicit verification that excision and Bloch-Ogus residues introduce no supplementary torsion terms. The manuscript should detail how the torsion distinction is maintained across these steps without adjustments, as this distinction is load-bearing for the codimension claim.
  3. [Section on global torsion and Brauer comparison] Section on global torsion and Brauer comparison: The identifications of E with link torsion, exceptional-lattice discriminant, and coker(T-id)_tors are imported from prior work. To ensure the new trajectory computations are independent, the paper should include a self-contained check (e.g., direct computation of the cokernel for the non-ADE Brieskorn case) confirming that no circular reliance on the cited identifications affects the torsion outcomes.
minor comments (3)
  1. [Abstract] The abstract refers to 'trajectory tables' without indicating their location or the precise format (e.g., group presentations, ranks, or cokernels) in which results are recorded, hindering quick assessment of the data.
  2. A consolidated comparison table summarizing torsion vs. free outcomes across all computed singularities by dimension would clarify the codimension distinction for readers.
  3. [Introduction] Notation for the discriminant package (E, q) is used throughout but its explicit definition in terms of the listed identifications is not recalled in the introduction, reducing self-contained readability.

Simulated Author's Rebuttal

3 responses · 1 unresolved

Thank you for the referee's thorough review and valuable suggestions. We address each of the major comments in turn and outline the revisions we plan to implement.

read point-by-point responses

  1. Referee: [Abstract] The assertion that finite discriminant torsion is 'naturally a codimension-two phenomenon, not a generic feature of nodes' follows from computations on the listed singularities (A1, Ak, D4, E8, non-ADE Brieskorn, ODP, nodal threefolds, nodal quintics, Benoist-Ottem). No general theorem is given showing that the sequence of operations (support cohomology through rationalization) cannot produce torsion in codimension >2 for other node types. This renders the 'natural' qualifier dependent on the unproven representativeness of the examples.

    Authors: The manuscript is explicitly example-driven and computational, as stated. The qualifier 'naturally' is intended to capture the consistent pattern observed across the computed representative singularities rather than to assert a proven general fact. We will revise the abstract to clarify that the codimension-two conclusion is suggested by these explicit computations and to frame it as motivating further study, without implying a general theorem. revision: yes

  2. Referee: [Trajectory tables for the threefold ordinary double point] The claim that the link S^2×S^3 is torsion-free and contributes only free vanishing-cycle data requires explicit verification that excision and Bloch-Ogus residues introduce no supplementary torsion terms. The manuscript should detail how the torsion distinction is maintained across these steps without adjustments, as this distinction is load-bearing for the codimension claim.

    Authors: The trajectory tables already compute the discriminant package step by step through support cohomology, excision, global torsion, and Bloch-Ogus residues for the threefold ordinary double point, confirming that the link S^2×S^3 is torsion-free and that no supplementary torsion is introduced. We will add a short dedicated paragraph in the revised manuscript that explicitly verifies the preservation of freeness under excision and the residue maps for this case. revision: yes

  3. Referee: [Section on global torsion and Brauer comparison] The identifications of E with link torsion, exceptional-lattice discriminant, and coker(T-id)_tors are imported from prior work. To ensure the new trajectory computations are independent, the paper should include a self-contained check (e.g., direct computation of the cokernel for the non-ADE Brieskorn case) confirming that no circular reliance on the cited identifications affects the torsion outcomes.

    Authors: We agree that an explicit self-contained verification strengthens the independence of the new computations. We will include a direct computation of the cokernel for the non-ADE Brieskorn singularity in the revised section on global torsion and Brauer comparison, showing the torsion outcome without sole reliance on the imported identifications. revision: yes

standing simulated objections not resolved
  • The request for a general theorem establishing that the sequence of operations cannot produce torsion in codimension greater than 2 for other node types (the paper remains computational and example-driven).

Circularity Check

1 steps flagged

Self-citation for identification of E with link torsion is load-bearing for the trajectory analysis and codimension claim, though new example computations add independent content.

specific steps
  1. self citation load bearing [Abstract, first paragraph]
    "In previous work, E was identified with link torsion, the exceptional-lattice discriminant group Λ^∨/Λ, a resolution-neighborhood boundary quotient, and, in the hypersurface case, coker(T-id)_tors. This paper tracks the trajectory of this torsion from local singularity data to global obstruction theory. We follow the discriminant package (E,q) through support cohomology, excision, global torsion, Brauer comparison, Bloch--Ogus residues, and rationalization."

    The identification of E with link torsion and coker(T-id)_tors is justified solely by reference to the author's previous work. The paper then follows this E through the listed operations and draws the codimension-two conclusion from the computed distinction between surface A1 (Z/2-torsion) and threefold ODP (torsion-free link). The self-citation therefore supplies the load-bearing starting point for the entire derivation chain.

full rationale

The paper opens by citing its own prior work to equate the finite group E with link torsion, the discriminant group Λ^∨/Λ, boundary quotients, and coker(T-id)_tors. It then explicitly tracks this same E through the listed functors and uses the resulting example tables to assert that finite discriminant torsion is naturally codimension-two. While the specific computations for A1, ODP, nodal quintics, etc., are new, the central premise that E carries the relevant torsion data reduces to the self-citation. No fitted-input predictions, ansatz smuggling, or renaming of known results occur, and the generalization rests on representativeness of examples rather than a self-referential definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard domain assumptions from singularity theory and intersection cohomology without introducing new free parameters or invented entities; all quantities are drawn from prior identifications of the group E.

axioms (2)
  • domain assumption The discrepancy between the ordinary and dual middle-perversity intersection complexes over Z is measured by a finite group E.
    Opening statement of the abstract, taken as given from prior work.
  • domain assumption E can be identified with link torsion, the exceptional-lattice discriminant group Lambda^vee/Lambda, a resolution-neighborhood boundary quotient, and coker(T-id)_tors in the hypersurface case.
    Explicitly referenced as coming from previous work.

pith-pipeline@v0.9.0 · 5598 in / 1565 out tokens · 37324 ms · 2026-05-09T19:23:03.184412+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. From Diaz's Enriques Product to an $n$-Fold Cup-Product Bockstein Family of Integral Hodge Counterexamples

    math.AG 2026-05 conditional novelty 6.0

    An n-fold cup-product Bockstein on products of Enriques surfaces produces non-algebraic 2-torsion integral Hodge classes in dimension 2n under the Brauer-separation hypothesis.

Reference graph

Works this paper leans on

41 extracted references · 6 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Intersection homology II

    Mark Goresky and Robert MacPherson. “Intersection homology II”. In:Inventiones Mathematicae72 (1983), pp. 77–129

    1983

  2. [2]

    Alexander Beilinson, Joseph Bernstein, and Pierre Deligne.Faisceaux pervers. Vol. 100. Astérisque. Société Mathématique de France, 1982

    1982

  3. [3]

    Mixed Hodge modules

    Morihiko Saito. “Mixed Hodge modules”. In:Publications of the Research Institute for Mathematical Sciences26 (1990), pp. 221–333

    1990

  4. [4]

    The Hodge theory of algebraic maps

    Mark Andrea A. de Cataldo and Luca Migliorini. “The Hodge theory of algebraic maps”. In:Annales scientifiques de l’École Normale Supérieure. 4th ser. 38.5 (2005), pp. 693–750

    2005

  5. [5]

    Thedecompositiontheorem,perverse sheaves and the topology of algebraic maps

    MarkAndreaA.deCataldoandLucaMigliorini.“Thedecompositiontheorem,perverse sheaves and the topology of algebraic maps”. In:Bulletin of the American Mathematical Society46.4 (2009), pp. 535–633

    2009

  6. [6]

    Linking pairings on singular spaces

    Mark Goresky and Paul Siegel. “Linking pairings on singular spaces”. In:Commentarii Mathematici Helvetici58.1 (1983), pp. 96–110. 194 REFERENCES

    1983

  7. [7]

    Generalizations of intersection homology and perverse sheaves with duality over the integers

    Greg Friedman. “Generalizations of intersection homology and perverse sheaves with duality over the integers”. In:Michigan Mathematical Journal68.4 (2019), pp. 675–726. arXiv:1612.09353 [math.GT]

    work page arXiv 2019

  8. [8]

    Cambridge University Press, 2020

    Greg Friedman.Singular Intersection Homology. Cambridge University Press, 2020

    2020

  9. [9]

    Integral symmetric bilinear forms and some of their applications

    V. V. Nikulin. “Integral symmetric bilinear forms and some of their applications”. In: Mathematics of the USSR-Izvestiya14.1 (1980), pp. 103–167

    1980

  10. [10]

    Princeton, NJ: Princeton Uni- versity Press, 1968

    John Milnor.Singular Points of Complex Hypersurfaces. Princeton, NJ: Princeton Uni- versity Press, 1968

    1968

  11. [11]

    Gersten’s conjecture and the homology of schemes

    Spencer Bloch and Arthur Ogus. “Gersten’s conjecture and the homology of schemes”. In:Annales scientifiques de l’École Normale Supérieure. 4th ser. 7.2 (1974), pp. 181– 201

    1974

  12. [12]

    Cohomologie non ramifiée et conjecture de Hodge entière

    Jean-Louis Colliot-Thélène and Claire Voisin. “Cohomologie non ramifiée et conjecture de Hodge entière”. In:Duke Mathematical Journal161.5 (2012), pp. 735–801

    2012

  13. [13]

    Topological invariance of torsion-sensitive intersection homology

    Greg Friedman. “Topological invariance of torsion-sensitive intersection homology”. In: Geometriae Dedicata217.6 (2023), p. 105. arXiv:1907.07790 [math.GT]

    work page arXiv 2023

  14. [14]

    Analytic cycles on complex manifolds

    M. F. Atiyah and F. Hirzebruch. “Analytic cycles on complex manifolds”. In:Topology 1 (1962), pp. 25–45

    1962

  15. [15]

    Torsion algebraic cycles and complex cobordism

    Burt Totaro. “Torsion algebraic cycles and complex cobordism”. In:Journal of the American Mathematical Society10.2 (1997), pp. 467–493

    1997

  16. [16]

    Torsion cohomology classes and algebraic cycles on complex projective manifolds

    Christophe Soulé and Claire Voisin. “Torsion cohomology classes and algebraic cycles on complex projective manifolds”. In:Advances in Mathematics198.1 (2005), pp. 107– 127

    2005

  17. [17]

    Failure of the integral Hodge conjecture for threefolds of Kodaira dimension zero

    Olivier Benoist and John Christian Ottem. “Failure of the integral Hodge conjecture for threefolds of Kodaira dimension zero”. In:Commentarii Mathematici Helvetici95.1 (2020), pp. 27–35

    2020

  18. [18]

    Abdul Rahman.Integral Perverse Obstructions for Normal Surface Singularities: Res- olution Determinants and Monodromy. 2026. arXiv:2604.22132 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  19. [19]

    Seung-Jo Jung and Morihiko Saito.Factoriality of normal projective varieties. 2026. arXiv:2601.13151 [math.AG]

    work page arXiv 2026

  20. [20]

    The topology of normal singularities of an algebraic surface and a criterion for simplicity

    David Mumford. “The topology of normal singularities of an algebraic surface and a criterion for simplicity”. In:Publications Mathématiques de l’IHÉS9 (1961), pp. 5–22

    1961

  21. [21]

    On integral Hodge classes on uniruled or Calabi–Yau threefolds

    Claire Voisin. “On integral Hodge classes on uniruled or Calabi–Yau threefolds”. In: Moduli Spaces and Arithmetic Geometry. Vol. 45. Advanced Studies in Pure Mathe- matics. Tokyo: Mathematical Society of Japan, 2006, pp. 43–73

    2006

  22. [22]

    The integral Hodge conjecture for 3-folds of Kodaira dimension zero

    Burt Totaro. “The integral Hodge conjecture for 3-folds of Kodaira dimension zero”. In:Journal of the Institute of Mathematics of Jussieu20.5 (2021), pp. 1697–1717

    2021

  23. [23]

    Amsterdam: North-Holland, 1968

    Alexander Grothendieck.Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2). Amsterdam: North-Holland, 1968

    1968

  24. [24]

    The topology of complex projective varieties after S. Lefschetz

    Klaus Lamotke. “The topology of complex projective varieties after S. Lefschetz”. In: Topology20 (1981), pp. 15–51

    1981

  25. [25]

    Doublesolids

    C.HerbertClemens.“Doublesolids”.In:Advances in Mathematics47.2(1983),pp.107– 230

    1983

  26. [26]

    Defect of a nodal hypersurface

    Sławomir Cynk. “Defect of a nodal hypersurface”. In:Manuscripta Mathematica104.3 (2001), pp. 325–331

    2001

  27. [27]

    Maximal families of nodal varieties with defect

    Remke Kloosterman. “Maximal families of nodal varieties with defect”. In:Mathema- tische Zeitschrift300 (2022), pp. 1141–1156. REFERENCES 195

    2022

  28. [28]

    Compact moduli of Enriques surfaces of degree 2

    Valery Alexeev et al. “Compact moduli of Enriques surfaces of degree 2”. In:Nagoya Mathematical Journal259 (2025), pp. 581–624

    2025

  29. [29]

    On isolated rational singularities of surfaces

    Michael Artin. “On isolated rational singularities of surfaces”. In:American Journal of Mathematics88.1 (1966), pp. 129–136

    1966

  30. [30]

    Rational singularities, with applications to algebraic surfaces and unique factorization

    Joseph Lipman. “Rational singularities, with applications to algebraic surfaces and unique factorization”. In:Publications Mathématiques de l’IHÉS36 (1969), pp. 195– 279

    1969

  31. [31]

    Bredon.Sheaf Theory

    Glen E. Bredon.Sheaf Theory. 2nd ed. Vol. 170. Graduate Texts in Mathematics. Springer, 1997

    1997

  32. [32]

    Cambridge University Press, 2002

    Allen Hatcher.Algebraic Topology. Cambridge University Press, 2002

    2002

  33. [33]

    Le groupe de Brauer. III. Exemples et compléments

    Alexander Grothendieck. “Le groupe de Brauer. III. Exemples et compléments”. In: Dix Exposés sur la Cohomologie des Schémas. Advanced Studies in Pure Mathematics 3 (1968), pp. 88–188

    1968

  34. [34]

    Milne.Étale Cohomology

    James S. Milne.Étale Cohomology. Vol. 33. Princeton Mathematical Series. Princeton University Press, 1980

    1980

  35. [35]

    Raphaël Ruimy and Swann Tubach.Nori motives (and mixed Hodge modules) with integral coefficients. 2024. arXiv:2407.01462 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  36. [36]

    Beispiele zur Differentialtopologie von Singularitäten

    Egbert Brieskorn. “Beispiele zur Differentialtopologie von Singularitäten”. In:Inven- tiones Mathematicae2 (1966), pp. 1–14

    1966

  37. [37]

    Seifert manifolds, plumbing,µ-invariant and orientation reversing maps

    Walter D. Neumann and Frank Raymond. “Seifert manifolds, plumbing,µ-invariant and orientation reversing maps”. In:Algebraic and Geometric Topology. Lecture Notes in Mathematics 664 (1978), pp. 163–196

    1978

  38. [38]

    Barth et al.Compact Complex Surfaces

    Wolf P. Barth et al.Compact Complex Surfaces. 2nd ed. Vol. 4. Ergebnisse der Math- ematik und ihrer Grenzgebiete. 3. Folge. Springer, 2004

    2004

  39. [39]

    Arnaud Beauville.Complex Algebraic Surfaces. 2nd ed. Vol. 34. London Mathematical Society Student Texts. Cambridge University Press, 1996

    1996

  40. [40]

    Swann Tubach.On the Nori and Hodge Realisations of Voevodsky Motives. 2025. arXiv: 2309.11999 [math.AG]

    work page arXiv 2025

  41. [41]

    On the integral Hodge conjecture for varieties with trivial Chow group

    Humberto A. Diaz. “On the integral Hodge conjecture for varieties with trivial Chow group”. In:Mathematical Proceedings of the Cambridge Philosophical Society175.2 (2023), pp. 433–443

    2023