ADE Classification of Hypersurface Singularities

• The topic defines ADE classification as organizing hypersurface singularities into A, D, and E series via analytic normal forms and module-theoretic invariants.
• It employs methods ranging from local analytic models and Cohen–Macaulay type constraints to gradient linear type conditions for both theoretical and arithmetic applications.
• The framework connects algebraic geometry, invariant theory, and Lie theory, enabling computational insights into zeta functions and matrix factorizations in surface rings.

Searching arXiv for the cited papers to ground the article in current arXiv records. ADE-type classification of hypersurfaces refers to classification schemes in which hypersurface singularities are organized by the simple series $A$, $D$, and $E$, and, in some recent formulations, by module-theoretic or arithmetic invariants that recover the same list. In the materials considered here, ADE language appears in several closely related settings: analytic normal forms for isolated singularities, hypersurfaces over complete regular local rings classified by Cohen–Macaulay type, projective plane curves whose simple singularities force the gradient ideal to be of linear type, surface rings described by invariant theory and matrix factorizations, and Lie-theoretic constructions in which the exceptional curves of a minimal resolution form an ADE Dynkin diagram (Svoray, 18 Sep 2025).

1. Local normal forms and the meaning of ADE for hypersurfaces

For reduced projective plane curves, “simple singularities” means ADE singularities. The local analytic models used are

$A_k:\ y^2-x^{k+1}=0,$

$D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$

$E_6:\ x^3+y^4=0,$

$$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$

$E_8:\ x^3-y^5=0.$

The same source explicitly notes that “the standard ADE classification is being invoked” and that the paper uses analytic normal forms adapted to local computations (Farrahy et al., 2019).

For projective hypersurfaces in $\mathbf P^3$, the local hypersurface equation is written in three variables after formal analytic change of coordinates. The ADE normal forms are

$A_n:\ w^2+x^2+y^{n+1}=0,$

$D$0

$D$1

$D$2

$D$3

These are treated as isolated singularities on projective hypersurfaces in $D$4 and are used to construct differential operators adapted to the local Jacobian ideal (Cheung, 2021).

For surface rings of ADE type, the hypersurfaces are presented as explicit quotient rings

$D$5

$D$6

$D$7

These are described as the isolated rational double points or simple surface singularities in the usual ADE sense (Brinkmann, 2016).

Taken together, these formulations show that ADE classification is not tied to a single presentation of the equation. The series $D$8, $D$9, and $E$0 persists across plane-curve singularities, projective hypersurfaces in $E$1, and two-dimensional hypersurface rings, while the normal form is adjusted to the ambient category and the local computational problem.

2. Cohen–Macaulay-type classification over complete regular local rings

A recent local-ring formulation classifies hypersurface singularities by the size of the category of maximal indecomposable Cohen–Macaulay modules. For a local ring $E$2,

$E$3

and if $E$4, the ring is said to have $E$5-Cohen–Macaulay type. The new notion is sparse Cohen–Macaulay type: $E$6 The same work proves that for a finite-dimensional Noetherian local ring with infinite residue field,

$E$7

so non-sparse behavior lies between $E$8 and $E$9 (Svoray, 18 Sep 2025).

The structural input is a sparse version of the Huneke–Leuschke–Takahashi theorem: if $A_k:\ y^2-x^{k+1}=0,$0 is a Cohen–Macaulay local ring with sparse Cohen–Macaulay type, then

$A_k:\ y^2-x^{k+1}=0,$1

Equivalently, the singular locus has dimension at most one. The proof uses a cardinal prime avoidance lemma together with specialization-closedness of $A_k:\ y^2-x^{k+1}=0,$2 (Svoray, 18 Sep 2025).

The hypersurface case is treated for rings of the form $A_k:\ y^2-x^{k+1}=0,$3 with $A_k:\ y^2-x^{k+1}=0,$4 regular local and $A_k:\ y^2-x^{k+1}=0,$5. A key reduction is the Buchweitz–Greuel–Schreyer surjection

$A_k:\ y^2-x^{k+1}=0,$6

