Pith. sign in

REVIEW 3 major objections 4 minor 15 references

Degenerations of multisingularities and Artin algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read This paper claims that the degeneration order on Artin algebras is decided by a single equivariant characteristic-class evaluation, and that this order agrees with the classical Hilbert-scheme degeneration order for fixed rank.

desk verdict Strong new bridge between singularity theory and deformation theory, but the advertised algorithmic computation rests on an unproven interpolation theorem and unsupplied data. read the letter →

arxiv 2607.16022 v1 pith:NUAYAMBM submitted 2026-07-17 math.AG

Jakub Koncki , Richárd Rimányi This is my paper · ORCID
classification math.AG MSC 14C0514B0532S2058K65
keywords ArtinalgebrasdegenerationsstablehierarchymultisingularitiesThompolynomialsequivariantcohomologyHilbertschemesingularitytheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper attempts to show that the degeneration poset of finite-dimensional commutative Artin algebras—which algebra can deform into which—can be read off from symmetry data alone, without exploring Hilbert schemes. The authors define a singularity-theoretic 'stable hierarchy': for a fixed relative dimension, one multisingularity is below another if its target singularity locus is contained in the closure of the other's, for every stable map. The first main result (Theorem 7.1) says that, for Mather multisingularities, this relation is equivalent to a single characteristic-class evaluation: the target Thom polynomial of the upper singularity, evaluated on the prototype of the lower one in C*-equivariant cohomology, must be nonzero; the interpolation method then computes these polynomials from the automorphism-group weights of the algebras, making the hierarchy algorithmic. The second main result (Corollary 9.2) identifies the stable hierarchy, for algebras of fixed rank, with the classical degeneration order defined by closures of strata in the Hilbert scheme. If both claims hold, degeneration posets in the Mather range are determined by linear algebra, and singularity theory and deformation theory describe the same partial order.

What carries the argument

The machine is the pair consisting of prototypes and target Thom polynomials. For a multisingularity η and a relative dimension l, the prototype θ^l_η is a universal stable map germ realizing η; its existence turns containment of singularity strata into a local question at the origin. The target Thom polynomial Th^T_ζ is a universal equivariant characteristic class whose fundamental class on the target of any stable map is the (weighted) singularity locus of ζ; substitution into it is governed by torus weights. The interpolation theorems (4.4, 4.5) assert that Th^T_ζ is uniquely determined by its evaluations on prototypes—conditions (2) and (3) are linear equations in the polynomial's coeffi

What would settle it

Take any adjacent pair in the dimension-6 poset that the algorithm produces (for instance, an arrow into D51 or D52, which the paper leaves open due to computing limits) and determine the relation by classical deformation theory: write down an explicit one-parameter family of algebras over C[[t]] realizing the alleged degeneration, or verify directly that Hilb_A(X) ⊂ closure(Hilb_B(X)) fails. If the algorithm's arrow contradicts the deformation-theoretic containment, Theorem 7.1's evaluation criterion is refuted; if the open arrows into D51/D52 resolve in the predicted direction, the conjectur

Watch

Extended reading notes

Core claim

On the paper's own terms: for Mather multisingularities η, ζ occurring for relative dimension l, η ≤_l ζ holds exactly when the target Thom polynomial Th^T_ζ evaluates nonzero on the prototype θ^l_η in C*-equivariant cohomology (Theorem 7.1). The interpolation method then computes Th^T_ζ from the weights of positive C*-actions stabilizing prototypes, i.e. from automorphism groups of the algebras, so the hierarchy becomes algorithmic. Second: for algebras of fixed rank, the limit stable hierarchy ≤_∞ equals the classical degeneration order ≤_Hilb from Hilbert-scheme stratum closures (Theorem 9.1, Corollary 9.2). Thus the two notions agree where both are defined, and the singularity-theoretic

Load-bearing premise

The load-bearing premise is that the interpolation theorems (4.4 and 4.5) genuinely compute Thom polynomials from symmetry data: Theorem 4.5 is explicitly left as folklore ('This theorem was known, or at least widely believed, by experts... a formal proof is not required'), and the symmetry data are taken from a registry whose completeness is checked numerically rather than proven; if either fails, the nonvanishing evaluations that define the hierarchy in Theorem 7.1(3) could

