Arxiv:1808.02294V4 [Math.QA]

arXiv:1808.02294v4 [math.QA] 27 Jul 2020 ned h em module Verma the Indeed, ihs egtvcos h uteto hc sioopi to isomorphic is which of quotient the vectors, weight highest Here sabpout eoti he-emiette nteGrothendiec the in identities three-term of obtain BGG we category byproduct, a As n the and 1 [ (1) ftectgr G of BGG category the of mi:haegzagui-il.r. [email protected] Email: in o h Yangian the for tions bet are objects t rtedekrn scmuaietak oahgetwih class Theory. weight Lie highest in a phenomenon to common thanks a commutative objects, is irreducible ring Grothendieck its iesoa em module Verma dimensional enti–efn–efn BGfrsot ihu nerblt a integrability Category without short) for (BGG Bernstein–Gelfand–Gelfand distevco ersnainon representation vector the admits atri ofagbanihrcmuaienrc-omttv,a co-commutative, nor of commutative algebra enveloping neither universal algebra the Hopf a is latter ope ubr h nvra neoigagbao h urn a current the of algebra enveloping universal The number. complex sac-omttv ofagba a edfre othe to deformed be can algebra, Hopf co-commutative a as u anrsl fti ae,Term1,dsrbssimilar describes 19, Theorem paper, this of result main Our nv il,CR,UR82 aoaor alPainlevé, F- Paul Laboratoire - 8524 UMR CNRS, Lille, Univ. sapooye osdrteLealgebra Lie the consider prototype, a As Fix nti ae eaeitrse nacategory a in interested are we paper this In ,x y x, k, • • g h w-iesoa module two-dimensional the h em modules Verma the M Abstract. ahmtc ujc Classification Subject Mathematics Yangians. shifted al anti-dominantly Keywords over can modules construction in asympt limit sulting the Hernandez–Jimbo’s for relations that Grothen TQ indicate Baxter’s the fi three-term In of the family tablish modules. a Kirillov–Reshetikhin of the continuation a modules, analytic Lie as simple modules complex finite-dimensional asymptotic arbitrary an to ated ob nt-iesoa ope ipeLeagba and algebra, Lie simple complex finite-dimensional a be to O x ± r ope numbers, complex are Y otisalfiiedmninlmdls ti bla n oodl and monoidal, and abelian is it modules, finite-dimensional all contains 1 ~ ( nteYninstainaetno rdcso smttcmodules asymptotic of products tensor are situation Yangian the in AGASADBXE’ RELATIONS BAXTER’S AND YANGIANS g -oue hc,vee as viewed which, )-modules g agas smttcrpeettos esrproducts. tensor representations, asymptotic Yangians, : esuyacategory a study We mdls hc ntecase the in which -modules, Y C ~ 2 sl ( g ][ 2 .Nml,w n aga nlg of: analogs Yangian find we Namely, ). M mdlsoehas one -modules M M

x x [ = ] x +1 the fhgetweight highest of UFN ZHANG HUAFENG Introduction i sebde ntetno product tensor the in embedded is M saDni oeo h neligLealgebra Lie underlying the of node Dynkin a is smttcmodules asymptotic g x C

O sasub-Hopf-algebra. a as +1 2 frpeettoso h aga associ- Yangian the of representations of h modules the [ + ] ymti utpiain n h infinite- the and multiplication, matrix by 1 73,1B0 17B80. 17B10, 17B37, : sl M g 2 mdls eogt h aeoyof category the to belong -modules, x ftaeestob-w arcs It matrices. two-by-two traceless of g − O 1 = ] x frpeettosof representations of sl ∈ ∀ M 2 x C euet qain(1). Equation to reduce L k,x ( nteGohnic ring Grothendieck the In . ∈ 90 il,France Lille, 59000 i ) ( C nEuto (24). Equation in Ψ Ψ ob ple,re- applied, be so obtain We lgebra. tcmdls We modules. otic ic igw es- we ring dieck . nite-dimensional i,x i,y Yangian M nDfiiin16; Definition in ) x three-term − lgebra 1 smto [31]. ssumption . di contains it nd igo the of ring k C ~ Y 2 fiainof ification non-zero a ~ Y ⊗ g ( ~ g ⊗ ( M .The ). g C .Its ). x rela- C via [ t g ], . , 2 HUAFENG ZHANG

Besides, we derive three-term relations for the quantum affine algebra Uq(g) where q is a generic complex number. The required asymptotic modules were con- ˆ structed earlier in [42], and they belong to a category of Uq(g)-modules introducedb in [26] and further studied in [35]. O b One of our motivations behind these relations lies in the spectral problem of exactly solvable models. For such a model, it is essential to determine the common spectra of a family T (z), with a complex parameter z, of commuting endomorphisms of a vector space. An important idea of R. Baxter [1] is to construct auxiliary endomorphisms Q(z) that mutually commute with the T (z) and obey a functional relation, the Baxter’s TQ relation: (2) T (z)Q(z)= f(z)Q(z + ~)+ g(z)Q(z ~) − for certain scalar functions f(z) and g(z). Consider the Heisenberg spin chain as an example. The T (z) and Q(z) are polynomials in z, so that the eigenvalues of n Q(z) have the form (z zi). Under genericity assumption on the roots, by i=1 − inserting z = zi in the TQ relation we obtain the Bethe Ansatz Equations Q zi zj + ~ g(zi) − = , 1 i n. zi zj ~ f(zi) ≤ ≤ j j i Y: 6= − − Eigenvalues of T (z) are expressed in terms of the roots zi based on the TQ relation. After the pioneer works of Bazhanov–Lukyanov–Zamolodchikov [4, 5], the recent work of Frenkel–Hernandez [17] gave a representation-theoretic interpretation of Baxter’s TQ relation. One starts from a quantum affine algebra Uq(g) with a fixed representation V , referred to as quantum space. Hernandez–Jimbo [27] introduceda category of representations of the upper Borel subalgebra whose Grothendieck OHJ b ring K0( HJ) is commutative. The standard transfer matrix construction based on the universalO R-matrix endows V with an action of K ( ). 0 OHJ This already recovers the well-known six-vertex model. The Lie algebra g is sl2. × 2 For a C , one has a two-dimensional irreducible representation C of Uq(sl ) ∈ a 2 (coming from Jimbo’s evaluation map Uq(sl2) Uq(sl2)) and the so-called pos- + −→ itive prefundamental module La over the upper Borel subalgebra. The transferc 2 + matrix of Ca gives T (za), while that of La cgives Q(za). Baxter’s TQ relation is a consequence of the following identity in K ( ): 0 OHJ 2 + + + × [C ][L ] = [Cq][L −2 ] + [C −1 ][L 2 ] a C . a a aq q aq ∀ ∈ Here Cq and Cq−1 are one-dimensional weight modules in category HJ. Their transfer matrices are scalar products by f(z) and g(z) in the TQ relation.O For higher rank Lie algebras, various three-term identities in K0( HJ) have been established [11, 18, 28], the right-hand side of which is a sum of twoO monomials in the prefundamental modules. This leads to a proof of Bethe Ansatz Equations for the quantum integrable system attached to Uq(g). Let us return to Heisenberg spin chain. The quantum group in question is the Yangian Y~(gl2). One does not have Borel subalgebrasb to define category HJ. Indeed, from the viewpoint of Yangian double [33], the Yangian itself is a BorelO ± subalgebra. Still there are prefundamental modules La over the degenerate Yangian [2, 3]. 1 Baxter’s TQ relation (2) comes from a similar identity 2 + + ′ + (3) [C ][L ] = [θa][L ] + [θ ][L ] a C, a a a+~ a a−~ ∀ ∈

1 The Yangian Y~(gl2) has the R-matrix realization. Its generators are encoded in a square matrix T (z) whose entries are power series of z−1 with initial condition that T (∞) is the identity matrix. Dropping the initial condition, one obtains the degenerate Yangian. YANGIANS AND BAXTER’S RELATIONS 3

2 where Ca is a two-dimensional irreducible module over Y~(gl2) indexed by a C, ′ ∈ and θa and θa are one-dimensional modules over the degenerate Yangian.

Equations (1) and (3) bear strong resemblance. In this paper we argue that the prefundamental modules over degenerate Yangian can be replaced by the asymptotic modules over the ordinary Yangian. One main reason is that the right-hand side of the three-term identity in Theorem 19 is a sum of two monomials in asymptotic modules. This should eventually lead to Bethe Ansatz Equations for quantum integrable system attached to Y~(g), upon identification of the Q-operators with transfer matrices of asymptotic modules. See [14, Appendix A] for the sl2 case. We give a few comments on the asymptotic modules of Yangians. Let I be the set of Dynkin nodes of g. It is a classical result of V. Drinfeld [10] that finite-dimensional irreducible Y~(g)-modules are parametrized by I-tuples of rational functions of u satisfying a polynomiality property. For (i,k,x) I Z>0 C one has the Kirillov–Reshetikhin module [32] corresponding to the I-tuple∈ × × u + kd ~ + x~ (1, , 1, i , 1, , 1) ··· u + x~ ··· with the non-trivial function at the i-th position. The asymptotic module L ( Ψi,y ) Ψi,x for y C is an analytic continuation of these modules: as the integer k goes to ∈ infinity, one replaces kdi with y x. This is inspired by earlier limit construction for quantum affine algebras [27]− where q−k specializes to 0 as k goes to infinity. Our approach has the advantage that all representations are defined over the full quantum group. It was initiated in a joint work with G. Felder [14] and further developed in [44] for elliptic quantum groups of type A. The essential part of the proof of Baxter’s TQ relation in [44] is a short exact sequence of tensor products of Kirillov–Reshetikhin modules and a Demazure-like module. Such exact sequence exists for Yangians [16]. When the underlying Lie algebra g is simply laced, the proof of [44] is readily adapted to Yangians. While for g non simply laced, a tensor product factorization of this Demazure-like module is necessary; see Remark 21. 2 Additionally, we apply Hernandez–Jimbo’s limit procedure [27] to obtain prefundamental modules over the so-called shifted Yangians introduced in [6] (roughly speaking one replaces the R-matrix realization in Footnote 1 by the Drinfeld current realization). Our negative prefundamental modules have the same q-characters as those in [27], yet strangely the positive ones are always one-dimensional. We expect the asymptotic modules as well as their three-term relations to exist for elliptic quantum groups outside of type A [13, 22, 41], one of the main technical difficulties being the lack of coproduct. As an intermediate step, it is interesting to study quantum toroidal algebras and affine Yangians whose Drinfeld–Jimbo type coproduct has been partly established [23, 30]. This paper is structured as follows. In Section 1 we define the category of O Y~(g)-modules and study its basic properties. Section 2 deduces some combinatorial properties of Kirillov–Reshetikhin modules from those in the case of quantum affine algebras via the functor of Gautam–Toledano Laredo. In Section 3 we construct asymptotic modules and prove the three-term identities. In Section 4 we define prefundamental modules over shifted Yangians. In the appendix we provide the three-term identities for quantum affine algebras.

