Topological computation of local cohomology multiplicities (Q1817871): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Hubert Flenner / rank | |||
Property / reviewed by | |||
Property / reviewed by: Hubert Flenner / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:47, 5 March 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
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