Showing 1–31 of 31 results for author: Toledano-Laredo, V

An abelian formula for the quantum Weyl group action of the coroot lattice

Authors: S. Gautam, V. Toledano-Laredo

Abstract: Let g be a complex simple Lie algebra and Uq(Lg) its quantum loop algebra, where q is not a root of unity. We give an explicit formula for the quantum Weyl group action of the coroot lattice Q of g on finite-dimensional representations of Uq(Lg) in terms of its commuting generators. The answer is expressed in terms of the Chari-Pressley series, whose evaluation on highest weight vectors gives rise… ▽ More Let g be a complex simple Lie algebra and Uq(Lg) its quantum loop algebra, where q is not a root of unity. We give an explicit formula for the quantum Weyl group action of the coroot lattice Q of g on finite-dimensional representations of Uq(Lg) in terms of its commuting generators. The answer is expressed in terms of the Chari-Pressley series, whose evaluation on highest weight vectors gives rise to Drinfeld polynomials. It hinges on a strong rationality result for that series, which is derived in the present paper. As an application, we identify the action of Q on the equivariant K-theory of Nakajima quiver varieties with that of explicitly given determinant line bundles. △ Less

Submitted 4 January, 2025; originally announced January 2025.

Comments: 28 pages

On the Finkelberg-Ginzburg Mirabolic Monodromy Conjecture

Authors: Valerio Toledano-Laredo, Robin Walters

Abstract: We compute the monodromy of the mirabolic Harish-Chandra D-module for all values of the parameters (theta,c) in rank 1, and outside an explicit codimension 2 set of values in ranks 2 and higher. This shows in particular that the Finkelberg-Ginzburg conjecture, which is known to hold for generic values of (theta,c), fails at special values even in rank 1. Our main tools are Opdam's shift operators… ▽ More We compute the monodromy of the mirabolic Harish-Chandra D-module for all values of the parameters (theta,c) in rank 1, and outside an explicit codimension 2 set of values in ranks 2 and higher. This shows in particular that the Finkelberg-Ginzburg conjecture, which is known to hold for generic values of (theta,c), fails at special values even in rank 1. Our main tools are Opdam's shift operators and intertwiners for the extended affine Weyl group, which allow for the resolution of resonances outside the codimension two set. △ Less

Submitted 15 June, 2024; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: Substantial revision. 36 pages, 7 figures

Pure braid group actions on category O modules

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: Let g be a symmetrisable Kac-Moody algebra and U_h(g) its quantised enveloping algebra. Answering a question of P. Etingof, we prove that the quantum Weyl group operators of U_h(g) give rise to a canonical action of the pure braid group of g on any category O (not necessarily integrable) U_h(g)-module V. By relying on our recent results in arXiv:1512.03041, we show that this action describes the m… ▽ More Let g be a symmetrisable Kac-Moody algebra and U_h(g) its quantised enveloping algebra. Answering a question of P. Etingof, we prove that the quantum Weyl group operators of U_h(g) give rise to a canonical action of the pure braid group of g on any category O (not necessarily integrable) U_h(g)-module V. By relying on our recent results in arXiv:1512.03041, we show that this action describes the monodromy of the rational Casimir connection on the g-module corresponding to V under the Etingof-Kazhdan equivalence of category O for g and U_h(g). We also extend these results to yield equivalent quantum Weyl group and monodromic representations of parabolic pure braid groups on parabolic category O for U_h(g) and g. △ Less

Submitted 8 January, 2024; v1 submitted 10 August, 2022; originally announced August 2022.

Comments: Final version, to appear in PAMQ. 36 pages

Stokes phenomena, Poisson-Lie groups and quantum groups

Authors: V. Toledano-Laredo, X. Xu

Abstract: Let g be a complex semisimple Lie algebra, G the simply-connected Poisson-Lie group corresponding to g, and G* its dual. G-valued Stokes phenomena were used by Boalch [Bo1,Bo2] to give a canonical, analytic linearisation of the Poisson structure on G*. Ug-valued Stokes phenomena were used by the first author to construct a twist killing the KZ associator, and therefore give a transcendental constr… ▽ More Let g be a complex semisimple Lie algebra, G the simply-connected Poisson-Lie group corresponding to g, and G* its dual. G-valued Stokes phenomena were used by Boalch [Bo1,Bo2] to give a canonical, analytic linearisation of the Poisson structure on G*. Ug-valued Stokes phenomena were used by the first author to construct a twist killing the KZ associator, and therefore give a transcendental construction of the Drinfeld-Jimbo quantum group U_hg (arXiv:1601.04076). In the present paper, we show that the former construction can be obtained as semiclassical limit of the latter. Along the way, we also show that the R-matrix of U_hg is a Stokes matrix for the dynamical KZ equations. △ Less

Submitted 11 March, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: Minor revisions. Submitted version. 27 pages

The meromorphic R-matrix of the Yangian

Authors: Sachin Gautam, Valerio Toledano-Laredo, Curtis Wendlandt

