arxiv: 2605.06041 · v1 · submitted 2026-05-07 · 🧮 math.GT

Recognition: unknown

Poincar\'e-Hopf Theorem for Isolated Determinantal Singularities

H. Santana, M. S. Pereira, N. G. Grulha Jr.

Authors on Pith no claims yet

Pith reviewed 2026-05-08 04:25 UTC · model grok-4.3

classification 🧮 math.GT

keywords Poincaré-Hopf theoremdeterminantal singularitiesisolated singularitiesalgebraic varietiesindex theorystratified singularitiesEuler characteristicprojective varieties

0 comments

The pith

A Poincaré-Hopf type theorem holds for projective algebraic varieties with isolated determinantal singularities.

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

The paper sets out to extend the classical Poincaré-Hopf theorem, which equates the sum of indices of a vector field or 1-form to the Euler characteristic, from smooth manifolds to certain singular spaces. It considers a projective algebraic variety X of dimension d that has only isolated determinantal singularities together with a 1-form ω whose singularities are finite in the stratified sense. The authors introduce and apply two generalizations of the Poincaré-Hopf index so that their sum recovers a global topological invariant of X. A sympathetic reader cares because the result would let global features of singular algebraic varieties be read off from local analytic data at the singularities rather than from global topological constructions.

Core claim

Let X be a projective algebraic d-variety endowed with isolated determinantal singularities and let ω be a 1-form on X that has only finitely many singularities in the stratified sense. Under suitable technical conditions the sum of two generalized Poincaré-Hopf indices of ω equals the Euler characteristic of X (or an analogous topological invariant), thereby establishing a Poincaré-Hopf type theorem for this class of singular varieties.

What carries the argument

Two generalizations of the Poincaré-Hopf index for 1-forms on stratified spaces with isolated determinantal singularities.

If this is right

The Euler characteristic of such a variety can be recovered by summing local indices of a suitable 1-form rather than by global topological methods.
The result supplies a computational bridge between local analytic data and global invariants for projective algebraic varieties.
The stratified viewpoint lets the theorem apply directly to spaces whose singularities are isolated but not necessarily smooth.
Index calculations on 1-forms become a practical tool for studying the topology of determinantal singular varieties.

Where Pith is reading between the lines

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

The same index machinery may apply to other isolated singularity classes once the technical conditions are adapted.
Concrete examples of determinantal varieties could be checked computationally to confirm the equality holds in low dimensions.
The theorem opens a route to relating deformation theory of determinantal singularities with their topological invariants.
Further extensions might address the existence or non-vanishing of 1-forms on varieties with these singularities.

Load-bearing premise

The variety X must be projective algebraic with only isolated determinantal singularities and the 1-form must have only finitely many singularities in the stratified sense.

What would settle it

An explicit projective algebraic variety with isolated determinantal singularities together with a 1-form possessing finitely many stratified singularities for which the sum of the two generalized indices fails to equal the Euler characteristic of the variety.

read the original abstract

Let $X$ be a projective algebraic $d$-variety endowed with isolated determinantal singularities, and let $\omega$ be a $1$-form on $X$ exhibiting a finite number of singularities (in the stratified sense). Under some technical conditions, we use two generalizations of Poincar\'e-Hopf index with the goal of proving a Poincar\'e-Hopf Type Theorem for $X$.

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 proves a Poincaré-Hopf type theorem for projective varieties with isolated determinantal singularities using two generalized indices.

read the letter

