Hypersurface singularities and Milnor equisingularity (Q851497): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q104161894, #quickstatements; #temporary_batch_1712201099914 |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0504380 / rank | |||
Normal rank |
Revision as of 18:21, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypersurface singularities and Milnor equisingularity |
scientific article |
Statements
Hypersurface singularities and Milnor equisingularity (English)
0 references
21 November 2006
0 references
Let \(f:(\mathbb C^{n+1}, 0)\to (\mathbb C,0)\) be an analytic function and \(s\) the dimension of its critical locus \(\sum(f)\) at the origin. Let \(F_f\) be the Milnor fibre of \(f\) at the origin. Let \(U\subseteq \mathbb C^{n+1}\) be an open neighbourhood of \(0\in \mathbb C^{n+1}\) such that \(f\) is defined on \(U\). For \(q\in U\) let \(f_q:=f| _{G^{-1}(G(q))}\) with \(G=(z_0, \dots, z_{s-1})\) and \(z=(z_0,\dots, z_n)\) a set of local coordinates for \(U\) at the origin. \(f_q\) is called a simple \(\mu\)-constant family at the origin iff at the origin \(f_0\) has an isolated critical point, \(\sum(f)\) is smooth, \(G| _{\sum(f)}\) is a submersion and, for all \(q\in\sum (f)\) close to the origin, the Milnor number \(\mu_q(f_q)\) is independent of \(q\). The main result is the following: Assume that \(\dim_0\sum(f_0)=0\). Then, the rank \(\widetilde{b}_{n-s}\) of the reduced integral homology \(\widetilde{H}_{n-s}(F_f)\) is equal to the \(s\)-dimensional Lê number \(\lambda_{f,z}^s(0)\) if and only if \(f_q\) is a simple \(\mu\)-constant family. As a corollary it is shown that the vanishing cycles of \(f\), as an object in the category of perverse sheaves, cannot be semi-simple in nontrivial cases.
0 references
hypersurface singularity
0 references
Milnor fibre
0 references
swing
0 references
perverse sheaves
0 references