Abstract: Let g be a complex semisimple Lie algebra and Yg its Yangian. Drinfeld proved that the universal R-matrix of Yg gives rise to rational solutions of the quantum Yang-Baxter equations on irreducible, finite-dimensional representations of Yg. This result was recently extended by Maulik-Okounkov to symmetric Kac-Moody algebras, and representations arising from geometry. We show that this rationality c… ▽ More Let g be a complex semisimple Lie algebra and Yg its Yangian. Drinfeld proved that the universal R-matrix of Yg gives rise to rational solutions of the quantum Yang-Baxter equations on irreducible, finite-dimensional representations of Yg. This result was recently extended by Maulik-Okounkov to symmetric Kac-Moody algebras, and representations arising from geometry. We show that this rationality ceases to hold for arbitrary finite-dimensional representations, at least if one requires such solutions to be natural with respect to the representation and compatible with tensor products. Equivalently, the tensor category of finite-dimensional representations of Yg does not admit rational commutativity constraints. We construct instead two meromorphic commutativity constraints, which are related by a unitarity condition. We show that each possesses an asymptotic expansion as s tends to infinity, which has the same formal properties as Drinfeld's R(s), and therefore coincides with the latter by uniqueness. In particular, we give an alternative, constructive proof of the existence of the universal R-matrix of Yg. Our construction relies on the Gauss decomposition R^+(s)R^0(s)R^-(s) of R(s). The divergent abelian term R^0 was resummed on finite-dimensional representations by the first two authors in arXiv:1403.5251. The main ingredient of the present paper is the construction of R^+(s) and R^-(s). We prove that they are rational functions on finite-dimensional representations, and that they intertwine the standard coproduct of Yg and the deformed Drinfeld coproduct introduced in arXiv:1403.5251. △ Less

Submitted 20 October, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: Minor edits, one reference added. To appear in Progress in Mathematics volume for N. Reshetikhin's 60th birthday. 49 pp

The elliptic Casimir connection of a simple Lie algebra

Authors: Valerio Toledano-Laredo, Yaping Yang

Abstract: We construct a flat connection on the elliptic configuration space associated to any complex semisimple Lie algebra g. This elliptic Casimir connection has logarithmic singularities, and takes values in the deformed double current algebra of g defined by Guay. It degenerates to the trigonometric Casimir connection of g constructed by the first author. By analogy with the rational and trigonometric… ▽ More We construct a flat connection on the elliptic configuration space associated to any complex semisimple Lie algebra g. This elliptic Casimir connection has logarithmic singularities, and takes values in the deformed double current algebra of g defined by Guay. It degenerates to the trigonometric Casimir connection of g constructed by the first author. By analogy with the rational and trigonometric cases, we conjecture that the monodromy of the elliptic Casimir connection is described by the quantum Weyl group operators of the quantum toroidal algebra of g. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Comments: 56 pages

Universal KZB Equations for arbitrary root systems

Authors: Valerio Toledano-Laredo, Yaping Yang

Abstract: Generalising work of Calaque-Enriquez-Etingof, we construct a universal KZB connection D_R for any finite (reduced, crystallographic) root system R. D_R is a flat connection on the regular locus of the elliptic configuration space associated to R, with values in a graded Lie algebra t_R with a presentation with relations in degrees 2, 3 and 4 which we determine explicitly. The connection D_R also… ▽ More Generalising work of Calaque-Enriquez-Etingof, we construct a universal KZB connection D_R for any finite (reduced, crystallographic) root system R. D_R is a flat connection on the regular locus of the elliptic configuration space associated to R, with values in a graded Lie algebra t_R with a presentation with relations in degrees 2, 3 and 4 which we determine explicitly. The connection D_R also extends to a flat connection over the moduli space of pointed elliptic curves. We prove that its monodromy induces an isomorphism between the Malcev Lie algebra of the elliptic pure braid group P_R corresponding to R and t_R, thus showing that P_R is not 1-formal and extending a result of Bezrukavnikov valid in type A. We then study one concrete incarnation of our KZB connection, which is obtained by mapping t_R to the rational Cherednik algebra H_{h,c} of the corresponding Weyl group W. Its monodromy gives rise to an isomorphism between appropriate completions of the double affine Hecke algebra of W and H_{h,c}. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Comments: 50 pages

Elliptic quantum groups and their finite-dimensional representations

Authors: Sachin Gautam, Valerio Toledano-Laredo

Abstract: Let g be a complex semisimple Lie algebra, tau a point in the upper half-plane, and h a complex deformation parameter such that the image of h in the elliptic curve E_tau is of infinite order. In this paper, we give an intrinsic definition of the category of finite-dimensional representations of the elliptic quantum group E_{h,tau}(g) associated to g. The definition is given in terms of Drinfeld h… ▽ More Let g be a complex semisimple Lie algebra, tau a point in the upper half-plane, and h a complex deformation parameter such that the image of h in the elliptic curve E_tau is of infinite order. In this paper, we give an intrinsic definition of the category of finite-dimensional representations of the elliptic quantum group E_{h,tau}(g) associated to g. The definition is given in terms of Drinfeld half-currents and extends that given by Enriquez-Felder for g=sl_2. When g=sl_n, it reproduces Felder's RLL definition via the Gauss decomposition obtained by Enriquez-Felder for n=2 and by the first author for n greater than 2. We classify the irreducible representations of E_{h,tau} in terms of elliptic Drinfeld polynomials, in close analogy to the case of the Yangian Y_h(g) and quantum loop algebra U_q(Lg) of g. A crucial ingredient in the classification, which circumvents the fact that E_{h,tau} does not appear to admit Verma modules, is a functor from finite-dimensional representations of U_q(Lg) to those of E_{h,tau} which is an elliptic analogue of the monodromy functor constructed in our previous work arXiv:1310.7318. Our classification is new even for g=sl_2, and holds more generally when g is a symmetrisable Kac-Moody algebra, provided finite-dimensionality is replaced by an integrability and category O condition. △ Less

Submitted 26 February, 2019; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: Added an appendix on the Serre relations. 56 pages