Hence, if there are $A_k:\ y^2-x^{k+1}=0,$7 many ideals $A_k:\ y^2-x^{k+1}=0,$8 with $A_k:\ y^2-x^{k+1}=0,$9, then $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$0 cannot have sparse CM type. To organize normal-form reduction over arbitrary complete regular local rings, the paper introduces a relation $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$1, meaning “$D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$2 can be written as $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$3,” as a substitute for classical contact equivalence in mixed characteristic (Svoray, 18 Sep 2025).

Sparse CM type imposes strong order constraints. If $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$4 has sparse CM type, then:

1. $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$5.
2. If $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$6 and $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$7 is algebraically closed, then $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$8.
3. For every $D_{k+3}:\ y^2x-x^{k+2}=0\qquad (k\ge 1),$9, $E_6:\ x^3+y^4=0,$0.
4. For every $E_6:\ x^3+y^4=0,$1, $E_6:\ x^3+y^4=0,$2.

For elements of order $E_6:\ x^3+y^4=0,$3, the splitting lemma states that after choosing generators $E_6:\ x^3+y^4=0,$4 of $E_6:\ x^3+y^4=0,$5,

$E_6:\ x^3+y^4=0,$6

for some units $E_6:\ x^3+y^4=0,$7. The integer $E_6:\ x^3+y^4=0,$8 is the rank $E_6:\ x^3+y^4=0,$9. If $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$0 and $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$1 has sparse CM type over an algebraically closed $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$2, then

$$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$3

This reduces the classification to full rank, rank $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$4, and rank $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$5 (Svoray, 18 Sep 2025).

From here the classification reproduces the $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$6-, $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$7-, and $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$8-series. If $$E_7:\ y^3-xy^3 \quad \text{(as stated in the paper’s normal form)},$$9 has order $E_8:\ x^3-y^5=0.$0 and $E_8:\ x^3-y^5=0.$1, then

$E_8:\ x^3-y^5=0.$2

If $E_8:\ x^3-y^5=0.$3 has order $E_8:\ x^3-y^5=0.$4 and $E_8:\ x^3-y^5=0.$5, then either

$E_8:\ x^3-y^5=0.$6

or, after completion, $E_8:\ x^3-y^5=0.$7, where

$E_8:\ x^3-y^5=0.$8

$E_8:\ x^3-y^5=0.$9

In the remaining rank $\mathbf P^3$0 case, the analysis reduces to the 3-jet in dimension $\mathbf P^3$1. For order $\mathbf P^3$2, the cubic leading term is equivalent to one of

$\mathbf P^3$3

The first two produce the $\mathbf P^3$4-series: $\mathbf P^3$5 and

$\mathbf P^3$6

When the 3-jet is $\mathbf P^3$7, the classification becomes characteristic-dependent and yields

$\mathbf P^3$8

$\mathbf P^3$9

$A_n:\ w^2+x^2+y^{n+1}=0,$0

together with the extra forms $A_n:\ w^2+x^2+y^{n+1}=0,$1, $A_n:\ w^2+x^2+y^{n+1}=0,$2, $A_n:\ w^2+x^2+y^{n+1}=0,$3, $A_n:\ w^2+x^2+y^{n+1}=0,$4 in characteristics $A_n:\ w^2+x^2+y^{n+1}=0,$5 and $A_n:\ w^2+x^2+y^{n+1}=0,$6 (Svoray, 18 Sep 2025).

The principal theorem states that if $A_n:\ w^2+x^2+y^{n+1}=0,$7 is a complete regular local ring of dimension $A_n:\ w^2+x^2+y^{n+1}=0,$8, with $A_n:\ w^2+x^2+y^{n+1}=0,$9 infinite and $D$00, and if $D$01 has sparse Cohen–Macaulay type, then $D$02 can be written as one of the ADE hypersurface singularities $D$03, $D$04, $D$05, $D$06, $D$07, with the additional forms $D$08, $D$09, $D$10, $D$11 in small positive characteristics. If $D$12 is uncountable, the theorem also allows $D$13 and $D$14 (Svoray, 18 Sep 2025).

3. Jacobian and gradient linear type for projective hypersurfaces with ADE singularities

A different ADE-type rigidity phenomenon concerns Jacobian and gradient ideals. For a reduced polynomial $D$15, the gradient ideal is

$D$16

and the affine Jacobian ideal is

$D$17

An ideal $D$18 is of linear type if the natural surjection

$D$19

