arXiv++ Combinatorics

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μ}.''

It is a basic property of the entropy in statistical physics that is concave as a function of energy. The analog of this in representation theory would be the concavity of the logarithm of the multiplicity of an irreducible representation as a function of its highest weight. We discuss various situations where such concavity can be established or reasonably conjectured and consider some implications of this concavity. These are rather informal notes based on a number of talks I gave on the subject, in particular, at the 1997 International Press lectures at UC Irvine.

The Kronecker product of two Schur functions $s_μ$ and $s_ν$, denoted by $s_μ*s_ν$, is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group corresponding to the partitions $μ$ and $ν$. The coefficient of $s_λ$ in this product is denoted by $γ^λ_{μν}$, and corresponds to the multiplicity of the irreducible character $χ^λ$ in $χ^μχ^ν.$ We use Sergeev's Formula for a Schur function of a difference of two alphabets and the comultiplication expansion for $s_λ[XY]$ to find closed formulas for the Kronecker coefficients $γ^λ_{μν}$ when $λ$ is an arbitrary shape and $μ$ and $ν$ are hook shapes or two-row shapes. Remmel \cite{Re1, Re2} and Remmel and Whitehead \cite{Re-Wh} derived some closed formulas for the Kronecker product of Schur functions indexed by two-row shapes or hook shapes using a different approach. We believe that the approach of this paper is more natural. The formulas obtained are simpler and reflect the symmetry of the Kronecker product.

The purpose of this paper is to present an interpretation for the decomposition of the tensor product of two or more irreducible representations of GL(N) in terms of a system of quantum particles. Our approach is based on a certain scattering matrix that satisfies a Yang-Baxter type equation. The corresponding piecewise-linear transformations of parameters give a solution to the tetrahedron equation. These transformation maps are naturally related to the dual canonical bases for modules over the quantum enveloping algebra $U_q(sl_n)$. A byproduct of our construction is an explicit description for the cone of Kashiwara's parametrizations of dual canonical bases. This solves a problem posed by Berenstein and Zelevinsky. We present a graphical interpretation of the scattering matrices in terms of web functions, which are related to honeycombs of Knutson and Tao.

This is the first of a series of papers devoted to certain pairs of commuting nilpotent elements in a semisimple Lie algebra that enjoy quite remarkable properties and which are expected to play a major role in Representation theory. The properties of these pairs and their role is similar to those of the principal nilpotents. To any principal nilpotent pair we associate a two-parameter analogue of the Kostant partition function, and propose the corresponding two-parameter analogue of the weight multiplicity formula. In a different direction, each principal nilpotent pair gives rise to a harmonic polynomial on the Cartesian square of the Cartan subalgebra, that transforms under an irreducible representation of the Weyl group. In the special case of sl_n, the conjugacy classes of principal nilpotent pairs and the irreducible representations of the Symmetric group, S_n, are both parametrised (in a compatible way) by Young diagrams. In general, our theory provides a natural generalization to arbitrary Weyl groups of the classical construction of simple S_n-modules in terms of Young's symmetrisers.

The main result of this article is the decomposition of tensor products of representations of SL(2) in the sum of irreducible representations parametrized by outerplanar graphs. An outerplanar graph is a graph with the vertices 0, 1, 2, ..., m, edges of which can be drawn in the upper half-plane without intersections. I allow for a graph to have multiple edges, but don't allow loops.