Tjurina Number Jumps and Unimodal Hypersurface Singularities in Positive Characteristic

Aoyu Ying; Hongrui Ma; Huaiqing Zuo

arxiv: 2510.02619 · v3 · submitted 2025-10-02 · 🧮 math.AG

Tjurina Number Jumps and Unimodal Hypersurface Singularities in Positive Characteristic

Hongrui Ma , Aoyu Ying , Huaiqing Zuo This is my paper

Pith reviewed 2026-05-18 09:56 UTC · model grok-4.3

classification 🧮 math.AG

keywords Tjurina numbermodalityhypersurface singularitiespositive characteristiccontact equivalenceunimodal singularitiesalgebraic geometry

0 comments

The pith

Jumps in the extended Tjurina number necessarily increase the modality of hypersurface singularities.

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

The paper generalizes prior techniques to establish stronger bounds on modality for isolated hypersurface singularities. It proves that each sudden jump in the extended Tjurina number forces a strict increase in modality. The authors then apply this relation to produce a complete classification of all unimodal singularities up to contact equivalence when the characteristic exceeds three. A reader would care because modality quantifies how complex a singularity is, and the result turns a numerical jump into a practical tool for listing and bounding these objects.

Core claim

Each sudden jump in the extended Tjurina number necessarily increases the modality. The paper also provides a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence.

What carries the argument

The extended Tjurina number, whose jumps are shown to force increases in modality for hypersurface singularities.

If this is right

Stronger explicit bounds on modality follow from tracking Tjurina number jumps alone.
A complete list of unimodal isolated hypersurface singularities exists for all characteristics p > 3 under contact equivalence.
The classification can be used to enumerate deformations or compute invariants for these singularities.

Where Pith is reading between the lines

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

The same jump-modality relation may help classify singularities of higher modality in the same setting.
Analogous controls on modality could appear for other numerical invariants once similar jump phenomena are identified.

Load-bearing premise

Methods developed in characteristic zero extend directly to characteristic p greater than 3 without introducing new obstructions that would break the link between Tjurina jumps and modality.

What would settle it

An isolated hypersurface singularity in characteristic p > 3 whose extended Tjurina number jumps yet whose modality remains unchanged, or a unimodal singularity absent from the given classification list.

read the original abstract

This paper generalizes existing methods to derive stronger bounds on the modality of hypersurface singularities. Our results demonstrate that each sudden jump in the extended Tjurina number necessarily increases the modality. Furthermore, we provide a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence.

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 classifies unimodal hypersurface singularities for p>3 under contact equivalence and links extended Tjurina jumps to modality increases, but the generalization from char 0 needs explicit checks against p-specific effects on the Jacobian ideal.

read the letter

Colleague, the main point is that this work gives a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence, together with the claim that each jump in the extended Tjurina number forces an increase in modality. They generalize existing techniques to obtain stronger modality bounds and then list all such singularities. That list is the concrete new piece; having an exhaustive roster for p > 3 fills a gap that prior literature left open. The approach looks like a direct extension of dimension-count arguments on the Tjurina algebra and versal base that worked in characteristic zero, now applied here. The paper does a service by making the classification explicit rather than leaving it as an existence statement. On the soft side, the stress-test concern about p-effects is reasonable to raise. When p divides multiplicities or weights, the Jacobian ideal or Kähler differentials can pick up torsion or altered dimensions that might produce extra jumps without a matching modality change. If the proofs only carry over the char-0 counts without separate verification or counter-example checks for those cases, the implication and the completeness of the list could both be affected. The abstract itself gives no proof details, so the full text needs to show where those obstructions are ruled out or controlled. The argument does not appear circular or fitted; it rests on algebraic counts rather than self-referential definitions. This is specialized material aimed at people already working in singularity theory and deformation theory over positive-characteristic fields. A reader who needs explicit examples or modality bounds for hypersurfaces in char p would get direct value from the classification. It deserves a serious referee because the list can be checked for exhaustiveness and the generalization can be tested against concrete singularities.

