Classification of unimodal isolated complete intersection singularities in positive characteristic

Hongrui Ma; Huaiqing Zuo; Stephen S.-T. Yau

arxiv: 2502.04956 · v3 · submitted 2025-02-07 · 🧮 math.AG

Classification of unimodal isolated complete intersection singularities in positive characteristic

Hongrui Ma , Stephen S.-T. Yau , Huaiqing Zuo This is my paper

Pith reviewed 2026-05-23 04:17 UTC · model grok-4.3

classification 🧮 math.AG

keywords unimodal singularitiescomplete intersection singularitiescontact equivalencepositive characteristicsingularity classificationnormal formsalgebraic geometry

0 comments

The pith

Unimodal isolated complete intersection singularities are classified in arbitrary characteristic under contact equivalence.

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

The paper extends the classification of unimodal isolated complete intersection singularities from the complex numbers to arbitrary characteristic. This builds on the work of Dimca and Gibson over the complex numbers by generalizing the complete transversal method to positive characteristic. The result is a classification list that holds uniformly across all characteristics under contact equivalence. A reader cares because it provides tools for studying singularities in settings like finite fields where characteristic matters.

Core claim

We classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over the complex numbers has already been done by Dimca and Gibson. We continue and generalize their work by generalizing the complete transversal method into positive characteristic fields.

What carries the argument

The complete transversal method generalized to positive characteristic, which computes normal forms by finding transversals to the contact orbit.

Load-bearing premise

The complete transversal method generalizes to positive characteristic without introducing new obstructions or requiring characteristic-dependent adjustments that would alter the classification list.

What would settle it

A unimodal isolated complete intersection singularity in a field of positive characteristic whose normal form under contact equivalence differs from the listed forms in the classification.

read the original abstract

In this paper we classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over $\mathbb{C}$ has already done by A. Dimca and C.G. Gibson. We continue and generalize their work. To complete the classification, we generalized the complete transversal method into positive characteristic field, which is also useful in many other classification problem.

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 extends the Dimca-Gibson classification of unimodal ICIS to positive characteristic via an adapted complete transversal method, but the abstract alone gives no way to check whether the adaptation actually works.

read the letter

The core claim is a classification of unimodal isolated complete intersection singularities under contact equivalence that holds in any characteristic. The authors take the known list over C and say they have generalized the complete transversal method so the same normal forms work everywhere. That is the new piece: the method itself is now claimed to be characteristic-independent, which would be useful for anyone who needs to work over finite fields or in mixed characteristic. If the adaptation is clean and the computations go through without extra cases, it is a straightforward but legitimate extension rather than a restatement. The abstract is clear about the goal and the prior reference, which is helpful. The main limitation is that nothing beyond the abstract is visible here, so there is no list of singularities, no sample computation of a tangent space or normal space in char p, and no discussion of whether p-th powers or restricted derivations force any changes to the representatives. The stress-test point about the contact group action and Kähler differentials behaving differently is therefore still open; if the paper simply reuses the complex normal forms without recomputing the complement to the tangent space case by case, some entries could be missing or duplicated. This is the sort of thing a referee would need to see explicitly. The work is aimed at specialists in singularity theory who care about positive characteristic or arithmetic applications. It is narrow but within the bounds of what the subfield expects from a classification paper. I would send it to peer review so the actual calculations can be checked; the claim is well-posed and the method is cited, but the verification step is what matters.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to classify all unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence, extending the Dimca-Gibson list over ℂ by adapting the complete transversal method to positive characteristic.

Significance. If the adaptation is shown to produce the same list without characteristic-dependent adjustments, the result would supply the first explicit classification of these singularities valid in all characteristics and demonstrate that the complete transversal method extends without new obstructions; this would be a useful reference for further work on contact orbits in positive characteristic.

major comments (2)

[Method generalization (abstract and § on complete transversal)] The central claim rests on the successful generalization of the complete transversal method (mentioned in the abstract). The manuscript must explicitly recompute the normal space to the contact orbit (or the complement to the tangent space) in positive characteristic for each unimodal case; without these recomputations it is impossible to confirm that no new representatives appear or that complex normal forms remain valid when p divides multiplicities or Milnor numbers.
[Classification list / results section] The abstract states that the classification over ℂ is extended without change, yet the paper provides no table or list of the resulting normal forms together with the characteristic restrictions (if any). A load-bearing verification would require at least one explicit example in which the tangent-space calculation is repeated in char p and shown to yield the same codimension.

