Regularity and cohomology of Pfaffian thickenings

Abstract

Let $S$ be the coordinate ring of the space of $n\times n$ complex skew-symmetric matrices. This ring has an action of the group ${\text{GL}}_n\left(ℂ\right)$ induced by the action on the space of matrices. For every invariant ideal $I\subseteq S$, we provide an explicit description of the modules ${\text{Ext}}_S^{•}\left(S∕I,S\right)$ in terms of irreducible representations. This allows us to give formulas for the regularity of basic invariant ideals and (symbolic) powers of ideals of Pfaffians, as well as to characterize when these ideals have a linear free resolution. In addition, given an inclusion of invariant ideals $I\supseteq J$, we compute the (co)kernel of the induced map ${\text{Ext}}_S^j\left(S∕I,S\right)\to {\text{Ext}}_S^j\left(S∕J,S\right)$ for all $j\ge 0$. As a consequence, we show that if an invariant ideal $I$ is unmixed, then the induced maps ${\text{Ext}}_S^j\left(S∕I,S\right)\to H_I^j\left(S\right)$ are injective, answering a question of Eisenbud, Mustaţă and Stillman in the case of Pfaffian thickenings. Finally, using our Ext computations and local duality, we verify an instance of Kodaira vanishing in the sense described in the recent work of Bhatt, Blickle, Lyubeznik, Singh and Zhang.