Acknowledgments. The author thanks Giovanni Felder, David Hernandez, Nico- lai Reshetikhin and Marc Rosso for helpful discussions.

2Readers interested in the simply-laced case can ignore Proposition 6, Corollary 7, and the key technical result Corollary 18, as the tensor product factorization of Remark 21 is trivial. 4 HUAFENG ZHANG

1. Preliminaries We collect basic facts on Yangians and their representations. All vector spaces are over C. Recall that g is ﬁxed to be a ﬁnite-dimensional simple Lie algebra. Let h be the Cartan subalgebra of g, and I := 1, 2, , r the set of Dynkin ∗ { ··· } nodes. The dual space h admits a basis of simple roots (αi)i∈I and a non-degenerate symmetric bilinear form (, ): h∗ h∗ C. For i, j I set × −→ ∈ 2(αi, αj ) (αi, αj ) cij := Z, dij := , di := dii. (αi, αi) ∈ 2

After normalization di 1, 2, 3 and their greatest common divisor is 1. (If g is ∈ { } ∗ simply laced, then di = 1 for all i.) Let Q := i∈I Zαi h be the root lattice ⊕ ⊂ ∗ and set Q := i I Z αi. Define the fundamental weights ̟i h for i I by − ⊕ ∈ ≤0 ∈ ∈ the equations (αi,̟j ) = diδij . Define the height function h : Q Z to be the −→ abelian group morphism sending each αi to 1. ± ~ Z The Yangian Y (g) is an algebra generated by elements xi,n, ξi,n i∈I,n∈ ≥0 subject to the following relations for i, j I and m,n Z : { } ∈ ∈ ≥0 ± ± + − (4) [ξi,m, ξj,n]=0, [ξi, , x ]= 2dij x , [x , x ]= δij ξi,m n, 0 j,n ± j,n i,m j,n + ± ± ± ± (5) [ξi,m , x ] [ξi,m, x ]= dij ~(ξi,mx + x ξi,m), +1 j,n − j,n+1 ± j,n j,n ± ± ± ± ± ± ± ± (6) [x , x ] [x , x ]= dij ~(x x + x x ), i,m+1 j,n − i,m j,n+1 ± i,m j,n j,n i,m (7) ad1−cij (x± ) = 0 if i = j. x± j,n i,0 6 −1 Here adx(y) := xy yx. Define the generating series in u for i I: − ∈ ∞ ∞ ± ± −n−1 −n−1 (8) xi (u) := ~ xi,nu , ξi(u) := 1 + ~ ξi,nu . n=0 n=0 X X Algebra Y~(g) is Q-graded (weight grading): the elements ξi,n are of weight 0, ± while the x are of weight αi respectively. For β Q let Y~(g)β denote the i,n ± ∈ subspace of elements in Y~(g) of weight β. By Relation (4) an element x Y~(g) is ∈ of weight β if and only if [ξi,0, x] = (αi,β)x for all i I. + − ∈ + − Let Y~ (g), Y~ (g) be the subalgebras of Y~(g) generated by the xi,n, xi,n respec- 0 tively. Let Y~ (g) be the commutative subalgebra of Y~(g) generated by the ξi,n. − 0 + We have the triangular decomposition Y~ (g)Y~ (g)Y~ (g)= Y~(g). ± The subalgebra generated by the x , ξi, for i I is isomorphic to the envelop- i,0 0 ∈ ing algebra U(g) of g, Relations (4) and (7) for m = n = 0 identified with the Serre presentation. Y~(g) admits a co-multiplication ∆ : Y~(g) Y~(g)⊗2 extending −→ ± that on the enveloping algebra: ∆(x)=1 x + x 1 for x x , ξi, . ⊗ ⊗ ∈{ i,0 0} Lemma 1. [34] For i I we have (summations run over β Q): ∈ ∈ + + + −1 ∆(x (u)) x (u) 1 ξi(u) x (u) Y~(g)α β Y~(g)β[[u ]], i − i ⊗ − ⊗ i ∈ i− ⊗ h(Xβ)≥2 − − − −1 ∆(x (u)) 1 x (u) x (u) ξi(u) Y~(g) β Y~(g)β α [[u ]], i − ⊗ i − i ⊗ ∈ − ⊗ − i h(Xβ)≥2 −1 ∆(ξi(u)) ξi(u) ξi(u) Y~(g) β Y~(g)β[[u ]]. − ⊗ ∈ − ⊗ h(Xβ)≥1 Remark 2. Let V and W be Y~(g)-modules. Suppose ω W is annihilated by all + − ∈ 0 the xi (u). By triangular decomposition, Y~(g)ω = Y~ (g)Y~ (g)ω, so Y~(g)βω =0 whenever h(β) > 0. In the tensor product module V W , the subspace V ω is annihilated by the extra summations of Lemma 1. ⊗ ⊗ YANGIANS AND BAXTER’S RELATIONS 5

Let V be a Y~(g)-module. For β h∗, the following subspace, if non-zero, is called a weight space (and β a weight∈ of V ):

Vβ := v V ξi, v = (αi,β)v for i I . { ∈ | 0 ∈ } ∗ We have Y~(g)αVβ Vα β for α Q. Let wt(V ) h be the set of weights of V . ⊆ + ∈ ⊆ Definition 3. is a full subcategory of the category of Y~(g)-modules. An object O of is a Y~(g)-module V subject to the following conditions: O (O1) it is a direct sum of finite-dimensional weight spaces; ∗ n (O2) there exist λ , λ , , λn h such that wt(V ) (λj + Q ). 1 2 ··· ∈ ⊆ ∪j=1 − Every finite-dimensional Y~(g)-module is in category , its weight grading guar- anteed by the g-module structure. Category is abelianO and equipped with a O monoidal structure by the co-multiplication of Y~(g). We need a refinement of weights based on spectral decomposition of the action of 0 −1 −1 I the commutative subalgebra Y~ (g). Introduce the group L := (1+u C[[u ]]) of I-tuple of Laurent series in u−1 with component-wise multiplication. Its elements are written typically as d, e, f etc. For such an element e and for (i,n) I Z≥0, −1 ∈ × let ei(u) C((u )) denote the i-th component of e, and ei,n C the coefficient −n−1 ∈ −1 −n−1 ∈ of u in ~ ei(u). So ei(u)=1+ ~ n≥0 ei,nu . The following map, called weight projection, is an abelian group morphism: P ∗ ei,0 ̟ : L h , e ̟i. −→ 7→ di i I X∈ Let V be a Y~(g)-module. For e L , the following subspace, if non-zero, is called an ℓ-weight space (and e an ℓ-weight∈ of V ) m Ve := v V (i,n) I Z m Z> such that (ξi,n ei,n) v =0 . { ∈ | ∀ ∈ × ≥0 ∃ ∈ 0 − } Let wtℓ(V ) L denote the set of ℓ-weights of V . A non-zero⊆ vector v V is called a highest ℓ-weight vector if it is a common ∈ + eigenvector of the ξi,n and is annihilated by the xi,n. If furthermore V = Y~(g)v, then V is called a highest ℓ-weight module. In this situation, by Remark 2, v belongs to a one-dimensional ℓ-weight space Vd which is also the weight space V̟(d) (call d the highest ℓ-weight of V ), and we have wt(V )= ̟(d)+ Q−. The tensor product of two highest ℓ-weight vectors is a highest ℓ-weight vector. If V is in category , then each weight space Vβ is a direct sum of the Ve where O e wtℓ(V ) and ̟(e)= β. Following H. Knight [34], define its q-character by ∈ χq(V ) := dim(Ve)e ℓ. e ∈E ∈wtXℓ(V ) The target ℓ is the set of formal sums e nee of the symbols e with integer E ∈L coefficients ne subject to the following conditions [27, 3.4] P § (E1) for each β h∗ the set e L ne =0, ̟(e)= β is finite; ∈ { ∈ ∗ | 6 m} (E2) there exist λ , λ , , λm h such that ̟(e) (λj + Q ) if ne = 0. 1 2 ··· ∈ ∈ ∪j=1 − 6 It is a ring: addition is the usual one of formal sums; multiplication is induced by that of L . (One views ℓ as a completion of the group ring Z[L ].) E Remark 4. To x C one attaches a Hopf algebra automorphism: ∈ ± ± (9) τx : Y~(g) Y~(g), x (u) x (u + x~), ξi(u) ξi(u + x~) −→ i 7→ i 7→ called spectral parameter shift. The pullback of a module V by τa is another module whose q-character is obtained from χq(V ) by replacing each of the ℓ-weights (ei(u))i∈I of V with (ei(u + x~))i∈I . 6 HUAFENG ZHANG

Deﬁne R′ to be the subset of L whose elements are highest ℓ-weights of highest ℓ-weight modules in category . For d R′, there exists a unique (up to isomorphism) irreducible module inO category ∈ of highest ℓ-weight d, denoted by L(d). Based on the triangular decomposition,O the L(d) for d R′ form the set of (mutually non-isomorphic) irreducible modules in category .∈ Let us view L as a subgroup of the monoid C((u−1))I .O For (i, x) I C, the following three invertible elements of C((u−1))I will play a crucial role:∈ ×

(10) Ψi,x := (1, , 1,u + x~, 1, , 1) prefundamental weight, ··· ··· i−1 r−i

Ψj,x+dij (11) Ai,x := | {z } generalized| {z } simple root, Ψj,x d j I − ij Y∈ Ψ 1 i,x+ 2 di (12) Yi,x := fundamental loop weight. Ψ 1 i,x− 2 di The ratios Ψi,x for (i,x,y) I C2 belong to L and they generate a subgroup, Ψi,y ∈ × denoted by R. Equivalently, an element e L belongs to R if and only if each of ∈ the ei(u) is the Taylor expansion around u = of a rational function. ∞ Lemma 5. Fix d R′. Take a highest ℓ-weight vector ω from L(d). ∈ s s−1 (a) We have d R. Fix i I and let u + c u + + cs u + cs be the ∈ ∈ 1 ··· −1 denominator of the rational function di(u). s s−1 − (b) The L(d)-valued Laurent series (u + c u + + cs u + cs)x (u)ω is 1 ··· −1 i a polynomial in u of degree s 1 with leading term ~x− ωus−1. − i,0 − In the special case di(u)=1, we have s =0 and xi (u)ω =0.

