Topological computation of local cohomology multiplicities (Q1817871): Difference between revisions

If \((A,{\mathfrak m}_A)\) is a local ring containing a field and \(\widehat A\cong R/I\) with a formal power series ring \(R=k[[X_1, \dots, X_n]]\) then \textit{G. Lyubeznik} [Invent. Math. 113, No, 1, 41-55 (1993; Zbl 0795.13004)] introduced the invariants \(\lambda_{p,i} (A):=\dim_k (\text{Ext}^p_R (k,H_I^{n-i} (R))\). He showed that these numbers are finite and depend only on the ring \(A\). In this paper the authors consider the situation that \(A= {\mathcal O}_{V,x}\) is the local ring of a complex analytic isolated singularity \((V,x)\) of dimension \(d\geq 1\). The main result is the following topological interpretation of these Lyubeznik numbers. (a) \(\lambda_{0, i}(A)=\dim_\mathbb{C} H^i_{\{x\}} (V,\mathbb{C})\) for \(1\leq i\leq d-1\), (b) \(\lambda_{p,d}(A) =\dim_\mathbb{C} H^{p+d}_{\{x\}} (V,\mathbb{C})\) for \(2\leq p\leq d\), (c) if \(d\geq 2\) then all other \(\lambda_{p,i}(A)\) vanish, and for \(d=1\) all \(\lambda_{p,i}(A)\) vanish except \(\lambda_{1,1}(A)\) which is equal to 1. Statement (a) was already observed by Lyubeznik. The proof of this result relies on techniques from \({\mathcal D}\)-module theory.