For a complex finite-dimensional simple Lie algebra $\mathfrak{g}$, we introduce the notion of Q-datum, which generalizes the notion of a Dynkin quiver with a height function from the viewpoint of Weyl group combinatorics. Using this notion, we develop a unified theory describing the twisted Auslander-Reiten quivers and the twisted adapted classes introduced in [O.-Suh, J. Algebra, 2019] with an appropriate notion of the generalized Coxeter elements. As a consequence, we obtain a combinatorial formula expressing the inverse of the quantum Cartan matrix of $\mathfrak{g}$, which generalizes the result of [Hernandez-Leclerc, J. Reine Angew. Math., 2015] in the simply-laced case. We also find several applications of our combinatorial theory of Q-data to the finite-dimensional representation theory of the untwisted quantum affine algebra of $\mathfrak{g}$. In particular, in terms of Q-data and the inverse of the quantum Cartan matrix, (i) we give an alternative description of the block decomposition results due to [Chari-Moura, Int. Math. Res. Not., 2005] and [Kashiwara-Kim-O.-Park, arXiv:2003.03265], (ii) we present a unified (partially conjectural) formula of the denominators of the normalized R-matrices between all the Kirillov-Reshetikhin modules, and (iii) we compute the invariants $Λ(V,W)$ and $Λ^\infty(V, W)$ introduced in [Kashiwara-Kim-O.-Park, Compos. Math., 2020] for each pair of simple modules $V$ and $W$.
In this paper we construct a class of new irreducible modules over untwisted affine Kac-Moody algebras $\widetilde{\mathfrak{g}}$, generalizing and including both highest weight modules and Whittaker modules. These modules allow us to obtain a complete classification of irreducible $\widetilde{\mathfrak{g}}$-modules on which the action of each root vector in $\widetilde{\mathfrak{n}}_+$ is locally finite, where $\widetilde{\mathfrak{n}}_+$ is the locally nilpotent subalgebra (or positive part) of $\widetilde{\mathfrak{g}}$. The necessary and sufficient conditions for two such irreducible $\wid…
In this paper we construct combinatorial bases of parafermionic spaces associated with the standard modules of the rectangular highest weights for the untwisted affine Lie algebras. Our construction is a modification of G. Georgiev's construction for the affine Lie algebra $\widehat{\mathfrak sl}(n+1,\mathbb C)$---the constructed parafermionic bases are projections of the quasi-particle bases of the principal subspaces, obtained previously in a series of papers by the first two authors. As a consequence we prove the character formula of A. Kuniba, T. Nakanishi and J. Suzuki for all non-simply-…
We establish Drinfeld realization for the two-parameter twisted quantum affine algebras using a new method. The Hopf algebra structure for Drinfeld generators is given for both untwisted and twisted two-parameter quantum affine algebras, which include the quantum affine algebras as special cases.
Affine Yangians as Limits of Quantum Toroidal Algebras
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学）
We prove that the Yangian associated to an untwisted symmetric affine Kac-Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed by the authors in arXiv:1407.7994 as an algebraic formalism of the cohomological Hall algebras. As a consequence, we obtain the Poincare-Birkhoff-Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay-Regelskis-Wendlandt.
The space spanned by the characters of twisted affine Lie algebras admit the action of certain congruence subgroups of $SL(2,\mathbb{Z})$. By embedding the characters in the space spanned by theta functions, we study an $SL(2,\mathbb{Z})$-closure of the space of characters. Analogous to the untwisted affine Lie algebra case, we construct a commutative associative algebra (fusion algebra) structure on this space through the use of the Verlinde formula and study important quotients. Unlike the untwisted cases, some of these algebras and their quotients, which relate to the trace of diagram autom…
The characters of parafermionic conformal field theories are given by the string functions of affine algebras, which are either twisted or untwisted algebras. Expressions for these characters as generalized Rogers Ramanujan algebras have been established for the untwisted affine algebras. However, we study the identities for the string functions of twisted affine Lie algebras. Conjectures for the string functions was proposed by Hatayama et al., for the unit fields, which expresses the string functions as Rogers Ramanujan type sums. Here we propose to check the Hatayama et al. conjecture, usin…
We prove a system of relations in the Grothendieck ring of the category O of representations of the Borel subalgebra of an untwisted quantum affine algebra U_q(g^) introduced in [HJ]. This system was discovered in [MRV1, MRV2], where it was shown that solutions of this system can be attached to certain affine opers for the Langlands dual affine Kac-Moody algebra of g^, introduced in [FF5]. Together with the results of [BLZ3, BHK], which enable one to associate quantum g^-KdV Hamiltonians to representations from the category O, this provides strong evidence for the conjecture of [FF5] linking t…
We prove that semi-infinite Bruhat order on an affine Weyl group is completely determined from those on the quotients by affine Weyl subgroups associated with various maximal (standard) parabolic subgroups of finite type. Furthermore, for an affine Weyl group of classical type, we give a complete classification of all cover relations of semi-infinite Bruhat order (or equivalently, all edges of the quantum Bruhat graphs) on the quotients in terms of tableaux. Combining these we obtain a tableau criterion for semi-infinite Bruhat order on an affine Weyl group of classical type. As an application…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's category. For a duality datum $\mathcal{D}$ in $\mathcal{C}^0_{\mathfrak{g}}$, we denote by $\mathcal{F}_{\mathcal{D}}$ the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum $\mathcal{D}$ to provide the functor $\mathcal{F}_{\mathcal{D}}$ sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in $\mathcal{C}^0_{\mathfrak{g}}$, and show that all simple modules in $\mathcal{C}…
We modify and give complete proofs for the results of Etingof-Schiffmann-Varchenko on traces of intertwiners of untwisted quantum affine algebras in the opposite coproduct and the standard grading. More precisely, we show that certain normalized generalized traces for $U_q(\hat{\mathfrak{g}})$ solve four commuting systems of q-difference equations: the Macdonald-Ruijsenaars, dual Macdonald-Ruijsenaars, q-KZB, and dual q-KZB equations. In addition, we show a symmetry property for these renormalized trace functions. Our modifications are motivated by their appearance in recent work of the author…
Let $N$ be a normal subgroup of a finite group $G$ and $V$ be a fixed finite-dimensional $G$-module. The Poincaré series for the multiplicities of induced modules and restriction modules in the tensor algebra $T(V)=\oplus_{k \geq 0}V^{\otimes k}$ are studied in connection with the McKay-Slodowy correspondence. In particular, it is shown that the closed formulas for the Poincaré series associated with the distinguished pairs of subgroups of $\mathrm{SU}_2$ give rise to the exponents of all untwisted and twisted affine Lie algebras except ${\rm A}_{2n}^{(1)}$.
In this note we describe a general elementary procedure to attach a fusion ring to any Kac-Moody algebra of affine type. In the case of untwisted affine algebras, they are usual fusion rings in the literature. In the case of twisted affine algebras, they are exactly the twisted fusion rings defined by the author in [Ho2] via tracing out diagram automorphisms on conformal blocks for appropriate simply-laced Lie algebras. We also relate the fusion ring to the modular S-matrix for any Kac-Moody algebra of affine type.
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
In this paper we investigate the relationship between twisted and untwisted character varieties via a specific instance of the Cohomological Hall algebra for moduli of objects in 3-Calabi-Yau categories introduced by Kontsevich and Soibelman. In terms of Donaldson--Thomas theory, this relationship is completely understood via the calculations of Hausel and Villegas of the E polynomials of twisted character varieties and untwisted character stacks. We present a conjectural lift of this relationship to the cohomological Hall algebra setting.
Generating Functions with $τ$-Invariance and Vertex Representations of Quantum Affine Algebras $U_{r,s}(\widehat{\mathfrak{g}})$ (I): Simply-laced Cases
Let $\mathfrak{g}(A)$ be the Kac-Moody algebra with respect to a symmetrizable generalized Cartan matrix $A$. We give an explicit presentation of the fix-point Lie subalgebra $\mathfrak{k}(A)$ of $\mathfrak{g}(A)$ with respect to the Chevalley involution. It is a presentation of $\mathfrak{k}(A)$ involving inhomogeneous versions of the Serre relations, or, from a different perspective, a presentation generalizing the Dolan-Grady presentation of the Onsager algebra. In the finite and untwisted affine case we explicitly compute the structure constants of $\mathfrak{k}(A)$ in terms of a Chevalley…
We establish the equality of the specialization $P_λ(x;q,0)$ of the Macdonald polynomial at $t=0$ with the graded character $X_λ(x;q)$ of a tensor product of "single-column" Kirillov-Reshetikhin (KR) modules for untwisted affine Lie algebras. This is achieved by constructing two uniform combinatorial models for the crystals associated with the mentioned tensor products: the quantum alcove model (which is naturally associated to Macdonald polynomials), and the quantum Lakshmibai-Seshadri path model. We provide an explicit affine crystal isomorphism between the two models, and realize the energy…
A uniform realization of the combinatorial $R$-matrix
Kirillov-Reshetikhin晶体是编码仿射李代数的某些有限维表示的结构的着色有向图。最近，在量子凹室模型下，对所有无扭曲仿射型的柱形Kirillov-Reshetikhin晶体，以统一的方式实现了张量积。我们通过使用该模型来增强该模型，以给出组合$R$ -矩阵的统一实现，即，KR晶体张量积中唯一的仿射晶体同构置换因子。换句话说，我们推广到所有的李类型Schützenberger的滑动游戏（jeu de taquin）的杨tableaux，它实现了组合$R$ -矩阵的类型$A$。我们的建设是在某些组合移动，称为量子杨巴克斯特移动，这是明确描述的减少秩2根系。我们还表明，量子壁龛模型并不依赖于一个序列的壁龛加入基本的翻译。
Let $\fg$ be any untwisted affine Kac-Moody algebra, $μ$ any fixed complex number, and $\wt\fg(μ)$ the corresponding toroidal extended affine Lie algebra of nullity two. For any $k$-tuple $\bmλ=(λ_1, \cdots, λ_k)$ of weights of $\fg$, and $k$-tuple $\bm{a}=(a_1,\cdots, a_k)$ of distinct non-zero complex numbers, we construct a class of modules $\wt V(\bmλ,\bm{a})$ for the extended affine Lie algebra $\wt\fg(μ)$. We prove that the $\wt\fg(μ)$-module $\wt V(\bmλ,\bm{a})$ is completely reducible. We also prove that the $\wt\fg(μ)$-module $\wt V(\bmλ,\bm{a})$ is integrable when all weights $λ_i$ i…
We introduce a category $\widehat{\mathcal{O}}_{\rm osc}$ of $q$-oscillator representations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_n)$. We show that $\widehat{\mathcal{O}}_{\rm osc}$ has a family of irreducible representations, which naturally corresponds to finite-dimensional irreducible representations of quantum affine algebra of untwisted affine type $A$. It is done by constructing a category of $q$-oscillator representations of the quantum affine superalgebra of type $A$, which interpolates these two family of irreducible representations. The category $\widehat{\mathca…
Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum Grothendieck ring $K_t(\mathfrak{g})$ of Hernandez-Leclerc's category $C_{\mathfrak{g}}^0$. Focused on the case of type $A_{N-1}$, we construct a family of monoidal autofunctors $\{\mathscr{S}_i\}_{i\in \mathbb{Z}}$ on a localization $T_N$ of the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. Under an isomorphism bet…
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive integer level for both twisted and untwisted type. The induced representation, which also has a natural commutative associative algebra structure and is modular invariant with respect to certain congruence subgroups, contains $\mathcal{F}_\ell$ as an ideal and we show how it naturally inherits the modular invariance property from $\mathcal{P}_\ell.$ This cons…
Toroidal Lie algebras are generalizations of affine Lie algebras. In 1990, Moody, Rao and Yokonuma gave a presentation for untwisted toroidal Lie algebras. In this paper we give a presentation for the twisted toroidal Lie algebras of type $A$ and $D$ constructed by Fu and Jiang.
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C}…