Proof. The finite-dimensional weight space L(d)̟(d)−αi being spanned by infinitely − many vectors x ω for n Z , one finds a , ,am C such that i,n ∈ ≥0 1 ··· ∈ − − − − x ω + a x ω + + am x ω + amx ω =0. i,m 1 i,m−1 ··· −1 i,1 i,0 + Applying the xi,n to this identity, from Relation (4) we obtain that the Laurent m m−1 −1 series (u + a u + + am u + am)di(u) in u is a monic polynomial in u 1 ··· −1 of degree m, so di(u) is a ratio of two monic polynomials of the same degree. This proves part (a). For part (b), one checks that for n Z the vector ∈ ≥0 − − − − x ω + c x ω + + cs x ω + csx ω L(d) d i,n+s 1 i,n+s−1 ··· −1 i,n+1 i,n ∈ ̟( )−αi + is annihilated by all the xj (u) and must be zero because of irreducibility. We shall see in Theorem 17 that R = R′.

Proposition 6. Fix j I. Let V be in category and e, f wtℓ(V ). Consider ∈ O ∈ the projection prf : V Vf with respect to the ℓ-weight space decomposition. If + −→ prf (x Ve) =0 for certain n Z , then f = Aj,xe for a unique x C. j,n 6 ∈ ≥0 ∈ Proof. We follow the proof of [35, Proposition 3.8]. Choose ordered bases (vk)1≤k≤s and (wl) l t of Ve and Vf respectively such that for i I: 1≤ ≤ ∈ the series ξi(u)vk is ei(u)vk plus a sum of the vl for 1 l < k; • ≤ the series ξi(u)wk is fi(u)wk plus a sum of the wl for k

Let Z be the subspace of Vf spanned by the wl for L

Since χ respects exact sequences, the assignment [V ] χ (V ) extends uniquely q 7→ q to a group homomorphism χ : K ( ) ℓ, called the q-character map. q 0 O −→ E Theorem 8. [34] The q-character map is an injective homomorphism of rings. We conclude as in [27, Remark 3.13] that K ( ) is a commutative ring. 0 O Example 9. Take g = sl2, so that I = 1 and c11 =2=2d1. For k, x C, there x+k {∞} ∈ is a representation L of Y~(sl ) on Cvi deﬁned by [7, Proposition 2.6]: x 2 ⊕i=0 + n n − n n x vi = ( x +1 i) ~ vi , x vi = ( x i) ~ (i + 1)(k i)vi , 1,n − − −1 1,n − − − +1 (u + (x 1)~)(u + (x + k)~) ξ (u)v = − v . 1 i (u + (x + i 1)~)(u + (x + i)~) i − L x+k Ψ1,x+k L x It is in category with q-character χq( x )= χq( x ) and O Ψ1,x χ (L x)=1+ A−1 + A−1 A−1 + A−1 A−1 A−1 + . q x 1,x 1,x 1,x+1 1,x 1,x+1 1,x+2 ··· k+1 Ψ1,x+k If k Z≥0, then v0, v1, , vk span a submodule Cx = L( ). Comparing ∈ ··· ∼ Ψ1,x q-characters gives [C2 ][L x] = [L x+1] + [L x−1] for y C. Restricted to sl this is x y y y ∈ 2 C2 C2 L x Equation (1). Indeed, x ∼= , and y is the graded dual of the Verma module Mx−y twisted by Cartan involution so that their isomorphism classes coincide.

2. Kirillov–Reshetikhin modules In this section we study two families of finite-dimensional irreducible modules and their q-character properties. For (i,k,x) I Z C define ∈ × ≥0 × (i) Ψi,x+kdi w 1 3 1 (13) k,x := Yi,x+ di Yi,x+ di Yi,x+(k− )di = +. 2 2 ··· 2 Ψi,x ∈P (i) (i) The finite-dimensional irreducible module L(wk,x) is denoted by Wk,x and called Kirillov–Reshetikhin module [32], KR module for short. Let − be the submonoid of generated by the A−1 for j I and w x+ 1 Z. Qx Q− j,w ∈ ∈ 2 Theorem 10. [25, 37] Let (i, x) I C. For k Z> and 0 l < k: ∈ × ∈ 0 ≤ w(i) −1 −1 −1 (i) (a) k,xAi,x Ai,x+di Ai,x+ldi is an ℓ-weight of Wk,x of multiplicity one; ···(i) (i) (b) any ℓ-weight of Wk,x different from (a) and from wk,x must be of the form ′ (i) −1 −1 − ′ (ii ) w A A ′ e where e , i I i , and z belongs to the subset Z k,x i,x i ,z ∈Qx ∈ \{ } k,x of x + 3 , 1, 1 , 0, 1 defined at the second column of the table: {− 2 − − 2 2 } ′ ′ (ii ) conditions on (i , k) the set Zk,x cii′ =0 ∅ cii′ = 1 or k =1 x dii′ (14) − { − } cii′ = 2 and k> 1 x 1, x − { −3 }1 ′ cii = 3 and k =2 x 2 , x 2 − { 3− 1− } 1 cii′ = 3 and k> 2 x , x , x + − { − 2 − 2 2 } As k tends to infinity, χ (W (i) ) converges to a power series of the A−1 −. q k,x j,w ∈Qx This is a translation of q-character property of KR modules over the quantum f πι~ affine algebra Uq(g) due to H. Nakajima [37] and D. Hernandez [25]. Here q = e and ~ / Q. The irrationality assumption is inessential for Yangians since the Hopf ∈ × algebras Y~(g) andb Y1(g) are isomorphic for all ~ C . One applies the inverse functor of Gautam–Toledano Laredo [21, 6], which∈ sends finite-dimensional irre- § ducible Uq(g)-modules to irreducible Y~(g)-modules, and matches the q-character maps of Frenkel–Reshetikhin [20] and H. Knight [34]. Let i,a, i,a denote the Y A b YANGIANS AND BAXTER’S RELATIONS 9 monomials Yi,a, Ai,a for Uq(g) in [25, 2.3.1]. At the level of q-characters, the ring § morphism e of [21, 7.7] is determined by: 3 Π § b (15) e (Yi,a)= −2a , e (Ai,a)= −2a for (i,a) I C. Π Yi,q Π Ai,q ∈ × 1 −2w −2x+Z Our condition w x + 2 Z translates as q q in [25, Theorem 3.4 (2)]. Part (a) of Theorem∈ 10 generalizes Example∈ 9. For part (b), let 1 m k. There is a unique decomposition of ℓ-weights in terms of ratios of Ψ: ≤ ≤ w(i) A−1A−1 A−1 k,x i,x i,x+di ··· i,x+(m−1)di Ψ Ψ Ψi′,z+m d d ′ = i,x−di x+kdi z i i ′ Ψi,x+(m−1)di Ψi,x+mdi × Ψi ,z i′:c ′ <0 (ii′) Yii z∈YZm,x where each mz is an integer such that 1 mzdi′ m. The presence of Ψi′,z in the −1≤ ≤ denominator gives rise to the factor Ai′,z in part (b). See [25, Lemma 5.5]. We recall an important notion due to Frenkel–Mukhin [19, 6]. Since the abelian § group is freely generated by the Yj,x, each element m is factorized uniquely P ci,x(m) ∈P as a finite product (i,x)∈I×C Yi,x where the exponents ci,x(m) are integers. Call m right-negative if m = 1 and Q 6 (RN) if ci,x(m) > 0 for certain (i, x) I C, then there exists (j, y) I C such 1∈ × ∈ × that cj,y(m) < 0 and y x Z< . − ∈ 2 0 A right-negative ℓ-weight is never dominant. The product of two (and hence finitely many) right-negative ℓ-weights is still right-negative. Example 11. [19] The inverse of a generalized simple root is right-negative:

−1 −1 −1 Aj,x = Y 1 Y 1 Yi,x Yi,x+ 1 Yi,x− 1 Yi,x+1Yi,xYi,x−1. j,x− 2 dj j,x+ 2 dj 2 2 i:c =−1 i:c =−2 i:c =−3 ijY ijY ijY Consequently, if m is right-negative, then so is any element of m . ∈P Q− Now we discuss a second family of ﬁnite-dimensional irreducible modules. For (i,x,k,t) I C Z> Z , the following is a dominant ℓ-weight: ∈ × × 0 × ≥0 (16) d(i,t) = w(i) w(i) A−1 A−1 A−1 . k,x k,x−(k+1)di k+t,x−kdi i,x−di i,x−2di ··· i,x−kdi (i,t) (i,t) The ﬁnite-dimensional irreducible module L(dk,x ) is denoted by Dk,x .

Theorem 12. For (i,k,t) I Z> Z , there exists (up to scalar multiple) a ∈ × 0 × ≥0 unique short exact sequence of ﬁnite-dimensional Y~(g)-modules 0 D(i,t) W (i) W (i) W (i) W (i) 0. −→ k,(k+1)di −→ k,0 ⊗ k+t,di −→ k−1,di ⊗ k+t+1,0 −→ Proof. Let us introduce the tensor products of Y~(g)-modules V := W (i) W (i) , V ′ := W (i) W (i) . k−1,di ⊗ k+t+1,0 k,0 ⊗ k+t,di They share a common ℓ-weight w(i) w(i) = w(i) w(i) , denoted by w. k−1,di k+t+1,0 k,0 k+t,di Step 1. We count the dominant ℓ-weights in V and V ′. A lengthy but straight- forward calculation based on Table (14) and Example 11 indicates that the following ℓ-weights are always right-negative (compare with [25, Lemma 5.2]):

′ (i) −1 (i) (i) (i) −1 −1 ′ (ii ) w A w , w w A A ′ for i I i and z Z . k,0 i,0 k+t,di k,0 k+t,di i,di i ,z ∈ \{ } ∈ k+t,di

− ~ ~ q2z−1−q2a 3 u a +di q−1 i § This is a comparison of rational functions u−a~ and i z−1−q2a from [21, 1.10]. We −1 ± take z because of diﬀerent conventions of Ψi(z) in [21, (1.2)] and [25, §2.3.1]. 10 HUAFENG ZHANG

