arXiv++ Combinatorics

Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality.

Schubert polynomials were introduced in the context of the geometry of flag varieties. This paper investigates some of the connections not yet understood between several combinatorial structures for the construction of Schubert polynomials; we also present simplifications in some of the existing approaches to this area. We designate certain line diagrams known as rc-graphs as the main structure. The other structures in the literature we study include: semistandard Young tableaux, Kohnert diagrams, and balanced labelings of the diagram of a permutation. The main tools in our investigation are certain operations on rc-graphs, which correspond to the coplactic operations on tableaux, and thus define a crystal graph structure on rc-graphs; a new definition of these operations is presented. One application of these operations is a straightforward, purely combinatorial proof of a recent formula (due to Buch, Kresch, Tamvakis, and Yong), which expresses Schubert polynomials in terms of products of Schur polynomials. In spite of the fact that it refers to many objects and results related to them, the paper is mostly self-contained.

The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.

We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins. We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove that the basic level-one representation of g^, when considered as a representation of g, is an infinite tensor product of fundamental representations of g. A similar tensor product phenomenon holds for certain Demazure submodules of the basic representation.

Several combinatorial problems of (quasi-)crystallography are reviewed with special emphasis on a unified approach, valid for both crystals and quasicrystals. In particular, we consider planar sublattices, similarity sublattices, coincidence sublattices, their module counterparts, and central and averaged shelling. The corresponding counting functions are encapsulated in Dirichlet series generating functions, with explicit results for the triangular lattice and the twelvefold symmetric shield tiling. Other combinatorial properties are briefly summarised.

We use Kang-Misra's combinatorial description of the crystal graphs for $U_{q}(G_{2})$ to introduce the plactic monoid for type $G_{2}$. Then we describe the corresponding insertion algorithm which yields a Schensted type correspondence. Next we give a simple algorithm for computing the canonical basis of any finite dimensional $U_{q}(G_{2})$-module.

We use Kashiwara's theory of crystal bases to study plactic monoids for $U_{q}(so_{2n+1})$ and $U_{q}(so_{2n})$. Simultaneously we describe a Schensted type correspondence in the crystal graphs of tensor powers of vector and spin representations and we derive a Jeu de Taquin for type $B$ from the Sheats sliding algorithm.

Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type.

The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of type B, generated by permutations and changes of sign of the coordinates. A new basis for symmetric functions as well as an explicit transition matrix to the monomial basis is constructed. This basis leads to a basis for invariant spherical harmonics. The determinant of the Gram matrix for the basis in the natural inner product over the sphere is evaluated, and there is a formula for the evaluation of the basis elements at (1,1,...,1). When the underlying parameter is specialized to zero, the basis consists of ordinary spherical harmonics with cube group symmetry, as used for wave functions of electrons in crystals. The harmonic oscillator can also be considered as a degenerate interaction-free spin Calogero model.

Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.

We use Kashiwara's theory of crystal bases to study the plactic monoid for type C. Then we describe the correponding sliding and bumping algorithms.

Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by Kang, Kashiwara and Misra, and the coherent family of crystals $\{B^{k,l}\}_{l\ge 1}$ of type $A_n^{(1)}$.

This paper provides a combinatorial dictionary between three sets of objects: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and the irreducible modules of the affine Hecke algebra $H_n$ (for generic $q$). In particular, we compute the action of the crystal operator $\tilde{e}_i$ (a refinement of socle of Restriction) on an irreducible module both in terms of its parameterization by multisegments and by multipartitions. In other words, we give explicit crystal graph isomorphisms. A byproduct is the determination of which multisegments parameterize modules of the {\it cyclotomic} Hecke algebra $H_n^λ$. The theorems also explain why the rule for computing $\tilde{e}_i$ mirrors the rule we know for that on a tensor product of crystal graphs. We also give a construction of the irreducible module parameterized by a multipartition without relying on a choice of path in the crystal graph. The proofs given here are elementary and do not rely on any geometry.

Let g be a simple simply laced Lie algebra. In this paper two families of varieties associated to the Dynkin graph of g are described: ``tensor product'' and ``multiplicity'' varieties. These varieties are closely related to Nakajima's quiver varieties and should play an important role in the geometric constructions of tensor products and intertwining operators. In particular it is shown that the set of irreducible components of a tensor product variety can be equipped with a structure of g-crystal isomorphic to the crystal of the canonical basis of the tensor product of several simple finite dimensional representations of g, and that the number of irreducible components of a multiplicity variety is equal to the multiplicity of a certain representation in the tensor product of several others. Moreover the decomposition of a tensor product into a direct sum is described geometrically (on the level of crystals).

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.

We present the geometric solutions to some variational problems of statistical mechanics and combinatorics. Together with the Wulff construction, which predicts the shape of the crystals, we discuss the construction which exhibits the shape of a typical Young diagram and of a typical skyscraper.

We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.

Level-restricted paths play an important role in crystal theory. They correspond to certain highest weight vectors of modules of quantum affine algebras. We show that the recently established bijection between Littlewood--Richardson tableaux and rigged configurations is well-behaved with respect to level-restriction and give an explicit characterization of level-restricted rigged configurations. As a consequence a new general fermionic formula for the level-restricted generalized Kostka polynomial is obtained. Some coset branching functions of type $A$ are computed by taking limits of these fermionic formulas.

We review the polyhedral realizations of crystal bases in the former half and in the latter half, we introduce braid-type isomorphisms for some rank 2 finite type crystals. Using this isomorphisms, for semi-simple Lie algebra we can show that polyhedral realizations can be obtained in the lattice of finite rank which coincides with the length of the longest element in the associated Weyl group.

We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our algorithm allows fast computation of these decomposition numbers.