Pith. sign in

REVIEW 2 minor 4 cited by

The GSV-index of holomorphic vector fields with isolated zeros on an isolated hypersurface germ is bounded below by 1 + (-1) to the dimension times the Tjurina-Greuel number.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-07-04 01:06 UTC pith:PXGOMFCN

load-bearing objection The paper gives a concrete lower bound on the GSV-index for vector fields on isolated hypersurface germs and uses the equality case plus a parity-dependent density result to characterize weighted homogeneous singularities.

arxiv 2605.09210 v2 pith:PXGOMFCN submitted 2026-05-09 math.AG

Generic vector fields on isolated complex hypersurface germs

Diogo da Silva Machado , Jose Seade This is my paper
classification math.AG
keywords GSV-indexholomorphic vector fieldsisolated hypersurface singularitiesTjurina numberweighted homogeneous hypersurfacessingular complex varietiescompact singular curves
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes a lower bound on the GSV-index for holomorphic vector fields that have an isolated singularity on an isolated hypersurface germ. The bound is 1 plus or minus the Tjurina-Greuel number according to the dimension parity. Equality is attained precisely when the vector field extends to a nondegenerate zero in the ambient space, and for odd dimension these extending fields form an open dense set. The result supplies an explicit description of generic vector fields on weighted homogeneous germs and a characterization of those germs. It also produces global obstructions for the existence of holomorphic vector fields on compact singular varieties, including rationality and singularity-count restrictions on curves and a genus bound on certain surfaces.

Core claim

For a hypersurface germ (V,0) with isolated singularity, the minimal possible GSV-index of a holomorphic vector field with isolated singularity at the origin is 1 + (-1)^{dim(V)} τ(V,0). Equality holds whenever the vector field admits an extension to C^{n+1} with a nondegenerate singularity at the origin; when the dimension is odd such extensions, when they exist, form an open dense subset of all vector fields with isolated singularity at the origin.

What carries the argument

the GSV-index of the vector field, used to characterize the generic elements in the space of holomorphic vector fields with isolated singularity

Load-bearing premise

The vector fields are assumed to have an isolated singularity at the origin on the hypersurface germ with isolated singularity, so that the GSV-index can be defined.

What would settle it

Observation of a holomorphic vector field with isolated singularity at the origin whose GSV-index is strictly smaller than 1 + (-1)^{dim(V)} τ(V,0).

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Weighted homogeneous hypersurface germs admit an explicit description of their generic vector fields via nondegenerate ambient extensions.
  • A hypersurface germ is weighted homogeneous precisely when it admits vector fields achieving the minimal index bound.
  • An irreducible compact singular complex curve that carries a nontrivial holomorphic vector field with zeros must be rational and have at most two singular points.
  • Singular surfaces in Kähler 3-folds satisfying positivity assumptions on the adjoint line bundle have geometric genus at least as large as their irregularity.

Where Pith is reading between the lines

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

  • The bound supplies a practical way to obtain the Tjurina number by minimizing the GSV-index over the space of vector fields.
  • The density statement for odd dimension suggests that the property of admitting a nondegenerate ambient extension is stable under small deformations within the space of vector fields.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper studies holomorphic vector fields with isolated singularities on isolated complex hypersurface germs (V,0). It proves that the minimal possible GSV-index is bounded below by 1 + (-1)^{\dim(V)} \tau(V,0), where \tau(V,0) is the Tjurina number. Equality holds when the vector field extends to a nondegenerate singularity at the origin in the ambient \mathbb{C}^{n+1}, and for odd n such extensions form an open dense subset of the space of vector fields with isolated singularities. This yields a description of generic vector fields on weighted homogeneous hypersurface germs and a characterization of such germs. Applications include constraints on compact singular varieties admitting holomorphic vector fields, such as rationality of irreducible compact singular curves with nontrivial holomorphic vector fields having zeros, and a lower bound on the geometric genus for singular surfaces in Kähler 3-folds under positivity assumptions on the adjoint bundle.

Significance. If the central results hold, the paper supplies new lower bounds and genericity statements linking the GSV-index to the Tjurina number, together with concrete obstructions to the existence of holomorphic vector fields on compact singular varieties. The parity-dependent density claim for ambient extensions is a useful refinement of standard index formulas. The applications to curves and surfaces provide falsifiable geometric consequences that could be tested in low-dimensional cases. The work relies on established tools (GSV-index, residue constructions, Euler obstruction) without introducing free parameters or ad-hoc entities.

