Lyubeznik numbers in mixed characteristic (Q2511489)

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.