Products of Young symmetrizers and ideals in the generic tensor algebra

TL;DR

This paper presents a new formula for multiplying Young symmetrizers, extending classical results, and explores implications for ideals in generic tensor algebras with applications in algebraic geometry.

Contribution

It generalizes the quasi-idempotence of Young symmetrizers and analyzes the structure of ideals in generic tensor algebras and their symmetrizations.

Findings

Derived a formula for Young symmetrizer products

Connected symmetrizer products to ideal structures in tensor algebras

Applied results to secant and tangential varieties of Segre-Veronese varieties

Abstract

We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre-Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre-Veronese varieties.