skip to main content


This content will become publicly available on June 10, 2024

Title: Embeddings Among Quantum Affine sl_n
We establish an explicit embedding of a quantum affine sl_n into a quantum affine sl_{n+1} . This embedding serves as a common generalization of two natural, but seemingly unrelated embeddings, one on the quantum affine Schur algebra level and the other on the non-quantum level. The embedding on the quantum affine Schur algebras is used extensively in the analysis of canonical bases of quantum affine sl_n and gl_n. The embedding on the non-quantum level is used crucially in a work of Riche and Williamson on the study of modular representation theory of general linear groups over a finite field. The same embedding is also used in a work of Maksimau on the categorical representations of affine general linear algebras. We further provide a more natural compatibility statement of the em- bedding on the idempotent version with that on the quantum affine Schur algebra level. A gl_n-variant of the embedding is also established.  more » « less
Award ID(s):
1801915
NSF-PAR ID:
10446731
Author(s) / Creator(s):
Date Published:
Journal Name:
Acta Mathematica Sinica, English Series
ISSN:
1439-8516
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. The center $Z_n(q)$ of the integral group algebra of the general linear group $GL_n(q)$ over a finite field admits a filtration with respect to the reflection length. We show that the structure constants of the associated graded algebras $\mathscr{G}_n(q)$ are independent of $n$, and this stability leads to a universal stable center with positive integer structure constants which governs the algebras $\mathscr{G}_n(q)$ for all $n$. Various structure constants of the stable center are computed and several conjectures are formulated. Analogous stability properties for symmetric groups and wreath products were established earlier by Farahat-Higman and the second author. 
    more » « less
  2. Motivated by the theory of Cuntz-Krieger algebras we define and study C ∗ C^\ast -algebras associated to directed quantum graphs. For classical graphs the C ∗ C^\ast -algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to K K KK -equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these C ∗ C^\ast -algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of K K KK -theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation. We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general. 
    more » « less
  3. Trace inequalities are general techniques with many applications in quantum information theory, often replacing the classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivates entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki Lp spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras. In particular, we show this for the generalized Araki–Lieb–Thirring and Golden–Thompson inequalities from the work of Sutter et al. [Commun. Math. Phys. 352(1), 37 (2017)]. Then, using the Haagerup approximation method, we prove a general von Neumann algebra version of universal recovery map corrections to the data processing inequality for relative entropy. We also show subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that the non-decrease of relative entropy is equivalent to the existence of an L1-isometry implementing the channel on both input states. 
    more » « less
  4. Abstract

    We study the family of irreducible modules for quantum affine𝔰𝔩n+1{\mathfrak{sl}_{n+1}}whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated toAm{A_{m}}withmn{m\leq n}. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category𝒞-{\mathscr{C}^{-}}. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov–Reshetikhin module with its dual always contains an imaginary module in its Jordan–Hölder series and give an explicit formula for its Drinfeld polynomial. Together with the results of [D. Hernandez and B. Leclerc,A cluster algebra approach toq-characters of Kirillov–Reshetikhin modules,J. Eur. Math. Soc. (JEMS) 18 2016, 5, 1113–1159] this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of [E. Lapid and A. Mínguez,Geometric conditions for\square-irreducibility of certain representations of the general linear group over a non-archimedean local field,Adv. Math. 339 2018, 113–190]. Finally, we use our methods to give a family of imaginary modules in typeD4{D_{4}}which do not arise from an embedding ofAr{A_{r}}withr3{r\leq 3}inD4{D_{4}}.

     
    more » « less
  5. We continue the study of multiple cluster structures in the rings of regular functions on $GL_n$, $SL_n$ and $\operatorname{Mat}_n$ that are compatible with Poisson-Lie and Poisson-homogeneous structures. According to our initial conjecture, each class in the Belavin-Drinfeld classification of Poisson--Lie structures on a semisimple complex group $\mathcal G$ corresponds to a cluster structure in $\mathcal O(\mathcal G)$. Here we prove this conjecture for a large subset of Belavin-Drinfeld (BD) data of $A_n$ type, which includes all the previously known examples. Namely, we subdivide all possible $A_n$ type BD data into oriented and non-oriented kinds. In the oriented case, we single out BD data satisfying a certain combinatorial condition that we call aperiodicity and prove that for any BD data of this kind there exists a regular cluster structure compatible with the corresponding Poisson-Lie bracket. In fact, we extend the aperiodicity condition to pairs of oriented BD data and prove a more general result that establishes an existence of a regular cluster structure on $SL_n$ compatible with a Poisson bracket homogeneous with respect to the right and left action of two copies of $SL_n$ equipped with two different Poisson-Lie brackets. If the aperiodicity condition is not satisfied, a compatible cluster structure has to be replaced with a generalized cluster structure. We will address this situation in future publications. 
    more » « less