is an isomorphism. In the affine case this gives Jacobian linear type for $D$20; in the projective case it gives gradient linear type for $D$21 (Farrahy et al., 2019).

For a reduced affine hypersurface $D$22 with only isolated singularities, the main criterion is an equivalence among local singularity-theoretic conditions. Writing

$D$23

and denoting by $D$24 and $D$25 the localized Milnor and Tjurina numbers, the hypersurface is locally Eulerian if

$D$26

equivalently if

$D$27

Under the isolated singularity hypothesis, the following are equivalent: $D$28 is of Jacobian linear type; $D$29 is locally a complete intersection at each singular point; $D$30 is locally Eulerian; the Tjurina algebra $D$31 is Artinian Gorenstein; and the module

$D$32

is cyclic (Farrahy et al., 2019).

For projective hypersurfaces $D$33 with only isolated singularities, the analogous criterion states that $D$34 is of gradient linear type if and only if the gradient ideal $D$35 is locally a complete intersection at each singular prime. If

$D$36

is a minimal presentation, this is also equivalent to the condition that the ideal generated by the entries of $D$37 has codimension $D$38 (Farrahy et al., 2019).

The ADE content is concentrated in the theorem that any reduced projective plane curve with simple singularities is of gradient linear type. The proof is explicit and local: at each singular point one passes to an affine chart, writes the local equation $D$39, and shows

$D$40

This establishes local Eulerianity for each ADE type and hence gradient linear type. The same paper also proves that any reduced singular quartic plane curve is of gradient linear type, using the genus formula and an exhaustive analysis of singularity configurations (Farrahy et al., 2019).

A common misconception is that ADE labeling is purely taxonomic. In this setting the ADE list has direct blowup-algebra consequences: simple singularities force the Jacobian or gradient ideal to satisfy the linear-type property.

4. Arithmetic and algorithmic consequences in projective dimension three

For hypersurfaces in $D$41 over finite fields, ADE classification becomes a computational tool in the study of zeta functions. For $D$42,

$D$43

For projective hypersurfaces in $D$44, the cohomological expression used is

$D$45

where

$D$46

The computational problem is therefore the Frobenius action on rigid or de Rham cohomology of the complement (Cheung, 2021).

The setup requires an equisingular lift

$D$47

with the condition that

$D$48

has no $D$49-torsion. The paper gives the example of $D$50 at $D$51, where one derivative becomes $D$52, vanishes mod $D$53, and causes torsion problems (Cheung, 2021).

The algorithm is based on the Koszul/de Rham complex with modified differential

$D$54

If $D$55 is the global Milnor number, then in degrees

$D$56

the relevant Koszul cohomology has dimension $D$57; this is the stable range. For weighted homogeneous isolated singularities, the spectral sequence degenerates at $D$58 (Cheung, 2021).

The main conceptual result is Theorem 3.5: for each ADE type, in the stable range,

$D$59

For $D$60, the annihilating operators are evaluation at the origin together with

$D$61

For $D$62, $D$63, $D$64, and $D$65, the paper gives analogous families built from evaluation and higher-order derivatives adapted to the normal forms. Proposition 3.6 shows that under a formal analytic change of coordinates, these differential operators transform into linear combinations of operators of the same or lower order, making the criterion coordinate-independent in practice (Cheung, 2021).

Theorem 3.10 states that for projective hypersurfaces in $D$66 with only ADE singularities, the subdiagonal on the $D$67-page vanishes. The computational workflow is then: compute a basis on the $D$68-page, propagate basis elements by Theorem 3.7, compute ADE annihilating operators, apply inverse Frobenius, reduce cohomology using the operator criterion in place of Gröbner membership tests, and form the Frobenius matrix and its characteristic polynomial. The paper emphasizes that the ADE method extends the ordinary-double-point method of Stetson and Baranovsky from the $D$69 case to the full ADE family (Cheung, 2021).

This suggests that ADE classification is not only a local analytic description of singularities but also a mechanism for explicit arithmetic computation.

5. Surface rings, invariant theory, and Lie-theoretic geometry

In two dimensions, ADE hypersurfaces admit a representation-theoretic and invariant-theoretic description. The surface rings

$D$70

are treated both as explicit hypersurfaces and as invariant rings

$D$71

