Pieri resolutions for classical groups.

From MaRDI portal



Abstract: We generalize the constructions of Eisenbud, Fl{o}ystad, and Weyman for equivariant minimal free resolutions over the general linear group, and we construct equivariant resolutions over the orthogonal and symplectic groups. We also conjecture and provide some partial results for the existence of an equivariant analogue of Boij-S"oderberg decompositions for Betti tables, which were proven to exist in the non-equivariant setting by Eisenbud and Schreyer. Many examples are given.


Let \(K\) be a field of characteristic zero, \(V\) an \(n\)-dimensional vector space, \(A=\text{Sym}(V)\cong K[x_1,\dots,x_n]\) the polynomial ring in \(n\) variables over the field \(K\) and \(\text{GL}(V)\) the general linear group, which can be viewed as an algebraic group over \(K\). For a partition \(\alpha\), one denotes by \(\mathbf S_\alpha V\) the irreducible representation of \(\text{GL}(V)\) of highest weight \(\alpha\). Let \(\alpha,\beta\) be two partitions such that \(\alpha_1<\beta_1\) and \(\alpha_i=\beta_i\) for all \(i>1\). \textit{D. Eisenbud, G. Fløystad} and \textit{J. Weyman}, [Ann. Inst. Fourier 61, No. 3, 905-926 (2011; Zbl 1239.13023)], constructed the minimal free resolution of the cokernel of a nonzero map \(\varphi(\alpha,\beta)\colon A\otimes\mathbf S_\beta V\to A\otimes\mathbf S_\alpha V\). The authors give a simpler proof and extend the construction by removing the restrictions on the partitions \(\alpha\) and \(\beta\). Moreover, they give a simple combinatorial algorithm for writing down a (non-minimal, in general) free resolution of the cokernel of a nonzero map of the form \(\varphi(\alpha,\beta^1,\dots,\beta^r)\colon\bigoplus_{i=1}^r A\otimes\mathbf S_{\beta^i}V\to A\otimes \mathbf S_\alpha V\). The authors consider also the problem of replacing \(A\) by the exterior algebra \(B=\bigwedge V\). They show that, in this case, the resolution is still simple to describe combinatorially, even if it is infinite in length. The results from Eisenbud, Fløystad and Weyman [loc. cit.] are generalized for several classical groups such as orthogonal or symplectic groups. Finally, the authors consider the equivariant analogue of the Boij-Söderberg decomposition and they show that the equivariant analogue of the Boij-Söderberg algorithm for writing Betti tables as linear combinations of pure Betti tables does not hold.





Describes a project that uses

Uses Software






This page was built for publication: Pieri resolutions for classical groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549999)