A 2-categorical extension of Etingof-Kazhdan quantisation

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: Let k be a field of characteristic zero. Etingof and Kazhdan constructed a quantisation U_h(b) of any Lie bialgebra b over k, which depends on the choice of an associator Phi. They prove moreover that this quantisation is functorial in b. Remarkably, the quantum group U_h(b) is endowed with a Tannakian equivalence F_b from the braided tensor category of Drinfeld-Yetter modules over b, with deforme… ▽ More Let k be a field of characteristic zero. Etingof and Kazhdan constructed a quantisation U_h(b) of any Lie bialgebra b over k, which depends on the choice of an associator Phi. They prove moreover that this quantisation is functorial in b. Remarkably, the quantum group U_h(b) is endowed with a Tannakian equivalence F_b from the braided tensor category of Drinfeld-Yetter modules over b, with deformed associativity constraints given by Phi, to that of Drinfeld-Yetter modules over U_h(b). In this paper, we prove that the equivalence F_b is functorial in b. △ Less

Submitted 11 December, 2017; v1 submitted 30 October, 2016; originally announced October 2016.

Comments: Small revisions in Sections 2 and 6. An appendix added on the equivalence between admissible Drinfeld-Yetter modules over a QUE and modules over its quantum double. To appear in Selecta Math. 71 pages

Journal ref: Selecta Mathematica 24 (2018), 3529-3617

Coxeter categories and quantum groups

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: We define the notion of braided Coxeter category, which is informally a tensor category carrying compatible, commuting actions of a generalised braid group B_W and Artin's braid groups B_n on the tensor powers of its objects. The data which defines the action of B_W bears a formal similarity to the associativity constraints in a monoidal category, but is related to the coherence of a family of fib… ▽ More We define the notion of braided Coxeter category, which is informally a tensor category carrying compatible, commuting actions of a generalised braid group B_W and Artin's braid groups B_n on the tensor powers of its objects. The data which defines the action of B_W bears a formal similarity to the associativity constraints in a monoidal category, but is related to the coherence of a family of fiber functors. We show that the quantum Weyl group operators of a quantised Kac-Moody algebra U_h(g), together with the universal R-matrices of its Levi subalgebras, give rise to a braided Coxeter structure on integrable, category O-modules for U_h(g). By relying on the 2-categorical extension of Etingof-Kazhdan quantisation obtained in arXiv:1610.09744, we then prove that this structure can be transferred to integrable, category O-representations of g. These results are used in arXiv:1512.03041 to give a monodromic description of the quantum Weyl group operators of U_h(g) which extends the one obtained by the second author for a semisimple Lie algebra. △ Less

Submitted 26 June, 2019; v1 submitted 30 October, 2016; originally announced October 2016.

Comments: Substantial revision. Changes include 1) greatly expanded introduction 2) Section 8 split into the new sections 8 (Universal Algebras) and 9 (Universal pre-Coxeter Structures) 3) more thorough account of the PROPic nature of transferred structure (Sect. 10) 4) notion of Upsilon and a-strict pre-Coxeter structures (Sect. 3, 9 and 10). Final version. To appear in Selecta Math. 81 pages

Journal ref: Selecta Mathematica 25 (2019)

Quasi-Coxeter quasitriangular quasibialgebras and the Casimir connection

Authors: Valerio Toledano-Laredo

Abstract: Let g be a complex, semisimple Lie algebra. We prove the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra of g, which binds the quasi-Coxeter structure underlying the Casimir connection of g and the quasitriangular quasibialgebra one underlying its KZ equations. This implies in particular that the monodromy of the rational Casimir connection of g is… ▽ More Let g be a complex, semisimple Lie algebra. We prove the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra of g, which binds the quasi-Coxeter structure underlying the Casimir connection of g and the quasitriangular quasibialgebra one underlying its KZ equations. This implies in particular that the monodromy of the rational Casimir connection of g is described by the quantum Weyl group operators of the quantum group U_h(g). △ Less

Submitted 15 January, 2016; originally announced January 2016.

Comments: 55 pages

Monodromy of the Casimir connection of a symmetrisable Kac-Moody algebra

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: Let g be a symmetrisable Kac-Moody algebra and V an integrable g-module in category O. We show that the monodromy of the (normally ordered) rational Casimir connection on V can be made equivariant with respect to the Weyl group W of g, and therefore defines an action of the braid group B_W of W on V. We then prove that this action is canonically equivalent to the quantum Weyl group action of B_W o… ▽ More Let g be a symmetrisable Kac-Moody algebra and V an integrable g-module in category O. We show that the monodromy of the (normally ordered) rational Casimir connection on V can be made equivariant with respect to the Weyl group W of g, and therefore defines an action of the braid group B_W of W on V. We then prove that this action is canonically equivalent to the quantum Weyl group action of B_W on a quantum deformation of V, that is an integrable, category O-module V_h over the quantum group U_h(g) such that V_h/hV_h is isomorphic to V. This extends a result of the second author which is valid for g semisimple. △ Less

Submitted 15 March, 2024; v1 submitted 9 December, 2015; originally announced December 2015.

Comments: Some details added. Minor revisions throughout. Published version. 107 pages

Journal ref: Inventiones Mathematicae, 2024, https://link.springer.com/article/10.1007/s00222-024-01242-8