Now the arguments of [25, Lemma 5.6] work here. All dominant ℓ-weights of V and of V ′ are multiplicity-free. Those of V are listed below: w, wA−1 , wA−1 A−1 , , wA−1 A−1 A−1 . i,di i,di i,2di ··· i,di i,2di ··· i,(k−1)di Dominant ℓ-weights of V ′ are the above ones together with d(i,t) . k,(k+1)di We show that V is irreducible and V ′ projects onto V . The irreducibility would force V ′ to have precisely two irreducible sub-quotients, while the projection would be completed to the desired short exact sequence. ± Let Yi denote the subalgebra of Y~(g) generated by the x , ξi,n for n Z . i,n ∈ ≥0 As an algebra it is naturally isomorphic to the Yangian Ydi~(sl2), so the coproduct of the latter induces a coproduct ∆i of Yi. Combing [7, (1.3)] with [34], we have ± ± ∆(x ) = ∆i(x ), ∆(ξi, ) ∆i(ξi, ) g α gα, i,0 i,0 1 − 1 ∈ − ⊗ α ,α α ≻0X6= i the summation over positive roots of g distinct from αi. Step 2. To show that V is irreducible, let S be the irreducible sub-quotient of V of highest ℓ-weight w. It suﬃces to show that all the dominant ℓ-weights of V appear in S. By Step 1, it is enough to show that for each n Z> the weight ∈ 0 spaces S̟(w)−nαi and V̟(w)−nαi are of the same dimension. Note that the former is already bounded above by the latter. We are reduce to the inequality

dim S w dim V w . ̟( )−nαi ≥ ̟( )−nαi

Fix a highest ℓ-weight vector ω of S. The subspace Yiω, as a Ydi~(sl2)-module, is of highest ℓ-weight u + kd ~ u + (k + t + 1)d ~ i i . u + di~ × u ~ ~ The two components u+kdi and u+(k+t+1)di , viewed as highest ℓ-weights for the u+di~ u 1 1 1 ~ Yangian Ydi (sl2) and then identified with strings Sk−1( 2 k) and Sk+t+1( 2 k 2 t) via [7, Corollary 2.7], are non-interacting in the sense of− [7, Definition 3.2];− indeed,− the first string is contained in the second. By [7, Theorem 4.1], the tensor product of irreducible modules attached to these two strings is irreducible, so the Ydi~(sl2)- Ψ1,k Ψ1,k+t+1 module Yiω projects onto L( ) L( ) in the notations of Example 9. The Ψ1,1 ⊗ Ψ1,0 weight spaces S̟(w)−nαi and (Yiω)(2k+t)̟1−nα1 are equal as they are both spanned − − − by the x x x ω for k1, k2, , kn Z≥0. Therefore, i,k1 i,k2 ··· i,kn ··· ∈

dim S̟(w)−nαi = dim(Yiω)(2k+t)̟1−nα1

Ψ1,k Ψ1,k+t+1 (L( ) L( ))(2k+t)̟1 −nα1 = dim V̟(w)−nαi . ≥ Ψ1,1 ⊗ Ψ1,0 The last identity comes from the tensor product factorization of V and Theorem 10. Step 3. Let ω and ω be highest ℓ-weight vectors of W (i) and W (i) respec- 1 2 k,0 k+t,di tively. Then the submodule Z of V ′ generated by the highest ℓ-weight vector ω ω 1 ⊗ 2 projects onto V . We prove that for each n Z>0 the weight spaces Z̟(w)−nαi and V ′ are of the same dimension. This∈ would imply that Z and V are non- ̟(w)−nαi isomorphic (as the dimensions of the corresponding weight spaces for n = k diﬀer), Z admits at least two irreducible sub-quotients, and so Z = V ′. Let α be a positive root of g diﬀerent from αi. The subspace gαYiω2, if non-zero, (i) would imply that α mαi + (k + t)̟i is a weight of W for certain m Z and − k+t,di ∈ so it must be bounded above by (k + t)̟i, meaning α mαi is a sum of negative − roots of g, impossible. Therefore gαYiω2 = 0 and

∆(x)(v v ) = ∆i(x)(v v ) Yiω Yiω Z 1 ⊗ 2 1 ⊗ 2 ∈ 1 ⊗ 2 ⊂ YANGIANS AND BAXTER’S RELATIONS 11

± for x xi,0, ξi,1 and v1 v2 Yiω1 Yiω2. Since the algebra Yi is generated ±∈ { } ⊗ ∈ ⊗ by x and ξi, , the above identity holds true for all x Yi. In other words, i,0 1 ∈ Yiω Yiω is actually a sub-Yi-module of Z and it is identified with the ordinary 1 ⊗ 2 tensor product Yiω1 Yiω2 of Ydi~(sl2)-modules defined by ∆i. ⊗ Ψ1,k By Theorem 10, the Yd ~(sl2)-modules Yiω1 and Yiω2 are isomorphic to L( ) i Ψ1,0 and L( Ψ1,k+t+1 ) respectively. To prove that dimensions match, as in Step 2 it Ψ1,1 Ψ1,k Ψ1,k+t+1 suffices to establish that the Yd ~(sl2)-module L( ) L( ) is of highest i Ψ1,0 ⊗ Ψ1,1 ℓ-weight. Such a tensor product corresponds to 1 1 1 1 Wk( k + ) Wk t( k t) −2 2 ⊗ + −2 − 2 in [7, Corollary 2.7], and is of highest ℓ-weight by [7, Proposition 4.2]. We have followed the general scheme of the proof of T-systems for quantum affine algebras [25, 37], which corresponds to the case t = 0. The differences lie at Steps 2 and 3, which are variants of Chari’s reduction trick [8]. For t> 0, we note that the two tensor products V and V ′ appeared in the proof of [16, Theorem 4.1] with m1 = k+t+1 and m2 = k 1 (so that m1 >m2+2). Actually [16] established that V is an irreducible sub-quotient− of V ′ without mentioning the other irreducible sub-quotient. That V ′ is a highest ℓ-weight module can be deduced from more general results about tensor products of KR modules [38, 39].

(i,1) (i,1) Corollary 13. Let (i,k,x) I Z>0 C. If dk,x e is an ℓ-weight of Dk,x , then −1 ∈−1 × ×− ′ 1 either e 1, A or e A ′ for certain (i ,z) I Z with ∈{ i,x} ∈ i ,x−kdi+zQx ∈ × 2 ′ 3 1 either (i = i, z = di) or (cii′ < 0, z ). − −2 ≤ ≤ 2 ∗ (i,t) (i,t) Proof. We have the pullback formula τa (Dk,x ) = Dk,x+a by Remark 4. Assume (i,1) without loss of generality x = kdi. By Theorem 12, Dk,kdi is an irreducible sub- quotient of W (i) W (i) . It follows from Equation (16) that k,−di ⊗ k+1,0 A−1 A−1 A−1 A−1e = e′e′′ i,(k−1)di i,(k−2)di ··· i,di i,0 where e′ and e′′ are monomials in the normalized q-characters of the ﬁrst and the second KR modules respectively. Note that e, e′, e′′ −. Suppose e = 1. ∈Q0 6 If e′ = 1, then e′ A−1 −, which implies e A−1 −. 6 ∈ i,−di Q0 ∈ i,−di Q0 Assume e′ = 1. Then e′′ A−1 A−1 A−1 A−1 −. Applying Theo- i,(k−1)di i,(k−2)di i,di i,0 0 ∈(i) ··· Q rem 10 to the KR module Wk+1,0, we have: either e′′ = A−1 A−1 A−1 A−1A−1 , implying e = A−1 ; i,(k−1)di i,(k−2)di i,di i,0 i,kdi i,kdi • ··· ′ −1 − (ii ) 3 1 1 ′′ ′ or e Ai′,z 0 where cii < 0 and z Zk+1,0 2 , 1, 2 , 0, 2 , • ∈ Q−1 − ′∈ ⊆ {− − − } implying e A ′ for such a pair (i ,z). ∈ i ,zQ0 The proof of the corollary is completed.

(i,t) Let us write d in terms of the Ψ based on Equation (11). Assume k 6Z> k,x ∈ 0 so that k is divisible by all the dj . We have

(i,t) Ψi,x+tdi Ψj,x+dij (17) dk,x = Ψi,x Ψj,x d kd j:c <0 + ij − i Yij Ψ Ψj,x+ 1 Ψj,x− 1 j,x 2 2 . × Ψj,x−k × Ψ 1 Ψ 1 j:c =−2 j:c =−3 j,x+ 2 −k j,x− 2 −k ijY ijY 12 HUAFENG ZHANG

One may view d(i,t) as the Yangian analog of Ψ˜ (t,k) in [18, 4.3]. If g is simply-laced, k,0 i § then the second line disappears and Corollary 18 will follow directly.

3. Asymptotic representations We construct inﬁnite-dimensional asymptotic modules in category as limits of KR modules and provide three-term identities in the Grothendieck rinOg. 3.1. Asymptotic construction. Let us recall the asymptotic construction from [42, Section 2]. Suppose an algebra A (unital and associative) is given. Let S be a set of algebraic generators for A. For all positive integer k Z> let a representation ρk : A EndC(Vk) of A ∈ 0 −→ be given. Let (Fk,l : Vl Vk)l : ∈ 0 (AP) for (s,l) S Z>0, there exists a HomC(Vl, Vl+L)-valued polynomial Ps;l(u) in u of degree∈ × bounded by K such that

sFk,l = Fk,l LPs l(u) u k HomC(Vl, Vk) for k>l + L. + ; | = ∈ Here to be precise one should write ρk(s)Fk,l instead of sFk,l. We omit ρk because it is, and will be, clear from the context to which representation we are applying s. As in [42], the polynomial Ps l(u) is unique. For ﬁxed s S, the coeﬃcients of the ; ∈ polynomials (Ps;l(u))l>0 form morphisms of inductive systems:

Fl L,m LPs m(u)= Ps l(u)Fl,m HomC(Vm, Vl L)[u] for m < l. + + ; ; ∈ + Their inductive limits are encoded in an EndC(V∞)-valued polynomial Ps(u) of degree bounded by K. Here V∞ denotes the inductive limit of (Vl, Fk,l). Claim. Let c C. Then s Ps(u) u c defines a representation of A on V . ∈ 7→ | = ∞ Later in Section 4, we shall be in the situation where Ps;l(u) are polynomials in u−1 of bounded degree. In this case, one can take c = to obtain a representation. Our construction is inspired by the work of Hernandez–Jimbo∞ [27] on representations of an upper Borel subalgebra of the quantum affine algebra Uq(g). For the Borel subalgebra the asymptotic property is described by polynomials in q−k, and −k Hernandez–Jimbo took the specialization of q at zero to define the negativeb prefundamental modules. For the full quantum affine algebra the asymptotic property involves Laurent polynomials in qk, and one has specializations of qk at non-zero complex numbers, resulting in asymptotic modules [42]. 3.2. Inductive system of KR modules. From now on up to Definition 16, i I is fixed, and when writing k>l we implicitly assume that k,l are non-negative∈ integers. We shall produce an inductive system of vector spaces W (i) W (i) 0,0 ⊂ 1,0 ⊂ W (i) , and then establish asymptotic property for this system. 2,0 ⊂ · · · For k>l let Z be the KR module W (i) with a fixed highest ℓ-weight vector lk k−l,ldi ωlk. (This differs from the notation Zkl in [44, 4] due to the opposite tensor products taken in Theorem 12 and in [44, Lemma 3.6].)§ In the case l = 0 we have (i) Z0k = Wk,0 and write simply ωk := ω0k. Setting k = 1 in Theorem 12, we get surjective morphisms of Y~(g)-modules W (i) W (i) W (i) for t 0 relating different KR modules. The proof of 1,0 ⊗ t+1,di −→ t+2,di ≥ [44, Lemma 4.1] then goes without change. For m

