arXiv++ Combinatorics

Let $G_M$ be one of the complex Lie groups $O_M$ and $Sp_M$. The irreducible finite-dimensional representations of the group $G_M$ are labeled by partitions $μ$ satisfying certain extra conditions. Let $U$ be the representation of $G_M$ corresponding to $μ$. Regard the direct product $G_N\times G_M$ as a subgroup of $G_{N+M}$. Let $V$ be the irreducible representation of $G_{N+M}$ corresponding to a partition $λ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $G_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. For any choice of a standard Young tableau of skew shape $λ/μ$, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $G_N$. This subspace is determined as the image of a certain linear operator $F(M)$ in the tensor product, given by an explicit formula. When M=0 and $W=V$ is an irreducible representation of $G_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator F(0) can be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F(M)$ is new. Our results are applications of representation theory of the twisted Yangian, corresponding to $G_N$. In particular, $F(M)$ is an intertwining operator between two representations of the twisted Yangian in the $n$-fold tensor product.

The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of. We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976. The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin. We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.

We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices. We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.

Using a general result of Lusztig, we give explicit formulas for the dimensions of K^F-invariants in irreducible representations of G^F, when G=GL_n, F:G->G is a Frobenius map, and K is an F-stable subgroup of finite index in G^theta for some involution theta:G->G commuting with F. The proofs use some combinatorial facts about characters of symmetric groups.

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.