Uniqueness of Coxeter structures on Kac-Moody algebras

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: Let g be a symmetrisable Kac-Moody algebra, and U_h(g) the corresponding quantum group. We showed in arXiv:1610.09744 and arXiv:1610.09741 that the braided quasi-Coxeter structure on integrable, category O representations of U_h(g) which underlies the R-matrix actions arising from the Levi subalgebras of U_h(g) and the quantum Weyl group action of the generalised braid group B_g can be transferred… ▽ More Let g be a symmetrisable Kac-Moody algebra, and U_h(g) the corresponding quantum group. We showed in arXiv:1610.09744 and arXiv:1610.09741 that the braided quasi-Coxeter structure on integrable, category O representations of U_h(g) which underlies the R-matrix actions arising from the Levi subalgebras of U_h(g) and the quantum Weyl group action of the generalised braid group B_g can be transferred to integrable, category O representations of g. We prove in this paper that, up to unique equivalence, there is a unique such structure on the latter category with prescribed restriction functors, R--matrices, and local monodromies. This extends, simplifies and strengthens a similar result of the second author valid when g is semisimple, and is used in arXiv:1512.03041 to describe the monodromy of the rational Casimir connection of g in terms of the quantum Weyl group operators of U_h(g). Our main tool is a refinement of Enriquez's universal algebras, which is adapted to the PROP describing a Lie bialgebra graded by the non-negative roots of g. △ Less

Submitted 20 February, 2019; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: Expanded Introduction and Sec. 5 to discuss convolution product (5.11), cosimplicial structure on basis elements (5.13) and module structure on coinvariants (5.15). Minor revisions in Sec. 7.1 (gradings), 7.4 (deformation DY modules), 9.7 (exposition), 15.7 (Drinfeld double) and 15.15 (rigidity for diagrammatic KM algebras). Final version, to appear in Adv. Math. 81 pages

Journal ref: Advances in Mathematics 347 (2019), 1-104

Meromorphic tensor equivalence for Yangians and quantum loop algebras

Authors: Sachin Gautam, Valerio Toledano-Laredo

Abstract: Let ${\mathfrak g}$ be a complex semisimple Lie algebra, and $Y_h({\mathfrak g})$, $U_q(L{\mathfrak g})$ the corresponding Yangian and quantum loop algebra, with deformation parameters related by $q=\exp(πi h)$. When $h$ is not a rational number, we constructed in arXiv:1310.7318 a faithful functor $Γ$ from the category of finite-dimensional representations of $Y_h ({\mathfrak g})$ to those of… ▽ More Let ${\mathfrak g}$ be a complex semisimple Lie algebra, and $Y_h({\mathfrak g})$, $U_q(L{\mathfrak g})$ the corresponding Yangian and quantum loop algebra, with deformation parameters related by $q=\exp(πi h)$. When $h$ is not a rational number, we constructed in arXiv:1310.7318 a faithful functor $Γ$ from the category of finite-dimensional representations of $Y_h ({\mathfrak g})$ to those of $U_q(L{\mathfrak g})$. The functor $Γ$ is governed by the additive difference equations defined by the commuting fields of the Yangian, and restricts to an equivalence on a subcategory of $Y_h({\mathfrak g})$ defined by choosing a branch of the logarithm. In this paper, we construct a tensor structure on $Γ$ and show that, if $|q|\neq 1$, it yields an equivalence of meromorphic braided tensor categories, when $Y_h({\mathfrak g})$ and $U_q(L{\mathfrak g})$ are endowed with the deformed Drinfeld coproducts and the commutative part of the universal $R$-matrix. This proves in particular the Kohno-Drinfeld theorem for the abelian $q$KZ equations defined by $Y_h({\mathfrak g})$. The tensor structure arises from the abelian $q$KZ equations defined by a appropriate regularisation of the commutative $R$-matrix of $Y_h({\mathfrak g})$. △ Less

Submitted 11 May, 2017; v1 submitted 20 March, 2014; originally announced March 2014.

Comments: Title changed, details added. 67 pages, 1 figure. Final version, to appear in Publ. Math IHES

Journal ref: Publications Mathematiques de l'IHES 125 (2017), 267-337

Yangians, quantum loop algebras and abelian difference equations

Authors: S. Gautam, V. Toledano-Laredo

Abstract: Let g be a complex, semisimple Lie algebra, and Y_h(g) and U_q(Lg) the Yangian and quantum loop algebra of g. Assuming that h is not a rational number and that q=exp(i πh), we construct an equivalence between the finite-dimensional representations of U_q(Lg) and an explicit subcategory of those of Y_h(g) defined by choosing a branch of the logarithm. This equivalence is governed by the monodromy o… ▽ More Let g be a complex, semisimple Lie algebra, and Y_h(g) and U_q(Lg) the Yangian and quantum loop algebra of g. Assuming that h is not a rational number and that q=exp(i πh), we construct an equivalence between the finite-dimensional representations of U_q(Lg) and an explicit subcategory of those of Y_h(g) defined by choosing a branch of the logarithm. This equivalence is governed by the monodromy of the abelian additive difference equations defined by the commuting fields of Y_h(g). Our results are compatible with q-characters, and apply more generally to a symmetrisable Kac-Moody algebra g, in particular to affine Yangians and quantum toroidal algebras. In this generality, they yield an equivalence between the representations of Y_h(g) and U_q(Lg) whose restriction to g and U_q(g) respectively are integrable and in category O. △ Less

Submitted 20 November, 2015; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: Minor typos corrected. Final version. To appear in JAMS. 55 pages

Journal ref: Journal of the American Mathematical Society 29 (2016), 775-824

Quasi-Coxeter categories and a relative Etingof-Kazhdan quantization functor

Authors: Andrea Appel, Valerio Toledano-Laredo

