--- title: Shifted Quantum Toroidal Algebra url: https://www.emergentmind.com/topics/shifted-quantum-toroidal-algebra type: topic --- # Shifted Quantum Toroidal Algebra Shifted quantum toroidal algebra denotes a family of quantum toroidal-type algebras in which integral shift data deform the current formalism by modifying mode expansions, commutator support, or both. In recent work, this terminology encompasses shifted quantum toroidal $\mathfrak{gl}_1$, shifted quantum toroidal $\mathfrak{gl}_2$ obtained by gluing two commuting quantum toroidal $\mathfrak{gl}_1$ subalgebras, shifted quantum toroidal superalgebras such as $\mathfrak{gl}_{1|1}$, and shifted quiver quantum toroidal algebras acting on subcrystal representations [2205.01309] [2512.21750] [2605.16773] [2109.02045]. The common theme is that the shift changes the toroidal current algebra at the Cartan–raising/lowering interface while preserving enough structure for Fock realizations, intertwiners, and coproduct-based constructions. ## 1. Algebraic meaning of the shift The shift is implemented differently in different presentations, but in each case it enters in a controlled part of the current algebra rather than as a wholesale replacement of the defining relations. For shifted quantum toroidal $\mathfrak{gl}_1$, the algebra $\ddot{U}_{q_1,q_2}^{\boldsymbol{\mu}}(\mathfrak{gl}(1))$ depends on $\boldsymbol{\mu}=(\mu_+,\mu_-)\in\mathbb Z^2$, with currents \[ x^\pm(z)=\sum_{k\in\mathbb Z} z^{-k}x_k^\pm,\qquad \psi^\pm(z)=\sum_{\pm k\ge -\mu_\pm} z^{-k}\psi_k^\pm, \] so the shift changes the domain of the Cartan mode expansions while leaving the current relations themselves unchanged [2205.01309]. In the family $\mathcal A_{M,N}$ introduced by Feigin, Jimbo, and Mukhin, the shift is encoded through a tuned pair of commuting quantum toroidal $\mathfrak{gl}_1$ algebras $\mathcal E_1$ and $\check{\mathcal E}_1$ with \[ \check q_1=q_1^{-1},\qquad \check q_2=q_2 q_1^{-M+1},\qquad \check q_3=q_3 q_1^{M+1},\qquad \check C=C q_1^{N/2}, \] and through the $X_i^\pm(z)$ cross-commutator. The paper states explicitly that the shift parameter $N$ appears only in this commutator, and for $N<0$ one has \[ [X_i^+(z),X_j^-(w)]=0 \qquad \text{for } \frac N20}K_{i,k}^+ z^{-k}\right), \] and the defining commutator becomes \[ [E_i(z),F_j(w)]=\delta_{ij}\delta\!\left(\frac wz\right)\left(z^{r_i}K_i^+(z)-K_i^-(w)\right). \] The paper identifies $r_i$ with the difference between the numbers of zeros and poles of the vacuum charge function [2109.02045]. Taken together, these constructions indicate that a shifted quantum toroidal algebra is not characterized by a single universal presentation. What is shared is the use of integral shift data to displace the current algebra in a way that changes representation-theoretic support conditions. ## 2. Shifted quantum toroidal $\mathfrak{gl}_1$ The shifted quantum toroidal $\mathfrak{gl}_1$ algebra provides the most explicit single-current model. Dominant shifts, defined there by $\mu_++\mu_-\ge 0$, are central for the existence of finite-dimensional highest $\ell$-weight representations. A principal family is the “pit” representation, whose basis is indexed by sub-Young diagrams of a fixed Young diagram $\mu$; the upward action vanishes when a shifting Laurent polynomial $P(z)$ vanishes at the corresponding box content, thereby forbidding the addition of that box [2205.01309]. For a rectangular Young diagram $\mu=(I,J)$, the module dimension is stated to be $\binom{I+J}{I}$, and for the $2\times 1$ rectangle the construction yields a $3$-dimensional representation. These modules are described as highest $\ell$-weight modules, with diagonal Cartan action given by explicit rational functions determined by $P(z)$ and $\mu$. The same paper presents shifted representation functors. For a Laurent polynomial \[ P(z)=c_P z^{-\mu_0}\prod_{a=1}^n(1-z/\nu_a), \] one defines \[ \iota_P\rho:\quad x^+(z)\mapsto P(z)\rho(x^+(z)),\qquad \psi^\pm(z)\mapsto \rho(P(C^{\pm1/2}z))\rho(\psi^\pm(z)), \] together with a right-shift analogue $\iota_P^\ast\rho$ acting on $x^-(z)$ and $\psi^\pm(z)$ [2205.01309]. The same framework extends the Awata–Feigin–Shiraishi intertwiners to shifted representations. The vertical component in the shifted intertwiner acquires the factor \[ t_\lambda^P[u,v,n]=t_\lambda[u,v,n]\prod_{s\in\lambda}P(\chi_s), \] so the combinatorics of the allowed Young diagrams is absorbed directly into the intertwiner. A further structural feature is the limit $q_1\to\infty$ with $q_2$ fixed, under which the shifted toroidal algebra degenerates to the shifted quantum affine algebra $\dot U_q^\mu(\mathfrak{sl}(2))$, and finite-dimensional toroidal pit modules reduce to Kirillov–Reshetikhin modules in the affine setting [2205.01309]. The paper also introduces left-twisted and right-twisted Fock representations for infinitely shifted algebras. In particular, the left-twisted representation has $\psi^+(z)=0$ and realizes only the negative Cartan and raising current. This suggests that the shifted $\mathfrak{gl}_1$ theory already contains several of the characteristic phenomena later seen in higher-rank and super cases: truncated mode ranges, finite-dimensional highest $\ell$-weight modules, and nontrivial shifted intertwiners. ## 3. Shifted quantum toroidal $\mathfrak{gl}_2$ and the family $\mathcal A_{M,N}$ A major higher-rank development is the family $\mathcal A_{M,N}(q_1,q_2,q_3)$ of Feigin, Jimbo, and Mukhin. These algebras extend the quotient \[ \mathcal K_{M,N}=\mathcal E_1[K]\otimes \check{\mathcal E}_1[\check K]/(\psi_0\otimes 1=1,\ 1\otimes \check\psi_0=1,\ C\otimes 1=s_1^N\otimes \check C) \] by countably many gluing currents $X_i^\pm(z)$. The index set is $i\in\mathbb Z$ for even $N$ and $i\in\mathbb Z+\frac12$ for odd $N$. These currents satisfy adjoint covariance under both toroidal $\mathfrak{gl}_1$ factors, quadratic exchange relations \[ \gamma_{i,j}(z,w)X_i^\pm(z)X_j^\pm(w)=(-1)^{i-j-1}\gamma_{j,i}(w,z)X_j^\pm(w)X_i^\pm(z), \] and a cross-commutator expressed through fused currents $k_r^\pm(z)$ and $\check k_{\check r}^\pm(z)$ [2512.21750]. The special case $M=\pm1$ is identified there with shifted quantum toroidal $\mathfrak{gl}_2$. For $M=1$, the gluing currents correspond to the two non-abelian simple root currents of $\mathfrak{gl}_2$, while the subalgebra $\mathcal K_{1,N}$ plays the role of an extended Cartan. The case $\mathcal A_{1,0}$ is described as essentially isomorphic, on admissible modules, to a central extension $\mathcal E_2[K]$ of the standard quantum toroidal $\mathfrak{gl}_2$ algebra, up to an extra invertible but non-central element $K$ [2512.21750]. A related but distinct realization appears in the affinization program for shifted quantum affine $\mathfrak{gl}_2$. There, $\mathcal A_0$ is a realization of the quantum toroidal algebra associated to $\mathfrak{gl}_2$ built from two commuting quantum toroidal $\mathfrak{gl}_1$ subalgebras and currents $X_i^\pm(z)$, $i\in\mathbb Z$, while $\mathcal A_N$, $N\in\mathbb Z$, is defined by shifting the central identification and modifying the $[X_i^+,X_j^-]$ relation. For odd $N$, the indices are relabeled so that half-integral and integral labels appear as needed. The paper emphasizes large families of representations for dominant shifts $N>0$, and notes that examples with even positive $N$ appear in extensions of deformed $W$-algebras of type $\mathfrak{gl}(N+2|1)$ [2511.12178]. These two lines of work show that shifted quantum toroidal $\mathfrak{gl}_2$ can be realized both as a gluing extension of commuting toroidal $\mathfrak{gl}_1$ algebras and as an affinization of shifted quantum affine $\mathfrak{gl}_2$. The common structural ingredient is an infinite family of additional currents whose cross-commutator carries the shift. ## 4. Representation theory and explicit models Representation theory is a central organizing principle for shifted quantum toroidal algebras. In the $\mathcal A_{M,N}$ family, modules are constructed on direct sums of tensor products of Fock modules of $\mathcal E_1\otimes \check{\mathcal E}_1$. A basic example for $N=M-1$ is \[ \mathbb F_{2;2}(v;\check v) =\bigoplus_{n\in\mathbb Z}\mathcal F_2(q_3^{-n}v)\boxtimes \check{\mathcal F}_2(q_3^{-n}\check v), \] with gluing currents realized by single vertex operators, \[ X_i^+(z)\mapsto \Phi(z)\check\Phi(q_1^i z),\qquad X_i^-(z)\mapsto \Phi^\ast(z)\check\Phi^\ast(q_1^{-i}z)\mathcal N. \] More elaborate modules arise from iterating the coproduct construction, in which the $X_i^\pm(z)$ become sums of vertex operators or contour-integral expressions [2512.21750]. In shifted quantum toroidal $\mathfrak{gl}_1$, the finite-dimensional pit modules and the shifted AFS intertwiners provide a complementary model. The basis by sub-Young diagrams, the explicit dependence on a shifting polynomial $P(z)$, and the compatibility of intertwiners with shifted actions make these representations unusually concrete. The same paper uses them to model matter hypermultiplets in $5$d $\mathcal N=1$ gauge theories and chiral multiplets in $3$d $\mathcal N=2$ gauge theories, and revisits Higgsing in this shifted framework [2205.01309]. The super case brings a different representation-theoretic feature: the level zero super Fock module of $\mathcal U_{q,t}(\widehat{\widehat{\mathfrak{gl}_{1|1}}})$ is realized as a semi-infinite tensor product of vector representations with basis indexed by superpartitions, and it is isomorphic to a tensor product of a bosonic Fock space and a fermionic Fock space. The super Macdonald polynomials form a basis diagonalizing the Cartan modes, while the supercurrents admit a differential-operator realization on the supersymmetric power sums \[ p_k=\sum_i x_i^k,\qquad \pi_k=\sum_i \theta_i x_i^{k-1}. \] The Pieri rule is encoded by operators such as \[ E_{1,0}=\pi_1,\qquad F_{1,+1}=\frac{\partial}{\partial \pi_1}, \] together with higher operators involving the coefficients $c_k[p]$ and $\widetilde c_k[\partial/\partial p]$ [2605.16773]. Taken together, these constructions show that shifted quantum toroidal representation theory is not merely formal. It is realized through vertex operators, differential operators, Fock spaces, and finite-dimensional highest $\ell$-weight modules, depending on the presentation under consideration. ## 5. Coproducts, tensor products, and Hopf-type structures Tensor-product theory in the shifted setting is subtle because the current relations often involve completions or infinite sums. For $\mathcal A_{M,N}$, Feigin, Jimbo, and Mukhin formulate a conjectural coproduct \[ \Delta_{N_1,N_2}:\mathcal A_{M,N_1+N_2}\longrightarrow \mathcal A_{M,N_1}\,\hat\otimes\,\mathcal A_{M,N_2}, \] required to be coassociative and to restrict on the toroidal subalgebras to the standard tensor coproduct. On gluing currents, \[ \Delta_{N_1,N_2}X_i^+(z)=X_i^+(z)\otimes 1+\mathcal R^{-1}(1\otimes X_i^+(z))\mathcal R, \] \[ \Delta_{N_1,N_2}X_i^-(z)=\mathcal R^{-1}(X_i^-(z)\otimes 1)\mathcal R+1\otimes X_i^-(z), \] where $\mathcal R=R\check R$ is the product of the universal $R$-matrices of the two toroidal subalgebras. The paper further states that, on Fock modules, this agrees with the explicit formulas for induced modules, and that for $N=0$ the conjecture would make $\mathcal A_{M,0}$ into a Hopf algebra [2512.21750]. Shifted quiver quantum toroidal algebras admit a generalized coproduct that is already part of the formalism. It maps \[ \Delta_{\mathbf r,\mathbf r'}: \ddot{\mathcal U}_Q^{\mathbf r+\mathbf r'} \longrightarrow \ddot{\mathcal U}_Q^{\mathbf r}\otimes \ddot{\mathcal U}_Q^{\mathbf r'}, \] with \[ \Delta_{\mathbf r,\mathbf r'}E_i(z)=E_i(z)\otimes 1+\widetilde K_i^-(z)\otimes E_i(z), \] \[ \Delta_{\mathbf r,\mathbf r'}F_i(z)=F_i(z)\otimes \widetilde K_i^+(z)+1\otimes F_i(z), \] \[ \Delta_{\mathbf r,\mathbf r'}\widetilde K_i^\pm(z)=\widetilde K_i^\pm(z)\otimes \widetilde K_i^\pm(z), \qquad \widetilde K_i^+(z)=z^{r_i}K_i^+(z). \] This coproduct is used to build $2$d subcrystal representations from $1$d ones and ensures that shifts add correctly under tensor product [2109.02045]. A broader structural background comes from unshifted quantum toroidal theory. A new topological coproduct extending the Drinfeld–Jimbo coproduct on the horizontal quantum affine subalgebra was constructed from the “top” and “bottom” shuffle halves of the quantum toroidal algebra [1908.08395], and the quantum toroidal algebra of type $A_1$ was equipped with a deformed Drinfeld coproduct yielding a topological Hopf algebra structure [2006.14558]. This suggests that completed or topological coproducts are not an ad hoc feature of shifted theories but a natural continuation of toroidal coproduct technology. ## 6. Super, quiver, and geometric incarnations The shifted quantum toroidal superalgebra of type $\mathfrak{gl}_{1|1}$ shows that the shift can have direct combinatorial and spectral consequences. In the relevant level zero super Fock module, the natural annihilation operators are shifted modes such as $F_{2,-1}$ rather than zero modes, and the Hamiltonians are constructed as anti-commutators of supercharges with mode choices dictated by the shift. The super Macdonald polynomials are simultaneous eigenfunctions of the commuting Hamiltonians, but the paper emphasizes that the fermionic part does not enjoy the same $(q,t)\mapsto (q^{-1},t^{-1})$ symmetry as in the bosonic case; this asymmetry is attributed there to the shift [2605.16773]. Shifted quiver quantum toroidal algebras supply a different geometric incarnation. They act on $1$d and $2$d subcrystals obtained from $3$d BPS crystals by removing arrows from the quiver. Detailed constructions are given for $\mathbb C^3$, $\mathbb C^3/\mathbb Z_n$ with $n\ge2$, the conifold, the suspended pinch point, and $\mathbb C^3/(\mathbb Z_2\times \mathbb Z_2)$. The shift vector is determined by the altered vacuum charge function; explicitly, \[ r_i= (\#\text{ zeros of }\psi_\emptyset^{(i)}(z,u)) - (\#\text{ poles of }\psi_\emptyset^{(i)}(z,u)). \] The generalized coproduct then assembles higher-dimensional crystal modules from vector-type $1$d modules [2109.02045]. Shifted toroidal representations also appear in supersymmetric gauge theory through algebraic engineering. Shifted $\mathfrak{gl}_1$ intertwiners and representations are used to include $5$d hypermultiplets and $3$d chiral multiplets, while the shifted framework provides an algebraic interpretation of Higgsing and related brane transitions [2205.01309]. A plausible implication is that shifted quantum toroidal structures are best viewed not only as algebraic deformations but also as devices for encoding boundaries, defects, and truncated growth conditions in geometric and physical models. ## 7. Distinctions, misconceptions, and current directions A recurrent misconception is that every toroidal algebra with extra discrete data should be regarded as a shifted quantum toroidal algebra in the same sense. The orbifold algebras attached to $S^1\times \mathbb C^2/\mathbb Z_p$ and parameters $(\nu_1,\nu_2)$ provide a counterexample: they are described as deformations of quantum toroidal $\mathfrak{gl}_p$ with a non-symmetrizable generalized Cartan matrix, and the paper states explicitly that for general $(\nu_1,\nu_2)$ they are not a simple shift of the kind appearing in shifted toroidal algebras [1906.01625]. A second misconception is that the shift is implemented uniformly across all constructions. The literature instead exhibits several distinct mechanisms: truncation of Cartan mode ranges in shifted $\mathfrak{gl}_1$, support displacement in the $X_i^+$–$X_j^-$ commutator for $\mathcal A_{M,N}$, explicit powers $z^{r_i}$ in the super and quiver Cartan currents, and half-integral relabeling of gluing-current indices for odd shifts in certain $\mathfrak{gl}_2$ realizations [2205.01309] [2512.21750] [2605.16773] [2511.12178]. A third point concerns Hopf structures. Some settings admit full or formal Hopf data, such as shifted quiver quantum toroidal algebras and several unshifted toroidal models, whereas for $\mathcal A_{M,N}$ the coproduct remains conjectural and the module theory is restricted to “admissible” representations because some commutator relations involve infinite sums through fusion [2109.02045] [2512.21750]. This is not a deficiency of a single presentation so much as a sign that shifted toroidal algebras sit at the boundary between algebraic and topological tensor structures. Current directions are therefore shaped by structural questions rather than by the mere existence of examples. The $\mathcal A_{M,N}$ program explicitly points toward PBW-type properties, graded characters, categorification, and geometric realizations via quivers or sheaf-theoretic constructions [2512.21750]. The shifted $\mathfrak{gl}_2$ affinization program isolates dominant-shift representation families and links even positive shifts to extensions of deformed $W$-algebras of type $\mathfrak{gl}(N+2|1)$ [2511.12178]. The cumulative picture is that shifted quantum toroidal algebra is not a single object but a research area organized around a shared principle: toroidal current algebras remain tractable, and often highly explicit, after integral shift data are incorporated into their defining current geometry. Source: https://www.emergentmind.com/topics/shifted-quantum-toroidal-algebra