(i) (i) (i) As in [27, 4.2], we identify W with the vector subspace W ωlk of W Zlk, § l,0 l,0 ⊗ l,0 ⊗ and then we restrict Fk,l to this subspace to get the linear map (i) (i) Fk,l : W W , v Fk,l(v ωlk). l,0 −→ k,0 7→ ⊗ (i) Then Fk,l(ωl) = ωk, and (Wl,0 , Fk,l) forms an inductive system of vector spaces: (i) Fk,lFl,m = Fk,m for m

(i) Proof. Since ωlk is a highest ℓ-weight vector, by Remark 2, in W Zlk: l,0 ⊗ + + (i) x (u)(w ωlk)= x (u)w ωlk for w W and j I. j ⊗ j ⊗ ∈ l,0 ∈ It follows from the Y~(g)-linearity of Fk,l that + + + x (u)Fk,l(w)= x (u)Fk,l(w ωlk)= Fk,lx (u)(w ωlk) j j ⊗ j ⊗ + + = Fk,l(x (u)w ωlk)= Fk,lx (u)w. j ⊗ j + + + So x (u)Fk,l = Fk,lx (u) for all j I, meaning that Fk,l is Y (g)-linear. The j j ∈ ~ injectivity is proved similarly as [42, Proposition 4.3 (2)], with the RLL generators therein replaced by the Drinfeld generators; see also [44, Lemma 4.2]. Remark 2 also gives the following commutation relations for l < k and j I: ∈ u + kd ~ δij (19) ξ (u)F = i F ξ (u), j k,l u + ld ~ k,l j i − − (20) x (u)Fk,l = Fk,lx (u) if j = i. j j 6 − For the last equation we used x (u)ωlk = 0 for j = i, based on Lemma 5. j 6 Lemma 15. For l < k 1 we have − − l l (21) xi (u)Fk,l(w)= Fk,l+1(Ai(u)+ Bi(u)kdi), l l (i) (i) −1 where Ai(u) and Bi(u) are HomC(Wl,0 , Wl+1,0)-valued power series in u independent of k and deﬁned by the following formulas. For w W (i), ∈ l,0 ~ l u − l F − Ai(u): w Fl+1,lxi (u)w l+1,l(w xi,0ωl,l+1), 7→ u + ldi~ − u + ldi~ ⊗ ~ ~ l − F − Bi(u): w Fl+1,lxi (u)w + l+1,l(w xi,0ωl,l+1). 7→ u + ldi~ (u + ldi~)di ⊗

Proof. First we prove the following vector is in the kernel of Gk,l: − − v := ωl,l x ωl ,k (k l 1)x ωl,l ωl ,k Zl,l Zl ,k. +1 ⊗ i,0 +1 − − − i,0 +1 ⊗ +1 ∈ +1 ⊗ +1 + One checks that xi,0v = 0 based on the identity + − + − x x ωlk = [x , x ]ωlk = ξi, ωlk = (k l)diωlk. i,0 i,0 i,0 i,0 0 − G Note that k,l(v) is in the weight space (Zlk)(k−l)̟i −αi , which by Theorem 10 is − + − + G G spanned by xi,0ωlk. Now xi,0xi,0ωlk = 0 and xi,0 k,l(v) = 0 force k,l(v) = 0. 6 − − Applying Lemma 5 (b) to Zlk we get (u + ldi~)xi (u)ωlk = ~xi,0ωlk and − − − x ωlk = x Gk,l(ωl,l ωl ,k)= Gk,lx (ωl,l ωl ,k) i,0 i,0 +1 ⊗ +1 i,0 +1 ⊗ +1 − − = Gk,l(ωl,l x ωl ,k + x ωl,l ωl ,k v) +1 ⊗ i,0 +1 i,0 +1 ⊗ +1 − 14 HUAFENG ZHANG

− = (k l)Gk,l(x ωl,l ωl ,k), − i,0 +1 ⊗ +1 ~ − (k l) G − xi (u)ωlk = − k,l(xi,0ωl,l+1 ωl+1,k). u + ldi~ ⊗ − (i) We compute x (u)Fk,l(w) for w W , as in the proof of Lemma 14: i ∈ l,0 − − − − x (u)Fk,l(w)= Fk,lx (u)(w ωlk)= Fk,l(w x (u)ωlk + x (u)w ξi(u)ωlk) i i ⊗ ⊗ i i ⊗ ~ ~ (k l) F G − u + kdi − = − k,l(w k,l(xi,0ωl,l+1 ωl+1,k)) + Fk,lxi (u)w u + ldi~ ⊗ ⊗ u + ldi~

(k l)~ − u + kdi~ − = Fk,l − Fl ,l(w x ωl,l )+ Fl ,lx (u)w . +1 u + ld ~ +1 ⊗ i,0 +1 u + ld ~ +1 i i i − (i) The last row is Equation (18) applied to w x ωl,l W Zl,l . Equation ⊗ i,0 +1 ∈ l,0 ⊗ +1 (21) is a reformulation of it. − + Let := x , ξj,n, x (j, n) I Z denote the set of Drinfeld generators S { j,n j,n | ∈ × ≥0} of Y~(g). As a summary of Lemma 14 and Equations (19)–(21), the inductive system W (i) W (i) W (i) satisﬁes the (1, 1)-asymptotic property: to s and 0,0 ⊂ 1,0 ⊂ 2,0 ⊂ · · · ∈ S l Z are attached linear maps Al and Bl from W (i) to W (i) such that ∈ ≥0 s s l,0 l+1,0 l l sFk,l = Fk,l (A + B kdi) for k>l +1. +1 s s × l l The As and Bs are unique and form morphisms of inductive systems, so they admit inductive limits, denoted by As and Bs respectively, which are linear operators on (i) (i) the inductive limit W∞ := lim W . Now let us apply Subsection 3.1. → l,0

Deﬁnition 16. For y C the assignment s As + yBs as s deﬁnes a ∈ (i) 7→Ψi,y ∈ S Y~(g)-module structure on W∞ , denoted by L ( ). More generally, for x C Ψi,0 ∈ Ψi,y Ψi,y−x let L ( ) be the pullback of L ( ) by the spectral parameter shift τx from Ψi,x Ψi,0 Equation (9), and call it an asymptotic module. (Even if y = x we still use L ( Ψi,x ) Ψi,x to emphasize the dependence on i and x.)

This definition was made first in [36] for g = sl2. Theorem 17. The asymptotic modules are in category with q-characters O L Ψi,y Ψi,y (i) 2 (22) χq( ( )) = lim χq(Wl,x ) for (i,x,y) I C . Ψi,x Ψi,x × l→∞ ∈ × Furthermore, the following statements hold in category . f O (a) The set R′ of highest ℓ-weights equals R. (b) Let V be a finite-dimensional module. In the q-character formula of V , replace χ (V ) by [V ], write each of its ℓ-weight as a product of the Ψi,y q Ψi,x Ψ [L ( i,y )] Ψi,y Ψi,0 and replace the by the ratios Ψ . Then we get a relation in the Ψi,x [L ( i,x )] Ψi,0 fractional field of the Grothendieck ring K0( ). (c) For (i,a,b,x,y) I C4 we have in the GrothendieckO ring ∈ × Ψ Ψ Ψ Ψ (23) [L ( i,b )][L ( i,y )] = [L ( i,y )][L ( i,b )]. Ψi,a Ψi,x Ψi,a Ψi,x Proof. It suffices to prove Equation (22): its right-hand side converges according to Theorem 10 and implies the cone conditions of weights; parts (a)–(c) are then proved in the same way as [27, Theorem 3.11] and [17, Theorem 4.8], by replacing the isomorphism class [V ] with q-character χq(V ). Since the q-character map is compatible with the spectral parameter shifts, one may assume x = 0. YANGIANS AND BAXTER’S RELATIONS 15

Consider the module L ( Ψi,y ) in Deﬁnition 16 with the injective structural maps Ψi,0 (i) Ψi,y Fl : W L ( ) for l 0. Since the pre-factor at the right-hand side of l,0 −→ Ψi,0 ≥ Equation (19) is a polynomial of kdi, by deﬁnition of asymptotic representation, when taking inductive limit k in the equation one replaces kdi by y: → ∞ ~ u + y δij ξj (u)Fl = ( ) Flξj (u). u + ldi~

So Fl sends an ℓ-weight vector to another ℓ-weight vector with ℓ-weight multiplied by Ψi,y . This proves the limit formula (22). Ψi,ldi By Equation (22), it makes sense to talk about the normalized q-characters of tensor products of asymptotic modules and irreducible modules. The normalized q-character of L ( Ψi,y ) is independent of y. Also, any ℓ-weight of this module Ψi,x different from Ψi,y must belong to Ψi,y A−1 −. Ψi,x Ψi,x i,x Qx 3.3. Three-term identities. For (i,k,x) I C2, let us take the first line of Equation (17) with t = 1 to define ∈ ×

