Related papers: Adapted Sequences and Polyhedral Realizations of C…

Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a necessary and sufficient condition for the crystal graph of the Lakshmibai-Seshadri path crystal $\mathbb{B}(\lambda)$ to be connected for an arbitrary integral…

The irreducible bases in the icosahedral group space are calculated explicitly by reducing the regular representation. The symmetry adapted bases of the system with {\bf I} or {\bf I}$_{h}$ symmetry can be calculated easily and generally by…

Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library…

Let $\fg$ be any untwisted affine Kac-Moody algebra, $\mu$ any fixed complex number, and $\wt\fg(\mu)$ the corresponding toroidal extended affine Lie algebra of nullity two. For any $k$-tuple $\bm{\lambda}=({\lambda}_1, \cdots,…

In this paper, we establish the Composition-Diamond lemma for associative nonunitary Rota-Baxter algebras with weight $\lambda$. As applications, we obtain a linear basis of a free commutative Rota-Baxter algebra without unity and show that…

Let $\mathfrak{g}$ be a complex simple Lie algebra and $L(\lambda)$ be a highest weight module of $\mathfrak{g}$ with highest weight $\lambda-\rho$, where $\rho$ is half the sum of positive roots. A simple $\mathfrak{g}$-module…

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…

This paper introduces a new method to solve the problem of the approximation of the diagonal for face-coherent families of polytopes. We recover the classical cases of the simplices and the cubes and we solve it for the associahedra, also…

We present complete realization of irreducible $A_1 ^{(1)}$-modules at the critical level in the principal gradation. Our construction uses vertex algebraic techniques, the theory of twisted modules and representations of Lie conformal…

In this paper we treat certain elliptic and hyper-elliptic integrals in a unified way. We introduce a new basis of these integrals coming from certain basis ${\phi}_n(x)$ of polynomials and show that the transition matrix between this basis…

We show that there exists a unique crystal base of a parabolic Verma module over a quantum orthosymplectic superalgebra, which is induced from a $q$-analogue of a polynomial representation of a general linear Lie superalgebra.

For a Kac-Moody algebra $\mathfrak{g}$ of rank $2$ and a fundamental weight $\lambda$, we explicitly give an isomorphism between the set of Lakshmibai-Seshadri paths $\mathbb{B}(\lambda)$ and monomial realization $\mathcal{M}(\lambda)$. As…

This is a continuation of [15, 16]. We shall show that for type D_n the realization of crystal bases obtained from the decorated geometric crystals in [2] coincides with the polyhedral realizations of crystal bases.

This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to…

We introduce the notion of power lattices that unifies and extends the equicardinal geometric lattices, Cartesian products of subspace lattices, and multiset subset lattices, among several others. The notions of shellability for simplicial…

For each reductive algebraic group G we introduce and study unipotent bicrystals which serve as a regular version of birational geometric and unipotent crystals introduced earlier by the authors. The framework of unipotent bicrystals…

The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely…

We present a framework for the construction of linearizations for scalar and matrix polynomials based on dual bases which, in the case of orthogonal polynomials, can be described by the associated recurrence relations. The framework…

In this paper, we give a combinatorial realization of the crystal basis of a quantum Weyl module over a quantum affine algebra of type $A_{2n}^{(2)}$, and a representation-theoretic interpretation of the specialization…

Let $\Lambda$ be a commutative Noetherian ring, and let $I$ be a proper ideal of $\Lambda$, $R=\Lambda /I$. Consider the polynomial rings $T=\Lambda [x_1,...x_n]$ and $A=R[x_1,...,x_n]$. Suppose that linear equations are solvable in…