arXiv subjects

Valerio Toledano-Laredo

Publications and source records attributed to Valerio Toledano-Laredo.

At least 19 recordsLinked to original sources

arXiv2024

On Harish-Chandra's Isomorphism

This is the text of a talk given by the first author at the Harish-Chandra centenary meeting held in Allahabad in October 2023. It reviews Harish-Chandra's isomorphism and its many applications to representation theory and mathematical physics. It also announces the existence and uniqueness of nonsymmetric shift operators for an arbitrary root system. These are differential-reflection operators with a transmutation property relative to Dunkl-Cherednik operators: they shift the parameter k of these operators by 1, and restrict on symmetric functions to the hypergeometric shift operators introduced by the first author.

math.RT↗

arXiv2024

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

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.

math.QA↗

arXiv2024

Pure braid group actions on category O modules

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.

math.QA↗

arXiv2022

On the Finkelberg-Ginzburg Mirabolic Monodromy Conjecture

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.

math.RT↗

arXiv2019

The meromorphic R-matrix of the Yangian

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.

math.QA↗

arXiv2019

Coxeter categories and quantum groups

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.

math.QA↗

arXiv2019

Elliptic quantum groups and their finite-dimensional representations

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.

math.QA↗

arXiv2019

Uniqueness of Coxeter structures on Kac-Moody algebras

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.

math.QA↗

arXiv2018

The elliptic Casimir connection of a simple Lie algebra

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.

math.QA↗

arXiv2018

Universal KZB Equations for arbitrary root systems

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}.

math.AT↗

arXiv2017

A 2-categorical extension of Etingof-Kazhdan quantisation

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.

math.QA↗

arXiv2017

Meromorphic tensor equivalence for Yangians and quantum loop algebras

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})$.

math.QA↗

arXiv2016

Quasi-Coxeter quasitriangular quasibialgebras and the Casimir connection

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).

math.QA↗

arXiv2013

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

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.

math.QA↗

arXiv2013

Monodromy of the trigonometric Casimir connection for sl_2

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

math.QA↗

arXiv2012

Yangians and quantum loop algebras

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.

math.QA↗

arXiv2011

Stability conditions and Stokes factors

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.

math.AG↗

arXiv2010

The trigonometric Casimir connection of a simple Lie algebra

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).

math.QA↗