Crystals for Demazure Modules of Classical Affine Lie Algebras

We study, in the path realization, crystals for Demazure modules of affine Lie algebras of types $A^{(1)}_n,B^{(1)}_n,C^{(1)}_n,D^{(1)}_n, A^{(2)}_{2n-1},A^{(2)}_{2n}, and D^{(2)}_{n+1}$. We find a special sequence of affine Weyl group elements for the selected perfect crystal, and show if the highest weight is l\La_0, the Demazure crystal has a remarkably simple structure.Comment: Latex, 28 page

Factorization, reduction and embedding in integrable cellular automata

Factorized dynamics in soliton cellular automata with quantum group symmetry is identified with a motion of particles and anti-particles exhibiting pair creation and annihilation. An embedding scheme is presented showing that the D^{(1)}_n-automaton contains, as certain subsectors, the box-ball systems and all the other automata associated with the crystal bases of non-exceptional affine Lie algebras. The results extend the earlier ones to higher representations by a certain reduction and to a wider class of boundary conditions.Comment: LaTeX2e, 20 page

Generalised Perk--Schultz models: solutions of the Yang-Baxter equation associated with quantised orthosymplectic superalgebras

The Perk--Schultz model may be expressed in terms of the solution of the Yang--Baxter equation associated with the fundamental representation of the untwisted affine extension of the general linear quantum superalgebra $U_q[sl(m|n)]$, with a multiparametric co-product action as given by Reshetikhin. Here we present analogous explicit expressions for solutions of the Yang-Baxter equation associated with the fundamental representations of the twisted and untwisted affine extensions of the orthosymplectic quantum superalgebras $U_q[osp(m|n)]$. In this manner we obtain generalisations of the Perk--Schultz model.Comment: 10 pages, 2 figure

Noncommutative Schur polynomials and the crystal limit of the U_q sl(2)-vertex model

Starting from the Verma module of U_q sl(2) we consider the evaluation module for affine U_q sl(2) and discuss its crystal limit (q=0). There exists an associated integrable statistical mechanics model on a square lattice defined in terms of vertex configurations. Its transfer matrix is the generating function for noncommutative complete symmetric polynomials in the generators of the affine plactic algebra, an extension of the finite plactic algebra first discussed by Lascoux and Sch\"{u}tzenberger. The corresponding noncommutative elementary symmetric polynomials were recently shown to be generated by the transfer matrix of the so-called phase model discussed by Bogoliubov, Izergin and Kitanine. Here we establish that both generating functions satisfy Baxter's TQ-equation in the crystal limit by tying them to special U_q sl(2) solutions of the Yang-Baxter equation. The TQ-equation amounts to the well-known Jacobi-Trudy formula leading naturally to the definition of noncommutative Schur polynomials. The latter can be employed to define a ring which has applications in conformal field theory and enumerative geometry: it is isomorphic to the fusion ring of the sl(n)_k -WZNW model whose structure constants are the dimensions of spaces of generalized theta-functions over the Riemann sphere with three punctures.Comment: 24 pages, 6 figures; v2: several typos fixe

Crystal Interpretation of Kerov-Kirillov-Reshetikhin Bijection II. Proof for sl_n Case

In proving the Fermionic formulae, combinatorial bijection called the Kerov--Kirillov--Reshetikhin (KKR) bijection plays the central role. It is a bijection between the set of highest paths and the set of rigged configurations. In this paper, we give a proof of crystal theoretic reformulation of the KKR bijection. It is the main claim of Part I (math.QA/0601630) written by A. Kuniba, M. Okado, T. Takagi, Y. Yamada, and the author. The proof is given by introducing a structure of affine combinatorial $R$ matrices on rigged configurations.Comment: 45 pages, version for publication. Introduction revised, more explanations added to the main tex

Tetrahedron and 3D reflection equations from quantized algebra of functions

Soibelman's theory of quantized function algebra A_q(SL_n) provides a representation theoretical scheme to construct a solution of the Zamolodchikov tetrahedron equation. We extend this idea originally due to Kapranov and Voevodsky to A_q(Sp_{2n}) and obtain the intertwiner K corresponding to the quartic Coxeter relation. Together with the previously known 3-dimensional (3D) R matrix, the K yields the first ever solution to the 3D analogue of the reflection equation proposed by Isaev and Kulish. It is shown that matrix elements of R and K are polynomials in q and that there are combinatorial and birational counterparts for R and K. The combinatorial ones arise either at q=0 or by tropicalization of the birational ones. A conjectural description for the type B and F_4 cases is also given.Comment: 26 pages. Minor correction

Integrable multiparametric quantum spin chains

Using Reshetikhin's construction for multiparametric quantum algebras we obtain the associated multiparametric quantum spin chains. We show that under certain restrictions these models can be mapped to quantum spin chains with twisted boundary conditions. We illustrate how this general formalism applies to construct multiparametric versions of the supersymmetric t-J and U models.Comment: 17 pages, RevTe

Integrable structure of box-ball systems: crystal, Bethe ansatz, ultradiscretization and tropical geometry

The box-ball system is an integrable cellular automaton on one dimensional lattice. It arises from either quantum or classical integrable systems by the procedures called crystallization and ultradiscretization, respectively. The double origin of the integrability has endowed the box-ball system with a variety of aspects related to Yang-Baxter integrable models in statistical mechanics, crystal base theory in quantum groups, combinatorial Bethe ansatz, geometric crystals, classical theory of solitons, tau functions, inverse scattering method, action-angle variables and invariant tori in completely integrable systems, spectral curves, tropical geometry and so forth. In this review article, we demonstrate these integrable structures of the box-ball system and its generalizations based on the developments in the last two decades.Comment: 73 page

Conformal algebra: R-matrix and star-triangle relation

The main purpose of this paper is the construction of the R-operator which acts in the tensor product of two infinite-dimensional representations of the conformal algebra and solves Yang-Baxter equation. We build the R-operator as a product of more elementary operators S_1, S_2 and S_3. Operators S_1 and S_3 are identified with intertwining operators of two irreducible representations of the conformal algebra and the operator S_2 is obtained from the intertwining operators S_1 and S_3 by a certain duality transformation. There are star-triangle relations for the basic building blocks S_1, S_2 and S_3 which produce all other relations for the general R-operators. In the case of the conformal algebra of n-dimensional Euclidean space we construct the R-operator for the scalar (spin part is equal to zero) representations and prove that the star-triangle relation is a well known star-triangle relation for propagators of scalar fields. In the special case of the conformal algebra of the 4-dimensional Euclidean space, the R-operator is obtained for more general class of infinite-dimensional (differential) representations with nontrivial spin parts. As a result, for the case of the 4-dimensional Euclidean space, we generalize the scalar star-triangle relation to the most general star-triangle relation for the propagators of particles with arbitrary spins.Comment: Added references and corrected typo