We give a new realization of crystal bases for finite dimensional irreducible modules over special linear Lie algebras using the monomials introduced by H. Nakajima. We also discuss the connection between this monomial realization and the tableau realization given by Kashiwara and Nakashima.
In the representation theory of simple Lie algebras, we consider the problem of constructing a monomial basis in an arbitrary irreducible finite-dimensional highest weight module. We construct a PBW-type basis in every finite-dimensional representation of $B_n$ and $D_n$ and we describe the associated semigroup of essential signatures. These bases are parameterized by integer points in some polytopes. We give the inequalities defining these polytopes.
Following a question of Vinberg, a general method to construct monomial bases for finite-dimensional irreducible representations of a reductive Lie algebra was developed in a series of papers by Feigin, Fourier, and Littelmann. Relying on this method, we construct monomial bases of multiplicity spaces associated with the restriction of the representation to a reductive subalgebra. As an application, we produce monomial bases for representations of the general linear and symplectic Lie algebras associated with natural chains of subalgebras. We also show that our basis in type A is related to bo…
The most famous simple Lie algebra is $sl_n$ (the $n \times n$ matrices with trace equals $0$). The representation theory for $sl_n$ has been one of the most important research areas for the past hundred years and within their the simple finite-dimensional modules have become very important. They are classified and Gelfand and Tsetlin actually gave an explicit construction of a basis for every simple module. We extend it by providing theorems and proofs, and construct monomial bases of the simple module.
In this paper we derive a closed formula for the $(\mathbb{Z}\times\mathbb{Z}_2)$-graded dimension of the cyclotomic quiver Hecke superalgebra $R^Λ(β)$ associated to an {\it arbitrary} Cartan superdatum $(A,P,Π,Π^\vee)$, polynomials $(Q_{i,j}({\rm x}_1,{\rm x}_2))_{i,j\in I}$, $β\in Q_n^+$ and $Λ\in P^+$. As applications, we obtain a necessary and sufficient condition for which $e(ν)\neq 0$ in $R^Λ(β)$. We construct an explicit monomial basis for the bi-weight space $e(\widetildeν)R^Λ(β)e(\widetildeν)$, where $\widetildeν$ is a certain specific $n$-tuple defined in (1.4). In particular, this g…
In this paper, we give a new realization of crystal bases for irreducible highest weight modules over $U_q(G_2)$ in terms of monomials. We also discuss the natural connection between the monomial realization and tableau realization.
We shall describe explicitly the decoration functions for certain decorated geometric crystals of classical groups and we shall show that they are represented in terms of monomial realizations of crystal bases.
We shall show that for type $A_n$ the realization of crystal bases obtained from the decorated geometric crystals intorduced by Berenstein and Kazhdan coincides with our polyhedral realizations of crystal bases. We also observe certain relations of decorations and monomial realizations of crystal bases.
We use directed graphs called "syzygy quivers" to study the asymptotic growth rates of the dimensions of the syzygies of representations of finite dimensional algebras. For any finitely generated representation of a monomial algebra, we show that this growth rate is poly-exponential, i.e. the product of a polynomial and an exponential function, and give a procedure for computing the corresponding degree and base from a syzygy quiver. We characterize the growth rates arising in this context: The bases of the occurring exponential functions are the real, nonnegative algebraic integers $b$ whose …
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$. They are also defined combinatorially via sums over Dyck paths in certain triangular grids. Our sums, however, involve weights depending on the length of the corresponding root. Accordingly, our bases also induce bases in certain degenerations of the modules but these degenerations are obtained not from the filtration by PBW degree but by a weighted version …
We present a vertex operator algebra which is an extension of the level $k$ vertex operator algebra for the $\hat{sl}_2$ conformal field theory. We construct monomial basis of its irreducible representations.
We investigate the affine canonical basis and the monomial basis constructed in [LXZ] in Lusztig's geometric setting. We show that the transition matrix between the two bases is upper triangular with 1's in the diagonal and coefficients in the upper diagonal entries in N[v, v^{-1}]. As a consequence, we show that part of the monomial basis elements give rise to resolutions of support varieties of the affine canonical basis elements as simple perverse sheaves.
We describe an explicit crystal morphism between Nakajima monomials and monomials which give a realization of crystal bases for finite dimensional irreducible modules over the quantized enveloping algebra for Lie algebras of type A and C. This morphism provides a connection between arbitrary Nakajima monomials and Nakashima Kashiwara tableaux. This yields a translation of Nakajima monomials to the Littelmann path model. Furthermore, as an application of our results we describe an insertion scheme for Nakajima monomials compatible to the insertion scheme for tableaux.
In 1990 Beilinson, Lusztig and MacPherson provided a geometric realization of modified quantum $\mathfrak{gl}_n$ and its canonical basis. A key step of their work is a construction of a monomial basis. Recently, Du and Fu provided an algebraic construction of the canonical basis for modified quantum affine $\mathfrak{gl}_n$, which among other results used an earlier construction of monomial bases using Ringel-Hall algebra of the cyclic quiver. In this paper, we give an elementary algebraic construction of a monomial basis for affine Schur algebras and modified quantum affine $\mathfrak{gl}_n$.
Dave Benson conjectured in 2020 that if $G$ is a finite $2$-group and $V$ is an odd-dimensional indecomposable representation of $G$ over an algebraically closed field $\Bbbk$ of characteristic $2$, then the only odd-dimensional indecomposable summand of $V \otimes V^*$ is the trivial representation $\Bbbk$. This would imply that a tensor power of an odd-dimensional indecomposable representation of $G$ over $\Bbbk$ has a unique odd-dimensional summand. Benson has further conjectured that, given such a representation $V$, the function sending a positive integer $n$ to the dimension of the uniqu…
G. E. Murphy showed in 1983 that the centre of every symmetric group algebra has an integral basis consisting of a specific set of monomial symmetric polynomials in the Jucys--Murphy elements. While we have shown in earlier work that the centre of the group algebra of S_3 has exactly three additional such bases, we show in this paper that the centre of the group algebra of S_4 has infinitely many bases consisting of monomial symmetric polynomials in Jucys--Murphy elements, which we characterize completely. The proof of this result involves establishing closed forms for coefficients of class su…
We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements depends not on the type A or C of the Lie algebra but on the rank only.
We provide $\mathbb{N}$-filtrations on the negative part $U_q(\mathfrak{n}^-)$ of the quantum group associated to a finite-dimensional simple Lie algebra $\mathfrak{g}$, such that the associated graded algebra is a skew-polynomial algebra on $\mathfrak{n}^-$. The filtration is obtained by assigning degrees to Lusztig's quantum PBW root vectors. The possible degrees can be described as lattice points in certain polyhedral cones. In the classical limit, such a degree induces an $\mathbb{N}$-filtration on any finite dimensional simple $\mathfrak{g}$-module. We prove for type $\tt{A}_n$, $\tt{C}_n…
We study the realization of acyclic cluster algebras as coordinate rings of Coxeter double Bruhat cells in Kac-Moody groups. We prove that all cluster monomials with g-vector lying in the doubled Cambrian fan are restrictions of principal generalized minors. As a corollary, cluster algebras of finite and affine type admit a complete and non-recursive description via (ind-)algebraic group representations, in a way similar in spirit to the Caldero-Chapoton description via quiver representations. In type A_1^{(1)}, we further show that elements of several canonical bases (generic, triangular, and…
We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of mono…
Motivated by a recent conjecture by Hernandez and Leclerc [arXiv:0903.1452], we embed a Fomin-Zelevinsky cluster algebra [arXiv:math/0104151] into the Grothendieck ring R of the category of representations of quantum loop algebras U_q(Lg) of a symmetric Kac-Moody Lie algebra g, studied earlier by the author via perverse sheaves on graded quiver varieties [arXiv:math/9912158]. Graded quiver varieties controlling the image can be identified with varieties which Lusztig used to define the canonical base. The cluster monomials form a subset of the base given by the classes of simple modules in R, …
Lefschetz properties for monomial complete intersections
Busitema University(布西泰马大学);Università degli Studi di Genova(热那亚大学);CIMAT - Centro de Investigación en Matemáticas(墨西哥数学研究中心);University of Notre Dame(圣母大学);Institute of Mathematics “Simion Stoilow” of the Romanian Academy(罗马尼亚科学院西蒙·斯托伊洛数学研究所);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
We consider two types of quotients of the integrable modules of $\hat{sl}_2$. These spaces of coinvariants have dimensions described in terms of the Verlinde algebra of level-$k$. We describe monomial bases for the spaces of coinvariants, which leads to a fermionic description of these spaces. For $k=1$, we give the explicit formulas for the characters. We also present recursion relations satisfied by the characters and the monomial bases.