Related papers: A conjecture on monomial realizations and polyhedr…

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…

For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$.

In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…

Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring…

In this paper, we develop the theory of abstract crystals for quantum Borcherds-Bozec algebras. Our construction is different from the one given by Bozec. We further prove the crystal embedding theorem and provide a characterization of…

We consider a product of fundamental crystals in monomial realization of type A. Then we shall show that the product holds crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from…

We study the monomial crystal defined by the second author. We show that each component of the monomial crystal can be embedded into a crystal of an extremal weight module introduced by Kashiwara. And we determine all monomials appearing in…

Let $C$ be a symmetrizable generalized Cartan Matrix, and $q$ an indeterminate. ${\fg}(C)$ is the Kac-Moody Lie algebra and $U=U_q({\fg}(C))$ the associated quantum enveloping algebra over $ k={\Bbb Q}(q)$. The quantum function algebra…

This article presents a new relation between the basic representation of split real simply-laced affine Kac-Moody algebras and finite dimensional representations of its maximal compact subalgebra $\mathfrak{k}$. We provide infinitely many…

In this paper we construct bases of standard (i.e. integrable highest weight) modules $L(\Lambda)$ for affine Lie algebra of type $B_2\sp{(1)}$ consisting of semi-infinite monomials. The main technical ingredient is a construction of…

Geometric realizations for the restrictions of GNS representations to unitary groups of $C^*$-algebras are constructed. These geometric realizations use an appropriate concept of reproducing kernels on vector bundles. To build such…

We study the crystal base of the negative part of a quantum group. An explicit realization of the crystal is given in terms of Young tableaux for types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$. Connection between our realization and a previous…

The Lascoux-Leclerc-Thibon-Ariki theory asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with a Lie…

The rigged configuration realization $RC(\infty)$ of the crystal $B(\infty)$ was originally presented as a certain connected component within a larger crystal. In this work, we make the realization more concrete by identifying the elements…

We give a 1-1 correspondence with the Young wall realization and the Young tableau realization of the crystal bases for the classical Lie algebras.

We present a combinatorial monomial basis (or, more precisely, a family of monomial bases) in every finite-dimensional irreducible $\mathfrak{so}_{2n+1}$-module. These bases are in many ways similar to the FFLV bases for types $A$ and $C$.…

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a…

We give a new combinatorial model for the crystals of integrable highest weight modules over the classical Lie algebras of type $B$ and $C$ in terms of classical Young tableux. We then obtain a new description of its Littlewood-Richardson…

This paper provides results on the modular representation theory of the supergroup $GL(m|n).$ Working over a field of arbitrary characteristic, we prove that the explicit combinatorics of certain crystal graphs describe the representation…

We give an explicit description of the unique crystal isomorphism between two realizations of $B(\infty)$ in type $D$: that using marginally large tableaux and that using PBW monomials with respect to one particularly nice reduced…