Posets, Tensor Products and Schur positivity

Abstract

Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(\lambda ,k)$ of k-tuples of dominant weights which add up to λ. Let $P(\lambda ,k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(\lambda ,k)/\sim$ coincides with the set of S_k-orbits in $P(\lambda ,k)$, where S_k acts on $P(\lambda ,k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset. Given an element of $P(\lambda ,k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order. We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.

24 pages, updated references

References in corpus (2)

• Some positive differences of products of Schur functions
• On products of sl_n characters and support containment

Cited by in corpus (10)

• Fusion products and toroidal algebras
• Schur Positivity and Kirillov-Reshetikhin Modules
• A Steinberg type decomposition theorem for higher level Demazure modules
• Generalized Demazure modules and fusion products
• Defining relations of fusion products and Schur positivity
• Interlacing networks: birational RSK, the octahedron recurrence, and Schur function identities
• Graded decompositions of fusion products in rank two
• Fusion Product Structure of Demazure Modules
• On Truncated Weyl Modules
• Local Weyl modules and fusion products for the current superalgebra $\mathfrak{sl}(1|2)[t]$