Explicit Pieri inclusions

DOI10.37236/9216MaRDI QIDQ820838zbMATH OpenOpenAlexFDO

Authors Markus Hunziker, John A. Miller, Mark R. Sepanski

Publication date 28 September 2021

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1911.11045

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Combinatorial aspects of groups and algebras (05E16) Syzygies, resolutions, complexes and commutative rings (13D02) Determinantal varieties (14M12)

Abstract: 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 Weyman in his thesis and described explicitly by Olver. More recently, these maps have appeared in the work of Eisenbud, Fl{o}stad, and Weyman and of Sam 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.

Review text

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.

Recommendations

• Pieri resolutions for classical groups.
• Skew Pieri algebras of the general linear group
• Characteristic-free representation theory of the general linear group
• scientific article; zbMATH DE number 4109010
• Tower diagrams and Pieri's rule

Cites work

• Complexes associated with trace and evaluation. Another approach to Lascoux's resolution
• Computational methods for orbit closures in a representation with finitely many orbits
• Computing inclusions of Schur modules
• Equations for secant varieties of Veronese and other varieties
• Explicit generalized Pieri maps
• scientific article; zbMATH DE number 1001729 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 970692 (Why is no real title available?)
• Koszul-Young flattenings and symmetric border rank of the determinant
• Pieri resolutions for classical groups.
• The Chow form of the essential variety in computer vision
• The existence of equivariant pure free resolutions

Cited in

(3)

• Explicit generalized Pieri maps
• The Pieri rule for GL_n over finite fields
• Pieri resolutions for classical groups.

This page was built for publication: Explicit Pieri inclusions

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