minor comments (2)
  1. [Abstract] The abstract packs multiple distinct results into a single paragraph; separating the local index bound from the compact-variety applications would improve readability.
  2. [Introduction] Notation for the GSV-index and Tjurina number should be introduced with a brief reminder of their definitions in the introduction, even if standard in the field.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, accurate summary of our results, and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives lower bounds on the minimal GSV-index for holomorphic vector fields on isolated hypersurface germs using the Tjurina number and standard residue or Euler obstruction constructions. Equality cases are conditioned on the existence of nondegenerate ambient extensions, with density statements for odd dimensions following from openness arguments in the space of vector fields. These steps rely on the definitional properties of the GSV-index under the isolated-singularity hypothesis and do not reduce any claimed prediction or bound to a fitted input, self-citation chain, or renamed ansatz. The results on compact varieties and weighted homogeneous cases are presented as consequences of the index bounds rather than inputs. No load-bearing self-citations or self-definitional steps appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on standard definitions and properties of the GSV-index and Tjurina-Greuel number from singularity theory, with no free parameters fitted to data and no new entities postulated.

axioms (1)
  • standard math Standard properties of the GSV-index and Tjurina-Greuel number for isolated hypersurface singularities in complex geometry.
    Invoked throughout the statements about generic vector fields and index bounds.

pith-pipeline@v0.9.1-grok · 5803 in / 1318 out tokens · 35075 ms · 2026-07-04T01:06:30.544971+00:00 · methodology

0 comments
read the original abstract

