An algebraic proof of the Milnor-Orlik theorem

Yerly Soler

arxiv: 2605.21703 · v1 · pith:NY2PX4J2new · submitted 2026-05-20 · 🧮 math.AC

An algebraic proof of the Milnor-Orlik theorem

Yerly Soler This is my paper

Pith reviewed 2026-05-22 07:41 UTC · model grok-4.3

classification 🧮 math.AC

keywords Milnor-Orlik theoremMilnor numberweighted-homogeneousKoszul complexHilbert seriesfree resolutionMilnor algebracommutative algebra

0 comments

The pith

Commutative algebra provides a proof of the Milnor-Orlik theorem by resolving the Milnor algebra with the Koszul complex.

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

The paper proves the Milnor-Orlik theorem, which gives an explicit formula for the Milnor number of a weighted-homogeneous polynomial with an isolated singularity that depends only on the weights of the variables. The proof uses commutative algebra by constructing a free resolution of the Milnor algebra using the Koszul complex on the partial derivatives. The Milnor number is then recovered as the dimension of this algebra by computing its Hilbert series. This matters because it replaces topological definitions with a purely algebraic calculation that makes the dependence on weights transparent.

Core claim

By showing that the Koszul complex on the partial derivatives of the polynomial gives a free resolution of the Milnor algebra, the paper derives the Milnor-Orlik formula for the Milnor number directly from the Hilbert series of the resolution, expressing it solely in terms of the weights.

What carries the argument

The Koszul complex associated to the partial derivatives, serving as a free resolution of the Milnor algebra to enable Hilbert series computation of its dimension.

If this is right

If the resolution is free, the Hilbert series is a rational function determined by the weights, leading directly to the closed-form expression for the Milnor number.
The result holds for any weighted-homogeneous polynomial with an isolated singularity, independent of the specific degree or coefficients beyond the weights.
The approach demonstrates that the Milnor number is a purely algebraic invariant in this setting.

Where Pith is reading between the lines

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

This technique may generalize to computing other invariants like the Tjurina number using similar resolutions.
It highlights how commutative algebra methods can simplify proofs that were originally established through geometric or topological means.

Load-bearing premise

The Koszul complex on the partial derivatives provides a free resolution of the Milnor algebra for weighted-homogeneous polynomials with isolated singularities.

What would settle it

An explicit weighted-homogeneous polynomial with an isolated singularity where the length of the Koszul complex resolution does not match the expected dimension or where the Hilbert series does not produce the known Milnor number value.

read the original abstract

A well-known theorem by Milnor-Orlik provides a formula for the Milnor number of a weighted-homogeneous polynomial having an isolated singularity that depends only on the weights. In this paper we present a proof of that result using techniques from commutative algebra. Our approach is to obtain a free resolution of the Milnor algebra through the Koszul complex. The desired formula is then obtained from a Hilbert series calculation.

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

This paper supplies a new algebraic proof of the known Milnor-Orlik formula by resolving the Milnor algebra with the Koszul complex on the partial derivatives and reading the Milnor number off the Hilbert series.

read the letter