minor comments (2)

[Preliminaries] Notation for the contact group and Kähler differentials should be introduced with explicit reference to the positive-characteristic setting (e.g., whether derivations are taken over k or over the p-th powers).
[Introduction] The manuscript should cite the precise statements from Dimca-Gibson that are being generalized, including the list of unimodal ICIS they obtained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments, which help clarify the presentation of the generalization of the complete transversal method. We will revise the manuscript to address both points by adding explicit calculations and a consolidated table.

read point-by-point responses

Referee: [Method generalization (abstract and § on complete transversal)] The central claim rests on the successful generalization of the complete transversal method (mentioned in the abstract). The manuscript must explicitly recompute the normal space to the contact orbit (or the complement to the tangent space) in positive characteristic for each unimodal case; without these recomputations it is impossible to confirm that no new representatives appear or that complex normal forms remain valid when p divides multiplicities or Milnor numbers.

Authors: We agree that explicit recomputations in positive characteristic strengthen the central claim. In the revised manuscript we will add a new subsection (within the section on the generalized complete transversal method) that recomputes the normal space to the contact orbit for a representative selection of unimodal cases (covering different multiplicity and Milnor-number regimes) over fields of characteristic p. These calculations will confirm that the codimension and basis of the normal space coincide with the complex case, with no new representatives arising. revision: yes
Referee: [Classification list / results section] The abstract states that the classification over ℂ is extended without change, yet the paper provides no table or list of the resulting normal forms together with the characteristic restrictions (if any). A load-bearing verification would require at least one explicit example in which the tangent-space calculation is repeated in char p and shown to yield the same codimension.

Authors: We accept that a single consolidated table would improve readability and verifiability. The revised manuscript will contain a new table in the results section that lists all unimodal normal forms together with their contact codimensions; the table will explicitly note that there are no characteristic restrictions. The table will cross-reference the explicit normal-space calculations added in response to the first comment, thereby supplying the requested load-bearing verification. revision: yes

Circularity Check

0 steps flagged

No circularity: classification extends external method without self-referential reduction

full rationale

The paper's derivation consists of generalizing the complete transversal method (originally from Dimca-Gibson over C) to positive characteristic and applying it to list unimodal ICIS normal forms under contact equivalence. The provided abstract and description contain no self-definitional equations, no fitted parameters renamed as predictions, no load-bearing self-citations, and no imported uniqueness theorems from the authors' prior work. The central claim is an explicit computational extension whose validity is independent of the output list itself; external benchmarks (prior char-0 classification) remain separate. This is the standard non-circular case for a classification paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract alone.

pith-pipeline@v0.9.0 · 5580 in / 956 out tokens · 64135 ms · 2026-05-23T04:17:14.549806+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

V.I. Arnold. Local normal forms of functions. Invent. Math. , 35:87--109, 1976

work page 1976
[2]

Arnold, A.N

V.I. Arnold, A.N. Varchenko, and S.M. Gusein-Zade. Singularities of Differentiable Maps . Springer Science & Business Media, 12 2012

work page 2012
[3]

Banyamin, S

M. Banyamin, S. Aslam, and K. Mehmood. Contact unimodal map germs from the plane to the plane. Comptes Rendus Mathématique , 358:923--930, 12 2020

work page 2020
[4]

Boubakri, G

Y. Boubakri, G. M. Greuel, and T. Markwig. Invariants of hypersurface singularities in positive characteristic. Revista Matem \'a tica Complutense , 25:61--85, 2010

work page 2010
[5]

Bruce, N

J. Bruce, N. Kirk, and A. du Plessis. Complete transversals and the classification of singularities. Nonlinearity , 10:253, 01 1999

work page 1999
[6]