Editorial extensions

If this is right

  • Degeneration posets in the Mather range are computable by linear algebra: the paper implements this for all multisingularities of algebra dimension ≤5 and for monosingularities of dimension 6, giving explicit Hasse diagrams and elementary-splitting tables.
  • The stable hierarchy extends the Hilbert-scheme degeneration order beyond fixed rank; for example, any quotient Q/(s) of a local algebra Q by an element of the maximal ideal satisfies Q ≤_{l+1} Q/(s), so the two hierarchies compare algebras of different dimensions.
  • For fixed rank, the two theories become one: singularity computations determine Hilbert-scheme closures, and deformation-theoretic facts such as openness of the Gorenstein property translate into statements about the stable hierarchy (Corollary 9.13).
  • Corollary 9.12 supplies a closed formula tcodim_l(η) = n·l + dim Der(A,A) for the target codimension of the singularity attached to an algebra of rank n, tying singularity invariants to algebra derivations.
  • The Poincaré-series identity of Theorem 5.2 gives, for each l, a numerical consistency check on the classification lists of small-dimensional algebras; the authors report computer verification for l=0,...,100 and an algebraic argument beyond.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the folklore interpolation theorem is given a full proof, the same pipeline extends to dimension 7 and beyond, where continuous moduli first appear; the 'dressing' phenomenon in the diagrams—monosingularities that refuse to split until they first transform into another monosingularity—would then be a systematic feature of the poset, deserving an invariant.
  • The equality with the Hilbert-scheme order suggests a translation dictionary: dimensions and tangent spaces of Hilbert-scheme strata can be read from singularity codimensions and derivation spaces, so the Thom-polynomial evaluation matrix could serve as a fast oracle for component structure of Hilbert schemes of points in higher dimensions.
  • The unresolved dependence of ≤_l on l for algebras of unequal dimension (Question 6.11) is the main structural gap; a positive answer would make the stable hierarchy a single global poset on all Artin algebras, and the paper's Proposition 6.8 plus Corollary 9.11 already settle the equal-rank case.
  • Because the criterion is a single nonzero evaluation, the full poset can be precomputed once for the Mather lists and reused, turning each future classification of small algebras into a lookup rather than a new deformation-theoretic search.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper introduces a singularity-theoretic degeneration order ('stable hierarchy') on finite-dimensional commutative Artin algebras, defined via the singularity loci of stable maps rather than via Hilbert-scheme deformations. The first main claim is that, in Mather nice dimensions, this hierarchy is characterized by evaluations of Thom polynomials of multisingularities, and can therefore be determined algorithmically from symmetry data (automorphism groups / torus weights). The second main claim is that, for algebras of fixed rank, the stable hierarchy coincides with the classical degeneration order on Hilbert schemes of points. The paper also contains an appendix formalizing the stratification of Hilbert schemes by algebra type, and it presents computed Hasse diagrams (Figures 4–6) for low-dimensional algebras.

Significance. If the computational engine is made fully rigorous, this is a valuable unification: it connects Mather's classification of stable singularities with the deformation theory of Artin algebras, and it gives a genuinely new method for computing degeneration posets, including comparisons across different ranks. The structural results—especially Theorem 7.1 and Theorem 9.1/Corollary 9.2—are significant and, as far as I can check, argued carefully. The appendix's representable-functor treatment of the Hilbert strata is a useful contribution. However, the advertised algorithmic determination rests on an interpolation theorem that the paper explicitly does not prove, and on external symmetry/weight data that is not shipped; these are load-bearing gaps.