The main takeaway is that the work recasts a classical singularity-theory result in commutative-algebra language. It shows how the Koszul complex on the n partial derivatives, followed by a Hilbert-series calculation, recovers the weight-dependent formula for the Milnor number when the singularity is isolated and the polynomial is weighted homogeneous. That is the concrete contribution: a different route, not a new theorem or formula. The approach is direct and uses only standard graded tools, which is a plus for readers who prefer homological methods over the original topological or analytic arguments. It also keeps the derivation parameter-free once the resolution is granted, which is clean. The soft spot is the justification that the Koszul complex is actually a resolution. Isolated singularity guarantees that the Jacobian ideal has height n and finite colength, but an ideal generated by exactly n elements need not be a complete intersection; the partials must form a regular sequence so that higher Koszul homology vanishes. The weighted-homogeneous hypothesis may supply the missing acyclicity, but the paper must spell out why the graded Koszul homology is zero in positive degrees rather than assuming it follows from finite colength alone. If that step is only sketched, the Hilbert-series step does not yet produce the claimed formula. This paper is mainly for commutative algebraists who want to see their tools applied to singularity invariants or for people collecting alternative proofs of classical formulas. A reader already familiar with Koszul complexes and Hilbert series will follow it quickly and may find the perspective useful for generalizations. I would send it to peer review. The idea is clear, the tools are appropriate, and the result is worth having in the literature even if the regularity argument needs tightening.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to give an algebraic proof of the Milnor-Orlik theorem, which asserts that the Milnor number of a weighted-homogeneous polynomial with an isolated singularity depends only on the weights. The strategy is to construct a free resolution of the Milnor algebra via the Koszul complex on the partial derivatives and then extract the explicit formula from the resulting Hilbert series.

Significance. If the central steps are rigorously justified, the paper would supply a purely commutative-algebraic derivation of a classical result in singularity theory, replacing topological arguments with Koszul homology and graded Hilbert-series computations. This approach could make the theorem more accessible within algebraic geometry and potentially admit generalizations to other graded settings.

major comments (1)

[Abstract / Introduction] The abstract states that a free resolution of the Milnor algebra is obtained through the Koszul complex, yet the manuscript provides no explicit argument that the sequence of partial derivatives is regular (or that the graded Koszul homology vanishes in positive degrees). Isolated singularity guarantees only that the Jacobian ideal has height n and finite colength; it does not automatically imply that n generators form a regular sequence. Without this verification, the subsequent Hilbert-series calculation cannot be guaranteed to produce a formula depending solely on the weights.

minor comments (1)

[Section 1] Clarify the precise grading on the polynomial ring and the definition of the Milnor algebra early in the text to make the Hilbert-series extraction self-contained.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. The feedback highlights an important point regarding the justification of the Koszul resolution, and we address it directly below. We will revise the manuscript to incorporate the necessary clarification.

read point-by-point responses

Referee: [Abstract / Introduction] The abstract states that a free resolution of the Milnor algebra is obtained through the Koszul complex, yet the manuscript provides no explicit argument that the sequence of partial derivatives is regular (or that the graded Koszul homology vanishes in positive degrees). Isolated singularity guarantees only that the Jacobian ideal has height n and finite colength; it does not automatically imply that n generators form a regular sequence. Without this verification, the subsequent Hilbert-series calculation cannot be guaranteed to produce a formula depending solely on the weights.

Authors: We agree that an explicit justification is required. Let R = k[x_1, ..., x_n] be the polynomial ring, which is Cohen-Macaulay. The Jacobian ideal J = (∂f/∂x_1, ..., ∂f/∂x_n) has height n because the isolated singularity assumption implies that the Milnor algebra R/J has finite dimension (hence codimension n). Since J is generated by precisely n elements and height(J) = n, the theorem on regular sequences in Cohen-Macaulay rings implies that these n generators form a regular sequence. Consequently, the Koszul complex on the partial derivatives is a free resolution of the Milnor algebra, and the Hilbert series computation yields a formula depending only on the weights. We will add this argument, together with a reference to the relevant result in commutative algebra (e.g., Bruns-Herzog, Cohen-Macaulay Rings, Theorem 2.1.2 or equivalent), to the revised introduction and main text. revision: yes

Circularity Check

0 steps flagged

Derivation uses Koszul resolution and Hilbert series without reducing to self-definition or fitted inputs

full rationale

The paper presents an algebraic proof of the known Milnor-Orlik formula by constructing a free resolution of the Milnor algebra R/(∂f) via the Koszul complex on the partial derivatives and extracting the Milnor number from the resulting Hilbert series. This chain relies on standard facts from commutative algebra (exactness of Koszul under regularity of the sequence, which the paper must establish from weighted-homogeneity plus isolated singularity) rather than any self-referential definition, parameter fitting to the target formula, or load-bearing self-citation. No step equates the output formula to its inputs by construction; the derivation remains independent of the Milnor-Orlik statement itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The argument rests on standard facts about Koszul complexes and Hilbert series in graded commutative algebra; no new parameters, entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

