Automorphisms of quantum toroidal algebras from an action of the extended double affine braid group

Duncan Laurie
2024-03-15
Abstract:We first construct an action of the extended double affine braid group $\mathcal{\ddot{B}}$ on the quantum toroidal algebra $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ in untwisted and twisted types. As a crucial step in the proof, we obtain a finite Drinfeld new style presentation for a broad class of quantum affinizations. In the simply laced cases, using our action and certain involutions of $\mathcal{\ddot{B}}$ we produce automorphisms and anti-involutions of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ which exchange the horizontal and vertical subalgebras. Moreover, they switch the central elements $C$ and $k_{0}^{a_{0}}\dots k_{n}^{a_{n}}$ up to inverse. This can be viewed as the analogue, for these quantum toroidal algebras, of the duality for double affine braid groups used by Cherednik to realise the difference Fourier transform in his celebrated proof of the Macdonald evaluation conjectures. Our work generalises existing results in type $A$ due to Miki which have been instrumental in the study of the structure and representation theory of $U_{q}(\mathfrak{sl}_{n+1,\mathrm{tor}})$.
Quantum Algebra,Rings and Algebras,Representation Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct the automorphisms and anti - automorphisms of the quantum torus algebra \(U_q(\mathfrak{g}_{\text{tor}})\). These automorphisms and anti - automorphisms can exchange the horizontal subalgebra and the vertical subalgebra, and in the simply - laced case, switch the central elements \(C\) and \(k_{a_0}^{0}\cdots k_{a_n}^{n}\) (up to inverses). Specifically: 1. **Construction of the action**: First, the author constructs the action of the extended double - affine braid group \(\ddot{B}\) on the quantum torus algebra \(U_q(\mathfrak{g}_{\text{tor}})\). This is achieved by obtaining a new type of Drinfeld presentation for a large class of quantum affine algebras, which involves only finitely many generators and relations. 2. **Automorphisms and anti - automorphisms**: Using the above - mentioned action, in the simply - laced case, the author obtains automorphisms and anti - automorphisms that can exchange the horizontal subalgebra and the vertical subalgebra. Moreover, these automorphisms and anti - automorphisms can also switch the central elements \(C\) and \(k_{a_0}^{0}\cdots k_{a_n}^{n}\) (up to inverses). 3. **Generalization of existing results**: This work generalizes Miki's results in type \(A_n^{(1)}\), which are very important for studying the structure and representation theory of \(U_q(\mathfrak{sl}_{n + 1,\text{tor}})\). 4. **Future applications**: The author anticipates that these automorphisms and anti - automorphisms will be helpful for studying the representation theory of other types of quantum torus algebras \(U_q(\mathfrak{g}_{\text{tor}})\). For example, by conjugating the Drinfeld topological coproduct, a good tensor product can be defined on these modules, and the vertex representation can be twisted into the classification, thus being related to Nakajima's geometric representation. ### Formula summary - **Exchange of central elements**: \[ C\leftrightarrow(k_{a_0}^{0}\cdots k_{a_n}^{n})^{-1} \] - **New Drinfeld presentation**: The author proves a simplified new Drinfeld presentation for a large class of quantum affine algebras, involving finitely many generators and relations. This includes all types of quantum torus algebras \(U_q(\mathfrak{g}_{\text{tor}})\), except \(A_1^{(1)}\) and \(A_2^{(2)}\), as well as all non - twisted quantum affine algebras \(U_q(\hat{\mathfrak{g}})\). ### Conclusion By constructing the action of the extended double - affine braid group \(\ddot{B}\) on the quantum torus algebra \(U_q(\mathfrak{g}_{\text{tor}})\), the author successfully obtains automorphisms and anti - automorphisms that can exchange the horizontal subalgebra and the vertical subalgebra. These results not only generalize the existing results but also provide an important tool for future research on the representation theory of other types of quantum torus algebras.