major comments (3)
  1. [§4.3, Theorem 4.5] Theorem 4.5 is the computational engine: all computed Thom polynomials and therefore the evaluations in Section 7 and the edges in Figures 4–6 depend on its uniqueness claim. Yet the text states after the theorem: 'This theorem was known, or at least widely believed, by experts... In concrete applications a formal proof is not required.' This is not acceptable for a rigorous proof of the paper's first main result. Either include a proof of Theorem 4.5 (and Theorem 4.4) under precisely stated hypotheses, or state the exact theorem from [KR25] and verify that the hypotheses of that theorem are satisfied in the present setting. The current deferral leaves the algorithmic claim unsupported.
  2. [§5.2 and §7] The computations depend on the completeness and correctness of the symmetry/weight data listed on the external website [TPP]. This data is not reproduced or archived with the paper. The consistency check of Theorem 5.2 is only reported for l=0,...,100, and for l>100 the paper says 'with an extra algebraic argument (not detailed here)'. Since incorrect or incomplete weights would change every Thom polynomial evaluation and hence every edge in Figures 4–6, the paper should make the data available in a citable/archived form and give a complete verification, or clearly state this as an assumption rather than a proven fact.
  3. [§7, Figures 5–6] The extent of the computational claim should be stated more precisely. Figure 5 explicitly leaves some covering relations unresolved ('To decide what arrows point into vertices D51 and D52 we would need more computing power'), and Figure 6 excludes C58,...,C5,11. This is compatible with an algorithmic claim, but the abstract and introduction should not imply that the full posets for dimensions up to 6/7 have been computed. The distinction between 'the hierarchy is algorithmically determinable' and 'we have determined the hierarchy in these ranges' should be made explicit.
minor comments (4)
  1. [§4.3, Theorem 4.5] In the exponential equation in Theorem 4.5, the left-hand sum appears to use the variable t_ζ where t_η is intended; as written, the expression is hard to parse.
  2. [Notation] The letter A is used both for the right-left group Diff(C^m,0)×Diff(C^{m+l},0) in Section 3 and for an arbitrary algebra throughout; this can be confusing, especially in Section 5.1 and the appendix.
  3. [References] The dependence on the website [TPP] is heavier than a typical reference. Please provide a stable version/archive link or a data appendix, especially since the paper's own verification is incomplete for large l.
  4. [Figures 4–6] The captions and text should clarify which parts of the diagrams are proven computations, which are conjectural for all l, and which are incomplete due to computing-power limits. Currently the phrase 'conjecturally for all l' is used but its precise scope is not defined.

Circularity Check

1 steps flagged · score 4.0 of 10

Structural hierarchy theorem is self-contained, but the advertised algorithmic claim depends on an unproven interpolation theorem deferred to the authors' own [KR25], plus self-maintained [TPP] symmetry data.

  1. self citation load bearing [Section 4.3, after Theorem 4.5; cf. Section 7]
    "This theorem was known, or at least widely believed, by experts in the field. In concrete applications a formal proof is not required. In such situations, it suffices to list the requirements (1), (2), and (3) and observe that they admit a unique solution; see, for example, [Rim02, Kaz03, MR10, Ohm16, PPS21]. A generalization of this theorem is available in [KR25, Thm. 8.2]."

    The advertised first main result—that the stable hierarchy is algorithmically determined from symmetry data—is executed in Section 7 by computing Thom polynomials via Theorem 4.5 and then substituting C*-weights from [TPP]. Theorem 4.5 is the load-bearing interpolation/uniqueness input converting symmetry data into the Thom polynomials whose evaluations define the poset (Theorem 7.1(3)). No proof is supplied in this paper; the text appeals to folklore and refers to [KR25], a paper by the same two authors, for a generalization. Thus the computational part rests on a self-citation that is not independently verified in the present work. If the interpolation conditions do not uniquely characterize the Thom polynomials, the computed posets in Figures 4–6 would be unsupported. This is a support

full rationale

Theorem 7.1 is not circular: the stable hierarchy (Definition 6.2) is defined via singularity loci and prototypes, independently of Thom polynomials, and the proof uses the positive C*-action (Theorem 3.31) plus the external [FP09, Thm. 4.3]. The comparison with the Hilbert-scheme degeneration order (Theorem 9.1 and Corollary 9.2) provides an independent, externally grounded benchmark via Gaffney/Ohmoto and the appendix. The Poincaré-series identity (Theorem 5.2) is used as a consistency check, not as a fitted input for the hierarchy. The genuine weakness is that the algorithmic determination depends on Theorems 4.4/4.5, which are stated without proof, justified by folklore, and deferred to the authors' own [KR25]; the symmetry data likewise come from the second author's [TPP]. These are load-bearing self-citations rather than independent, machine-checked or externally falsifiable results. Because the structural equivalence and the fixed-rank comparison retain independent content, the score is moderate (4), not higher.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no fitted numerical parameters; its free parameters are effectively external mathematical data (Mather list, C*-weights) and the folkloric interpolation theorem. The main axioms are standard singularity/deformation-theory results plus the author-maintained [TPP] data.