Referee Report

1 major / 2 minor

Summary. The paper generalizes existing methods from characteristic zero to derive stronger bounds on the modality of hypersurface singularities in positive characteristic p > 3. It proves that each sudden jump in the extended Tjurina number necessarily increases the modality and provides a complete classification of unimodal isolated hypersurface singularities under contact equivalence.

Significance. If the central claims hold, the work would be a solid contribution to singularity theory in positive characteristic by extending Tjurina-modality relations and delivering an explicit classification list. The approach strengthens deformation-theoretic tools for char p settings, though its impact depends on verifying that the generalization avoids characteristic-dependent obstructions.

major comments (1)

[§3, Theorem 3.2] §3, Theorem 3.2: The proof that each jump in the extended Tjurina number forces a modality increase generalizes dimension counts from the Tjurina algebra in char 0, but does not explicitly rule out p-torsion in the module of Kähler differentials or non-standard Jacobian ideal behavior when p divides multiplicities or weights; this is load-bearing for both the implication and the claimed exhaustiveness of the unimodal classification.

minor comments (2)

[§2] The notation for the extended Tjurina number is introduced without a self-contained formula; adding an explicit expression in §2 would improve readability.
[Table 4] Table 4 (classification list) would benefit from an additional column recording the Tjurina number for each entry to allow direct verification of the jump-modality correspondence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for drawing attention to a subtle but important point in the proof of Theorem 3.2. We address the concern directly below and will revise the text to make the argument fully explicit in positive characteristic.

read point-by-point responses

Referee: [§3, Theorem 3.2] §3, Theorem 3.2: The proof that each jump in the extended Tjurina number forces a modality increase generalizes dimension counts from the Tjurina algebra in char 0, but does not explicitly rule out p-torsion in the module of Kähler differentials or non-standard Jacobian ideal behavior when p divides multiplicities or weights; this is load-bearing for both the implication and the claimed exhaustiveness of the unimodal classification.

Authors: We agree that the current write-up of the dimension-count argument in Section 3 does not contain an explicit verification that p-torsion in the Kähler differentials or non-standard Jacobian behavior is absent when p divides multiplicities or weights. While the hypotheses p > 3 and isolation of the singularity already exclude many such pathologies in the cases under consideration, we will strengthen the exposition. In the revised version we will add a short preparatory lemma (new Lemma 3.3) immediately before Theorem 3.2. The lemma will prove that, for the hypersurface singularities appearing in the unimodal classification, the relevant graded pieces of the module of Kähler differentials are torsion-free over the base field when p > 3, and that the Jacobian ideal coincides with the expected ideal generated by the partial derivatives. The proof of the lemma proceeds by direct inspection of the possible weights and multiplicities that arise in the normal forms listed in Section 4; none of these weights or multiplicities are divisible by p under the standing assumption p > 3. With this lemma in place, the dimension-count argument carries over verbatim and the exhaustiveness of the classification list is secured. We therefore view the referee’s observation as a request for clarification rather than a counter-example to the claims. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation rests on generalized algebraic methods

full rationale

The paper generalizes prior methods on Tjurina numbers and modality to characteristic p > 3, deriving that each jump in the extended Tjurina number increases modality and supplying a classification of unimodal hypersurface singularities under contact equivalence. No equations, definitions, or self-citations in the provided abstract or claims reduce any central result to its own inputs by construction, rename fitted quantities as predictions, or import uniqueness via author-overlapping citations that bear the load. The classification and implication follow from dimension counts and deformation theory generalized to positive characteristic, remaining independent of the target statements.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review based on abstract only; no explicit free parameters, axioms, or invented entities are identifiable from the provided summary. The central claims rest on generalizations of prior methods whose details are not visible.

pith-pipeline@v0.9.0 · 5571 in / 1117 out tokens · 39117 ms · 2026-05-18T09:56:53.444144+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our results demonstrate that each sudden jump in the extended Tjurina number necessarily increases the modality. Furthermore, we provide a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.