Lyubeznik numbers for Pfaffian rings (Q2301898)

Let \(X\) denote the space of \(n \times n\)-skew symmetric matrices over the complex field \(\mathbb{C}\) under the natural action of \(\operatorname{GL}_n(\mathbb{C})\). The orbit closure \(\overline{O_k}\) of this action of the set of matrices \(O_k\) of rank \(2k\) are the Pfaffian varieties of matrices of rank \(\leq 2k\). Let \(S = \mathbb{C}[X]\) and \(\mathfrak{m}\) its homogeneous maximal ideal with \(E\) the injective hull of the residue field \(S/\mathfrak{m}\). Let \(R_k\) denote the localization of the homogeneous coordinate ring of \(\overline{O_k}\) at the maximal ideal. The Lyubeznik numbers \(\lambda_{i,j}(R_k)\) are determined by the decomposition of the local cohomology functors \(H^i_{\mathfrak{m}}(H^{\dim X -j}_{\overline{O_k} }(S) )= \oplus E^{\lambda_{i,j}(R_k)}\). The author computes the precise values \(\lambda_{i,j}(R_k)\) in the previous decompositions by studying the \(\mathcal{D}_X\)-module structure of \(H^{\bullet}_{\overline{O_k} }(S)\) where \(\mathcal{D}_X\) is the Weyl algebra of differential operators on \(X\) with polynomial coefficients. The local cohomology of the polynomial ring is a holonomic (and thus finite length) \(\mathcal{D}\)-module, and the simple composition factors in the case of Pfaffian varieties are known by \textit{C. Raicu} and \textit{J. Weyman} [J. Lond. Math. Soc., II. Ser. 94, No. 3, 709--725 (2016; Zbl 1357.14060)]. The author of the present work expands their work by describing the filtrations of these modules in the category \(\operatorname{mod_{GL}} (\mathcal{D}_X)\) of \(\operatorname{GL}\)-equivariant coherent \(\mathcal{D}\)-modules on \(X\). There is also a discussion of the work of \textit{A. C. Lörincz} and \textit{C. Raicu} [``Iterated local cohomology groups and Lyubeznik numbers for determinantal rings'', Preprint, \url{arXiv:1805.08895}], where they compute Lyubeznik numbers for determinantal rings.