Abstract: Let g be a symmetrizable Kac-Moody algebra and U_h(g) its quantized enveloping algebra. The quantum Weyl group operators of U_h(g) and the universal R-matrices of its Levi subalgebras endow U_h(g) with a natural quasi-Coxeter quasitriangular quasibialgebra structure which underlies the action of the braid group of g and Artin's braid groups on the tensor product of integrable, category O modules.… ▽ More Let g be a symmetrizable Kac-Moody algebra and U_h(g) its quantized enveloping algebra. The quantum Weyl group operators of U_h(g) and the universal R-matrices of its Levi subalgebras endow U_h(g) with a natural quasi-Coxeter quasitriangular quasibialgebra structure which underlies the action of the braid group of g and Artin's braid groups on the tensor product of integrable, category O modules. We show that this structure can be transferred to the universal enveloping algebra Ug[[h]]. The proof relies on a modification of the Etingof-Kazhdan quantization functor, and yields an isomorphism between (appropriate completions of) U_h(g) and Ug[[h]] preserving a given chain of Levi subalgebras. We carry it out in the more general context of chains of Manin triples, and obtain in particular a relative version of the Etingof-Kazhdan functor with input a split pair of Lie bialgebras. Along the way, we develop the notion of quasi-Coxeter categories, which are to generalized braid groups what braided tensor categories are to Artin's braid groups. This leads to their succint description as a 2-functor from a 2-category whose morphisms are De Concini-Procesi associahedra. These results will be used in the sequel to this paper to give a monodromic description of the quantum Weyl group operators of an affine Kac-Moody algebra, extending the one obtained by the second author for a semisimple Lie algebra. △ Less

Submitted 10 May, 2013; v1 submitted 30 December, 2012; originally announced December 2012.

Comments: 63 pages. Exposition in sections 1 and 4 improved. Material added: definition of a split pair of Lie bialgebras (sect. 5.2-5.5), 1-jet of the relative twist (5.20), PROP description of the Verma modules L_-,N*_+ (7.6), restriction to Levi subalgebras (8.4), D-structures on Kac-Moody algebras (9.1)

Monodromy of the trigonometric Casimir connection for sl_2

Authors: Sachin Gautam, Valerio Toledano-Laredo

Abstract: We show that the monodromy of the trigonometric Casimir connection on the tensor product of evaluation modules of the Yangian Ysl_2 is described by the quantum Weyl group operators of the quantum loop algebra U_h(Lsl_2). The proof is patterned on the second author's computation of the monodromy of the rational Casimir connection for sl_n via the dual pair (gl_k,gl_n), and rests ultimately on the E… ▽ More We show that the monodromy of the trigonometric Casimir connection on the tensor product of evaluation modules of the Yangian Ysl_2 is described by the quantum Weyl group operators of the quantum loop algebra U_h(Lsl_2). The proof is patterned on the second author's computation of the monodromy of the rational Casimir connection for sl_n via the dual pair (gl_k,gl_n), and rests ultimately on the Etingof-Geer-Schiffmann computation of the monodromy of the trigonometric KZ connection. It relies on two new ingredients: an affine extension of the duality between the R-matrix of U_h(sl_k) and the quantum Weyl group element of U_h(sl_2), and a formula expressing the quantum Weyl group action of the coroot lattice of SL_2 in terms of the commuting generators of U_h(Lsl_2). Using this formula, we define quantum Weyl group operators for the quantum loop algebra U_h(Lgl_2) and show that they describe the monodromy of the trigonometric Casimir connection on a tensor product of evaluation modules of the Yangian Ygl_2 △ Less

Submitted 17 January, 2013; v1 submitted 11 September, 2011; originally announced September 2011.

Comments: 44 pages. Some misprints corrected in Appendix B and references were updated. Final version. To appear in the proceedings of the AMS Special Session on Noncommutative Birational Geometry and Cluster Algebras

Journal ref: Proceedings of the AMS Special Session on Noncommutative Birational Geometry and Cluster Algebras, Contemporary Mathematics, 592. AMS, 2013, 40 pages

Yangians and quantum loop algebras

Authors: Sachin Gautam, Valerio Toledano-Laredo

Abstract: Let g be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra U_h(Lg) of g degenerates to the Yangian Y_h(g). We strengthen this result by constructing an explicit algebra homomorphism Phi defined over Q[[h]] from U_h(Lg) to the completion of Y_h(g) with respect to its grading. We show moreover that Phi becomes an isomorphism when the quantum loop algebra is completed w… ▽ More Let g be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra U_h(Lg) of g degenerates to the Yangian Y_h(g). We strengthen this result by constructing an explicit algebra homomorphism Phi defined over Q[[h]] from U_h(Lg) to the completion of Y_h(g) with respect to its grading. We show moreover that Phi becomes an isomorphism when the quantum loop algebra is completed with respect to its its evaluation ideal. We construct a similar homomorphism for g=gl_n and show that it intertwines the geometric actions of U_h(L gl_n) and Y(gl_n) on the equivariant K-theory and cohomology of the variety of n-step flags in C^d constructed by Ginzburg and Vasserot. △ Less

Submitted 14 December, 2012; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 55 pages. Introduction expanded, exposition in section 4 improved, isomorphism between completions for gl(n) added in section 7, a few references added, minor changes throughout. Final version. Published online in Selecta Mathematica

Journal ref: Selecta Mathematica 19 (2013), 271-336

Stokes factors and multilogarithms

Authors: T. Bridgeland, V. Toledano-Laredo

