arxiv: 2604.22132 · v1 · submitted 2026-04-24 · 🧮 math.AG · math.AT· math.CT· math.CV

Recognition: unknown

Integral Perverse Obstructions for Normal Surface Singularities: Resolution Determinants and Monodromy

Abdul Rahman

Authors on Pith no claims yet

Pith reviewed 2026-05-08 10:28 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.CTmath.CV

keywords normal surface singularitiesperverse intersection complexesMilnor monodromyexceptional latticesingularity linkdiscriminant groupintegral cohomologyresolution invariants

0 comments

The pith

A finite abelian group E for normal surface singularities equals the torsion in the link's second cohomology and the discriminant group of the exceptional lattice.

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

The paper studies a finite abelian group E arising as the zeroth cohomology of the dual middle-perversity intersection complex at the origin for a germ of a normal complex analytic surface. It proves that E is isomorphic to the torsion subgroup of the second cohomology of the link of the singularity and also to the discriminant group of the exceptional lattice in the minimal good resolution. As a result, the order of E equals the absolute value of the determinant of the intersection matrix of the exceptional curves. For isolated hypersurface singularities, E is further shown to be isomorphic to the torsion subgroup of the cokernel of the Milnor monodromy minus the identity, and under the condition that this operator is an isomorphism over the rationals, the orders match via the determinant as well.

Core claim

For a germ (X,0) of a normal complex analytic surface, the group E defined by H^0 of the dual middle-perversity intersection complex measures the integral discrepancy between the two middle extensions. This E admits a topological realization as H^2(L,Z)_tors for the link L and a geometric realization as the discriminant group of the exceptional lattice, yielding |E| = |det(M)| where M is the intersection matrix. If (X,0) is an isolated hypersurface singularity, E is isomorphic to coker(T-id)_tors where T is the Milnor monodromy, and under the hypothesis that (T-id) tensor Q is an isomorphism, |E| = |det(T-id)|. Thus the same local integral obstruction has compatible realizations in perverse,

What carries the argument

The finite abelian group E, which measures the integral discrepancy between ordinary and dual middle-perversity intersection complexes and serves as the common value across the topological, geometric, and monodromy realizations.

Load-bearing premise

The hypothesis that the operator (T minus identity) becomes an isomorphism after extending scalars to the rationals, which is needed for the determinant equality in the monodromy realization, as well as the normality of the surface and the isolation of the singularity for the other identifications.

What would settle it

A direct computation of E using the definition with intersection complexes for a chosen normal surface singularity, followed by a comparison to the torsion subgroup of H^2 of its link, would falsify the topological realization claim if the groups differ.

read the original abstract

For a germ $(X,0)$ of a normal complex analytic surface, let $E:=H^0({}^p_+IC_X\mathbb Z)_0$, where ${}^pIC_X\mathbb Z$ and ${}^p_+IC_X\mathbb Z$ denote the ordinary and dual middle-perversity intersection complexes with integral coefficients. This finite abelian group measures the integral discrepancy between the two middle extensions. Motivated by work of Jung--Saito, we study $E$ as a local invariant of the singularity. We prove that $E$ admits a topological realization as $H^2(L,\mathbb Z)_{\tors}$, where $L$ is the link of the singularity, and a geometric realization as the discriminant group of the exceptional lattice of the minimal resolution. In particular, if $M$ is the intersection matrix of the irreducible exceptional curves, then $|E|=|\det(M)|$. If $(X,0)$ is an isolated hypersurface surface singularity, we further prove that $E\cong \coker(T-\id)_{\tors}$, where $T$ is the Milnor monodromy on integral vanishing cohomology. Under the additional hypothesis that $(T-\id)\otimes_{\mathbb Z}\mathbb Q$ is an isomorphism, this yields $|E|=|\det(T-\id)|$. Thus the same local integral obstruction admits compatible perverse, topological, resolution-theoretic, and monodromy-theoretic realizations.

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.

Desk Editor's Note private letter to a colleague

The paper shows that the integral perverse obstruction E equals the torsion in the link's H^2 and the discriminant group of the resolution lattice, with a monodromy version for hypersurface cases.

read the letter

The core contribution is the set of explicit identifications for the finite group E coming from the dual middle-perversity intersection complex on a normal surface singularity. It equals the torsion subgroup of H^2 of the link, the discriminant group of the exceptional lattice in the minimal resolution (so its order is the absolute value of the determinant of the intersection matrix), and for isolated hypersurface singularities it is the torsion cokernel of T minus identity on the vanishing cohomology, with the determinant equality holding once T minus id is invertible over the rationals. These give compatible ways to compute the same local invariant from topology, resolution data, or monodromy. The topological and resolution sides rest on standard facts about surface links and intersection forms, while the monodromy side extends Jung-Saito in a direct way. The paper is clear about the extra hypothesis needed to avoid a zero determinant in the monodromy case, which keeps the claim honest. The main soft spot is that the abstract alone does not let one check the details of the proofs, so any gaps in how the identifications are constructed would only show up in the full text; the hypothesis itself is minor but does restrict the monodromy determinant statement. No circularity or invented objects appear. This is aimed at people working on invariants of surface singularities who already know perverse sheaves or resolution graphs. A reader in that area can extract concrete computational tools from the equalities. It is worth sending to peer review because the claims are specific, the connections are usable, and the underlying material is standard enough that referees can focus on whether the identifications are carried out correctly.