We study holomorphic vector fields on isolated hypersurface singularities and derive global obstructions to the existence of holomorphic vector fields on compact singular varieties. For a hypersurface germ $(V,0)$ with an isolated singularity, we characterize the generic elements in the space of holomorphic vector fields with isolated singularity in terms of the GSV-index. Letting $\tau(V,0)$ denote the Tjurina-Greuel number, we prove that the minimal possible index is bounded below by $1+(-1)^{\dim(V)}\tau(V,0)$. We further prove that equality holds if the vector field admits an extension to $\mathbb{C}^{n+1}$ with a nondegenerate singularity at $\underline{0}$ and, in the case $n$ is odd, that such extensions, when they exist, form an open dense subset of the set of vector fields with an isolated singularity at $\underline{0}$. This yields a description of the generic vector fields on weighted homogeneous hypersurface germs. As a consequence, we obtain a characterization of weighted homogeneous hypersurface germs. Also, as applications to singular hypersurfaces in complex manifolds, we derive constraints on compact singular varieties admitting holomorphic vector fields. In particular, we show that an irreducible compact singular complex curve carrying a nontrivial holomorphic vector field with zeros is rational and has at most two singular points. We further prove that, for singular surfaces in K\"{a}hler 3-folds satisfying suitable positivity assumptions on the adjoint line bundle, the geometric genus is greater of equal than the irregularity.

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 4 Pith papers

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

  1. Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    cs.AI 2026-07 conditional novelty 7.0

    Danus orchestrates parallel LLM-based proof search around a shared, verifier-checked fact graph, producing six research-level mathematical proofs.

  2. Criteria of isolated weighted homogeneous hypersurface singularities using Logarithmic vector fields

    math.AG 2026-06 unverdicted novelty 7.0

    Proves equivalence between weighted homogeneity of reduced isolated hypersurface germs and existence of a transverse logarithmic vector field in suitable coordinates, plus an equivalent holomorphic vector field formulation.

  3. A Criteria of Weighted Homogeneity via Logarithmic Vector Fields

    math.AG 2026-06 unverdicted novelty 7.0

    Proves that an isolated hypersurface germ is weighted homogeneous precisely when it admits a non-degenerate holomorphic logarithmic vector field.

  4. Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    cs.AI 2026-07 conditional novelty 6.5

    Danus uses a main planner, parallel workers, and a shared verified fact graph to construct long research-level mathematical proofs across six case studies.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 3 Pith papers

  1. [1]

    and Macpherson, R.: Riemann-Roch for singular varieties, Publications Math´ ematiques de l’IH´ES, Tome 45 (1975), pp

    Baum, P., Fulton, W. and Macpherson, R.: Riemann-Roch for singular varieties, Publications Math´ ematiques de l’IH´ES, Tome 45 (1975), pp. 101-145

    work page 1975

  2. [2]

    and Suwa T.: Vector Fields on Singular Varieties, Lecture Notes in Mathematics, Spring, 2009

    Brasselet, J.-P., Seade, J. and Suwa T.: Vector Fields on Singular Varieties, Lecture Notes in Mathematics, Spring, 2009

    work page 2009

  3. [3]

    Brunella, M., Birational Geometry of Foliations, Springer International Publishing, 2015

    work page 2015

  4. [4]

    and G´ omez-Mont, X.: The index of a holomorphic vector field on a singular variety

    Bonatti, Ch. and G´ omez-Mont, X.: The index of a holomorphic vector field on a singular variety. Ast´ erisque 222 (1994), 9-35

    work page 1994

  5. [5]

    , Corral, N

    Cano, F. , Corral, N. and Mol R.: Local polar invariants for plane singular foliations. Expositiones Mathematicae 37(2) (2019), 145-164

    work page 2019

  6. [6]

    Carrell J. B. and Lieberman, D. I.: Holomorphic vector fields and Kaehler manifolds. Invent. Math. 21 (1973), 303 - 309

    work page 1973

  7. [7]

    B., Howard, A

    Carrell J. B., Howard, A. and Kosniowski, C.: Holomorphic vector fields on complex surfaces. Math. Ann. 204, 73-81 (1973)

    work page 1973

  8. [8]

    and Papadima S.: Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements

    Dimca A. and Papadima S.: Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements. Ann. of Math. (2) 158 (2003), no. 2, 473-507

    work page 2003

  9. [9]

    and Saravia-Molina, N.: On some indices of foliations and applications

    Fern´ andez-P´ erez, A., Garc´ a Barroso, E.R. and Saravia-Molina, N.: On some indices of foliations and applications. Res Math Sci 13, 3 (2026). https://doi.org/10.1007/s40687-025-00587-7 GENERIC VECTOR FIELDS ON ISOLATED COMPLEX HYPERSURF ACE GERMS 21

    work page doi:10.1007/s40687-025-00587-7 2026

  10. [10]

    and Verjovsky A.: The index of a holomorphic flow with an isolated singularity, Math

    G´ omez-Mont X., Seade J. and Verjovsky A.: The index of a holomorphic flow with an isolated singularity, Math. Ann. 291 (1991), 737-751

    work page 1991

  11. [11]

    Algebraic Geom

    G´ omez-Mont, X.: An algebraic formula for the index of a vector field on a hypersur- face with an isolated singularity, J. Algebraic Geom. 7, 731-752, 1998

    work page 1998

  12. [12]

    Greuel, G.-M.: Dualitat in der lokalen Kohomologie isolierter Singularitaten. Math. Ann. 250 (1980), 157-173

    work page 1980

  13. [13]

    Article submitted, 2024

    Machado, D.: The Schwartz index and the residue of singularities of logarithmic foliations along a hypersurface with isolated singularities. Article submitted, 2024. arXiv: 2411.07768

    work page arXiv 2024

  14. [14]

    (AM-61), Princeton University Press, 1968

    Milnor, J.: Singular Points of Complex Hypersurfaces. (AM-61), Princeton University Press, 1968

    work page 1968

  15. [15]

    Miyaoka, Deformation of a morphism along a foliation and applications, in Alge- braic Geometry, Bowdoin 1985

    Y. Miyaoka, Deformation of a morphism along a foliation and applications, in Alge- braic Geometry, Bowdoin 1985. Proceedings of Symposia in Pure Mathematics, vol. 46 (American Mathematical Society, Providence, 1987), pp. 245-268

    work page 1985

  16. [16]

    Saito K.: Quasihomogene isolierte Singularitaten von Hyperflachen, Invent. Math. 14 (1971), 123-142

    work page 1971

  17. [17]

    In: Ara´ ujo dos Santos, R., Menegon Neto, A., Mond, D., Saia, M., Snoussi, J

    Seade, J.: Some Open Problems in Complex Singularities. In: Ara´ ujo dos Santos, R., Menegon Neto, A., Mond, D., Saia, M., Snoussi, J. (eds) Singularities and Foliations. Geometry, Topology and Applications. NBMS BMMS 2015. Springer Proceedings in Mathematics and Statistics, vol 222. Springer, Cham

    work page 2015

  18. [18]

    Suwa, T.: Indices of vector fields and residues of singular holomorphic foliations, Actualit´ es Math´ ematiques, Hermann´Editeurs des Sciences et des Arts (1998)

    work page 1998