Abstract: Let G be a complex, affine algebraic group and D a meromorphic connection on the trivial G-bundle over P^1, with a pole of order 2 at zero and a pole of order 1 at infinity. We show that the map S taking the residue of D at zero to the corresponding Stokes factors is given by an explicit, universal Lie series whose coefficients are multilogarithms. Using a non-commutative analogue of the compositi… ▽ More Let G be a complex, affine algebraic group and D a meromorphic connection on the trivial G-bundle over P^1, with a pole of order 2 at zero and a pole of order 1 at infinity. We show that the map S taking the residue of D at zero to the corresponding Stokes factors is given by an explicit, universal Lie series whose coefficients are multilogarithms. Using a non-commutative analogue of the compositional inversion of formal power series, we show that the same holds for the inverse of S, and that the corresponding Lie series coincides with the generating function for counting invariants in abelian categories constructed by D. Joyce. △ Less

Submitted 17 December, 2011; v1 submitted 23 June, 2010; originally announced June 2010.

Comments: final version, to appear in Crelle's journal. arXiv admin note: text overlap with arXiv:0801.3974

Journal ref: J. Reine Angew. Math. 682 (2013), 89-128

The trigonometric Casimir connection of a simple Lie algebra

Authors: Valerio Toledano-Laredo

Abstract: Let g be a complex, semisimple Lie algebra, G the corresponding simply-connected Lie group and H a maximal torus in G. We construct a flat connection on H with logarithmic singularities on the root hypertori and values in the Yangian Y(g) of g. By analogy with the rational Casimir connection of g, we conjecture that the monodromy of this trigonometric connection is described by the quantum Weyl gr… ▽ More Let g be a complex, semisimple Lie algebra, G the corresponding simply-connected Lie group and H a maximal torus in G. We construct a flat connection on H with logarithmic singularities on the root hypertori and values in the Yangian Y(g) of g. By analogy with the rational Casimir connection of g, we conjecture that the monodromy of this trigonometric connection is described by the quantum Weyl group operators of the quantum loop algebra U_h(Lg). △ Less

Submitted 1 July, 2010; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: 44 pages. Some typos corrected and minor changes made. Final version to appear in the Journal of Algebra

Journal ref: Journal of Algebra 329 (2011), 286-327

The Dynkin diagram cohomology of finite Coxeter groups

Authors: R. Rouquier, V. Toledano-Laredo

Abstract: Let D be a connected graph. The Dynkin complex CD(A) of a D-algebra A was introduced by the second author in [TL2] to control the deformations of quasi-Coxeter algebra structures on A. In the present paper, we study the cohomology of this complex when A is the group algebra of a Coxeter group W and D is the Dynkin diagram of W. We compute this cohomology when W is finite and prove in particular… ▽ More Let D be a connected graph. The Dynkin complex CD(A) of a D-algebra A was introduced by the second author in [TL2] to control the deformations of quasi-Coxeter algebra structures on A. In the present paper, we study the cohomology of this complex when A is the group algebra of a Coxeter group W and D is the Dynkin diagram of W. We compute this cohomology when W is finite and prove in particular the rigidity of quasi-Coxeter algebra structures on kW. For an arbitrary W, we compute the top cohomology group and obtain a number of additional partial results when W is affine. Our computations are carried out by filtering CD(A) by the number of vertices of subgraphs of D. The corresponding graded complex turns out to be dual to the sum of the Coxeter complexes of all standard, irreducible parabolic subgroups of W. △ Less

Submitted 25 September, 2009; v1 submitted 6 April, 2008; originally announced April 2008.

Comments: Final version, 25 pages, to appear in the Journal of Algebra. Minor word changes. A new section (6) has been added where the rigidity of quasi-Coxeter algebra structures on the group algebra of a finite Coxeter group is proved

Journal ref: Journal of Algebra 323 (2010), 59-82

Stability conditions and Stokes factors

Authors: Tom Bridgeland, Valerio Toledano-Laredo

Abstract: Let A be the category of modules over a complex, finite-dimensional algebra. We show that the space of stability conditions on A parametrises an isomonodromic family of irregular connections on P^1 with values in the Hall algebra of A. The residues of these connections are given by the holomorphic generating function for counting invariants in A constructed by D. Joyce. Let A be the category of modules over a complex, finite-dimensional algebra. We show that the space of stability conditions on A parametrises an isomonodromic family of irregular connections on P^1 with values in the Hall algebra of A. The residues of these connections are given by the holomorphic generating function for counting invariants in A constructed by D. Joyce. △ Less

Submitted 23 April, 2011; v1 submitted 25 January, 2008; originally announced January 2008.

Comments: Very minor changes. Final version. To appear in Inventiones

MSC Class: 18E10; 16D90; 34M55; 17B45

Journal ref: Inventiones Mathematicae 187 (2012), 61-98

Gaudin models with irregular singularities

Authors: B. Feigin, E. Frenkel, V. Toledano-Laredo

Abstract: We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras… ▽ More We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras. We show that these algebras are isomorphic to algebras of functions on the spaces of opers on P^1 with regular as well as irregular singularities at finitely many points. We construct eigenvectors of these Hamiltonians, using Wakimoto modules of critical level, and show that their spectra on finite-dimensional representations are given by opers with trivial monodromy. We also comment on the connection between the generalized Gaudin models and the geometric Langlands correspondence with ramification. △ Less

Submitted 23 September, 2009; v1 submitted 27 December, 2006; originally announced December 2006.

Comments: Latex, 72 pages. Final version to appear in Advances in Mathematics

Journal ref: Adv.Math.223:873-948,2010

Quasi-Coxeter algebras, Dynkin diagram cohomology and quantum Weyl groups

