Representations of shifted twisted quantum affine algebras

Abstract: In this paper, we introduce and study shifted twisted quantum affine algebras which provide a twisted counterpart of the theory of shifted quantum affine algebras. The shifted twisted quantum affine algebra $\U_q^{μ+,μ-}(\hgs)$ is obtained from the Drinfeld current presentation of twisted quantum loop algebras by shifting the Cartan--Drinfeld currents $φi^\pm(z)$ according to a coweight pair $(μ+,μ-)$. We prove that it admits a triangular decomposition and that, up to isomorphism, they depend only on the total shift $μ=μ+ + μ-$. For each shift $μ$, we define a category $\mathcal Oμ$ of representations of $\U_q^μ(\hgs) = \U_q^{0,μ}(\hgs)$ and prove a rationality theorem for the Cartan currents: on every weight space, the two currents $φi^+(z)$ and $φ_i^-(z)$ are expansions of the same rational operator-valued function, whose degree is prescribed by $α_i(μ)$. As a consequence, we classify the simple objects of $\mathcal Oμ$ by rational $\ell$-weights of the corresponding degrees. We then construct a deformed Drinfeld coproduct and use it to define a fusion product on the direct sum $\mathcal{O}^{sh}$ of the categories $\mathcal O_μ$. This fusion product is compatible with $q$-characters. We also classify finite-dimensional simple modules in $\mathcal{O}^{sh}$ in terms of dominant rational $\ell$-weights, with a separate treatment of type $A_{2n}^{(2)}$. Finally, we construct restriction representations relating representations of twisted quantum affine Borel algebras to representations of shifted twisted quantum affine algebras, and establish a $q$-characters formula for simple finite-dimensional representations of shifted twisted quantum affine algebras in terms of the $q$-characters of the corresponding simple representations of the twisted quantum affine Borel algebra $\U_q(\bs)$.

• The paper introduces a new framework for shifted twisted quantum affine algebras, combining shifts and twists to capture complex representation-theoretic phenomena.
• It establishes a triangular decomposition, classification of highest ℓ‑weight modules, and rationality of Cartan–Drinfeld currents on weight spaces.
• The work constructs a deformed Drinfeld coproduct enabling fusion products, linking finite-dimensional representations with applications in supersymmetric gauge theory and cluster algebras.

Representations of Shifted Twisted Quantum Affine Algebras: An Authoritative Summary

Introduction and Motivation

This paper develops the theory of representations for shifted twisted quantum affine algebras, an extension and fusion of the frameworks of shifted quantum affine algebras and their twisted counterparts. The motivation is rooted in recent advances in the study of quantized Coulomb branches of 3d $\mathcal{N}=4$ supersymmetric gauge theories and the realization that shifted quantum affine algebras provide a powerful algebraic structure for capturing subtle representation-theoretic and categorical phenomena. Twisted quantum affine algebras, arising from nontrivial Dynkin diagram automorphisms, encode further structural complexity relevant in applications to Hall algebras, quiver gauge theories, and cluster algebra theory.

The main object of interest, denoted $U_q^{\mu_+,\mu_-}()$, is obtained by introducing shifts to the Drinfeld current presentation of twisted quantum loop algebras, where the Cartan--Drinfeld currents $\phi_i^\pm(z)$ are modified according to coweight data $(\mu_+,\mu_-)$. The paper systematically builds the foundational algebraic and categorical structures required for representation theory in this new setting, focusing on triangular decompositions, rationality of currents, classification of simple modules, fusion products, and relations to Borel subalgebras.

Construction and Structural Properties

The shifted twisted quantum affine algebra $U_q^{\mu_+,\mu_-}()$ is defined as a modification of the Drinfeld presentation for twisted quantum loop algebras, with shifts encoded by coweights $\mu_+,\mu_-$ in the weight lattice. The construction ensures that, for each pair $(\mu_+,\mu_-)$ subject to a natural divisibility condition imposed by the Dynkin diagram automorphism, there exists a well-defined algebraic structure with the following features:

• Triangular decomposition: The algebra admits a triangular decomposition into positive, Cartan, and negative parts, mirroring the standard decomposition of quantum loop algebras but adapted to the shifted and twisted context.
• Isomorphism classes: Up to algebra isomorphism, $U_q^{\mu_+,\mu_-}()$ depends only on $\mu = \mu_+ + \mu_-$, allowing a streamlined notation and classification.
• Category $\mathcal O_\mu$: For each shift $U_q^{\mu_+,\mu_-}()$0, the category $U_q^{\mu_+,\mu_-}()$1 of representations is defined by weight-space decompositions, finite-dimensionality of weight spaces, and dominance with respect to the partial order of the weight lattice. This generalizes Hernandez's approach for the untwisted case.

Rationality, Classification, and Simple Modules

