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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 09:34, 1 February 2024

scientific article
Language Label Description Also known as
English
Topological computation of local cohomology multiplicities
scientific article

    Statements

    Topological computation of local cohomology multiplicities (English)
    0 references
    0 references
    9 February 2000
    0 references
    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.
    0 references
    \({\mathcal D}\)-module
    0 references
    local ring
    0 references
    formal power series
    0 references
    isolated singularity
    0 references
    Lyubeznik numbers
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references