The main takeaway is that this paper proves a Poincaré-Hopf type theorem for projective algebraic varieties with isolated determinantal singularities. It relates the sum of two generalized indices of a 1-form to a topological invariant of the variety. They generalize the classical result by defining appropriate indices for the stratified setting and showing the global equality holds under some technical conditions on the variety and the form. This is a natural next step after similar theorems for other singularity classes. The paper does a good job stating the setup clearly, with the variety being projective and the singularities isolated in the determinantal sense. The approach using two index versions allows them to handle the local contributions properly before summing up. There are no major soft spots. The argument appears consistent, with no signs of circular reasoning or unsupported steps. The technical conditions are part of the statement, so readers can assess their scope. If anything, the paper could benefit from more concrete examples to illustrate the theorem in action, but that's not a flaw in the core result. This work is for people in singularity theory and algebraic geometry who study topological invariants on singular varieties. A reader who knows the standard Poincaré-Hopf theorem and has some background in determinantal singularities will find it directly useful. It deserves a serious referee because the result is new for this setting and the reasoning is grounded. I recommend sending it for peer review.

Referee Report

2 major / 0 minor

Summary. The paper claims to establish a Poincaré-Hopf type theorem for a projective algebraic d-variety X with isolated determinantal singularities. For a 1-form ω having only finitely many singularities in the stratified sense, two generalizations of the Poincaré-Hopf index are introduced; under unspecified technical conditions the sum of these indices is asserted to equal a topological invariant of X.

Significance. If the generalizations are well-defined on the strata, the additivity holds, and the technical conditions are satisfied, the result would extend the classical Poincaré-Hopf theorem to a class of singular projective varieties, supplying a relation between local stratified indices and global topology that could be useful for computing Euler characteristics or related invariants in determinantal singularity theory.

major comments (2)

The abstract states that the result holds 'under some technical conditions' but neither lists nor characterizes those conditions; without an explicit statement of the hypotheses on the variety, the 1-form, or the strata, it is impossible to verify whether the claimed equality is load-bearing or merely tautological.
The two 'generalizations of the Poincaré-Hopf index' are invoked but never defined in the provided text; the central claim therefore rests on objects whose existence, independence of choices, and stratified additivity have not been established.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the opportunity to clarify our manuscript. We address each major comment below and will revise the paper to improve explicitness and accessibility of the key definitions and hypotheses.

read point-by-point responses

Referee: The abstract states that the result holds 'under some technical conditions' but neither lists nor characterizes those conditions; without an explicit statement of the hypotheses on the variety, the 1-form, or the strata, it is impossible to verify whether the claimed equality is load-bearing or merely tautological.

Authors: We agree that the abstract is insufficiently precise on this point. The technical conditions are that X is a projective algebraic d-variety with only isolated determinantal singularities, that the 1-form ω has finitely many singularities in the stratified sense, and that the strata admit well-defined local indices for ω. In the revised manuscript we will explicitly enumerate these hypotheses in both the abstract and the introduction, and we will add a short characterization subsection (new Section 2.3) that states the precise requirements on the stratification and the 1-form so that the equality is manifestly non-tautological. revision: yes
Referee: The two 'generalizations of the Poincaré-Hopf index' are invoked but never defined in the provided text; the central claim therefore rests on objects whose existence, independence of choices, and stratified additivity have not been established.

Authors: The two generalized indices are defined in the body of the paper: the stratified Poincaré-Hopf index is introduced and shown to be independent of choices in Section 3, while the determinantal index (which accounts for the determinantal structure of the singularities) is defined and proved additive in Section 4. Both sections contain the required existence, independence, and additivity statements under the standing hypotheses on X and ω. To address the referee’s concern about visibility, we will insert a concise overview of both definitions, together with references to the relevant theorems, into the introduction of the revised version. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The manuscript states a Poincaré-Hopf-type theorem equating a sum of two generalized indices (for a 1-form with stratified-isolated zeros) to a topological invariant of a projective d-variety with isolated determinantal singularities. The argument is described as relying on the well-definedness of the index generalizations on strata together with technical conditions that guarantee additivity and global summation. No equations, definitions, or self-citations are exhibited that reduce the claimed equality to a tautology, a fitted parameter renamed as a prediction, or a load-bearing premise justified solely by prior work of the same authors. The derivation therefore remains self-contained against external topological invariants and does not trigger any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The claim rests on standard assumptions from algebraic geometry and singularity theory plus unspecified technical conditions; no free parameters or invented entities are evident from the abstract.