Ψ Ψj,x d (i) i,x+di + ij M (i) (i) (24) mk,x := , k,x := L(mk,x). Ψi,x Ψj,x d kd j:c <0 + ij − i Yij (i) (i) If k 6Z> , then m is dominant and M is ﬁnite-dimensional. ∈ 0 k,x k,x (i) M (i) Corollary 18. Let k 6Z>0 and (i, x) I C. If mk,xe is an ℓ-weight of k,x, −1∈ −1 ∈ × − then either e 1, A , or e A for certain j I with cij < 0. ∈{ i,x } ∈ j,x+dij −kdi Qx ∈ Proof. View M (i) as an irreducible sub-quotient of W (i) M where k,x 1,x ⊗ (j) M := W k d di,x+dij −kdi j:c <0 j Oij is a tensor product of KR modules of arbitrary order. Then e = e′e′′ with e′ and ′′ (i) e being monomials in the normalized q-characters of W1,x and M respectively. So e −. Together with Corollary 7, we have wtn(M (i) ) wt2(M (i) ) − for n 2. ∈Qx ℓ k,x ⊂ ℓ k,x Qx ≥ (i) M (i) We may therefore assume that the ℓ-weight mk,xe of k,x is of height 2. ′′ ≤ If e = 1, Theorem 10 applied to M, there exists j I such that cij < 0 and 6 ∈ e′′ A−1 −. This implies that e A−1 −. ∈ j,x+dij −kdi Qx ∈ j,x+dij −kdi Qx ′′ ′ (i) (i) Assume e = 1, so that e = e and w1,xe is an ℓ-weight of W1,x of height 2. −1 −1 −1 ′ ≤ By Theorem 10, either e 1, Ai,x , or e = Ai,x A ′ for certain i I with ∈ { } i ,x+dii′ ∈ (ii′) cii′ < 0, because Z = x + dii′ . Let us assume that the latter case happens and 1,x { } arrive at a contradiction. View M (i) as an irreducible sub-quotient of D(i,1) A k,x k,x ⊗ where A is the following tensor product of asymptotic modules

Ψ Ψj,x+ 1 −k Ψj,x− 1 −k A := L ( j,x−k ) L ( 2 ) L ( 2 ) . Ψj,x ⊗ Ψ 1 ⊗ Ψ 1 j:c =−2 j:c =−3 j,x+ 2 j,x− 2 ! Oij Oij −1 −1 D A D A (i,1) Then A A ′ = e e where e and e are monomials in χq(D ) and i,x i ,x+dii′ k,x 3 ′ ′ χq(A) respectively. Since dii 2 and k 6, we have x + dii = x kdi + s ≥3 − 1 ≥ 6 −1− for any half integer s between and . By Corollary 13, neitherfA ′ nor − 2 2 i ,x+dii′ f−1 −1 (i,1) A A ′ is a monomial in χq(D ), so at least one of them is a monomial in i,x i ,x+dii′ k,x −1 χq(A). Then A ′ has to be a monomial in χq(A). One obtains j such that i ,x+dii′ f f f 16 HUAFENG ZHANG

1 cij = 3 and dii′ = . This implies that g is of type G and di = 1, but then − − 2 2 cii′ =2dii′ = 1 is an entry of the Cartan matrix of g, absurd. − Theorem 19. Let (i,k,x,y) I C3. If k / 1 Z, then in K ( ) holds ∈ × ∈ 2 0 O Ψ Ψ Ψj,x d M (i) L i,x L i,x+di L + ij (25) [ k,x][ ( )] = [ ( )] [ ( )] Ψi,y Ψi,y Ψj,x d kd j:c <0 + ij − i Yij Ψ Ψj,x−d + [L ( i,x−di )] [L ( ij )]. Ψi,y Ψj,x d kd j:c <0 + ij − i Yij (1) 2 Ψ1,x x When g = sl2, we recover Example 9 as M = C and L ( ) = L . k,x ∼ x Ψ1,y ∼ y Proof. Equation (25) is equivalent to the normalized q-character formula: Ψ M (i) −1 L j,x+dij (26) χq( k,x)=(1+ Ai,x ) χq( ( )). Ψj,x d kd j:c <0 + ij − i Yij This formula doesf not involve y C. So we mayf assume without loss of generality ∈ 1 that neither y x nor y x + kdi belongs to 2 Z. We follow closely− the− proof of [44, Theorem 5.1]. Introduce tensor products of asymptotic/KR modules (arbitrary order of tensor products):

Ψ Ψj,x±d S± := L ( i,x±di ) L ( ij ), Ψi,y ⊗ Ψj,x d kd j:c <0 + ij − i Oij (j) (i) Tn := W , Sn := W Tn for n Z>0. n,x+dij −kdi n,y ⊗ ∈ j:c <0 Oij + − 0 1 ′ One views S ,S and Sn as analogs of S ,S and Sn in the proof of Claim 1 in [44, ± ± Theorem 5.1]. Let s , tn and sn be the obvious highest ℓ-weights of S ,Tn and Sn − + −1 as products of highest ℓ-weights of asymptotic/KR modules. Then s = s Ai,x . Step 1: irreducibility of the tensor products. ′ ′′ ′ ′′ (i) Any ℓ-weight of Sn is of the form e e where e and e are ℓ-weights of Wn,y ′ ±1 1 and Tn respectively. By Theorem 10, e is a monomial in the Yj,b with b y + 2 Z, ′′ 1 ∈ 1 while e is such a monomial but with b x kdi + 2 Z. Since x kdi y / 2 Z, the ℓ-weight e′e′′ is dominant if and only∈ if both− e′ and e′′ are dominant.− − ∈ ′′ Suppose e = tn. We prove that it is right-negative. By Theorem 10 there exists ′ 6 ′′ −1 − i I such that cii′ < 0 and e tnA ′ . It suﬃces to show that i ,x+dii′ −kdi x−kdi ∈ −1 ∈ Q tnA ′ is right-negative. By Equation (13), tn is of the form i ,x+dii′ −kdi ↑ Y 1 . j,x+dij + 2 dj −kdi j:c <0 Yij ↑ Here Yj,a for (j, a) I C means a certain product of Yj,a with the Yj,b such that 1 ∈ × −1 b a + 2 Z>0. By Example 11, the right-negativity of Ai′ ,a for a C arises from ∈ −1 ∈ the negative power Y 1 . So we are led to prove that for all j I with cij < 0 i′ ,a− d ′ 2 i ∈ the following half integer is strictly positive: 1 1 1 1 (x + dij + dj kdi) (x + dii′ kdi di′ )= dij + dj dii′ + di′ > 0. 2 − − − − 2 2 − 2

Assume the contrary: the left-hand side as a half integer is non-positive. Since dj ′ and di′ are strictly positive integers, we must have i = j. Next, 6 1 1 1 1 dj (cji +1)= dij + dj dii′ di′ = di′ (ci′i 1) di′ 1. 2 2 ≤ − 2 2 − ≤− ≤− YANGIANS AND BAXTER’S RELATIONS 17

So cji < 1. This implies dj = 1 and cji 3. The Lie algebra g must be of rank − ′ ≤− two and of type G2, but i,i , j are two-by-two distinct, absurd. ′ (i) ′ Similarly, if e = wn,y, then e is right-negative. Sn admits only one dominant ℓ-weight and must6 be irreducible. View it as an irreducible sub-quotient of

Ψ Ψj,x+d −kd +nd L(s±) L ( i,y+ndi ) L ( ij i j ). ⊗ Ψi,x d ⊗ Ψj,x d ± i j:c <0 ± ij Oij By assumption, − and − − have trivial intersection. We obtain as in the Qx Qy Qx−kdi proof of Claim 1 in [44, Theorem 5.1] that all monomials (counted with multiplicity) ± in the normalized q-character Sn must appear in that of L(s ), i.e., χq(Sn) is ± ± bounded above by χq(L(s )). As n goes to inﬁnity, χq(Sn) converges to χq(S ), ± and so the latter is bounded above by χq(L(s )). Comparing highest ℓ-weights,f we ± ± ± conclude that L(s f) = S , namely, S are also irreducible.f f ∼ ± Claim 2 of [44, Theorem 5.1] adaptedf directly to the present situation, S appear (i) Ψi,x (i) as irreducible sub-quotients of the tensor product M L ( ), and χq(M ) k,x ⊗ Ψi,y k,x is bounded below by the right-hand side of Equation (26). Step 2: upper bound for the normalized q-character. f (i) (i) For n 6Z> , view M as an irreducible sub-quotient of Mn,x Bn, where ∈ 0 k,x ⊗ Bn is the following tensor product of asymptotic modules:

Ψj,x+dij −ndi Bn = L ( ). Ψj,x d kd j:c <0 + ij − i Oij Fix an ℓ-weight m(i) e of M (i) . It is of the form e = eM eB such that eM − k,x k,x n n n ∈ Qx B − (i) and e are monomials in χq(Mn,x) and χq(Bn) respectively; such a n ∈ Qx−kdi factorization is unique because − and − intersect trivially. Let n be so large Qx Qx−kdi −1 f f e that none of the Aj,x+dij −ndi for j I appears as a factor of the monomial . By M M∈ −1 Corollary 18, either en = 1 or en = Ai,x . In both cases, the ℓ-weight space of M (i) (i) M n,x of ℓ-weight mn,xen is one-dimensional, as seen from the proof of Corollary M (i) −1 18. This implies that χq( k,x) is bounded above by χq(Bn)(1 + Ai,x ), which is the right-hand side of Equation (26). Together with the lower bound at Step 1, we obtain Equation (26). Thef proof of Theorem 19 is completed.f Let us be at Step 1 of the proof. S+ being irreducible, its ﬁrst tensor factor must be irreducible. We obtain the following result. Corollary 20. For i I and x, y C such that y x / 1 Z, the asymptotic module ∈ ∈ − ∈ 2 L ( Ψi,y ) is irreducible. Ψi,x Remark 21. For (i,k,x) I C2 deﬁne ∈ × Ψ 1 Ψ 1 (i) Ψj,x j,x+ 2 j,x− 2 nk,x := . Ψj,x−k × Ψ 1 Ψ 1 j:c =−2 j:c =−3 j,x+ 2 −k j,x− 2 −k ijY ijY (i) (i) (i,1) If k 6Z> , then m n = d by Equation (17). Using Corollary 13 one can ∈ 0 k,x k,x k,x modify the proof of Theorem 19 to obtain a tensor product factorization:

(i) (i) (i) (i) 1 L(m n ) = L(m ) L(n ) if either k / Z or k 6Z> . k,x k,x ∼ k,x ⊗ k,x ∈ 2 ∈ 0 1 (1) Example 22. Let g = sl3 and i = 1. Suppose k C 2 Z. The KR module W1,0 3 ∈ \ is a vector representation of Y~(sl3) on C . From Theorem 10 we get:

Ψ 1 Ψ 3 (1) Ψ1,1 −1 −1 −1 Ψ1,1 Ψ1,−1 2, 2 2,− 2 χq(W1,0 )= (1 + A1,0 + A1,0A2,− 1 )= + + , Ψ1,0 2 Ψ1,0 Ψ1,0 Ψ 1 Ψ 1 2,− 2 2,− 2 18 HUAFENG ZHANG