assumptions (6)
  • domain assumption Mather finiteness: finitely many stable singularities with scodim ≤ M(l), and complement has codim > M(l)
    Used to define Mather bound and in the proof of Theorem 5.2 (Section 3.7, Section 5.2).
  • domain assumption Interpolation theorem for S-polynomials (Theorem 4.5)
    Key computational tool stated as folklore; proof deferred to authors' [KR25]. Section 4.3.
  • domain assumption Gaffney's characterization of stable maps via Hilbert scheme intersections (Thm 3.5/3.8 of [Gaf93])
    Used in Prop 9.7 (Section 9.1).
  • domain assumption FP09 Thm 4.3: incidence/non-vanishing of Thom polynomial evaluations characterize closures in equivariant cohomology
    Used in Theorem 7.1(2)⇔(3).
  • ad hoc to paper Completeness and correctness of the Mather classification and symmetry/weight data on [TPP]
    All computations and the consistency check rely on the author-maintained Thom Polynomial Portal; the paper verifies consistency for l≤100 via Poincaré identity (Section 5.2) but l>100 relies on an unstated argument.
  • domain assumption Alper [Alp26, Thm. 5.5.10] (algebraicity of the functor Hilb_A)
    Used in Remark 10.17 for the valuative criterion argument in Appendix.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Degenerations of multisingularities and Artin algebras." pith.science (2026). https://pith.science/paper/NUAYAMBM

@misc{pith2026260716022,
  author       = {Pith},
  title        = {Pith review of: Degenerations of multisingularities and Artin algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NUAYAMBM}},
  note         = {Machine review of arXiv:2607.16022}
}
read the original abstract

We study the degeneration hierarchy of commutative, associative, finite-dimensional complex Artin algebras. Instead of studying degenerations in the Hilbert scheme, we introduce a singularity-theoretic notion of degeneration based on the correspondence between singularities of stable map germs and local algebras. This leads to a natural partially ordered set, the stable hierarchy, in which one algebra degenerates to another if nearby singularities realize the latter. Our first main result is that, in a wide range of dimensions, this hierarchy can be determined purely from symmetry data, namely from the automorphism groups of the algebras or singularities. The key tool is the theory of certain equivariant characteristic classes called Thom polynomials of multisingularities, established by Kazarian. Suitable substitutions into these polynomials completely characterize the hierarchy. As a consequence, the computation of degeneration posets becomes algorithmic in nature. In our second main result, we prove that our singularity-theoretic hierarchy extends the algebraic hierarchy obtained from deformation theory. While deformation theory requires the dimension (rank) to be fixed, our hierarchy generalizes this framework by comparing algebras of varying dimensions.

Figures

Figures reproduced from arXiv: 2607.16022 by the authors.