Authors: V. Toledano-Laredo

Abstract: The author, and independently De Concini, conjectured that the monodromy of the Casimir connection of a simple Lie algebra g is described by the quantum Weyl group operators of the quantum group U_h(g). The aim of this paper, and of its sequel [TL4], is to prove this conjecture. The proof relies upon the use of quasi-Coxeter algebras, which are to generalised braid groups what Drinfeld's quasitr… ▽ More The author, and independently De Concini, conjectured that the monodromy of the Casimir connection of a simple Lie algebra g is described by the quantum Weyl group operators of the quantum group U_h(g). The aim of this paper, and of its sequel [TL4], is to prove this conjecture. The proof relies upon the use of quasi-Coxeter algebras, which are to generalised braid groups what Drinfeld's quasitriangular quasibialgebras are to the Artin braid groups B_n. Using an appropriate deformation cohomology, we reduce the conjecture to the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra Ug which interpolates between the quasi-Coxeter structure underlying the Casimir connection and the quasitriangular quasibialgebra underlying the KZ equations. The existence of this structure will be proved in [TL4]. △ Less

Submitted 21 December, 2008; v1 submitted 26 June, 2005; originally announced June 2005.

Comments: Final version. Coproduct axiom for quasi Coxeter quasi triangular quasi bialgebra in Section 6.9 changed to an equivalent form to better fit examples. Abstract shortened to comply with IMRP editorial policy. A few typos corrected

Journal ref: International Mathematics Research Papers 2008, article ID rpn009, 167 pages

Cohomological construction of relative twists

Authors: V. Toledano-Laredo

Abstract: Let g be a complex, semi-simple Lie algebra, h a Cartan subalgebra of g and D a subdiagram of the Dynkin diagram of g. Let g_D and l_D be the corresponding semi-simple and Levi subalgebras and consider two invariant solutions Phi, Phi_D of the pentagon equation for g and g_D respectively. Motivated by the theory of quasi-Coxeter quasitriangular quasibialgebras \cite{TL3}, we study in this paper… ▽ More Let g be a complex, semi-simple Lie algebra, h a Cartan subalgebra of g and D a subdiagram of the Dynkin diagram of g. Let g_D and l_D be the corresponding semi-simple and Levi subalgebras and consider two invariant solutions Phi, Phi_D of the pentagon equation for g and g_D respectively. Motivated by the theory of quasi-Coxeter quasitriangular quasibialgebras \cite{TL3}, we study in this paper the existence of a relative twist, that is an element F invariant under l_D such that the twist of Phi by F is Phi_D. Adapting the method of Donin and Shnider, who treated the case of an empty D, so that l_D=h and Phi_D=1, we give a cohomological construction of such an F under the assumption that Phi_D is the image of Phi under the generalised Harish-Chandra homomorphism. We also show that F is unique up to a gauge transformation if l_D is of corank 1 or F satisfies F^Θ= F^{21} where Θis an involution of g acting as -1 on h. △ Less

Submitted 18 August, 2006; v1 submitted 26 June, 2005; originally announced June 2005.

Comments: minor touch-ups, to appear in Advances in Math

Journal ref: Advances in Mathematics 210 (2007), 375-403.

Fusion of Positive Energy Representations of LSpin(2n)

Authors: V. Toledano-Laredo

Abstract: Building upon the Jones-Wassermann program of studying Conformal Field Theory using operator algebraic tools, and the work of A. Wassermann on the loop group of LSU(n) (Invent. Math. 133 (1998), 467-538), we give a solution to the problem of fusion for the loop group of Spin(2n). Our approach relies on the use of A. Connes' tensor product of bimodules over a von Neumann algebra to define a multi… ▽ More Building upon the Jones-Wassermann program of studying Conformal Field Theory using operator algebraic tools, and the work of A. Wassermann on the loop group of LSU(n) (Invent. Math. 133 (1998), 467-538), we give a solution to the problem of fusion for the loop group of Spin(2n). Our approach relies on the use of A. Connes' tensor product of bimodules over a von Neumann algebra to define a multiplicative operation (Connes fusion) on the (integrable) positive energy representations of a given level. The notion of bimodules arises by restricting these representations to loops with support contained in an interval I of the circle or its complement. We study the corresponding Grothendieck ring and show that fusion with the vector representation is given by the Verlinde rules. The computation rests on 1) the solution of a 6-parameter family of Knizhnik-Zamolodchikhov equations and the determination of its monodromy, 2) the explicit construction of the primary fields of the theory, which allows to prove that they define operator-valued distributions and 3) the algebraic theory of superselection sectors developed by Doplicher-Haag-Roberts. △ Less

Submitted 3 September, 2004; originally announced September 2004.

Comments: 157 pages, no figures. This is the text of my 1997 PhD thesis

Casimir Operators and Monodromy Representations of Generalised Braid Groups

Authors: J. J. Millson, V. Toledano-Laredo

