arXiv++ Combinatorics

For $\ell \geq 1$ and $k \geq 2$, we consider certain admissible sequences of $k-1$ lattice paths in a colored $\ell \times \ell$ square. We show that the number of such admissible sequences of lattice paths is given by the sum of squares of the number of standard Young tableaux of partitions of $\ell$ with height $\leq k$, which is also the number of $(k+1)k\cdots21$-avoiding permutations of $\{1, 2, \ldots, \ell\}$. Finally, we apply this result to the representation theory of the affine Lie algebra $\widehat{sl}(n)$ and show that this quantity gives the multiplicity of certain maximal dominant weights in the irreducible module $V(kΛ_0)$.

Let $G$ be a complex semisimple simply connected linear algebraic group. Let $λ$ be a dominant weight for $G$ and $\mathcal{I} = (i_1, i_2, \ldots, i_n)$ a word decomposition for an element $w = s_{i_1} s_{i_2} \cdots s_{i_n}$ of the Weyl group of $G$, where the $s_i$ are the simple reflections. In the 1990s, Grossberg and Karshon introduced a virtual lattice polytope associated to $λ$ and $\mathcal{I}$, which they called a twisted cube, whose lattice points encode (counted with sign according to a density function) characters of representations of $G$. In recent work, the first author and Jihyeon Yang prove that the Grossberg-Karshon twisted cube is untwisted (so the support of the density function is a closed convex polytope) precisely when a certain torus-invariant divisor on a toric variety, constructed from the data of $λ$ and $\mathcal{I}$, is basepoint-free. This corresponds to the situation in which the Grossberg-Karshon character formula is a true combinatorial formula in the sense that there are no terms appearing with a minus sign. In this note, we translate this toric-geometric condition to the combinatorics of $\mathcal{I}$ and $λ$. More precisely, we introduce the notion of hesitant $λ$-walks and then prove that the associated Grossberg-Karshon twisted cube is untwisted precisely when $\mathcal{I}$ is hesitant-$λ$-walk-avoiding.

By bivariate irreducible representations of ${\rm Sp}(2r)$, we mean irreducible representations with highest weights containing at most two nonzero entries, using the usual identification of dominant weights for complex symplectic Lie algebras and their corresponding Lie groups as $r$-tuples in decreasing non-negative integers. This paper has two aims. The first aim is to provide a formula for the weight mulitplicities of said representations, which is easily computable. The second aim is to present these weight multiplicities using elementary means. The formula for these weight multiplicities is derived using basic multiliear algebra and combinatorial arguments through explicit descriptions of weight vectors.

We extend the preorder on k-tuples of dominant weights of a simple complex Lie algebra g of classical type adding up to a fixed weight $λ$ defined by V. Chari, D. Sagaki and the author. We show that the induced extended partial order on the equivalence classes has a unique minimal and a unique maximal element. For k=2 we compute its size and determine the cover relation. To each k-tuple we associate a tensor product of simple g-modules and we show that for k=2 the dimension increases also along with the extended partial order, generalizing a theorem proved in the aforementioned paper. We also show that the tensor product associated to the maximal element has the biggest dimension among all tuples for arbitrary k, indicating that this might be a symplectic (resp. orthogonal) analogon of the row shuffle defined by Fomin et al. The extension of the partial order reduces the number of elements in the cover relation and may facilitate the proof of an analogon of Schur positivity along the partial order for symplectic and orthogonal types.

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(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, 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(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, 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(λ, 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.

We consider products of two Macdonald polynomials of type A, indexed by dominant weights which are respectively a multiple of the first fundamental weight and a weight having zero component on the k-th fundamental weight. We give the explicit decomposition of any Macdonald polynomial of type A in terms of this basis.

We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids $\overline {K^*ρ(G_0)}$ where $G_0$ is a simple algebraic group over the algebraic closure of $F_q$, and $ρ: G_0\to GL(V)$ is the irreducible representation associated with any dominant weight. Finally, we give an explicit formula for the orders of finite symplectic monoids associated with the last fundamental dominant weight of type $C_l$; the connections to $H$-polynomials and Betti numbers are shown.

Let $λ$, $μ$, $ν$ and $ρ$ be dominant weights of $\mathfrak{sl_n}$ satisfying $λ+ μ= ν+ ρ$. Let $V_λ$ denote the highest weight module corresponding to $λ$. Lam, Postnikov, Pylyavskyy conjectured a sufficient condition for $V_λ \otimes V_μ$ to be contained in $V_ν \otimes V_ρ$ as $\mathfrak{sl_n}$-modules. In this note we prove a weaker version of the conjecture. Namely we prove that under the conjectured conditions every irreducible $\mathfrak{sl_n}$-module which appears in the decomposition of $V_λ \otimes V_μ$ does appear in the decomposition of $V_ν \otimes V_ρ$.

We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a condition on the weights that gives stabilization of tensor product and branching multiplicities. We show that all the results of the previous article can be naturally generalized to this setting. We also prove some properties of the partially ordered set of dominant weights of indefinite Kac-Moody algebras, and use this to give a more concrete definition of a stable representation ring. Finally, we consider the classical sequences $B_n, C_n, D_n$ that fall outside the purview of the earlier work, and work out some simple conditions on the weights which imply stabilization.

We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior of representations in the large n limit. Motivated by the classical theory of A_n, we consider tensor product decompositions of irreducible highest weight representations of X_n and study how these vary with n. The notion of ``double headed'' dominant weights is introduced. For such weights, we show that tensor product decompositions in X_n do stabilize, generalizing the classical results for A_n. The main tool used is Littelmann's celebrated path model. One can also use the stable multiplicities as structure constants to define a multiplication operation on a suitable space. We define this so called "stable representation ring'' and show that the multiplication operation is associative.

We define the_hive ring_, which has a basis indexed by dominant weights for GL(n), and structure constants given by counting hives [KT1] (or equivalently honeycombs, or Berenstein-Zelevinsky patterns [BZ1]). We use the octahedron rule from [Robbins-Rumsey,Fomin-Zelevinsky,Propp,Speyer] to prove bijectively that this "ring" is indeed associative. This, and the Pieri rule, give a self-contained proof that the hive ring is isomorphic as a ring-with-basis to the representation ring of GL(n). In the honeycomb interpretation, the octahedron rule becomes "scattering" of the honeycombs. This recovers some of the "crosses and wrenches" diagrams from the very recent preprint [S], whose results we use to give a closed form for the associativity bijection.

The set of possible spectra (λ,μ,ν) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko, Belkale]. We introduce_puzzles_, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and will probably be the main point of interest for many readers. As the proofs indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results in [H,Kly,HR,Be]. Along the way we give a characterization of ``rigid'' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights λ,μ,νof GL(n,C) the irreducible representation V_νappears exactly once in V_λtensor V_μ, then for all N\in \naturals, V_{Nλ} appears exactly once in V_{Nλ} tensor V_{Nμ}.''

We study root systems equipped with a basis of dominant weights such that certain axioms hold. This formalism allows to define a linear basis P of the space of Weyl group invariant polynomials. This basis is actually a family depending on at least one parameter. Our main result is the construction of difference operators which are simultaneously diagonalized by P. From this, Pieri type rules are derived. This generalizes results for shifted Jack polynomials. Even though the approach is purely combinatorial, the main motivation comes from multiplicity free actions of reductive groups on vector spaces. Then the algebra of invariant differential operators has a distinguished basis, the Capelli operators, which gives rise to a basis P as above. The paper ends with a comprehensive table detailing the combinatorial structure of multiplicity free actions.