Figure 1
Figure 1. The so-called Whitney umbrella singularity (x, y) 7→ (x 2 , xy, y) is stable. It shows that the algebra Q = C ⊕ C degenerates to the algebra R = C[t]/(t 2 ). 1 arXiv:2607.16022v1 [math.AG] 17 Jul 2026 [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Complete list of 6-dimensional algebras. For brevity we only indicate the ideal in the polynomial ring generated by the obvious genera￾tors. Cf [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Illustration of Theorem 5.2 for l = 0. The rows show the contribution of Mather singularities to the RHS. Hence, the rows must add up to the generating function of partitions. Since all singularities are listed of codim≤ 5, the displayed part of the table (correctly) ‘predicts’ that there must be 11 − 8 = 3 singularities (or corresponding algebras) of codimen￾sion 6. Example 5.3. For l = 0 we have N = 20. The first … view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: The Hasse diagram of the ≤l-poset of multisingularities (Artin algebras) up to algebra dimension 5, for small values of l, and conjecturally for all l. Vertices in boldface are monosingularities (local algebras). The al￾ternating yellow-blue colors indicate algebra dim…
Figure 5
Figure 5. Figure 5: The Hasse diagram of the ≤∞-poset of monosingularities (local algebras) of dimension 6. For notation see [PITH_FULL_IMAGE:figures/full_fig_p023_5.png]
Figure 6
Figure 6. Figure 6: Elementary splittings of some local algebras for small values of l, and conjecturally for all l. All local algebras are included with corresponding singularity having codimension ≤ 5l + 11. Singularities C58, . . . , C5,11 are presently outside of the reach of our comp…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 5 linked inside Pith

  1. [2]

    [FR04] L. M. Feh´ er and R. Rim´ anyi. Calculation of Thom polynomials and other cohomological obstructions for group actions. In T. Gaffney and M. Ruas, editors,Real and Complex Sin- gularities (Sao Carlos, 2002), pages 69–93. AMS,

    2002

  2. [7]

    [Mat68] J

    arXiv:2411.19920. [Mat68] J. N. Mather. Stability ofC ∞ mappings III: Finitely deteremined map germs.Publ. Math. IHES, 35:127–156,

    arXiv

  3. [9]

    [Ohm16] T. Ohmoto. Singularities of maps and characteristic classes. InSchool on Real and Complex Singularities in S˜ ao Carlos, 2012, number 68 in Adv. Studies in Pure Math., pages 191–265,

    2012

  4. [11]

    [Ohm25] T. Ohmoto. Thom polynomials for singularities of maps. arXiv:2502.16727,

    arXiv

  5. [12]

    [Poo08] B

    arXiv:2601.03179. [Poo08] B. Poonen. Isomorphism types of commutative algebras of finite rank over an algebraically closed field. InComputational arithmetic geometry, volume 463 ofContemp. Math., pages 111–120. AMS,

    arXiv

  6. [15]

    [Yu14] A. Yu. Towards the classification of unital 7-dimensional commutative algebras. MIT- PRIMES, https://math.mit.edu/research/highschool/primes/materials/2014/Yu.pdf,

    2014

  7. [1999]

    N´ emethi and G

    [NS26] A. N´ emethi and G. Schefler. Lattice homology of integrally closed submodules and Artin algebras. arXiv:2603.26189,

    arXiv

  8. [2003]

    Surveys 58 (2003), no

    translation in Russian Math. Surveys 58 (2003), no. 4, 665–724. [KR25] J. Koncki and R. Rim´ anyi. Higher characteristic classes of multisingularity loci,

    2003

Show all 15 references
  1. [2009]

    Casnati and R

    DEGENERATIONS OF MULTISINGULARITIES AND ARTIN ALGEBRAS 35 [CN09] G. Casnati and R. Notari. On the Gorenstein locus of some punctual Hilbert schemes.J. Pure Appl. Algebra, 213(11):2055–2074,

  2. [2013]

    [Rim26] R

    preprint, arXiv:1303.3399. [Rim26] R. Rim´ anyi. Thom polynomials. A primer.Indag. Math., 37(4):1280–1305,

    arXiv

  3. [2016]

    [Ohm24] T. Ohmoto. Universal polynomials for multi-singularity loci maps. arXiv:2406.12166,

    arXiv

  4. [2021]

    arXiv:- 2109.11805. [TPP] R. Rim´ anyi: Thom Polynomial Portal. An online registry of known Thom polynomials, https://tpp.web.unc.edu. [Vak25] R. Vakil. The rising sea foundations of algebraic geometry,

    arXiv

  5. [2024]

    [JS26] J

    arXiv:2409.06025. [JS26] J. Jelisiejew and A. Smoktunowicz. On a conjecture by Michael Wemyss regarding the calcu- lation of GV invariants,

    arXiv

  6. [2025]

    [LR24] S

    arXiv:2510.14602. [LR24] S. P. Lehalleur and R. Rim´ anyi. Geometry of the fibers of the multiplication map of deep linear neural networks,

  7. [2026]

    [Kaz03] M

    arXiv:2602.05919. [Kaz03] M. E. Kazarian. Multisingularities, cobordisms, and enumerative geometry. (Russian).Us- pekhi Mat. Nauk, 4(352):29–88,

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.