Ψ2, 1 Ψ2,− 3 [L ( Ψ1,1 )] [L ( Ψ1,−1 )] [L ( 2 )] [L ( 2 )] (1) Ψ1,0 Ψ1,0 Ψ2,0 Ψ2,0 [W1,0 ]= + + , Ψ1,0 Ψ1,0 Ψ2,− 1 Ψ2,− 1 [L ( )] [L ( )] 2 2 Ψ1,0 Ψ1,0 [L ( )] [L ( )] Ψ2,0 Ψ2,0

Ψ Ψ Ψ2,x− 1 Ψ Ψ2,x+ 1 M (1) L 1,x L 1,x+1 L 2 L 1,x−1 L 2 [ k,x ][ ( )] = [ ( )][ ( )] + [ ( )][ ( )]. Ψ1,y Ψ1,y Ψ 1 Ψ1,y Ψ 1 2,x− 2 −k 2,x− 2 −k M (1) One can show that as sl3-module k,x is irreducible of highest weight ̟1 + k̟2.

4. Prefundamental modules and shifted Yangians In this section we construct modules of highest ℓ-weight Ψ±1 for (i, x) I C. i,x ∈ × These will be modules over the so-called shifted Yangians. We assume ~ = 1. ∨ Let ̟i h for i I be the ith fundamental coweight; it is determined by ∈ ∨ ∈ the equations ̟i , αj = δij for j I, where , denotes the evaluation map ∗ h i ∈ ∨ h i ∨ h h C. We get the coweight lattice Q = i∈I Z̟i . × −→ ∨ ⊕ For a coweight µ Q , recall the shifted Yangian Yµ(g) from [6, Definition B.2]: ∈ (m) (m) (p) it is an algebra generated by Ei , Fi ,Hi for (i,m,p) I Z>0 Z subject to the following relations for (i,j,m,n,p,q) I2 Z2 Z∈2: × × ∈ × >0 × (p) (q) (m) (n) (m+n−1) [Hi ,Hj ]=0, [Ei , Fj ]= δij Hi , (p+1) (m) (p) (m+1) (p) (m) (m) (p) [H , E ] [H , E ]= dij (H E + E H ), i j − i j i j j i (p+1) (m) (p) (m+1) (p) (m) (m) (p) [H , F ] [H , F ]= dij (H F + F H ), i j − i j − i j j i (m+1) (n) (m) (n+1) (m) (n) (n) (m) [E , E ] [E , E ]= dij (E E + E E ), i j − i j i j j i (m+1) (n) (m) (n+1) (m) (n) (n) (m) [F , F ] [F , F ]= dij (F F + F F ), i j − i j − i j j i 1−cij (m) 1−cij (m) ad (1) (Ej )=0=ad (1) (Fj ) if i = j, Ei Fi 6 (−hµ,αii) (p) H = 1 and H =0 for p< µ, αi . i i −h i When the relations at the last line are dropped, one gets the Cartan doubled Yangian Y (g); see [6, Definition B.1]. Let πµ : Y (g) Yµ(g) be the quotient map. ∞ ∞ −→ Define the generating series with coefficients in Y (g) or in Yµ(g) for i I: ∞ ∈ +∞ +∞ +∞ (m) −m (m) −m (p) −p Ei(u) := Ei u , Fi(u) := Fi u , Hi(u) := Hi u . m=1 m=1 p=−∞ X X X One has the spectral parameter shift, an algebra automorphism τx on Yµ(g):

τx : Ei(u) Ei(u + x), Fi(u) Fi(u + x), Hi(u) Hi(u + x). 7→ 7→ 7→ Fix i I. We relate Y (g) to the ordinary Yangian Y~ (g). For l C× the ∈ ∞ =1 ∈ following deﬁnes an algebra morphism θi,l : Y (g) Y~ (g), ∞ −→ =1

+ 1 δij − 1 δij Ej (u) xj (u), Fj (u) ( ) xj (u), Hj (u) ( ) ξj (u). 7→ 7→ ldi 7→ ldi

In particular, θ −1 induces an isomorphism Yµ=0(g) = Y~=1(g). i,di ∼ Let us be in the situation of Section 3 with ~ = 1. We have an inductive system (i) (i) of vector spaces (Wl,0 , Fk,l). Each of the Wl,0 becomes an Y∞(g)-module after pullback by θi,l. Let us rewrite Lemma 14 and Equations (19)–(21) in terms of generators of Y (g). For j I and l

Hj (u)Fk,l = Fk,lHj (u), Fj (u)Fk,l = Fk,lFj (u) if j = i; 6 YANGIANS AND BAXTER’S RELATIONS 19

ld uld H (u)F = i + i (kd )−1 F H (u); i k,l u + ld u + ld i k,l i i i l l −1 Fi(u)Fk,l = Fk,l+1 Bi(u)+ Ai(u)(kdi) . (m) (m) (p) For each generator t of Y (g) among the E , F ,H and for l Z> , there ∞ { j j j } ∈ 0 l l (i) (i) exist uniquely two linear maps Ct and Dt from Wl,0 to Wl+1,0 such that: l l −1 tFk,l = Fk,l+1(Ct + Dt(kdi) ) for k>l +1. l l As in Section 3, the Ct and Dt are morphisms of inductive systems of vector spaces. (i) Let Ct and Dt be their inductive limits, which are linear endomorphisms on W∞ . (i) Then the assignment t Ct defines a representation ρi of Y (g) on W∞ . 7→ ∞ Proposition 23. The representation ρi of Y∞(g) factorizes through the projection (i) π ∨ : Y (g) Y ∨ (g) and we get an Y ∨ (g)-module structure on W . For −̟i ∞ −̟i −̟i ∞ −→ − x C, the negative prefundamental module, denoted by Li,x, is defined to be the ∈ (i) pullback of the Y ∨ (g)-module W by τ . −̟i ∞ x −1 Proof. It suffices to show that ρi(Hj (u)) for j I is a power series of u with ∈ leading term u−δij . Set Cl := Cl u−p. If j = i, then: Hj (u) p (p) Hj 6 l P −1 (i) (i) −1 C = Fl ,lHj (u)= Fl ,lξj (u) Fl ,l + u Hom(W , W )[[u ]], Hj (u) +1 +1 ∈ +1 l,0 l+1,0 l ldi 1 CHi(u) = Fl+1,l Hi(u)= Fl+1,l ξi(u) u + ldi u + ldi +∞ +∞ −n−1 n −n−1 = Fl ,l( u ( ldi) )(1 + ξi,nu ) +1 − n=0 n=0 X X −1 −2 (i) (i) −1 u Fl ,l + u Hom(W , W )[[u ]]. ∈ +1 l,0 l+1,0 (i) The inductive limit of the Fl+1,l is the identity map on W∞ .

− The construction of Li,x is similar to that in [27, 4.2]: ordinary Yangian, Car- tan doubled Yangian and shifted Yangian correspond§ to quantum aﬃne algebra, asymptotic algebra and Borel algebra in [27, 2]. § The shifted Yangian Yµ(g) is weight graded based on the adjoint action of the (−hµ,αii+1) (m) (m) (p) H so that E , F and H are of weight αi, αi and 0: i i i i − (−hµ,αii+1) (m) (m) (−hµ,αii+1) (m) (m) [H , E ] = (αi, αj )E , [H , F ]= (αi, αj )F . i j j i j − j One deﬁnes weight, (highest) ℓ-weight and q-character for an Yµ(g)-module and + category µ of Yµ(g)-modules as in Section 1 by replacing ξi,0, xi (u) and ξi(u) (−hOµ,αii+1) + with Hi , Ei (u) and Hi(u). − As an example, L is in category ∨ , it contains a highest ℓ-weight vector i,x −̟i −1 O of ℓ-weight Ψi,x, and its q-character is

− 1 (i) χq(Li,x)= lim χq(Wl,x ). Ψi,x × l→∞

Remark 24. The shifted Yangian Y ∨ (g) has a one-dimensional representation: ̟i f

δij Ej (u)=0= Fj (u), Hj (u) = (u + x) .

This module is of highest ℓ-weight Ψi,x, and so is the positive prefundamental + module Li,x. Note however that in the case of quantum aﬃne algebras positive and negative prefundamental modules have the same character [27, Theorem 6.3]. 20 HUAFENG ZHANG

Remark 25. In [15, 4], there is a remarkable family of algebra morphisms (for g simply-laced, but this§ assumption may be removed in view of [15, Remark 3.2]) ∨ ∆µ ,µ : Yµ µ (g) Yµ (g) Yµ (g) for µ ,µ Q 1 2 1+ 2 −→ 1 ⊗ 2 1 2 ∈ which satisﬁes co-associativity for anti-dominant coweights. This implies that the direct sum of the categories µ for µ anti-dominant forms a monoidal category. O Such a category contains all the Y~=1(g)-modules in category and the negative prefundamental modules, so we expect it to have similar propertiesO as the category − in [28, Deﬁnition 3.9]. Also irreducibility of L− can be proved along the line O i,x of [27, Theorem 6.1] using the monoidal structure.

Note that a similar monoidal category for the degenerate Yangian of gl2 appeared in [14, Appendix A]. As indicated in the introduction, there are prefundamental modules over degenerate Yangians for arbitrary g based on the R-matrix realization [9, 24, 29, 40]. Their relationship with our modules is to be clariﬁed.

Appendix A. Three-term relations for quantum affine algebras Set ι = √ 1 C. Assume ~ / Q, so that q := eπι~ C× is not a root of unity. − ∈ x ∈ πι~x dij ∈ di For x C and i, j I, set q := e , qij := q and qi := q . We produce ∈ ∈ three-term relations in category ˆ of representations of the quantum affine algebra O Uq(g) in [35, Definition 3.3]. Such a category appeared first in [26]. ± ± Let xi,r, φi,±n, for (i,r,n) I Z Z≥0, be the Drinfeld generators of Uq(g). ± ∈ × + ×− Thebφi,±n mutually commute and φi,0φi,0 = 1, whose spectral decomposition on a module defines the notion of ℓ-weight. b As in [35, Definition 3.5], let be the set of I-tuples (ei(z))i I of rational func- R ∈ tions of z such that each ei(z) is regular at 0, and ei(0)ei( ) = 1. Equivalently, ∞ ∞c−zc−1 × each ei(z) is a finite product of rational functions of the form −1 for c,a C . a−za ∈ We take Taylor expansions around 0, to obtain formal power series in z±1: ∞ + n − −n ei,nz = ei(u)= ei,−nz . n n X≥0 X≥0 View C[[z]]I as a monoid by component-wise multiplication. For (i,a) I C× we ∈ × define an invertible element Φi,a of this monoid by −1 (Φi,a)j (z) = 1 if j = i, (Φi,a)i(z)= a za . 6 − This is a scalar multiple of Ψi,a−2 in [27, Definition 3.7], and equals Xi,a−1 in [11, 4.1]. Now is characterized as the subgroup of C[[u]]I generated by the ratios § R Φi,c for (i,a,c) I C× C×. Φi,a ∈ × × By [35, Theorem 3.6], is in bijection with the isomorphism classes of irreducible R modules in category . To d is attached an irreducible Uq(g)-module, denoted by L(d), which is generatedO by∈ R a vector ω subject to relations: b x+ ω =0, φ± ω = d± ω for (i,r,n) I Z b Z . i,r i,±n i,±n ∈ × × ≥0 Fix (i,a,c) I C× C×. There is a series of finite-dimensional irreducible modules ∈ × × Φi,aqk i L( ) for k Z≥0, called Kirillov–Reshetikhin modules. It is explained in [42, Φi,a ∈ Appendix A] that this series admits analytic continuation: as k tends to infinity by replacing qk with c one obtains an asymptotic module denoted by L ( Φi,ac ). i Φi,a