domain assumption The Koszul complex on the partial derivatives resolves the Milnor algebra when the polynomial is weighted-homogeneous with an isolated singularity.
This is the central technical step described in the abstract that converts the resolution into the Milnor number via the Hilbert series.

pith-pipeline@v0.9.0 · 5575 in / 1345 out tokens · 48210 ms · 2026-05-22T07:41:18.340981+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Since f defines an isolated hypersurface singularity, f1,...,fr is a regular sequence. Therefore the Koszul complex is an exact sequence... HSMf(t) = ∏ (1−t^{d−wi})/(1−t^{wi}) ... μ(f) = ∏ (d−wi)/wi

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.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

1970 , issn =

Isolated singularities defined by weighted homogeneous polynomials , journal =. 1970 , issn =. doi:https://doi.org/10.1016/0040-9383(70)90061-3 , url =

work page doi:10.1016/0040-9383(70)90061-3 1970
[2]

Jürgen , year=

Bruns, Winfried and Herzog, H. Jürgen , year=. Cohen-Macaulay Rings , publisher=

work page
[3]

1978 , issn =

Hilbert functions of graded algebras , journal =. 1978 , issn =. doi:https://doi.org/10.1016/0001-8708(78)90045-2 , url =

work page doi:10.1016/0001-8708(78)90045-2 1978
[4]

Journal of Algebra , volume =

William Smoke , title =. Journal of Algebra , volume =. 1972 , issn =. doi:https://doi.org/10.1016/0021-8693(72)90014-2 , url =

work page doi:10.1016/0021-8693(72)90014-2 1972
[5]

2007 , isbn =

Gert-Martin Greuel and Christoph Lossen and Eugenii Shustin , title =. 2007 , isbn =

work page 2007
[6]

2024 , eprint=

On Milnor-Orlik's theorem and admissible simultaneous good resolutions , author=. 2024 , eprint=

work page 2024
[7]

Revista Matemática Complutense , volume =

Yousra Boubakri and Gert-Martin Greuel and Thomas Markwig , title =. Revista Matemática Complutense , volume =. 2012 , doi =

work page 2012

[1] [1]

1970 , issn =

Isolated singularities defined by weighted homogeneous polynomials , journal =. 1970 , issn =. doi:https://doi.org/10.1016/0040-9383(70)90061-3 , url =

work page doi:10.1016/0040-9383(70)90061-3 1970

[2] [2]

Jürgen , year=

Bruns, Winfried and Herzog, H. Jürgen , year=. Cohen-Macaulay Rings , publisher=

work page

[3] [3]

1978 , issn =

Hilbert functions of graded algebras , journal =. 1978 , issn =. doi:https://doi.org/10.1016/0001-8708(78)90045-2 , url =

work page doi:10.1016/0001-8708(78)90045-2 1978

[4] [4]

Journal of Algebra , volume =

William Smoke , title =. Journal of Algebra , volume =. 1972 , issn =. doi:https://doi.org/10.1016/0021-8693(72)90014-2 , url =

work page doi:10.1016/0021-8693(72)90014-2 1972

[5] [5]

2007 , isbn =

Gert-Martin Greuel and Christoph Lossen and Eugenii Shustin , title =. 2007 , isbn =

work page 2007

[6] [6]

2024 , eprint=

On Milnor-Orlik's theorem and admissible simultaneous good resolutions , author=. 2024 , eprint=

work page 2024

[7] [7]

Revista Matemática Complutense , volume =

Yousra Boubakri and Gert-Martin Greuel and Thomas Markwig , title =. Revista Matemática Complutense , volume =. 2012 , doi =

work page 2012