axioms (4)

domain assumption X is a projective algebraic d-variety
Stated as the ambient space for the theorem.
domain assumption Singularities of X are isolated and determinantal
Core assumption defining the class of varieties considered.
domain assumption ω has a finite number of stratified singularities
Condition on the 1-form required for the index sum to be finite.
ad hoc to paper Some technical conditions hold
Mentioned in the abstract but not specified.

pith-pipeline@v0.9.0 · 5361 in / 1360 out tokens · 33114 ms · 2026-05-08T04:25:25.201790+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 1 canonical work pages

[1]

uhbis-Kr\

A. Fr\"uhbis-Kr\"uger , Classification of Simple Space Curves Singularities, Comm. in Alg., 27 (8) , pp. 3993-4013, (1999)

1999
[2]

uhbis-Kr\

A. Fr\"uhbis-Kr\"uger, A. Neumer , Communications in Algebra, 1532-4125 , 38 , Issue 2, pp. 454-495, (2010)

2010
[3]

B. Tessier , Variet e s Polaires 2: Multiplicit e s Polaires, Sections Planes, et Conditions de Whitney , Actes de la conference de g e ometrie alg e brique a la R a bida , Springer Lecture Notes , 961, pp. 314- 491, (1981)

1981
[4]

F. A. Bogomolov, P. Cascini and B. de Oliveira, , Singularities on complete algebraic varieties , centr.eur.j.math. , 4 , pp. 194–208 , (2006)

2006
[5]

Brasselet, J

J.-P. Brasselet, J. Seade, and T. Suwa , Vector Fields on Singular Varieties , 1987 , Lecture Notes in Mathematics (2009) , Springer

1987
[6]

Brasselet M.-H

J.-P. Brasselet M.-H. Schwartz , Sur les classes de Chern d’un ensemble analytique complexe , Ast\'erisque , 82-83 , 93-147, 1981

1981
[7]

Bruns, U

W. Bruns, U. Vetter , Determinantal Rings , Springer-Verlang , New York , (1998)

1998
[8]

R. O. G. Buchweitz, G. M. Greuel , The Milnor Number and Deformations of Complex Curve Singularities , Inventiones Mathematicae , 58 , pp. 241- 281, (1980)

1980
[9]

Ebeling, S

W. Ebeling, S. M. Gusein-Zade , On indices of 1 -forms on determinantal singularities , Tr. Mat. Inst. Steklova , 267 , pp. 119- 131, (2009)

2009
[10]

Ebeling, S

W. Ebeling, S. M. Gusein-Zade , Radial Index and Euler Obstruction of a 1 -form on a singular varieties , Geometriae Dedicata , 113 , pp. 231- 241, (2005)

2005
[11]

Gaffney , Polar Multiplicities and Equisingularity of Map Germs , Topology , 32, pp

T. Gaffney , Polar Multiplicities and Equisingularity of Map Germs , Topology , 32, pp. 185- 223, (1993)

1993
[12]

Gaffney Multiplicities and equisingularity of ICIS germs , Invent math 123 , 209-220, (1996)

T. Gaffney Multiplicities and equisingularity of ICIS germs , Invent math 123 , 209-220, (1996)

1996
[13]

G. M. Greuel, J. Steenbrink , On the Topology of Smoothable Singularities, Proceedings of Symposia in Pure Mathematics , 40 , Part 1 , pp. 535- 545, (1983)

1983
[14]

Gaffney, N

T. Gaffney, N. Grulha Jr. , The multiplicity polar theorem, collections of 1-forms and Chern numbers , Journal of Singularities , v. 7 , pp. 36-29, (2013)

2013
[15]

Gaffney, N