Referee Report

0 major / 2 minor

Summary. The paper defines E := H^0(^p_+ IC_X Z)_0 for a germ (X,0) of a normal complex analytic surface singularity, where ^pIC and ^p_+IC are the ordinary and dual middle-perversity intersection complexes with Z-coefficients. It proves that E is isomorphic to H^2(L,Z)_tors (L the link), and to the discriminant group of the exceptional lattice of the minimal resolution, yielding |E| = |det(M)| for the intersection matrix M of exceptional curves. For isolated hypersurface singularities, it further shows E ≅ coker(T-id)_tors on integral vanishing cohomology, with |E| = |det(T-id)| when (T-id) ⊗_Z Q is an isomorphism. These identifications unify perverse, topological, resolution-theoretic, and monodromy realizations of the same integral obstruction.

Significance. If the identifications hold, the work supplies a clean unification of a local integral invariant across intersection cohomology, link topology, resolution graphs, and Milnor monodromy, building directly on Jung-Saito and standard facts about surface singularities. The explicit determinant formulas and the hypothesis on (T-id) ⊗ Q being an isomorphism are falsifiable and parameter-free once the realizations are granted; this could streamline computations of integral discrepancies in examples and connect to broader questions in singularity theory.

minor comments (2)

[§2] §2 (or wherever the link realization is proved): the identification E ≅ H^2(L,Z)_tors is stated to rest on standard facts about surface links; a one-sentence pointer to the precise theorem (e.g., from the literature on the link of a normal surface singularity) would make the dependence explicit without lengthening the argument.
[Introduction] Notation: the symbols ^pIC_X Z and ^p_+IC_X Z are introduced in the abstract and used throughout; a brief reminder in the introduction of how the dual middle-perversity differs from the ordinary one (via the Verdier duality or the exact sequence measuring the discrepancy) would aid readers who are not specialists in perverse sheaves.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, accurate summary of the main results, and recommendation for minor revision. The report correctly identifies the key identifications for the integral perverse obstruction E.

Circularity Check

0 steps flagged

No significant circularity; derivations rest on standard identifications

full rationale

The paper defines E explicitly as the stalk of the dual middle-perversity IC and proves its identifications with H^2(L,Z)_tors and the discriminant group of the exceptional lattice via standard facts on surface links and minimal resolutions. The equality |E|=|det(M)| follows directly from the geometric realization without any fitting or self-referential construction. The monodromy isomorphism E ≅ coker(T-id)_tors for isolated hypersurface singularities and the determinant equality under the stated hypothesis likewise rely on classical Milnor theory and are not reductions to inputs by construction. No self-citations are load-bearing for the central claims, no ansatzes are smuggled, and no parameters are fitted then renamed as predictions. The argument chain is self-contained against external benchmarks in topology and algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Review based on abstract only; ledger reflects standard background assumptions in the field.

axioms (3)

standard math Properties of middle-perversity intersection complexes with integral coefficients
Invoked in the definition of E as H^0 of the dual complex.
domain assumption Existence and properties of minimal resolutions for normal surface singularities
Used for the geometric realization via the exceptional lattice and intersection matrix.
domain assumption Milnor fibration, vanishing cohomology, and monodromy for isolated hypersurface singularities
Required for the monodromy-theoretic realization of E.

pith-pipeline@v0.9.0 · 5556 in / 1423 out tokens · 69663 ms · 2026-05-08T10:28:56.529957+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Torsion Trajectories from Local Discriminants to Global Obstructions
math.AG 2026-05 unverdicted novelty 6.0

Computations for A1, Ak, D4, E8 and other singularities show finite discriminant torsion is a codimension-two phenomenon, not generic for nodes, with threefold ordinary double points being torsion-free.

Reference graph

Works this paper leans on

7 extracted references · 3 canonical work pages · cited by 1 Pith paper

[1]

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

work page arXiv 2026
[2]

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
[3]

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

1982
[4]

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
[5]

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
[6]

Princeton, NJ: Princeton Uni- versity Press, 1968

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

1968
[7]

Die Auflösung der rationalen Singularitäten holomorpher Abbildun- gen

Egbert Brieskorn. “Die Auflösung der rationalen Singularitäten holomorpher Abbildun- gen”. In:Mathematische Annalen178 (1968), pp. 255–270

1968