Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userIsomorphisms among quantum Grothendieck rings and propagation of positivity
83
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let ($mathfrak{g},mathsf{g})$ be a pair of complex finite-dimensional simple Lie algebras whose Dynkin diagrams are related by (un)folding, with $mathsf{g}$ being of simply-laced type. We construct a collection of ring isomorphisms between the quantum Grothendieck rings of monoidal categories $mathscr{C}_{mathfrak{g}}$ and $mathscr{C}_{mathsf{g}}$ of finite-dimensional representations over the quantum loop algebras of $mathfrak{g}$ and $mathsf{g}$ respectively. As a consequence, we solve long-standing problems : the positivity of the analogs of Kazhdan-Lusztig polynomials and the positivity of the structure constants of the quantum Grothendieck rings for any non-simply-laced $mathfrak{g}$. In addition, comparing our isomorphisms with the categorical relations arising from the generalized quantum affine Schur-Weyl dualities, we prove the analog of Kazhdan-Lusztig conjecture (formulated in [H., Adv. Math., 2004]) for simple modules in remarkable monoidal subcategories of $mathscr{C}_{mathfrak{g}}$ for any non-simply-laced $mathfrak{g}$, and for any simple finite-dimensional modules in $mathscr{C}_{mathfrak{g}}$ for $mathfrak{g}$ of type $mathrm{B}_n$. In the course of the proof we obtain and combine several new ingredients. In particular we establish a quantum analog of $T$-systems, and also we generalize the isomorphisms of [H.-Leclerc, J. Reine Angew. Math., 2015] and [H.-O., Adv. Math., 2019] to all $mathfrak{g}$ in a unified way, that is isomorphisms between subalgebras of the quantum group of $mathsf{g}$ and subalgebras of the quantum Grothendieck ring of $mathscr{C}_mathfrak{g}$.
rate research
Read More
Let $K$ be an algebraically closed field of characteristic zero. Algebraic structures of a specific type (e.g. algebras or coalgebras) on a given vector space $W$ over $K$ can be encoded as points in an affine space $U(W)$. This space is equipped with a $text{GL}(W)$ action, and two points define isomorphic structures if and only if they lie in the same orbit. This leads to study the ring of invariants $K[U(W)]^{text{GL}(W)}$. We describe this ring by generators and relations. We then construct combinatorially a commutative ring $K[X]$ which specializes to all rings of invariants of the form $K[U(W)]^{text{GL}(W)}$. We show that the commutative ring $K[X]$ has a richer structure of a Hopf algebra with additional coproduct, grading, and an inner product which makes it into a rational PSH-algebra, generalizing a structure introduced by Zelevinsky. We finish with a detailed study of $K[X]$ in the case of an algebraic structure consisting of a single endomorphism, and show how the rings of invariants $K[U(W)]^{text{GL}(W)}$ can be calculated explicitly from $K[X]$ in this case.
Given an iterated skew polynomial ring C[y_1;t_1,d_1]ldots [y_n;t_n,d_n] over a complete local ring C with maximal ideal m, we prove, under suitable assumptions, that the completion at the ideal m + < y_1,y_2,ldots,y_n> is an iterated skew power series ring. Under further conditions, this completion is a local, noetherian, Auslander regular domain. Applicable examples include quantum matrices, quantum symplectic spaces, and quantum Euclidean space.
We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q(mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q(mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.
Let $U_q(mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type $mathfrak{g}_{0}$, we define a full subcategory ${mathcal C}_{Q}^{(2)}$ of the category of finite-dimensional integrable $U_q(mathfrak{g})$-modules, a twisted version of the category ${mathcal C}_{Q}$ introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur-Weyl duality, we construct an exact faithful KLR-type duality functor ${mathcal F}_{Q}^{(2)}: Rep(R) rightarrow {mathcal C}_{Q}^{(2)}$, where $Rep(R)$ is the category of finite-dimensional modules over the quiver Hecke algebra $R$ of type $mathfrak{g}_{0}$ with nilpotent actions of the generators $x_k$. We show that ${mathcal F}_{Q}^{(2)}$ sends any simple object to a simple object and induces a ring isomorphism $K(Rep(R)) simeq K({mathcal C}_{Q}^{(2)})$.
In this paper, we study in the context of quantum vertex algebras a certain Clifford-like algebra introduced by Jing and Nie. We establish bases of PBW type and classify its $mathbb N$-graded irreducible modules by using a notion of Verma module. On the other hand, we introduce a new algebra, a twin of the original algebra. Using this new algebra we construct a quantum vertex algebra and we associate $mathbb N$-graded modules for Jing-Nies Clifford-like algebra with $phi$-coordinated modules for the quantum vertex algebra. We also show that the adjoint module for the quantum vertex algebra is irreducible.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