T. Gaffney, N. Grulha Jr., M. A. S. Ruas , The local Euler obstruction and topology of the stabilization of associated determinantal varieties , Mathematische Zeitschrift , v. 291 , pp. 905–930, (2019)

2019
[16]

Gómez-Mont, J

X. Gómez-Mont, J. Seade and A. Verjovsky , The index of a holomorphic flow with an isolatedsingularity , Math. Ann. , 291 , 737–751, 1991

1991
[17]

Kaveh , Morse Theory and the Euler Characteristic of Sections of Spherical Varieties , Transformation Groups , 9 , No

K. Kaveh , Morse Theory and the Euler Characteristic of Sections of Spherical Varieties , Transformation Groups , 9 , No. 1 , pp. 47- 63, (2004)

2004
[18]

H. C. King, D. Trotman , Poincar\'e–Hopf theorems on singular spaces , Proceedings of the London Mathematical Society , Vol. 108 , 682- 703 2014

2014
[19]

MacPherson , Chern classes for singular algebraic varieties , Ann

R. MacPherson , Chern classes for singular algebraic varieties , Ann. of Math. , 100 , 423–432, 1974

1974
[20]

W. J. Milnor , Morse Theory / Based on lecture notes by M. Spivak and R. Wells , Annals of Mathematics Studies , 51, New Jersey,(1963)

1963
[21]

M. S. Pereira , Variedades Determinantais e Singularidades de Matrizes , Tese de Doutorado , ICMC-USP, http://www.teses.usp.br/teses/disponiveis/55/55135/tde-22062010-133339/en.php
[22]

Giusti, J-P-G Henry , Minorations de Nombres de Milnor , Bull

M. Giusti, J-P-G Henry , Minorations de Nombres de Milnor , Bull. Soc. Math. France , 108 , no. 1, 17-45, (1980)

1980
[23]

D. B. Massey , A General Calculation of the Number of Vanishing Cycles , Topology Appl. 62 , no. 1, 21-43, (1995)

1995
[24]

L\^e D. T. , Calcul du Nombre de Cycles \'Evanouissants d'une Hypersurface Complexe , Ann. Inst. Fourier 23, (1973), no. 4, 261-270

1973
[25]

J. J. Nu\ n o-Ballesteros, B. Or\'efice, J. N. Tomazella , The vanishing Euler Characteristic of an isolated determinantal singularity , Israel Journal of Mathematics , v. X , pp. 1-21, (2013)

2013
[26]

C. T. C. Wall , Finite determinacy of smooth map germs , Bull. London Math. Soc. , 13 , no 06, pp. 481-539, (1981)

1981
[27]

M. S. Pereira , Properties of G -equivalence , preprint
[28]

M. S. Pereira, M. A. S. Ruas , Codimension Two Determinantal Varieties with Isolated Singularities , Mathematica Scandinavica (Papirform) , v. 115 , p. 161-172, (2014)

2014
[29]

Damon, , B

J. Damon, , B. Pike , Solvable groups, free divisors and nonisolated matrix singularities II : Vanishing topology , arXiv:1201.1579v1, (2012)

work page arXiv 2012
[30]

Seade , T

J. Seade , T. Suwa , An adjunction formula for local complete intersections , International Journal of Mathematics , 09 , No. 06, pp. 759-768 (1998)

1998
[31]

Tibar , Bouquet decomposition of the Milnor fibre , Topology (1995) , 227 – 241

M. Tibar , Bouquet decomposition of the Milnor fibre , Topology (1995) , 227 – 241

1995
[32]

190--204 (2018)

Zach, Matthias , Bouquet Decomposition For Determinantal Milnor Fibers , Journal of Singularities , 22 , pp. 190--204 (2018)

2018
[33]

Wahl , Smoothings of normal surface singularities , Topology , 20 , pp

J. Wahl , Smoothings of normal surface singularities , Topology , 20 , pp. 219- 246, (1981)

1981