Milnor number

Milnor number
Name	Milnor number
Field	Mathematics
Introduced	1960s
Introduced by	John Milnor
Related	Singularity theory, Morse theory, Algebraic geometry, Differential topology

Milnor number

The Milnor number is an invariant in Mathematics introduced by John Milnor to measure the complexity of an isolated hypersurface singularity; it appears in studies by René Thom, Hassler Whitney, Raoul Bott, Stephen Smale, and in connections to work of Bernard Teissier, Heisuke Hironaka, Shreeram S. Abhyankar, David Mumford, and Alexander Grothendieck. It links local algebraic data to global topological structures studied by Henri Poincaré, Marston Morse, René Thom, John Milnor, and later authors such as William Fulton, Robin Hartshorne, Phillip Griffiths, and Joseph Harris.

Definition

For an analytic or algebraic function germ f : (C^n,0) → (C,0) with an isolated critical point at 0, the Milnor number is defined algebraically via the local algebra of partial derivatives and was formalized in texts by John Milnor, Herman Weyl-inspired lectures, and expositions by Vladimir Arnold, Gert-Martin Greuel, Clemens G. van de Ven, and Frédéric Pham. Historically motivated by examples in the work of Oscar Zariski, Bernard Malgrange, Jean-Pierre Serre, Kazuya Kato, and Masaki Kashiwara, the invariant encodes multiplicity information studied alongside invariants like the δ-invariant of F. Severi and multiplicity notions in Zariski’s theory. The definition uses the quotient of the local ring O_{C^n,0} by the Jacobian ideal generated by ∂f/∂x_i; this algebraic construction appears in the literature of Alexander Grothendieck and Jean-Louis Verdier.

Computation and formulas

Computation methods draw on computational algebra systems and algorithmic techniques advanced by contributors such as David Cox, John Little, Donal O'Shea, Bernd Sturmfels, Eisenbud, and Daniel Grayson. The Milnor number μ(f) equals dim_C O_{C^n,0}/J(f) when the critical point is isolated; algebraic formulas relate μ to Hilbert functions and Samuel multiplicity studied by Pierre Samuel and Oscar Zariski. In plane curve cases, classical formulae from Federigo Enriques and modern treatments by Ernest Kunz and Oscar Zariski express μ in terms of Puiseux pairs and Newton polygons as in works by Vladimir Arnold, Bernard Teissier, and E. Brieskorn. Algorithmic approaches use Gröbner basis methods developed by Buchberger and computational strategies by Cohen, Gathen, Kaltofen, and implementations in systems associated with SageMath, Magma, Maple, and Mathematica.

Properties and invariants

The Milnor number is finite for isolated singularities, stable under upper-semicontinuous deformations connected to concepts in René Thom’s catastrophe theory and stratifications by Bernard Teissier and R. Thom; it is related to the Tjurina number studied by Briancon and Joseph Lipman and to modality invariants catalogued by Arnold and collaborators such as Vladimir Arnold, E. Brieskorn, Kyoji Saito, and Wilfried Schmid. Dualities and monodromy properties link μ to the Picard–Lefschetz theory of Lefschetz and A. Grothendieck’s work, with connections to Hodge theory developed by Pierre Deligne, Phillip Griffiths, and Wilfried Schmid. The invariant interacts with intersection multiplicities from Jean-Pierre Serre and deformation invariants from Masayoshi Nagata and Heisuke Hironaka.

Examples

Classical examples include simple singularities classified by Vladimir Arnold into A-D-E types, studied alongside work by E. Brieskorn and Kyoji Saito: for an A_k singularity f(x)=x^{k+1} in one variable, μ=k; for plane curve nodes and cusps encountered in Bernard Riemann’s legacy, μ equals 1 and 2 respectively. Higher-dimensional examples arise in singularities of hypersurfaces studied by David Mumford, Robin Hartshorne, and William Fulton in algebraic geometry texts, and in isolated complete intersection singularities treated by Gert-Martin Greuel and C. T. C. Wall. Notable families appear in work of John Milnor on exotic spheres and in René Thom’s classification of critical points.

Relation to singularity theory and topology

Topological interpretations stem from the Milnor fibration theorem of John Milnor and the study of vanishing cycles in Picard–Lefschetz theory of Solomon Lefschetz and later treatments by Pierre Deligne, Nicholas Katz, Alexander Grothendieck, and Claude Chevalley. The Milnor number equals the rank of middle homology of the Milnor fiber, linking to notions in Marston Morse theory, surgery theory explored by Kervaire and Milnor himself, and to classification results related to Michel Kervaire and John Milnor concerning exotic differentiable structures on spheres. Connections to monodromy operators were developed by David Eisenbud, Vladimir Arnold, and Bernard Malgrange.

Applications and generalizations

Applications span enumerative questions in algebraic geometry as pursued by Robert MacPherson, William Fulton, and Jean-Pierre Serre; mirror symmetry contexts influenced by Maxim Kontsevich, Cumrun Vafa, and Edward Witten; and singularity classifications in complex analytic settings treated by V. I. Arnold and D. T. Lê. Generalizations include the Lê numbers of D. T. Lê, mixed Hodge-theoretic refinements by Pierre Deligne and M. Saito, and extensions to non-isolated singularities and complete intersections studied by Gert-Martin Greuel, C. T. C. Wall, and Józef Zworski. Broader interactions involve contributions from Michael Atiyah, Isadore Singer, Friedrich Hirzebruch, and mathematical physics communities linked to Edward Witten and Philip Candelas.

Category:Singularity theory