arXiv++ Combinatorics

We give necessary and sufficient inequalities for the existence of long exact sequences of m finite abelian p-groups with fixed isomorphy types. This problem is related to some generalized Littlewood-Richardson coefficients that we define in this paper. We also show how this problem is related to eigenvalues of Hermitian matrices satisfying certain (in)equalities. When m=3, we recover the Horn type inequalities that solve the saturation conjecture for Littlewood-Richardson coefficients and Horn's conjecture.

We give a simple bijective proof of associativity and commutativity of the Littlewood-Richardson coefficients or the hive ring. Specifically, we establish existence a polarized polymatroidal discretely concave functions on the tetrahedron with given boundary values at two adjoint faces.

We present several direct bijections between different combinatorial interpretations of the Littlewood-Richardson coefficients. The bijections are defined by explicit linear maps which have other applications.

We study the T-equivariant quantum cohomology of the Grassmannian. We prove the vanishing of a certain class of equivariant quantum Littlewood-Richardson coefficients, which implies an equivariant quantum Pieri rule. As in the equivariant case, this implies an algorithm to compute the equivariant quantum Littlewood-Richardson coefficients.

We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of a factorization for compositions: equivalent compositions have factorizations that differ only by reversing some of the terms. As an application, we can derive identities on certain Littlewood-Richardson coefficients. Finally, we consider the cone of symmetric functions having a nonnnegative representation in terms of the fundamental quasisymmetric basis. We show the Schur functions are among the extremes of this cone and conjecture its facets are in bijection with the equivalence classes of compositions.

We prove that a conjecture of Fomin, Fulton, Li, and Poon, associated to ordered pairs of partitions, holds for many infinite families of such pairs. We also show that the bounded height case can be reduced to checking that the conjecture holds for a finite number of pairs, for any given height. Moreover, we propose a natural generalization of the conjecture to the case of skew shapes.

We present a polynomiality property of the Littlewood-Richardson coefficients c_{λμ}^ν. The coefficients are shown to be given by polynomials in λ, μand νon the cones of the chamber complex of a vector partition function. We give bounds on the degree of the polynomials depending on the maximum allowed number of parts of the partitions λ, μand ν. We first express the Littlewood-Richardson coefficients as a vector partition function. We then define a hyperplane arrangement from Steinberg's formula, over whose regions the Littlewood-Richardson coefficients are given by polynomials, and relate this arrangement to the chamber complex of the partition function. As an easy consequence, we get a new proof of the fact that c_{NλNμ}^{Nν} is given by a polynomial in N, which partially establishes the conjecture of King, Tollu and Toumazet that c_{NλNμ}^{Nν} is a polynomial in N with nonnegative rational coefficients.

The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials and the Schubert polynomials of Lascoux and Schützenberger.

The quantum cohomology of Grassmannians exhibits two symmetries related to the quantum product, namely a \Bbb {Z}/n action and an involution related to complex conjugation. We construct a new ring by dividing out these symmetries in an ideal theoretic way and analyze its structure, which is shown to control the sum of all coefficients appearing in the product of cohomology classes. We derive a combinatorial formula for the sum of all Littlewood-Richardson coefficients appearing in the expansion of a product of two Schur polynomials.

Given an rc-graph $R$ of permutation $w$ and an rc-graph $Y$ of permutation $v$, we provide an insertion algorithm, which defines an rc-graph $R\leftarrow Y$ in the case when $v$ is a shuffle with the descent at $r$ and $w$ has no descents greater than $r$ or in the case when $v$ is a shuffle, whose shape is a hook. This algorithm gives a combinatorial rule for computing the generalized Littlewood-Richardson coefficients $c^{u}_{wv}$ in the two cases mentioned above.

The role of Spaltenstein varieties in the tensor product for GL is explained. In particular a direct (non-combinatorial) proof of the fact that the number of irreducible components of a Spaltenstein variety is equal to a Littlewood-Richardson coefficient (i.e. certain tensor product multiplicity) is obtained.

A survey of recent progress in three areas of algebraic combinatorics: (1) the Saturation Conjecture for Littlewood-Richardson coefficients, (2) the n! and (n+1)^{n-1} conjectures, and (3) longest increasing subsequences of permutations.

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.

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula is general enough to give new expressions for all known types of Schubert polynomials. In the present paper we discuss the relationship between this formula and Stanley symmetric functions. We show that the coefficients obtained when a Stanley symmetric function is expressed in the basis of Schur functions are special cases of a class of generalized Littlewood-Richardson coefficients appearing in the formula for quiver varieties. We also prove that Fulton's universal Schubert polynomials (math.AG/9702012) satisfy the usual rule for a Schubert polynomial of a product of two permutations.

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In this paper I give a proof of this conjecture in the special case where the quiver variety can be described by at most four vector bundles. I also prove that the general conjecture follows from a simple combinatorial statement for which substantial computer verification has been obtained.

The conjugacy classes of nilpotent $n\times n$ matrices can be parametrised by partitions $λ$ of $n$, and for a nilpotent $η$ in the class parametrised by $λ$, the variety $F_η$ of $η$-stable flags has its irreducible components parametrised by the standard Young tableaux of shape $λ$. We indicate how several algorithmic constructions defined for Young tableaux have significance in this context, thus extending Steinberg's result that the relative position of flags generically chosen in the irreducible components of $F_η$ parametrised by tableaux $P$ and $Q$, is the permutation associated to $(P,Q)$ under the Robinson-Schensted correspondence. Other constructions for which we give interpretations are Schützenberger's involution of the set of Young tableaux, jeu de taquin (leading also to an interpretation of Littlewood-Richardson coefficients), and the transpose Robinson-Schensted correspondence (defined using column insertion). In each case we use a doubly indexed family of partitions, defined in terms of the flag (or pair of flags) determined by a point chosen in the variety under consideration. We show that for generic choices, the family satisfies certain combinatorial relations, whence the family describes the computation of the algorithmic operation being interpreted, as we described in a previous publication.

We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.

We introduce the honeycomb model of BZ polytopes, which calculate Littlewood-Richardson coefficients, the tensor product rule for GL(n). Our main result is the existence of a particularly well-behaved honeycomb with given boundary conditions (choice of triple of representations to be tensored together). This honeycomb is necessarily integral, which proves the "saturation conjecture", extending results of Klyachko to give a complete answer to which L-R coefficients are positive. This in turn has as a consequence Horn's conjecture from 1962 characterizing the spectrum of the sum of two Hermitian matrices.

We study the Poincare polynomials of isotypic components of a natural family of graded GL(n)-modules supported in the closure of a nilpotent conjugacy class. These polynomials generalize the Kostka-Foulkes and are q-analogues of Littlewood-Richardson coefficients corresponding to arbitrary tensor products of irreducibles. Many properties and formulas for these polynomials are derived, such as a generalized Morris recurrence, q-Kostant formula, and a conjectural formula in terms of catabolizable tableaux and charge.