Explicit Pieri inclusions (Q820838)

Summary: By the Pieri rule, the tensor product of an exterior power and a finite-dimensional irreducible representation of a general linear group has a multiplicity-free decomposition. The embeddings of the constituents are called Pieri inclusions and were first studied by \textit{J. Weyman} [Schur functors and resolutions of minors. Brandeis University, Waltham USA (PhD Thesis) (1980)] and described explicitly by \textit{P. J. Olver} [``Differential hyperforms I'', University of Minnesota, Mathematics Report, 82--101 (1980), \url{https://www-users.cse.umn.edu/~olver/a_/hyper.pdf}]. More recently, these maps have appeared in the work of \textit{D. Eisenbud} et al. [Ann. Inst. Fourier 61, No. 3, 905--926 (2011; Zbl 1239.13023)] and of \textit{S. V. Sam} [J. Softw. Algebra Geom. 1, 5--10 (2009; Zbl 1311.13039)] and Weyman to compute pure free resolutions for classical groups. In this paper, we give a new closed form, non-recursive description of Pieri inclusions. For partitions with a bounded number of distinct parts, the resulting algorithm has polynomial time complexity whereas the previously known algorithm has exponential time complexity.