J. Commut. Algebra 13 (4), 523-548, (Winter 2021) DOI: 10.1216/jca.2021.13.523
KEYWORDS: Pfaffian varieties, regularity, thickenings, 00A05
Let be the coordinate ring of the space of complex skew-symmetric matrices. This ring has an action of the group induced by the action on the space of matrices. For every invariant ideal , we provide an explicit description of the modules 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 , we compute the (co)kernel of the induced map for all . As a consequence, we show that if an invariant ideal is unmixed, then the induced maps 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.