when the group order is invertible in $D$72. The corresponding finite groups are: cyclic of order $D$73 for $D$74, binary dihedral of order $D$75 for $D$76, binary tetrahedral of order $D$77 for $D$78, binary octahedral of order $D$79 for $D$80, and binary icosahedral of order $D$81 for $D$82 (Brinkmann, 2016).

These rings have finite Cohen–Macaulay type, and the classification of indecomposable maximal Cohen–Macaulay modules is made explicit via matrix factorizations

$D$83

The strategy is to classify the indecomposable MCM modules via known lists of reduced indecomposable matrix factorizations and then identify each module as a first syzygy module

$D$84

For $D$85, for example, the indecomposable non-free MCM modules are represented by

$D$86

with

$D$87

The same source gives complete explicit module lists for $D$88, $D$89, $D$90, and $D$91, and uses them to compute Hilbert–Kunz functions (Brinkmann, 2016).

The Hilbert–Kunz multiplicity of an ADE surface ring satisfies

$D$92

assuming the group order is invertible in $D$93 and the ring is $D$94-rational. Explicit formulas are also given for the Hilbert–Kunz functions of $D$95, $D$96, $D$97, and $D$98 as functions of $D$99 (Brinkmann, 2016).

The Lie-theoretic side begins with a singular surface

$E$00

where $E$01 is finite. If $E$02 is the minimal resolution, the exceptional locus is a union of smooth rational curves $E$03 with

$E$04

and the dual graph is an ADE Dynkin diagram. Inside

$E$05

the set

$E$06

is a simply-laced root system of a simple Lie algebra $E$07. The classes $E$08 form a base of $E$09 (Chen et al., 2018).

The Brieskorn–Slodowy–Grothendieck diagram connects the ADE singular surface, the nilpotent cone, the flag variety $E$10, and the Springer resolution

$E$11

On $E$12 and on $E$13, the paper constructs holomorphic $E$14-bundles with bracket-preserving holomorphic structure

$E$15

where $E$16 is a $E$17-form with values in the negative-root line bundle $E$18. On the minimal resolution $E$19, the line bundles corresponding to roots satisfy

$E$20

for

$E$21

Thus the ADE root data, the exceptional curves, the flag variety, and the cotangent bundle are different manifestations of the same classification structure (Chen et al., 2018).

6. Relation to weighted-homogeneous classifications and limits of ADE language

ADE-type classification is not identical with every classification of hypersurfaces. One related but distinct framework classifies two-dimensional graded normal hypersurfaces

$E$22

by their weighted type

$E$23

with $E$24-invariant

$E$25

For fixed $E$26, the number of possible types is finite. The explicit classification is carried out for

$E$27

This is presented as a classification of weighted homogeneous hypersurface types using the Dolgachev–Pinkham–Demazure construction, not as a strict ADE theorem (Watanabe, 2014).

The ADE connection appears only in a boundary case. When $E$28, there are infinitely many types, including

$E$29

corresponding to the familiar

$E$30

surface singularities. This makes the paper closely related in spirit to ADE classification, but the main theorem remains a finite enumeration of weight types for fixed $E$31 rather than a classification by Dynkin type (Watanabe, 2014).

A second non-equivalence arises in affine differential geometry. The classification of connected, simply connected, nondegenerate equiaffine symmetric hypersurfaces with fixed nonzero affine mean curvature is organized by semisimple real Jordan algebras. The paper proves a one-to-one correspondence between such hypersurfaces and semisimple real Jordan algebras, then reduces the geometric classification to the existing classification of simple real Jordan algebras and their Calabi compositions. The same source explicitly states that this classification is not literally ADE in the sense of Dynkin diagrams of simple Lie algebras, even though it has a similar structural flavor (Li, 2014).

The anisotropic isoparametric problem provides a further contrast. Complete anisotropic isoparametric hypersurfaces in Euclidean space are classified, up to translations and homotheties, as hyperplanes, the Wulff shape $E$32, or generalized cylinders $E$33. The paper explicitly states that it does not present an ADE-type classification or a root-system-based classification in the style of the Cartan classification of isoparametric hypersurfaces in spheres (Ge et al., 2010).

A plausible implication is that “ADE-type classification of hypersurfaces” is best understood as a family of classification paradigms centered on simple singularities and their algebraic, geometric, and arithmetic avatars, rather than as a universal template for all hypersurface classification problems.