M. Giusti. Classification des singularit\'es isol\'ees simples d'intersections compl\`etes. In Singularities, P art 1 ( A rcata, C alif., 1981) , volume 40 of Proc. Sympos. Pure Math. , pages 457--494. Amer. Math. Soc., Providence, RI, 1983

work page 1981
[7]

Greuel and H.D

G.M. Greuel and H.D. Nguyen. Right simple singularities in positive characteristic. J. Reine Angew. Math. , 712:81--106, 2016

work page 2016
[8]

Greuel and T.H

G.M. Greuel and T.H. Pham. Finite determinacy of matrices and ideals. J. Algebra , 530:195--214, 2019

work page 2019
[9]

Greuel, G

G.M. Greuel, G. Pfister, O. Bachmann, C. Lossen, and H. Schönemann. A Singular Introduction to Commutative Algebra . 01 2008

work page 2008
[10]

J.N. Mather. Stability of c^ mappings, III. Finitely determined map-germs. Publications Math\'ematiques de l'IH\'ES , 35:127--156, 1968

work page 1968
[11]

H.D. Nguyen. Classification of Singularities in Positive Characteristic . PhD thesis, 04 2013

work page 2013
[12]

Pham and G.M

T.H. Pham and G.M. Greuel. On finite determinacy for matrices of power series. Mathematische Zeitschrift , 290, 05 2019

work page 2019
[13]

T.H. Pham, G. Pfister, and G.M. Greuel. Classification of simple 0-dimensional isolated complete intersection singularities, 2024

work page 2024
[14]

Santos and R

W.F. Santos and R. Alvaro. Actions and Invariants of Algebraic Groups . CRC Press, 04 2005

work page 2005

[1] [1]

V.I. Arnold. Local normal forms of functions. Invent. Math. , 35:87--109, 1976

work page 1976

[2] [2]

Arnold, A.N

V.I. Arnold, A.N. Varchenko, and S.M. Gusein-Zade. Singularities of Differentiable Maps . Springer Science & Business Media, 12 2012

work page 2012

[3] [3]

Banyamin, S

M. Banyamin, S. Aslam, and K. Mehmood. Contact unimodal map germs from the plane to the plane. Comptes Rendus Mathématique , 358:923--930, 12 2020

work page 2020

[4] [4]

Boubakri, G

Y. Boubakri, G. M. Greuel, and T. Markwig. Invariants of hypersurface singularities in positive characteristic. Revista Matem \'a tica Complutense , 25:61--85, 2010

work page 2010

[5] [5]

Bruce, N

J. Bruce, N. Kirk, and A. du Plessis. Complete transversals and the classification of singularities. Nonlinearity , 10:253, 01 1999

work page 1999

[6] [6]

M. Giusti. Classification des singularit\'es isol\'ees simples d'intersections compl\`etes. In Singularities, P art 1 ( A rcata, C alif., 1981) , volume 40 of Proc. Sympos. Pure Math. , pages 457--494. Amer. Math. Soc., Providence, RI, 1983

work page 1981

[7] [7]

Greuel and H.D

G.M. Greuel and H.D. Nguyen. Right simple singularities in positive characteristic. J. Reine Angew. Math. , 712:81--106, 2016

work page 2016

[8] [8]

Greuel and T.H

G.M. Greuel and T.H. Pham. Finite determinacy of matrices and ideals. J. Algebra , 530:195--214, 2019

work page 2019

[9] [9]

Greuel, G

G.M. Greuel, G. Pfister, O. Bachmann, C. Lossen, and H. Schönemann. A Singular Introduction to Commutative Algebra . 01 2008

work page 2008

[10] [10]

J.N. Mather. Stability of c^ mappings, III. Finitely determined map-germs. Publications Math\'ematiques de l'IH\'ES , 35:127--156, 1968

work page 1968

[11] [11]

H.D. Nguyen. Classification of Singularities in Positive Characteristic . PhD thesis, 04 2013

work page 2013

[12] [12]

Pham and G.M

T.H. Pham and G.M. Greuel. On finite determinacy for matrices of power series. Mathematische Zeitschrift , 290, 05 2019

work page 2019

[13] [13]

T.H. Pham, G. Pfister, and G.M. Greuel. Classification of simple 0-dimensional isolated complete intersection singularities, 2024

work page 2024

[14] [14]

Santos and R

W.F. Santos and R. Alvaro. Actions and Invariants of Algebraic Groups . CRC Press, 04 2005

work page 2005