Exponents and Newton polyhedra of isolated hypersurface singularities (Q1093063): Difference between revisions

Let f: (\({\mathbb{C}}^ n,0)\to ({\mathbb{C}},0)\) be a holomorphic function with an isolated singularity. We associate to f rational numbers \(\{\alpha _ 1,...,\alpha _{\mu}\}\), called the exponents (or the singularity spectra, up to the shift by one), using the Hodge filtration of Steenbrink's mixed Hodge structure (or equivalently, the filtered Gauß-Mani system). Assume that f has a non-degenerate Newton polyhedron in the sense of Kouchnirenko, and that f contains the monomials \(x_ i^{m_ i}\) for any i (the last condition is not essential by the finite determinancy of f). Then we show that the exponents are calculated by the Newton polygon: more precisely the generating polynomial \(\sum t^{\alpha _ i}\) coincides with the Poincaré polynomial of the graded module \(\oplus Gr^ V_{\alpha}(\Omega ^ n_{{\mathbb{C}}^ n}/df\wedge \Omega ^{n- 1}_{{\mathbb{C}}})\), where the filtration of \(\Omega ^ n_{{\mathbb{C}}^ n,0}\) is induced by the Newton filtration of \({\mathcal O}_{{\mathbb{C}}^ n,0}\) and by the inclusion \(\Omega ^ n_{{\mathbb{C}}^ n,0}\to {\mathcal O}_{{\mathbb{C}}^ n,0}dx/x\). This formula is a generalization of a result of Ehlers-Lo on the minimal exponent, and was conjectured (and proved for \(n=2)\) by Steenbrink (corrected by Arnold) as a part of a conjecture on the characteristic pairs of f, which also gives an explicite formula for the calculation of the above Poincaré polynomial. In the proof we show that the Newton filtration induces the filtration of Malgrange-Kashiwara on the formal micro-local Gauß-Manin system.