Lyubeznik numbers in mixed characteristic (Q2511489): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q267403 |
||
Property / reviewed by | |||
Property / reviewed by: Janet C. Vassilev / rank | |||
Revision as of 10:26, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lyubeznik numbers in mixed characteristic |
scientific article |
Statements
Lyubeznik numbers in mixed characteristic (English)
0 references
6 August 2014
0 references
For local ring \(R\) containing its residue field \(K\), the Lyubeznik numbers are \[ \lambda_{i,j} (R)=\text{dim}_K\text{Ext}^i_S(K, H^{n-j}_I(S)) \] where \(S\) is a regular local ring which surjects onto \(\hat{R}\). In \textit{G. Lyubeznik} [Invent. Math. 113, 41--55 (1993; Zbl 0795.13004)], it was shown that these numerical invariants do not depend on \(S\) or the surjection onto \(\hat{R}\). In the work under review, the authors show that Lyubeznik numbers are also well defined for rings of mixed characteristic and similarly do not depend on the unramified regular local ring \(S\) which surjects onto the completion of \(\hat {R}\). They denote these new invariants \(\widetilde{\lambda}_{i,j}\). Similar to the equicharacteristic case, the authors show that \(\widetilde{\lambda}_{d,d}\) is the highest nonzero Lyubeznik number where \(d\) is the dimension of \(R\). They further demonstrate that the Lyubeznik numbers in mixed characteristic and the traditional Lyubeznik numbers agree if \(R\) is a local ring of equal characteristic \(p\) which is either Cohen-Macaulay or has dimension 2 or less with separably closed residue field. However, they do demonstrate that the Lyubeznik numbers in mixed characteristic may differ from those of equal characteristic \(p\). They compute the mixed characteristic Lyubeznik table for the ring \(\mathbb{Z}_{(2)}[x_1,\ldots,x_6]/I\), where \(I\) is the monomial ideal generated by \[ \begin{aligned} x_1x_2x_3,\quad x_1x_2x_4, \quad x_1x_3x_5,\quad x_1x_4x_5,\quad x_1x_5x_6,\\ x_2x_3x_6,\quad x_2x_4x_5, \quad x_2x_5x_6, \quad x_3x_4x_5, \quad x_3x_4x_6\end{aligned} \] and compare it to the one given in [\textit{J. Àlvarez Montaner} and \textit{A. Vahidi}, Trans. Am. Math. Soc. 366, No. 4, 1829--1855 (2014; Zbl 1297.13021)] for the equicharacteristic \(p\) case. They note that instead of agreeing with the equal characteristic \(p\) case, the Lyubeznik table agrees with the table in the equal characteristic \(0\) case. They have several interesting questions in the paper showing there is further to be explored with these new invariants.
0 references
Lyubeznik numbers
0 references
local rings of mixed characteristic
0 references