Cycle maximal et invariant d'Euler local des singularités isolées de surfaces (Q793115): Difference between revisions

Let S be a reduced surface embedded in \({\mathbb{C}}^ N\), and \(o\in S\) an isolated singular point of S. Define the topological invariant of (S,o), \(Eu_ o(S)\), as the Euler-Poincaré characteristic of \(S\cap H\cap B_{\delta}\), where \(B_{\delta}\) is the ball in \({\mathbb{C}}^ N\) of center o and radius \(\delta>0\) sufficiently small, and H a general hyperplane passing sufficiently near the point o. Let \(\pi: X\to S\) be a resolution of the singularity (S,o) such that m\({\mathcal O}_ X\) is invertible, where m is the maximal ideal of the local ring \({\mathcal O}_{S,o}\). - Then the first result of this paper consists in the equality \(Eu_ o(S)=(Z_ o\cdot(Z_ o-| Z_ o| -K)),\) where \(Z_ o\) is the effective divisor with support in \(\pi^{-1}(o)\) such that \(m{\mathcal O}_ X={\mathcal O}_ X(-Z_ o), | Z_ o|\) is the reduced associated cycle of \(Z_ o\), and K is a canonical divisor of X. - The second result asserts that if (S,o) is a normal point of S, then \(Eu_ o(S)\leq 1\), and \(Eu_ o(S)=1\) iff the point \(o\in S\) is smooth. Finally, the author illustrates these results by considering certain examples of singularities such as: rational, cyclic, or conical singularities.