Lyubeznik's invariants for cohomologically isolated singularities (Q868856)

Let \((R, \mathfrak{m})\) be a regular local ring of dimension \(n\) containing a separably closed field \(k\), \(I\subset R\) an ideal and \(A=R/I\) then \(H^a_{\mathfrak{m}} (H^{n-i}_I(R))\) is injective and supported at \(\mathfrak{m}\). Therefore it is a direct sum of \(e(H^a_{\mathfrak{m}}(H^{n-i}_I(R))\) many copies of the injective hull \(E_{R/\mathfrak{m}}\) of \(R/\mathfrak{m}\). \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)] proved that this number \(\lambda_{a,i}(A):=e(H^a_{\mathfrak{m}} (H^{n-i}_I(R)))\) does not depend on the choice of \(R\) and \(I\). It is proved that these invariants can be described as follows. Let \(X\) be a smooth \(k\)--variety and \(Y\subset X\) a closed \(d\)--dimensional subvariety, let \(x\in Y\) and \(A=\mathcal O_{Y,x}\) such that for \(i\neq d\) the modules \(H^{n-1}_{[Y]}(\mathcal O_X)\) are supported in \(x\). Then for \(\lambda_{a,d}(A)=\lambda_{0,d-a+1}(A)\) for \(a\neq d\) and \(\lambda_{d,d}(A)=\lambda_{0,1}(A)+1\) and all other \(\lambda_{a,i}(A)\) vanish, \(2\leq a\leq d\). Moreover, \[ \lambda_{a,d}(A)-\delta_{a,d}=\left\{ \begin{matrix} \dim_{\mathbb F_p} H_{\{x\}}^{d-a+1}(Y_{\text{ét}}, \mathbb F_p) & \text{ if } \text{char}(k)=p>0\\ \dim H_{\{x\}}^{d-a+1}(Y_{\text{an}},\mathbb C) & \text{ if } k=\mathbb C\qquad\qquad\;. \end{matrix}\right. \]