2015/12/31 by Mikhail Bershtein, Alexander Tsymbaliuk · 1 citation
Mathematics · #math.RT
paper · pdf · doi:10.1016/j.jpaa.2018.05.003
published as J. Pure Appl. Algebra 223 (2019), no. 2, 867-899 · v2: 30 pages, significant modifications from the previous version, minor mistakes corrected. v3: Published version, 30 pages, minor corrections, some details added
arxiv created 2018/06/18 · arxiv updated 2018/09/10
This paper concerns the relation between the quantum toroidal algebras and the affine Yangians of \mathfraksln, denoted by U(n)q1,q2,q3 and Y(n)h1,h2,h3, respectively. Our motivation arises from the milestone work of Gautam and Toledano Laredo, where a similar relation between the quantum loop algebra Uq(L \mathfrakg) and the Yangian Yh(\mathfrakg) has been established by constructing an isomorphism of ℂ[[ℏ]]-algebras Φ:\widehatUexp(ℏ)(L\mathfrakg)→ \widehatY_ℏ(\mathfrakg) (with \widehat standing for the appropriate completions). These two completions model the behavior of the algebras in the formal neighborhood of h=0. The same construction can be applied to the toroidal setting with qi=exp(ℏi) for i=1,2,3. In the current paper, we are interested in the more general relation: q1=ωmneh1/m, q2=eh2/m, q3=ωmn-1eh3/m, where m,n∈ ℕ and ωmn is an mn-th root of 1. Assuming ωmnm is a primitive n-th root of unity, we construct a homomorphism Φ^ωmnm,n from the completion of the formal version of U(m)q1,q2,q3 to the completion of the formal version of Y(mn)h1/mn,h2/mn,h3/mn. We propose two proofs of this result: (1) by constructing the compatible isomorphism between the faithful representations of the algebras; (2) by combining the direct verification of Gautam and Toledano Laredo for the classical setting with the shuffle approach.