× × k 1 Z Theorem 26. Let (i,a,c,k) I C C C such that q / q 2 . In the ∈ × × × ∈ Grothendieck ring of category ˆ we have O YANGIANS AND BAXTER’S RELATIONS 21

Φ Φj,aq Φ (27) [L( i,aqi ij )][L ( i,a )] = Φi,a Φ −k Φi,c j:c <0 j,aqij qi Yij −1 Φ Φj,aq Φi,aq−1 Φj,aq [L ( i,aqi )] [L ( ij )] + [L ( i )] [L ( ij )]. Φi,c Φ −k Φi,c Φ −k j:c <0 j,aqij qi j:c <0 j,aqij qi Yij Yij The proof of the theorem is almost identical to that of Theorem 19. Theorems 19 and 26 should be included in the framework of [21] relating Yangians to quantum affine algebras. Note that [21] only involved integrable modules, for which Serre relations hold for free, while our asymptotic modules are non integrable. We expect that the functor Γ of [21] can be extended to a functor Γ : Π O −→ O from Y~(g)-modules to Uq(g)-modules so that b Ψi,a Φi,qa Γ(L( b )) = L( ) Ψi,b ∼ Φi,qb (i,a,bY)∈X (i,a,bY)∈X for any finite subset X of I C2 and the q-characters are preserved after the × replacement Ψi,a Φi,qa . This agrees with the finite-dimensional case in view of ←→ −1 −2a 1 Equations (12), (15) and the identification i,q =Φ a+ di Φ a− 1 d . Y i,q 2 i,q 2 i One may view ˆ as a subcategory of the category of modules over the upper Borel subalgebra introducedO by Hernandez–Jimbo [27, Definition 3.8]. This larger × category admits irreducible modules of highest ℓ-weights Φi,a for all (i,a) I C . Equation (27) becomes [28, Eq.(6.13)] and [11, Eq.(1.3)] when one removes∈ all× the Φi,c and Φ −k in the denominators and replaces L by L. j,aqij qi Similar three-term relations have been established for prefundamental modules over quantum toroidal gl1 [12, Eq.(4.24)] and for asymptotic modules over quantum affine superalgebras of type A [43, Eq.(5.30)].

References

[1] R. J. Baxter, Partition function of the eight-vertex lattice model, Ann. Phys. 70 (1972): 193–228. [2] V. Bazhanov, T. Lukowski, C. Meneghelli, and M. Staudacher, A shortcut to the Q-operator, J. Stat. Mech. 1011 (2010): P11002. [3] V. Bazhanov, R. Frassek, T. Lukowski, C. Meneghelli, and M. Staudacher, Baxter Q- operators and representations of Yangians, Nuclear Phys. B 850, no. 1 (2011): 148–174. [4] V. V. Bazhanov, S. L. Lukyanov and A. B. Zamolodchikov, Integrable structure of conformal field theory. II. Q-operator and DDV equation, Comm. Math. Phys. 190 (1997): 247–278. [5] ——, Integrable structure of conformal field theory. III. The Yang-Baxter Relation, Comm. Math. Phys. 200 (1999): 297–324. [6] A. Braverman, M. Finkelberg, and H. Nakajima, Coulomb branches of 3d N = 4 quiver gauge theory and slices in the affine Grassmannian, Adv. Theor. Math. Phys. 23 (2019): 75–166, with appendices by A. Braverman, M. Finkelberg, J. Kramnitzer, R. Kodera, H. Nakajima, B. Webster, and A. Weekes. (arXiv:1604.03625) [7] V. Chari and A. Pressley, Yangians and R-matrices, l’Enseign. Math. 36 (1990): 267–302. [8] V. Chari, Braid group actions and tensor products, Int. Math. Res. Not. 2002, no. 7 (2002): 357–382. [9] K. Costello, E. Witten, and M. Yamazaki, Gauge theory and integrability, II, ICCM Not. 6 (2018): 120–146. (arXiv:1802.01579) [10] V. Drinfeld, A new realization of Yangians and quantum affine algebras, Soviet Math. Dokl. 36, no. 2 (1988): 212–216. [11] B. Feigin, M. Jimbo, T. Miwa, and E. Mukhin Finite type modules and Bethe ansatz equations, Ann. Henri Poincaré 18 (2017): 2543–2579. [12] ——, Finite type modules and Bethe ansatz for quantum toroidal gl1, Commun. Math. Phys. 356, no. 1 (2017): 285–327. [13] G. Felder, Elliptic quantum groups, XIth International Congress of Mathematical Physics, Paris 1994, Int. Press, Cambridge, MA, 1995, 211–218. (arXiv:hep-th/9412207) 22 HUAFENG ZHANG

[14] G. Felder and H. Zhang, Baxter operators and asymptotic representations, Selecta Math. (N.S.) 23, no. 4 (2017): 2947–2975. [15] M. Finkelberg, J. Kamnitzer, K. Pham, L. Rybnikov, and A. Weekes, Comultiplication for shifted Yangians and quantum open Toda lattice, Adv. Math. 327 (2018): 349–389. [16] G. Fourier and D. Hernandez, Schur positivity and Kirillov–Reshetikhin modules, SIGMA 10 (2014), 058. [17] E. Frenkel and D. Hernandez, Baxter’s relations and spectra of quantum integrable models, Duke Math. J. 164, no. 12 (2015): 2407–2460. [18] ——, Spectra of quantum KdV Hamiltonians, Langlands duality, and affine opers, Commun. Math. Phys. 362, no. 2 (2018): 361–414. [19] E. Frenkel and E. Mukhin, Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras, Commun. Math. Phys. 216 (2001): 23–57. [20] E. Frenkel and N. Reshetikhin, The q-character of representations of quantum affine algebras and deformations of W-algebras, Recent Developments in Quantum Affine Algebras and related topics, Contemp. Math. 248 (1999): 163–205. [21] S. Gautam and V. Toledano Laredo, Yangians, quantum loop algebras and abelian difference equations, J. Amer. Math. Soc. 29 (2016): 775–824. [22] ——, Elliptic quantum groups and their finite-dimensional representations, Preprint arXiv:1707.06469 (2017). [23] N. Guay, H. Nakajima, and C. Wendlandt, Coproduct for Yangians of affine Kac–Moody algebras, Adv. Math. 338 (2018): 865–911. [24] N. Guay, V. Regelskis, and C. Wendlandt, Equivalences between three presentations of orthogonal and symplectic Yangians, Lett. Math. Phys. 109 (2019): 327–379. [25] D. Hernandez, The Kirillov-Reshetikhin conjecture and solutions of T-systems, J. Reine Angrew. Math. 596 (2006): 63–87. [26] ——, Representations of quantum affinizations and fusion product, Transform. Groups 10, no. 2 (2005): 163–200. [27] D. Hernandez and M. Jimbo, Asymptotic representations and Drinfeld rational fractions, Compos. Math. 148, no. 5 (2012): 1593–1623. [28] D. Hernandez and B. Leclerc, Cluster algebras and category O for representations of Borel subalgebras of quantum affine algebras, Alg. Number Th. 10, no. 9 (2016): 2015–2052. [29] N. Jing, M. Liu, and A. Molev, Isomorphism between the R-matrix and Drinfeld presentations of Yangians in types B, C and D, Commun. Math. Phys. 361 (2018): 827–872. [30] N. Jing and H-L. Zhang, Hopf algebraic structures of quantum toroidal algebras, Preprint arXiv:1604.05416 (2016). [31] V. Kac, Infinite dimensional Lie algebras, 3rd ed., Cambridge Univ. Press, 1990. [32] A. Kirillov and N. Reshetikhin, Representation of Yangians and multiplicities of the inclu- sion of the irreducible components of the tensor product of representations of simple Lie algebras, Zap. Nauch. Sem. LOMI 160 (1987), 211–221, translation in Journal of Soviet Math. 52 (1990), 3156–3164. [33] S. Khoroshkin and V. Tolstoy, Yangian double, Lett. Math. Phys. 36 (1996): 373–402. [34] H. Knight, Spectra of tensor products of finite dimensional representations of Yangians, J. Algebra 174 (1995): 187–196. [35] E. Mukhin and C. Young, Affinization of category O for quantum groups, Trans. Amer. Math. Soc. 366, no. 9 (2014): 4815–4847. [36] M. Müller-Schrader, Asymptotic representations of Yangians, Master thesis, Swiss Federal Institute of Technology Zürich, 2018. [37] H. Nakajima, t-analog of q-characters of Kirillov–Reshetikhin modules of quantum affine algebras, Represent. Theory 7 (2003): 259–274. [38] Y. Tan and N. Guay, Local Weyl modules and cyclicity of tensor products for Yangians, J. Algebra 432 (2015): 228–251. [39] Y. Tan, Braid group actions and tensor products for Yangians, Preprint arXiv:1510.01533 (2015). [40] C. Wendlandt, The R-matrix presentation for Yangian of a simple Lie algebra, Commun. Math. Phys. 363 (2018): 289–332. [41] Y. Yang and G. Zhao, Quiver varieties and elliptic quantum groups, Preprint (2017) arXiv:1708.01418. [42] H. Zhang, Asymptotic representations of quantum affine superalgebras, SIGMA 13 (2017), 066. [43] ——, Length-two representations of quantum affine superalgebras and Baxter operators, Commun. Math. Phys. 358 (2018): 815–862. [44] ——, Elliptic quantum groups and Baxter relations, Alg. Number Th. 12 (2018): 599–647.