Abstract: Let g be a complex, simple Lie algebra with Cartan subalgebra h and Weyl group W. We construct a one-parameter family of flat connections D on h with values in any finite-dimensional h-module V and simple poles on the root hyperplanes. The corresponding monodromy representation of the braid group B of type g is a deformation of the action of (a finite extension of) W on V. The residues of D are… ▽ More Let g be a complex, simple Lie algebra with Cartan subalgebra h and Weyl group W. We construct a one-parameter family of flat connections D on h with values in any finite-dimensional h-module V and simple poles on the root hyperplanes. The corresponding monodromy representation of the braid group B of type g is a deformation of the action of (a finite extension of) W on V. The residues of D are the Casimirs of the sl(2)-subalgebras of g corresponding to its roots. The irreducibility of a subspace U of V under these implies that, for generic values of the parameter, the braid group B acts irreducibly on U. Answering a question of Knutson and Procesi, we show that these Casimirs act irreducibly on the weight spaces of all simple g-modules if g is sl(3) but that this is not the case if g is not isomorphic to sl(2) or sl(3). We use this to disprove a conjecture of Kwon and Lusztig stating the irreducibility of quantum Weyl group actions of Artin's braid group B_n on the zero weight spaces of all simple U_{q}sl(n)-modules for n greater or equal to 4. Finally, we study the irreducibility of the action of the Casimirs on the zero weight spaces of self-dual g-modules and obtain complete classification results for g=sl(n) or g(2). △ Less

Submitted 1 September, 2004; v1 submitted 4 May, 2003; originally announced May 2003.

Comments: 43 pages, no figures. Substantially revised, to appear in Transformation Groups. Exposition in sections 3,4,5 and 8 improved. Material in sections 6 and 7 on the representations of the Casimir algebra of so(2n), so(2n+1) and sp(2n) has been removed and will appear in a future publication

Journal ref: Tranform. Groups 10 (2005), 217-254

Flat Connections and Quantum Groups

Authors: Valerio Toledano-Laredo

Abstract: We review the Kohno-Drinfeld theorem as well as a conjectural analogue relating quantum Weyl groups to the monodromy of a flat connection D on the Cartan subalgebra of a complex, semi-simple Lie algebra g with poles on the root hyperplanes and values in any g-module V. We sketch our proof of this conjecture when g=sl(n) and when g is arbitrary and V is a vector, spin or adjoint representation. W… ▽ More We review the Kohno-Drinfeld theorem as well as a conjectural analogue relating quantum Weyl groups to the monodromy of a flat connection D on the Cartan subalgebra of a complex, semi-simple Lie algebra g with poles on the root hyperplanes and values in any g-module V. We sketch our proof of this conjecture when g=sl(n) and when g is arbitrary and V is a vector, spin or adjoint representation. We also establish a precise link between the connection D and Cherednik's generalisation of the KZ connection to finite reflection groups. △ Less

Submitted 16 May, 2002; originally announced May 2002.

Comments: 20 pages. To appear in the Proceedings of the 2000 Twente Conference on Lie Groups, in a special issue of Acta Applicandae Mathematicae

Journal ref: Acta Appl. Math. 73 (2002), 155-173

Positive Energy Representations of the Loop Groups of Non Simply Connected Lie Groups

Authors: Valerio Toledano-Laredo

Abstract: We classify and construct all irreducible positive energy representations of the loop group of a compact, connected and simple Lie group and show that they admit an intertwining action of Diff(S^{1}). We classify and construct all irreducible positive energy representations of the loop group of a compact, connected and simple Lie group and show that they admit an intertwining action of Diff(S^{1}). △ Less

Submitted 22 June, 2001; originally announced June 2001.

Comments: Available from Springer Verlag at http://link.springer.de/

Journal ref: Communications in Mathematical Physics 207, 1999, 307-339

Integrating Unitary Representations of Infinite-Dimensional Lie Groups

Authors: Valerio Toledano-Laredo

Abstract: We show that in the presence of suitable commutator estimates, a projective unitary representation of the Lie algebra of a connected and simply connected Lie group G exponentiates to G. Our proof does not assume G to be finite--dimensional or of Banach-Lie type and therefore encompasses the diffeomorphism groups of compact manifolds. We obtain as corollaries short proofs of Goodman and Wallach's… ▽ More We show that in the presence of suitable commutator estimates, a projective unitary representation of the Lie algebra of a connected and simply connected Lie group G exponentiates to G. Our proof does not assume G to be finite--dimensional or of Banach-Lie type and therefore encompasses the diffeomorphism groups of compact manifolds. We obtain as corollaries short proofs of Goodman and Wallach's results on the integration of positive energy representations of loop groups and Diff(S^{1}) and of Nelson's criterion for the exponentiation of unitary representations of finite-dimensional Lie algebras. △ Less

Submitted 22 June, 2001; originally announced June 2001.

Comments: Available from Academic Press at http://www.academicpress.com/jfa

Journal ref: Journal of Functional Analysis 161, 1999, 478-508

A Kohno-Drinfeld theorem for quantum Weyl groups

Authors: Valerio Toledano-Laredo

Abstract: Let g be a complex, simple Lie algebra and t a Cartan subalgebra of g. A new unitary, flat connection on t with values in any finite-dimensional g-module V and simple poles along the root hyperplanes was recently introduced by J. Millson and myself. This connection depends upon a complex parameter h and I conjectured that its monodromy is equivalent to the quantum Weyl group representation of th… ▽ More Let g be a complex, simple Lie algebra and t a Cartan subalgebra of g. A new unitary, flat connection on t with values in any finite-dimensional g-module V and simple poles along the root hyperplanes was recently introduced by J. Millson and myself. This connection depends upon a complex parameter h and I conjectured that its monodromy is equivalent to the quantum Weyl group representation of the braid group of type g defined by Lusztig, Kirillov-Reshetikhin and Soibelman via the quantum group U_{h}g. In this paper, I prove this conjecture for g=sl_{n}. △ Less

Submitted 22 June, 2001; v1 submitted 19 September, 2000; originally announced September 2000.

Comments: Final version, with minor corrections, to appear in the Duke Mathematical Journal

Journal ref: Duke Math. J. 112 (2002), 421-451