A central technical result establishes the rationality of the Cartan--Drinfeld currents on weight spaces: For any representation in $U_q^{\mu_+,\mu_-}()$2, the currents $U_q^{\mu_+,\mu_-}()$3 and $U_q^{\mu_+,\mu_-}()$4 are expansions at $U_q^{\mu_+,\mu_-}()$5 and $U_q^{\mu_+,\mu_-}()$6 of the same rational operator-valued function of degree prescribed by $U_q^{\mu_+,\mu_-}()$7. Consequently, all simple modules in $U_q^{\mu_+,\mu_-}()$8 are highest $U_q^{\mu_+,\mu_-}()$9-weight modules classified by rational $\phi_i^\pm(z)$0-weights of the corresponding degrees.

The classification theorem states that there is a bijection between simple objects in $\phi_i^\pm(z)$1 and tuples of rational $\phi_i^\pm(z)$2-weights $\phi_i^\pm(z)$3 with prescribed degrees. This is achieved via explicit construction and inductive arguments grounded in the rationality properties demonstrated for the Drinfeld currents.

Type $\phi_i^\pm(z)$4 is treated separately, exploiting structural embeddings of appropriate Borel subalgebras into shifted twisted quantum affine algebras and adapting the classification machinery to accommodate the exceptional behavior.

Fusion Products and Deformed Drinfeld Coproduct

The paper constructs a deformed Drinfeld coproduct, enabling the definition of a fusion product on the direct sum category $\phi_i^\pm(z)$5. The deformed coproduct is shown to be an algebra homomorphism, and its compatibility with $\phi_i^\pm(z)$6-characters is rigorously established: The $\phi_i^\pm(z)$7-character of the fusion product of two modules equals the product of their $\phi_i^\pm(z)$8-characters. This endows the Grothendieck group of $\phi_i^\pm(z)$9 with a ring structure and connects the representation theory of shifted twisted quantum affine algebras to categorical structures observed in the classic and shifted untwisted settings.

It is further shown that every simple module in $(\mu_+,\mu_-)$0 arises as a subquotient of a fusion product of prefundamental and constant representations, providing a universal generation mechanism for simple objects.

Finite-Dimensional Representations and Dominance

The existence of finite-dimensional simple modules in $(\mu_+,\mu_-)$1 is contingent upon dominance of the shift $(\mu_+,\mu_-)$2. Outside type $(\mu_+,\mu_-)$3, finite-dimensionality is characterized by the requirement that $(\mu_+,\mu_-)$4 be dominant and the highest $(\mu_+,\mu_-)$5-weight be dominant in the shifted twisted sense. In type $(\mu_+,\mu_-)$6, the argument leverages properties of roots and poles in rational functions associated with $(\mu_+,\mu_-)$7-weights, following the extended Nakajima partial ordering framework.

Explicit numerical invariants and criteria, such as degrees of rational functions and dominance conditions, are provided, paralleling results for ordinary twisted and untwisted quantum affine algebras.

Restriction Representations and $(\mu_+,\mu_-)$8-Character Relations

The paper develops restriction representations relating modules over twisted quantum affine Borel algebras to shifted twisted quantum affine algebras. Given a module in the twisted Borel category, subspaces are constructed based on degree conditions for the Cartan-Drinfeld currents, with new operators defined via rational continuation. Verification of defining relations via truncated Serre and current relations ensures the construction respects the algebraic structure.

A key result is an explicit $(\mu_+,\mu_-)$9-character formula for simple finite-dimensional representations of shifted twisted quantum affine algebras in terms of the $U_q^{\mu_+,\mu_-}()$0-characters of corresponding simple twisted quantum affine Borel algebra representations: $U_q^{\mu_+,\mu_-}()$1 where $U_q^{\mu_+,\mu_-}()$2 are $U_q^{\mu_+,\mu_-}()$3-character factors associated with positive prefundamental representations.

Implications and Future Directions

The theoretical framework established offers broad implications:

• Categorical and geometric representation theory: The results provide a refined toolkit for studying quantized Coulomb branches, Hall algebras, and cluster algebras in contexts where diagram automorphisms and shifting phenomena play a role.
• Computational applications: Explicit classification, rationality criteria, and $U_q^{\mu_+,\mu_-}()$4-character formulas facilitate algorithmic computations of character tables, tensor product decompositions, and module constructions.
• Connections to supersymmetric gauge theory: The algebraic structures correspond to quantizations of Coulomb branch varieties, suggesting further developments in physical and geometric representation theory.
• Extension to more general types and settings: The methodology is adaptable to other classes of quantum algebras, possibly with additional twists, shifts, or deformations.

Future research will likely explore categorical actions, deepen categorical dualities, and investigate connections with cluster algebras and quantum integrable systems, as well as extend the theory to superalgebraic and multi-parameter cases.

Conclusion

This paper rigorously constructs the theory of representations for shifted twisted quantum affine algebras, articulating their structural, categorical, and computational properties. It provides a comprehensive classification of simple modules, constructs fusion products, and elucidates the interplay between shifted and twisted phenomena. The results unify several strands of advanced representation theory and open avenues for further investigation in algebra, geometry, and mathematical physics.