Showing 1–50 of 77 results for author: Enriquez, B

A survey on the Le-Murakami-Ohtsuki invariant for closed 3-manifolds

Authors: Benjamin Enriquez, Anderson Vera

Abstract: We review the original approach to the Le-Murakami-Ohtsuki (LMO) invariant of closed 3-manifolds (as opposed to the later approach based on the Aarhus integral). Following the ideas of surgery presentation, we introduce a class of combinatorial structures, called Kirby structures, which we prove to yield multiplicative 3-manifold invariants. We illustrate this with the Reshetikhin-Turaev invariant… ▽ More We review the original approach to the Le-Murakami-Ohtsuki (LMO) invariant of closed 3-manifolds (as opposed to the later approach based on the Aarhus integral). Following the ideas of surgery presentation, we introduce a class of combinatorial structures, called Kirby structures, which we prove to yield multiplicative 3-manifold invariants. We illustrate this with the Reshetikhin-Turaev invariants. We then introduce a class of combinatorial structures, called pre-LMO structures, and prove that they give rise to Kirby structures. We show how the Kontsevich integral can be used to construct a pre-LMO structure. This yields two families of multiplicative 3-manifolds invariants $\{Ω_n^{\mathfrak{c}}\}_{n\geq 1}$ and $\{Ω_n^{\mathfrak{d}}\}_{n\geq 1}$. We review the elimination of redundant information in the latter family, leading to the construction of the LMO invariant. We also provide uniqueness results of some aspects of the LMO construction. The family of invariants $\{Ω_n^{\mathfrak{c}}\}_{n\geq 1}$ is not discussed explicitly in the literature; whereas $Ω_n^{\mathfrak{c}}$ enables one to recover $Ω_n^{\mathfrak{d}}$ for any $n \geq 1$, we show that these invariants coincide for $n = 1$. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 141 pages, several figures. Comments are welcome!

MSC Class: 57K16; 57K31

Elliptic hyperlogarithms

Authors: Benjamin Enriquez, Federico Zerbini

Abstract: Let $\mathcal E$ be a complex elliptic curve and $S$ be a non-empty finite subset of $\mathcal E$. We show that the functions $\tildeΓ$ introduced in arXiv:1712.07089 out of string theory motivations give rise to a basis of the minimal algebra $A_{\mathcal E\smallsetminus S}$ of holomorphic multivalued functions on $\mathcal E\smallsetminus S$ which is stable under integration, introduced in arXiv… ▽ More Let $\mathcal E$ be a complex elliptic curve and $S$ be a non-empty finite subset of $\mathcal E$. We show that the functions $\tildeΓ$ introduced in arXiv:1712.07089 out of string theory motivations give rise to a basis of the minimal algebra $A_{\mathcal E\smallsetminus S}$ of holomorphic multivalued functions on $\mathcal E\smallsetminus S$ which is stable under integration, introduced in arXiv:2212.03119; this basis is alternative to the basis of $A_{\mathcal E\smallsetminus S}$ constructed in loc. cit. using elliptic analogues of the hyperlogarithm functions. △ Less

Submitted 3 April, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 37 pages; the results have been improved

Natural transformations relating homotopy and singular homology functors

Authors: Benjamin Enriquez, Florence Lecomte

Abstract: The category of topological spaces endowed with two marked points is equipped with two families $\mathbf F_n$ and $\mathbf H_n$ of functors to the category of abelian groups, indexed by a nonnegative integer $n$: namely, the functor $\mathbf F_n$ takes the object $(X,x,y)$ to the quotient of $\mathbb Zπ_1(X,x,y)$ by an abelian subgroup associated with the $n+1$-st power of the augmentation idea… ▽ More The category of topological spaces endowed with two marked points is equipped with two families $\mathbf F_n$ and $\mathbf H_n$ of functors to the category of abelian groups, indexed by a nonnegative integer $n$: namely, the functor $\mathbf F_n$ takes the object $(X,x,y)$ to the quotient of $\mathbb Zπ_1(X,x,y)$ by an abelian subgroup associated with the $n+1$-st power of the augmentation ideal of the group algebra $\mathbb Zπ_1(X,x)$, and the functor $\mathbf H_n$ takes the same object to the $n$-th singular homology group of $X^n$ relative to a subspace defined in terms of partial diagonals. We construct a family of natural transformations $ν_n : \mathbf F_n\to \mathbf H_n$. We identify the natural transformation obtained by restricting $ν_n$ to the subcategory of algebraic varieties with a natural equivalence due to Beilinson. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: in French language

Analogues of hyperlogarithm functions on affine complex curves

Authors: Benjamin Enriquez, Federico Zerbini

Abstract: For $C$ a smooth affine complex curve, there is a unique minimal subalgebra $A_C$ of the algebra $\mathcal O_{hol}(\tilde C)$ of holomorphic functions on its universal cover $\tilde C$, which is stable under all the operations $f\mapsto \int fω$, for $ω$ in the space $Ω(C)$ of regular differentials on $C$. We identify $A_C$ with the image of the iterated integration map… ▽ More For $C$ a smooth affine complex curve, there is a unique minimal subalgebra $A_C$ of the algebra $\mathcal O_{hol}(\tilde C)$ of holomorphic functions on its universal cover $\tilde C$, which is stable under all the operations $f\mapsto \int fω$, for $ω$ in the space $Ω(C)$ of regular differentials on $C$. We identify $A_C$ with the image of the iterated integration map $I_{x_0} : \mathrm{Sh}(Ω(C))\to\mathcal O_{hol}(\tilde C)$ based at any point $x_0$ of $\tilde C$ (here $\mathrm{Sh}(-)$ denotes the shuffle algebra of a vector space), as well as with the unipotent part, with respect to the action of $\mathrm{Aut}(\tilde C/C)$, of a subalgebra of $\mathcal O_{hol}(\tilde C)$ of moderate growth functions. We show that any regular Maurer-Cartan (MC) element $J$ on $C$ with values in the topologically free Lie algebra over $\mathrm H^1_{\mathrm{dR}}(C)^*$ gives rise to an isomorphism of $A_C$ with $\mathcal O(C) \otimes\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$, where $\mathcal O(C)$ is the algebra of regular functions on $C$, leading to the assignment of a subalgebra $\mathcal H_C(J)$ of $A_C$ (isomorphic to $\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$) to any MC element. We also associate a MC element $J_σ$ to each section $σ$ of the projection $Ω(C)\to \mathrm H^1_{\mathrm{dR}}(C)$; when $C$ has genus $0$, we exhibit a particular section $σ_0$ for which $\mathcal H_C(J_{σ_0})$ is the algebra of hyperlogarithm functions (Poincaré, Lappo-Danilevsky). △ Less

Submitted 3 April, 2024; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 69 pages; the results have been extended

The stabilizer bitorsors of the module and algebra harmonic coproducts are equal

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: In earlier work, we constructed a pair of "Betti" and "de Rham" Hopf algebras and a pair of module-coalgebras over this pair, as well as the bitorsors related to both structures (which will be called the "module" and "algebra" stabilizer bitorsors). We showed that Racinet's torsor constructed out of the double shuffle and regularization relations between multiple zeta values is essentially equal t… ▽ More In earlier work, we constructed a pair of "Betti" and "de Rham" Hopf algebras and a pair of module-coalgebras over this pair, as well as the bitorsors related to both structures (which will be called the "module" and "algebra" stabilizer bitorsors). We showed that Racinet's torsor constructed out of the double shuffle and regularization relations between multiple zeta values is essentially equal to the "module" stabilizer bitorsor, and that the latter is contained in the "algebra" stabilizer bitorsor. In this paper, we show the equality of the "algebra" and "module" stabilizer bitorsors. We reduce the proof to showing the equality of the associated "algebra" and "module" graded Lie algebras. The argument for showing this equality involves the relation of the "algebra" Lie algebra with the kernel of a linear map, the expression of this linear map as a composition of three linear maps, the relation of one of them with the "module" Lie algebra and the computation of the kernel of the other one by discrete topology arguments. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: 25 pages

Construction of Maurer-Cartan elements over configuration spaces of curves

Authors: Benjamin Enriquez, Federico Zerbini

Abstract: For $C$ a complex curve and $n \geq 1$, a pair $(\mathcal{P},\nabla_\mathcal{P})$ of a principal bundle $\mathcal{P}$ with meromorphic flat connection over $C^n$, holomorphic over the configuration space $C_n(C)$ of $n$ points over $C$, was introduced in arXiv:1112.0864. For any point $\infty \in C$, we construct a trivialisation of the restriction of $\mathcal{P}$ to $(C\setminus\infty)^n$ and ob… ▽ More For $C$ a complex curve and $n \geq 1$, a pair $(\mathcal{P},\nabla_\mathcal{P})$ of a principal bundle $\mathcal{P}$ with meromorphic flat connection over $C^n$, holomorphic over the configuration space $C_n(C)$ of $n$ points over $C$, was introduced in arXiv:1112.0864. For any point $\infty \in C$, we construct a trivialisation of the restriction of $\mathcal{P}$ to $(C\setminus\infty)^n$ and obtain a Maurer-Cartan element $J$ over $C_n(C\setminus\infty)$ out of $\nabla_\mathcal{P}$, thus generalising a construction of Levin and Racinet when the genus of $C$ is higher than one. We give explicit formulas for $J$ as well as for $\nabla_\mathcal{P}$. When $n=1$, this construction gives rise to elements of Hain's space of second kind iterated integrals over $C$. △ Less

Submitted 18 October, 2021; originally announced October 2021.

Comments: 50 pages, 4 figures

On the homological interpretation of the prounipotent completion of the fundamental group

Authors: Benjamin Enriquez, Florence Lecomte

Abstract: We recall the cohomological interpretation of the unipotent quotients of the fundamental groupoid of an algebraic complex variety (Beilinson, Deligne-Goncharov). We then give a construction of the resutting transition morphisms in terms of singular homology. We recall the cohomological interpretation of the unipotent quotients of the fundamental groupoid of an algebraic complex variety (Beilinson, Deligne-Goncharov). We then give a construction of the resutting transition morphisms in terms of singular homology. △ Less

Submitted 3 June, 2021; v1 submitted 4 May, 2021; originally announced May 2021.

Comments: in French

The Betti side of the double shuffle theory: a survey

Authors: Benjamin Enriquez

Abstract: This is a survey of arXiv:1803.10151v4, arXiv:1807.07786v2 and arXiv:1908.00444v2 by H. Furusho and the author. The purpose of this series of papers is: (1) to give a proof that associator relations imply double shuffle relations, alternative to Furusho's paper arXiv:0808.0319v3; (2) to make explicit the bitorsor structure on Racinet's torsor of double shuffle relations. The main tool is the inter… ▽ More This is a survey of arXiv:1803.10151v4, arXiv:1807.07786v2 and arXiv:1908.00444v2 by H. Furusho and the author. The purpose of this series of papers is: (1) to give a proof that associator relations imply double shuffle relations, alternative to Furusho's paper arXiv:0808.0319v3; (2) to make explicit the bitorsor structure on Racinet's torsor of double shuffle relations. The main tool is the interpretation of the harmonic coproduct in terms of the topology of the moduli spaces $\mathfrak M_{0,4}$ and $\mathfrak M_{0,5}$, introduced in Deligne and Terasoma's 2005 preprint, and its extension to the Betti setup. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: 17 pages

Journal ref: RIMS Kokyuroku, 2020, vol. 2160

The Betti side of the double shuffle theory. III. Bitorsor structures

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: In the two first parts of the series, we constructed stabilizer subtorsors of a `twisted Magnus' torsor, studied their relations with the associator and double shuffle torsors, and explained their `de Rham' nature. In this paper, we make the associated bitorsor structures explicit and explain the `Betti' nature of the corresponding right torsors; we thereby complete one aim of the series. We study… ▽ More In the two first parts of the series, we constructed stabilizer subtorsors of a `twisted Magnus' torsor, studied their relations with the associator and double shuffle torsors, and explained their `de Rham' nature. In this paper, we make the associated bitorsor structures explicit and explain the `Betti' nature of the corresponding right torsors; we thereby complete one aim of the series. We study the discrete and pro-p versions of the `Betti' group of the double shuffle bitorsor. △ Less

Submitted 25 February, 2022; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 33 pages; redistribution of the material of the series of papers

The Betti side of the double shuffle theory. II. Double shuffle relations for associators

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: We derive from the compatibility of associators with the module harmonic coproduct, obtained in Part I of the series, the inclusion of the torsor of associators into that of double shuffle relations, which completes one of the aims of this series. We define two stabilizer torsors using the module and algebra harmonic coproducts from Part I. We show that the double shuffle torsor can be described u… ▽ More We derive from the compatibility of associators with the module harmonic coproduct, obtained in Part I of the series, the inclusion of the torsor of associators into that of double shuffle relations, which completes one of the aims of this series. We define two stabilizer torsors using the module and algebra harmonic coproducts from Part I. We show that the double shuffle torsor can be described using the module stabilizer torsor, and that the latter torsor is contained in the algebra stabilizer torsor. △ Less

Submitted 25 February, 2022; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: 25 pages; redistribution of the material of the series of papers

The Betti side of the double shuffle theory. I. The harmonic coproducts

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: This paper is the first in a series which aims at: (a) giving a proof that the associator relations between multizeta values imply the double shuffle and regularization (DSR) ones, alternative to that of the second-named author's 2010 paper; (b) enhancing Racinet's construction of a torsor structure over the Q-scheme of DSR relations to an explicit bitorsor structure. In this paper, we revisit Rac… ▽ More This paper is the first in a series which aims at: (a) giving a proof that the associator relations between multizeta values imply the double shuffle and regularization (DSR) ones, alternative to that of the second-named author's 2010 paper; (b) enhancing Racinet's construction of a torsor structure over the Q-scheme of DSR relations to an explicit bitorsor structure. In this paper, we revisit Racinet's original DSR formalism, whose main character is an algebra coproduct, called the harmonic coproduct, and we introduce a variant which is a module coproduct; we explain the `de Rham' nature of this formalism and construct a `Betti' counterpart of it; we show how both formalisms can be interpreted in terms of geometry, following the ideas of Deligne and Terasoma's unfinished 2005 preprint; we use Bar-Natan's interpretation of associators as functors from the category of parenthesized braids to that of chord diagrams to show that any associator relates the Betti and de Rham geometric objects, both in the `algebraic' and in the `module' setups; we derive that any associator relates the Betti and de Rham algebra coproducts, as well as their module counterparts. These results will be used in the next parts of the series. △ Less

Submitted 24 March, 2021; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 91 pages; redistribution of the material of the series of papers

A Tannakian interpretation of the elliptic infinitesimal braid Lie algebras

Authors: Benjamin Enriquez, Pavel Etingof

Abstract: Let $n\geq 1$. The pro-unipotent completion of the pure braid group of $n$ points on a genus 1 surface has been shown to be isomorphic to an explicit pro-unipotent group with graded Lie algebra using two types of tools: (a) minimal models (Bezrukavnikov), (b) the choice of a complex structure on the genus 1 surface, making it into an elliptic curve $E$, and an appropriate flat connection on the co… ▽ More Let $n\geq 1$. The pro-unipotent completion of the pure braid group of $n$ points on a genus 1 surface has been shown to be isomorphic to an explicit pro-unipotent group with graded Lie algebra using two types of tools: (a) minimal models (Bezrukavnikov), (b) the choice of a complex structure on the genus 1 surface, making it into an elliptic curve $E$, and an appropriate flat connection on the configuration space of $n$ points in $E$ (joint work of the authors with D. Calaque). Following a suggestion by P. Deligne, we give an interpretation of this isomorphism in the framework of the Riemann-Hilbert correspondence, using the total space $E^\#$ of an affine line bundle over $E$, which identifies with the moduli space of line bundles over $E$ equipped with a flat connection. △ Less

Submitted 26 December, 2017; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: 52 pages, dedicated to A.A. Kirillov on his 81th birthday

MSC Class: 32G34

A stabilizer interpretation of double shuffle Lie algebras

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: According to Racinet's work, the scheme of double shuffle and regularization relations between cyclotomic analogues of multiple zeta values has the structure of a torsor over a pro-unipotent $\mathbb Q$-algebraic group $\sf{DMR}_0$, which is an algebraic subgroup of a pro-unipotent $\mathbb Q$-algebraic group of outer automorphisms of a free Lie algebra. We show that the harmonic (stuffle) coprodu… ▽ More According to Racinet's work, the scheme of double shuffle and regularization relations between cyclotomic analogues of multiple zeta values has the structure of a torsor over a pro-unipotent $\mathbb Q$-algebraic group $\sf{DMR}_0$, which is an algebraic subgroup of a pro-unipotent $\mathbb Q$-algebraic group of outer automorphisms of a free Lie algebra. We show that the harmonic (stuffle) coproduct of double shuffle theory may be viewed as an element of a module over the above group, and that $\sf{DMR}_0$ identifies with the stabilizer of this element. We identify the tangent space at origin of $\sf{DMR}_0$ with the stabilizer Lie algebra of the harmonic coproduct, thereby obtaining an alternative proof of Racinet's result stating that this space is a Lie algebra (the double shuffle Lie algebra). △ Less

Submitted 24 November, 2017; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 28 pages, to appear in IMRN

Homology of depth-graded motivic Lie algebras and koszulity

Authors: Benjamin Enriquez, Pierre Lochak

Abstract: The Broadhurst-Kreimer (BK) conjecture describes the Hilbert series of a bigraded Lie algebra A related to the multizeta values. Brown proposed a conjectural description of the homology of this Lie algebra (homological conjecture (HC)), and showed it implies the BK conjecture. We show that a part of HC is equivalent to a presentation of A, and that the remaining part of HC is equivalent to a weake… ▽ More The Broadhurst-Kreimer (BK) conjecture describes the Hilbert series of a bigraded Lie algebra A related to the multizeta values. Brown proposed a conjectural description of the homology of this Lie algebra (homological conjecture (HC)), and showed it implies the BK conjecture. We show that a part of HC is equivalent to a presentation of A, and that the remaining part of HC is equivalent to a weaker statement. Finally, we prove that granted the first part of HC, the remaining part of HC is equivalent to either of the following equivalent statements: (a) the vanishing of the third homology group of a Lie algebra with quadratic presentation, constructed out of the period polynomials of modular forms; (b) the koszulity of the envelo** algebra of this Lie algebra. △ Less

Submitted 15 July, 2014; originally announced July 2014.

Comments: 16 pages

On a lower central series filtration of the Grothendieck-Teichmüller Lie algebra grt_1

Authors: Noah Arbesfeld, Benjamin Enriquez

Abstract: The Grothendieck-Teichmüller Lie algebra is a Lie subalgebra of a Lie algebra of derivations of the free Lie algebra in two generators. We show that the lower central series of the latter Lie algebra induces a decreasing filtration of the Grothendieck-Teichmüller Lie algebra and we study the corresponding graded Lie algebra. Its degree zero part had been previously computed by the second author. W… ▽ More The Grothendieck-Teichmüller Lie algebra is a Lie subalgebra of a Lie algebra of derivations of the free Lie algebra in two generators. We show that the lower central series of the latter Lie algebra induces a decreasing filtration of the Grothendieck-Teichmüller Lie algebra and we study the corresponding graded Lie algebra. Its degree zero part had been previously computed by the second author. We show that the degree one part is a module over a symmetric algebra, which are both equipped with compatible decreasing filtrations, and we exhibit an explicit lower bound for the associated graded module. We derive from there some information on explicit expression of the depth 3 part of the depth-graded of the Grothendieck-Teichmüller Lie algebra. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: 42 pages

Analogues elliptiques des nombres multizétas

Authors: Benjamin Enriquez

Abstract: We study functions of an elliptic parameter, which are defined as iterated integrals of elliptic functions. We establish their relation with the "elliptic associators" of our previous work, by means of a functional realization of Lie algebras appearing in that work. We study functions of an elliptic parameter, which are defined as iterated integrals of elliptic functions. We establish their relation with the "elliptic associators" of our previous work, by means of a functional realization of Lie algebras appearing in that work. △ Less

Submitted 12 January, 2015; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: 24 pages, in French; expressions of regularized holonomies and elliptic multizetas are corrected

Journal ref: Bull. Math. Soc. France 144 (2016), 395-427

Flat connections on configuration spaces and formality of braid groups of surfaces

Authors: B. Enriquez

Abstract: We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} (Bezrukavnikov), and to extend it to a morphism from the full braid group of the… ▽ More We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} (Bezrukavnikov), and to extend it to a morphism from the full braid group of the surface to the semidirect product exp(hat t_{g,n}) rtimes S_n. △ Less

Submitted 5 December, 2011; originally announced December 2011.

Comments: 18 pages

Mixed Pentagon, octagon and Broadhurst duality equation

Authors: Benjamin Enriquez, Hidekazu Furusho

Abstract: This paper is on elimination of defining equations of the cyclotomic analogues, introduced by the first author, of Drinfeld's scheme of associators. We show that the mixed pentagon equation implies the octagon equation for N=2 and the particular distribution relation. We also explain that Broadhurst duality is compatible with the torsor structure. We develop a formalism of infinitesimal module cat… ▽ More This paper is on elimination of defining equations of the cyclotomic analogues, introduced by the first author, of Drinfeld's scheme of associators. We show that the mixed pentagon equation implies the octagon equation for N=2 and the particular distribution relation. We also explain that Broadhurst duality is compatible with the torsor structure. We develop a formalism of infinitesimal module categories and use it for deriving a proof left implicit in the first named author's earlier work. △ Less

Submitted 5 September, 2011; v1 submitted 6 March, 2011; originally announced March 2011.

Comments: 20 pages, 1 figure

Half-balanced braided monoidal categories and Teichmueller groupoids in genus zero

Authors: Benjamin Enriquez

Abstract: We introduce the notions of a half-balanced braided monoidal category and of its contraction. These notions give rise to an explicit description of the action of the Galois group of QQ on Teichmueller groupoids in genus 0, equivalent to that of L. Schneps. We also show that a prounipotent version of this action is equivalent to a graded action. We introduce the notions of a half-balanced braided monoidal category and of its contraction. These notions give rise to an explicit description of the action of the Galois group of QQ on Teichmueller groupoids in genus 0, equivalent to that of L. Schneps. We also show that a prounipotent version of this action is equivalent to a graded action. △ Less

Submitted 16 September, 2010; v1 submitted 14 September, 2010; originally announced September 2010.

Comments: 19 pages

Elliptic associators

Authors: B. Enriquez

Abstract: We construct a genus one analogue of the theory of associators and the Grothendieck-Teichmueller group. The analogue of the Galois action on the profinite braid groups is an action of the arithmetic fundamental group of a moduli space of elliptic curves on the profinite braid groups in genus one. This action factors through an explicit profinite group hat GT_ell, which admits an interpretation in… ▽ More We construct a genus one analogue of the theory of associators and the Grothendieck-Teichmueller group. The analogue of the Galois action on the profinite braid groups is an action of the arithmetic fundamental group of a moduli space of elliptic curves on the profinite braid groups in genus one. This action factors through an explicit profinite group hat GT_ell, which admits an interpretation in terms of decorations of braided monoidal categories. We relate this group to its prounipotent group scheme version GT_ell(-). We construct a torsor over the latter group, the scheme of elliptic associators. An explicit family of elliptic associators is constructed, based on our earlier work with Calaque and Etingof on the universal KZB connexion. The existence of elliptic associators enables one to show that the Lie algebra of GT_ell(-) is isomorphic to a graded Lie algebra, on which we obtain several results: semidirect product structure; explicit generators. This existence also allows one to compute the Zariski closure of the map** class group in genus one (isomorphic to the braid group B_3) in the automorphism groups of the prounipotent completions of braid groups in genus one. The analytic study of the family of elliptic associators produces relations between MZVs and iterated integrals of Eisenstein series. △ Less

Submitted 26 July, 2012; v1 submitted 4 March, 2010; originally announced March 2010.

Comments: 67 pages. The exposition has been reorganized. The Lie algebra grt_ell introduced in the paper is compared to a similar Lie algebra introduced by Tsunogai. The results of the section on iterated integrals of Eisenstein series have been made more precise: some iterated integrals are computed explicitly in terms of MZVs

A quasi-Lie bialgebra formulation of the Pohlmeyer-Rehren Poisson algebra

Authors: Martin Bordemann, Benjamin Enriquez, Laurent Hofer

Abstract: We present a quasi-Lie bialgebra (QLBA) quantization problem which comes from an algebraic reformulation of the Nambu-Goto string theory and invariant charges by Pohlmeyer and Rehren. This QLBA structure depends on a symmetric bivector (coming from a Minkowski metric) and is built on the free Lie algebra on a finite dimensional vector space. We solve this problem when the bivector has rank 1 or… ▽ More We present a quasi-Lie bialgebra (QLBA) quantization problem which comes from an algebraic reformulation of the Nambu-Goto string theory and invariant charges by Pohlmeyer and Rehren. This QLBA structure depends on a symmetric bivector (coming from a Minkowski metric) and is built on the free Lie algebra on a finite dimensional vector space. We solve this problem when the bivector has rank 1 or 2. △ Less

Submitted 17 September, 2009; originally announced September 2009.

Comments: 8 pages, proceedings of the Poisson geometry 2006 conference

MSC Class: 17B37;17B62

Journal ref: Travaux mathematiques. Vol. XVII, 87--100, Trav. Math., 17, Fac. Sci. Technol. Commun. Univ. Luxemb., Luxembourg, 2007

Drinfeld associators, braid groups and explicit solutions of the Kashiwara-Vergne equations

Authors: A. Alekseev, B. Enriquez, C. Torossian

Abstract: The Kashiwara-Vergne (KV) conjecture states the existence of solutions of a pair of equations related with the Campbell-Baker-Hausdorff series. It was solved by Meinrenken and the first author over the real numbers, and in a formal version, by the first and last authors over a field of characteristic 0. In this paper, we give a simple and explicit formula for a map from the set of Drinfeld assoc… ▽ More The Kashiwara-Vergne (KV) conjecture states the existence of solutions of a pair of equations related with the Campbell-Baker-Hausdorff series. It was solved by Meinrenken and the first author over the real numbers, and in a formal version, by the first and last authors over a field of characteristic 0. In this paper, we give a simple and explicit formula for a map from the set of Drinfeld associators to the set of solutions of the formal KV equations. Both sets are torsors under the actions of prounipotent groups, and we show that this map is a morphism of torsors. When specialized to the KZ associator, our construction yields a solution over the reals of the original KV conjecture. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 3 figures

On the Lie algebras of surface pure braid groups

Authors: B. Enriquez, V. V. Vershinin

Abstract: We consider the Lie algebra associated with the descending central series filtration of the pure braid group of a closed surface of arbitrary genus. R. Bezrukavnikov gave a presentation of this Lie algebra over the rational numbers. We show that his presentation remains true for this Lie algebra itself, i.e. over integers. We consider the Lie algebra associated with the descending central series filtration of the pure braid group of a closed surface of arbitrary genus. R. Bezrukavnikov gave a presentation of this Lie algebra over the rational numbers. We show that his presentation remains true for this Lie algebra itself, i.e. over integers. △ Less

Submitted 11 February, 2009; originally announced February 2009.

Comments: 5 pages

MSC Class: 20F36; 17B; 57M

Quantization of quasi-Lie bialgebras

Authors: B. Enriquez, G. Halbout

Abstract: We construct quantization functors of quasi-Lie bialgebras. We establish a bijection between this set of quantization functors, modulo equivalence and twist equivalence, and the set of quantization functors of Lie bialgebras, modulo equivalence. This is based on the acyclicity of the kernel of the natural morphism from the universal deformation complex of quasi-Lie bialgebras to that of Lie bial… ▽ More We construct quantization functors of quasi-Lie bialgebras. We establish a bijection between this set of quantization functors, modulo equivalence and twist equivalence, and the set of quantization functors of Lie bialgebras, modulo equivalence. This is based on the acyclicity of the kernel of the natural morphism from the universal deformation complex of quasi-Lie bialgebras to that of Lie bialgebras. The proof of this acyclicity consists in several steps, ending up in the acyclicity of a complex related to free Lie algebras, namely, the universal version of the Lie algebra cohomology complex of a Lie algebra in its envelo** algebra, viewed as the left regular module. Using the same arguments, we also prove the compatibility of quantization functors of quasi-Lie bialgebras with twists, which allows us to recover our earlier results on compatibility of quantization functors with twists in the case of Lie bialgebras. △ Less

Submitted 11 July, 2008; v1 submitted 3 April, 2008; originally announced April 2008.

Comments: 31 pages; exposition of proof of structure theorem for the prop QLBA improved

Compatibility of quantization functors of Lie bialgebras with duality and doubling operations

Authors: Benjamin Enriquez, Nathan Geer

Abstract: We study the behavior of the Etingof-Kazhdan quantization functors under the natural duality operations of Lie bialgebras and Hopf algebras. In particular, we prove that these functors are "compatible with duality", i.e., they commute with the operation of duality followed by replacing the coproduct by its opposite. We then show that any quantization functor with this property also commutes with… ▽ More We study the behavior of the Etingof-Kazhdan quantization functors under the natural duality operations of Lie bialgebras and Hopf algebras. In particular, we prove that these functors are "compatible with duality", i.e., they commute with the operation of duality followed by replacing the coproduct by its opposite. We then show that any quantization functor with this property also commutes with the operation of taking doubles. As an application, we show that the Etingof-Kazhdan quantization of some affine Lie superalgebras coincide with their Drinfeld-Jimbo-type quantizations. △ Less

Submitted 16 July, 2007; originally announced July 2007.

Journal ref: Selecta Math. (N.S.) 15 (2009), no. 1, 1--59

Universal KZB equations I: the elliptic case

Authors: D. Calaque, B. Enriquez, P. Etingof

Abstract: We define a universal version of the Knizhnik-Zamolodchikov-Bernard (KZB) connection in genus 1. This is a flat connection over a principal bundle on the moduli space of elliptic curves with marked points. It restricts to a flat connection on configuration spaces of points on elliptic curves, which can be used for proving the formality of the pure braid groups on genus 1 surfaces. We study the m… ▽ More We define a universal version of the Knizhnik-Zamolodchikov-Bernard (KZB) connection in genus 1. This is a flat connection over a principal bundle on the moduli space of elliptic curves with marked points. It restricts to a flat connection on configuration spaces of points on elliptic curves, which can be used for proving the formality of the pure braid groups on genus 1 surfaces. We study the monodromy of this connection and show that it gives rise to a relation between the KZ associator and a generating series for iterated integrals of Eisenstein forms. We show that the universal KZB connection realizes as the usual KZB connection for simple Lie algebras, and that in the sl_n case this realization factors through the Cherednik algebras. This leads us to define a functor from the category of equivariant D-modules on sl_n to that of modules over the Cherednik algebra, and to compute the character of irreducible equivariant D-modules over sl_n which are supported on the nilpotent cone. △ Less

Submitted 21 September, 2009; v1 submitted 22 February, 2007; originally announced February 2007.

Comments: Correction of reference of Thm. 9.12 stating an equivalence of categories between modules over the rational Cherednik algebra and its spherical subalgebra

Journal ref: Algebra, etc.: in honor of Yu. I. Manin, Vol. I, 165-266, Progr. Math., 269, Birkhaeuser Boston, Inc., Boston, MA, 2009

Weight functions and Drinfeld currents

Authors: Benjamin Enriquez, Sergey Khoroshkin, Stanislav Pakuliak

Abstract: A universal weight function for a quantum affine algebra is a family of functions with values in a quotient of its Borel subalgebra, satisfying certain coalgebraic properties. In representations of the quantum affine algebra it gives off-shell Bethe vectors and is used in the construction of solutions of the qKZ equations. We construct a universal weight function for each untwisted quantum affin… ▽ More A universal weight function for a quantum affine algebra is a family of functions with values in a quotient of its Borel subalgebra, satisfying certain coalgebraic properties. In representations of the quantum affine algebra it gives off-shell Bethe vectors and is used in the construction of solutions of the qKZ equations. We construct a universal weight function for each untwisted quantum affine algebra, using projections onto the intersection of Borel subalgebras of different types, and study its functional properties. △ Less

Submitted 18 October, 2006; v1 submitted 12 October, 2006; originally announced October 2006.

Comments: 36 pages, 1 figure, references to the related papers added

Report number: ITEP-TH-40/05 MSC Class: 17B37; 16W30; 81R50

On some relations between generalized associators

Authors: B. Enriquez

Abstract: Let Phi be the KZ associator and Psi_N be its analogue for N-th roots of 1. We prove a hexagon relation for Psi_4. Similarly to the Broadhurst (for Psi_2) and Okuda (for Psi_4) duality relations, it relies on the "supplementary" (i.e., non-dihedral) symmetries of C^* - mu_4(C) (i.e., the octahedron group S_4). We also derive relations between Phi and Psi_2, which are analogues of equations, foun… ▽ More Let Phi be the KZ associator and Psi_N be its analogue for N-th roots of 1. We prove a hexagon relation for Psi_4. Similarly to the Broadhurst (for Psi_2) and Okuda (for Psi_4) duality relations, it relies on the "supplementary" (i.e., non-dihedral) symmetries of C^* - mu_4(C) (i.e., the octahedron group S_4). We also derive relations between Phi and Psi_2, which are analogues of equations, found by Nakamura and Schneps, satisfied by the image of the Galois group of Q in the Grothendieck-Teichm"uller group. △ Less

Submitted 15 September, 2006; originally announced September 2006.

Comments: 6 pages

Quantization of Gamma-Lie bialgebras

Authors: B. Enriquez, G. Halbout

Abstract: We introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a quantization is known. Our result relies on our earlier work, where we showed that twists of Lie bialgebras can be quantized; we complement this work by studyi… ▽ More We introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a quantization is known. Our result relies on our earlier work, where we showed that twists of Lie bialgebras can be quantized; we complement this work by studying the behavior of this quantization under compositions of twists. △ Less

Submitted 5 December, 2007; v1 submitted 31 July, 2006; originally announced July 2006.

Comments: 15 pages

Journal ref: J. Algebra 319 (2008), no. 9, 3752--3769

Quantization of coboundary Lie bialgebras

Authors: B. Enriquez, G. Halbout

Abstract: We show that any coboundary Lie bialgebra can be quantized. For this, we prove that: (a) Etingof-Kazhdan quantization functors are compatible with Lie bialgebra twists, and (b) if such a quantization functor corresponds to an even associator, then it is also compatible with the operation of taking coopposites. We also use the relation between the Etingof-Kazhdan construction of quantization func… ▽ More We show that any coboundary Lie bialgebra can be quantized. For this, we prove that: (a) Etingof-Kazhdan quantization functors are compatible with Lie bialgebra twists, and (b) if such a quantization functor corresponds to an even associator, then it is also compatible with the operation of taking coopposites. We also use the relation between the Etingof-Kazhdan construction of quantization functors and the alternative approach to this problem, which was established in a previous work. △ Less

Submitted 5 December, 2007; v1 submitted 31 March, 2006; originally announced March 2006.

Comments: The section on props has been rewritten

Journal ref: Ann. of Math. (2) 171 (2010), no. 2, 1267--1345

Groups and Lie algebras corresponding to the Yang-Baxter equations

Authors: Laurent Bartholdi, Benjamin Enriquez, Pavel Etingof, Eric Rains

Abstract: For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal envelo** algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are th… ▽ More For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal envelo** algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are the quadratic duals of the envelo** algebras). We construct cell complexes which are classifying spaces of the groups Tr_n and QTr_n, and show that the boundary maps in them are zero, which allows us to compute the integral cohomology of these groups. We show that the Lie algebras tr_n, qtr_n map onto the associated graded algebras of the Malcev Lie algebras of the groups Tr_n, QTr_n, respectively. We conjecture that this map is actually an isomorphism (this is now a theorem due to P. Lee). At the same time, we show that the groups Tr_n and QTr_n are not formal for n>3. △ Less

Submitted 10 November, 2011; v1 submitted 28 September, 2005; originally announced September 2005.

Comments: Errors pointed out by P. Lee corrected. Proposition 5.1 in the previous version was incorrect, so Theorems 2.3 and 8.5 and Proposition 6.1 were proved incorrectly. In the current version, Propositions 5.1 and 6.1 are deleted and Theorems 2.3, 8.5 are stated as conjectures. They were proved by Peter Lee, along with Conjectures 2.4 and 8.6 of the previous version

Journal ref: J. Algebra 305 (2006), no. 2, 742--764

Basic representations of quantum current algebras in higher genus

Authors: B. Enriquez, S. Pakuliak, V. Rubtsov

Abstract: We construct level 1 basic representations of the quantized current algebras associated to higher genus algebraic curves using one free field. We also clarify the relation between the elliptic current algebras of the papers [EF] and [JKOS]. We construct level 1 basic representations of the quantized current algebras associated to higher genus algebraic curves using one free field. We also clarify the relation between the elliptic current algebras of the papers [EF] and [JKOS]. △ Less

Submitted 12 January, 2006; v1 submitted 2 September, 2005; originally announced September 2005.

Comments: 11 pages, typos and acknowledge added

Coboundary Lie bialgebras and commutative subalgebras of universal envelo** algebras

Authors: B. Enriquez, G. Halbout

Abstract: We solve a functional version of the problem of twist quantization of a coboundary Lie bialgebra (g,r,Z). We derive from this the following results: (a) the formal Poisson manifolds g^* and G^* are isomorphic; (b) we construct a subalgebra of U(g^*), isomorphic to S(g^*)^g. When g can be quantized, we construct a deformation of the morphism S(g^*)^g subset U(g^*). When g is quasitriangular and n… ▽ More We solve a functional version of the problem of twist quantization of a coboundary Lie bialgebra (g,r,Z). We derive from this the following results: (a) the formal Poisson manifolds g^* and G^* are isomorphic; (b) we construct a subalgebra of U(g^*), isomorphic to S(g^*)^g. When g can be quantized, we construct a deformation of the morphism S(g^*)^g subset U(g^*). When g is quasitriangular and nondegenerate, we compare our construction with Semenov-Tian-Shansky's construction of a commutative subalgebra of U(g^*). We also show that the canonical derivation of the function ring of G^* is Hamiltonian. △ Less

Submitted 25 March, 2005; originally announced March 2005.

On the Drinfeld generators of grt_1(k) and Gamma-functions for associators

Authors: B. Enriquez

Abstract: We prove that the Drinfeld generators of grt_1(k) span the image of this Lie algebra in the abelianization of the commutator of the free Lie algebra with two generators. We show that this result implies Gamma-function formulas for arbitrary associators. We prove that the Drinfeld generators of grt_1(k) span the image of this Lie algebra in the abelianization of the commutator of the free Lie algebra with two generators. We show that this result implies Gamma-function formulas for arbitrary associators. △ Less

Submitted 4 February, 2005; originally announced February 2005.

Comparison of Poisson structures and Poisson-Lie dynamical r-matrices

Authors: B. Enriquez, P. Etingof, I. Marshall

Abstract: We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla. We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla. △ Less

Submitted 7 September, 2018; v1 submitted 17 December, 2004; originally announced December 2004.

Comments: 9 pages

Quasi-reflection algebras and cyclotomic associators

Authors: B. Enriquez

Abstract: We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism B_n^1 -> (ZZ/N ZZ)^n rtimes S_n, where B_n^1 is a braid group of type B. The formality isomorphism depends algebraically on a series Psi_KZ, the ``KZ pseudotwist''. We study the scheme of pseudotwists and show that it is a torsor under a… ▽ More We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism B_n^1 -> (ZZ/N ZZ)^n rtimes S_n, where B_n^1 is a braid group of type B. The formality isomorphism depends algebraically on a series Psi_KZ, the ``KZ pseudotwist''. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N,k), map** to Drinfeld's group GT(k), and whose Lie algebra is isomorphic to its associated graded grtm(N,k). We prove that Ihara's subgroup GTK of the Grothendieck-Teichmüller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue grtmd(N,k) of grtm(N,k); it is a graded Lie algebra with an action of (ZZ/N ZZ)^*, and we give a lower bound for the character of its space of generators. △ Less

Submitted 17 October, 2007; v1 submitted 3 August, 2004; originally announced August 2004.

Comments: 52 pages

A Formula for the Logarithm of the KZ Associator

Authors: Benjamin Enriquez, Fabio Gavarini

Abstract: We prove that the logarithm of a group-like element in a free algebra coincides with its image by a certain linear map. We use this result and the formula of Le and Murakami for the Knizhnik-Zamolodchikov (KZ) associator $Φ$ to derive a formula for $\log(Φ)$ in terms of MZV's (multiple zeta values). We prove that the logarithm of a group-like element in a free algebra coincides with its image by a certain linear map. We use this result and the formula of Le and Murakami for the Knizhnik-Zamolodchikov (KZ) associator $Φ$ to derive a formula for $\log(Φ)$ in terms of MZV's (multiple zeta values). △ Less

Submitted 13 November, 2006; v1 submitted 14 April, 2004; originally announced April 2004.

Comments: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 080, 3 pages

Quantization of some Poisson-Lie dynamical r-matrices and Poisson homogeneous spaces

Authors: B. Enriquez, P. Etingof, I. Marshall

Abstract: Poisson-Lie (PL) dynamical r-matrices are generalizations of dynamical r-matrices, where the base is a Poisson-Lie group. We prove analogues of basic results for these r-matrices, namely constructions of (quasi)Poisson groupoids and of Poisson homogeneous spaces. We introduce a class of PL dynamical r-matrices, associated to nondegenerate Lie bialgebras with a splitting; this is a generalization… ▽ More Poisson-Lie (PL) dynamical r-matrices are generalizations of dynamical r-matrices, where the base is a Poisson-Lie group. We prove analogues of basic results for these r-matrices, namely constructions of (quasi)Poisson groupoids and of Poisson homogeneous spaces. We introduce a class of PL dynamical r-matrices, associated to nondegenerate Lie bialgebras with a splitting; this is a generalization of trigonometric r-matrices with an abelian base. We prove a composition theorem for PL dynamical r-matrices, and construct quantizations of the polarized PL dynamical r-matrices. This way, we obtain quantizations of Poisson homogeneous structures on G/L (G a semisimple Lie group, L a Levi subgroup), thereby generalizing earlier constructions. △ Less

Submitted 14 June, 2004; v1 submitted 17 March, 2004; originally announced March 2004.

Comments: 36 pages

Quantization of classical dynamical $r$-matrices with nonabelian base

Authors: B. Enriquez, P. Etingof

Abstract: We construct some classes of dynamical $r$-matrices over a nonabelian base, and quantize some of them by constructing dynamical (pseudo)twists in the sense of Xu. This way, we obtain quantizations of $r$-matrices obtained in earlier work of the second author with Schiffmann and Varchenko. A part of our construction may be viewed as a generalization of the Donin-Mudrov nonabelian fusion construct… ▽ More We construct some classes of dynamical $r$-matrices over a nonabelian base, and quantize some of them by constructing dynamical (pseudo)twists in the sense of Xu. This way, we obtain quantizations of $r$-matrices obtained in earlier work of the second author with Schiffmann and Varchenko. A part of our construction may be viewed as a generalization of the Donin-Mudrov nonabelian fusion construction. We apply these results to the construction of equivariant star-products on Poisson homogeneous spaces, which include some homogeneous spaces introduced by De Concini. △ Less

Submitted 28 November, 2003; v1 submitted 13 November, 2003; originally announced November 2003.

Comments: 40 pages; added references; corrected critical cocycle

On the invertibility of quantization functors

Authors: B. Enriquez, P. Etingof

Abstract: Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal envelo** (QUE) algebras and Lie bialgebras over a f… ▽ More Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal envelo** (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal envelo** algebras. △ Less

Submitted 12 June, 2003; originally announced June 2003.

Quantization of Alekseev-Meinrenken dynamical r-matrices

Authors: Benjamin Enriquez, Pavel Etingof

Abstract: We quantize the Alekseev-Meinrenken solution r to the classical dynamical Yang-Baxter equation, associated to a Lie algebra g with an element t in S^2(g)^g. Namely, we construct a dynamical twist J with nonabelian base in the sense of P. Xu, whose quasiclassical limit is r-t/2. This twist gives rise to a dynamical quantum R-matrix, and also provides a quantization of the quasi-Poisson manifold a… ▽ More We quantize the Alekseev-Meinrenken solution r to the classical dynamical Yang-Baxter equation, associated to a Lie algebra g with an element t in S^2(g)^g. Namely, we construct a dynamical twist J with nonabelian base in the sense of P. Xu, whose quasiclassical limit is r-t/2. This twist gives rise to a dynamical quantum R-matrix, and also provides a quantization of the quasi-Poisson manifold and Poisson groupoid associated to r. The twist J is obtained by an appropriate renormalization of the Knizhnik-Zamolodchikov associator for g, introduced by Drinfeld. △ Less

Submitted 28 February, 2003; v1 submitted 6 February, 2003; originally announced February 2003.

Comments: 15 pages, latex; in the new version the results were extended to the case of Lie algebras with an invariant element in the third exterior power

A cohomological construction of quantization functors of Lie bialgebras

Authors: B. Enriquez

Abstract: We propose a variant to the Etingof-Kazhdan construction of quantization functors. We construct the twistor J_Φassociated to an associator Φusing cohomological techniques. We then introduce a criterion ensuring that the ``left Hopf algebra'' of a quasitriangular QUE algebra is flat. We prove that this criterion is satisfied at the universal level. This provides a construction of quantization fun… ▽ More We propose a variant to the Etingof-Kazhdan construction of quantization functors. We construct the twistor J_Φassociated to an associator Φusing cohomological techniques. We then introduce a criterion ensuring that the ``left Hopf algebra'' of a quasitriangular QUE algebra is flat. We prove that this criterion is satisfied at the universal level. This provides a construction of quantization functors, equivalent to the Etingof-Kazhdan construction. △ Less

Submitted 23 December, 2002; originally announced December 2002.

Poisson algebras associated to quasi-Hopf algebras

Authors: B. Enriquez, G. Halbout

Abstract: We define admissible quasi-Hopf quantized universal envelo** (QHQUE) algebras by h-adic valuation conditions. We show that any QHQUE algebra is twist-equivalent to an admissible one. We prove a related statement: any associator is twist-equivalent to a Lie associator. We attach a quantized formal series algebra to each admissible QHQUE algebra and study the resulting Poisson algebras. We define admissible quasi-Hopf quantized universal envelo** (QHQUE) algebras by h-adic valuation conditions. We show that any QHQUE algebra is twist-equivalent to an admissible one. We prove a related statement: any associator is twist-equivalent to a Lie associator. We attach a quantized formal series algebra to each admissible QHQUE algebra and study the resulting Poisson algebras. △ Less

Submitted 17 February, 2003; v1 submitted 22 November, 2002; originally announced November 2002.

Comments: We construct a lift for any Lie quasi-bialgebra with zero cobracket

Quantizations of Hitchin and Beauville-Mukai integrable systems

Authors: B. Enriquez, V. Rubtsov

Abstract: Spectral transformation is known to set up a birational morphism between the Hitchin and Beauville-Mukai integrable systems. The corresponding phase spaces are: (a) the cotangent bundle of the moduli space of bundles over a curve C, and (b) a symmetric power of the cotangent surface T^*(C). We conjecture that this morphism can be quantized, and we check this conjecture in the case where C is a r… ▽ More Spectral transformation is known to set up a birational morphism between the Hitchin and Beauville-Mukai integrable systems. The corresponding phase spaces are: (a) the cotangent bundle of the moduli space of bundles over a curve C, and (b) a symmetric power of the cotangent surface T^*(C). We conjecture that this morphism can be quantized, and we check this conjecture in the case where C is a rational curve with marked points and rank 2 bundles. We discuss the relation of the resulting isomorphism of quantized algebras with Sklyanin's separation of variables. △ Less

Submitted 23 September, 2002; originally announced September 2002.

Comments: 35 pages

On the unicity of braidings of quasitriangular Lie bialgebras

Authors: B. Enriquez, F. Gavarini, G. Halbout

Abstract: Any quantization of a quasitriangular Lie bialgebra g gives rise to a braiding of the dual Poisson-Lie formal group G^*. We show that this braiding always coincides with the Weinstein-Xu braiding. We also define the lifts of the classical r-matrix r as certain functions on G^* x G^*, prove their existence and uniqueness using co-Hochschild cohomology arguments and show that the lift can be expre… ▽ More Any quantization of a quasitriangular Lie bialgebra g gives rise to a braiding of the dual Poisson-Lie formal group G^*. We show that this braiding always coincides with the Weinstein-Xu braiding. We also define the lifts of the classical r-matrix r as certain functions on G^* x G^*, prove their existence and uniqueness using co-Hochschild cohomology arguments and show that the lift can be expressed in terms of r by universal formulas. △ Less

Submitted 25 July, 2002; originally announced July 2002.

Journal ref: Int. Math. Res. Not. 2003, no. 46, 2461-2486

A h-adic valuation property of universal R-matrices

Authors: B. Enriquez, G. Halbout

Abstract: We prove that if U_h(g) is a quasitriangular QUE algebra with universal R-matrix R, and O_h(G^*) is the quantized function algebra sitting inside U_h(g), then h log(R) belongs to the tensor square O_h(G^*) otimes O_h(G^*). This gives another proof of the results of Gavarini and Halbout, saying that R normalizes O_h(G^*) otimes O_h(G^*) and therefore induces a braiding of the formal group G^* (in… ▽ More We prove that if U_h(g) is a quasitriangular QUE algebra with universal R-matrix R, and O_h(G^*) is the quantized function algebra sitting inside U_h(g), then h log(R) belongs to the tensor square O_h(G^*) otimes O_h(G^*). This gives another proof of the results of Gavarini and Halbout, saying that R normalizes O_h(G^*) otimes O_h(G^*) and therefore induces a braiding of the formal group G^* (in the sense of Weinstein and Xu, or Reshetikhin). △ Less

Submitted 18 April, 2002; originally announced April 2002.

Comments: 14 pages

Journal ref: J. Algebra 261 (2003), no. 2, 434-447

Commuting families in skew fields and quantization of Beauville's fibration

Authors: B. Enriquez, V. Rubtsov

Abstract: We construct commuting families in fraction fields of symmetric powers of algebras. The classical limit of this construction gives Poisson commuting families associated with linear systems. In the case of a K3 surface S, they correspond to lagrangian fibrations introduced by Beauville. When S is the canonical cone of an algebraic curve C, we construct commuting families of differential operators… ▽ More We construct commuting families in fraction fields of symmetric powers of algebras. The classical limit of this construction gives Poisson commuting families associated with linear systems. In the case of a K3 surface S, they correspond to lagrangian fibrations introduced by Beauville. When S is the canonical cone of an algebraic curve C, we construct commuting families of differential operators on symmetric powers of C, quantizing the Beauville systems. △ Less

Submitted 26 December, 2001; originally announced December 2001.

Journal ref: Duke Math. J. 119 (2003), no. 2, 197-219

Quantization of canonical cones of algebraic curves

Authors: B. Enriquez, A. Odesskii

Abstract: We introduce a quantization of the graded algebra of functions on the canonical cone of an algebraic curve C, based on the theory of formal pseudodifferential operators. When C is a complex curve with Poincaré uniformization, we propose another, equivalent construction, based on the work of Cohen-Manin-Zagier on Rankin-Cohen brackets. We give a presentation of the quantum algebra when C is a rat… ▽ More We introduce a quantization of the graded algebra of functions on the canonical cone of an algebraic curve C, based on the theory of formal pseudodifferential operators. When C is a complex curve with Poincaré uniformization, we propose another, equivalent construction, based on the work of Cohen-Manin-Zagier on Rankin-Cohen brackets. We give a presentation of the quantum algebra when C is a rational curve, and discuss the problem of constructing algebraically "differential liftings". △ Less

Submitted 26 December, 2001; v1 submitted 14 December, 2001; originally announced December 2001.

Journal ref: Ann. Inst. Fourier (Grenoble) 52 (2002), no. 6, 1629-1663

On some universal algebras associated to the category of Lie bialgebras

Authors: B. Enriquez

Abstract: In our previous work (math/0008128), we studied the set Quant(K) of all universal quantization functors of Lie bialgebras over a field K of characteristic zero, compatible with duals and doubles. We showed that Quant(K) is canonically isomorphic to a product G_0(K) \times Sha(K), where G_0(K) is a universal group and Sha(K) is a quotient set of a set B(K) of families of Lie polynomials by the ac… ▽ More In our previous work (math/0008128), we studied the set Quant(K) of all universal quantization functors of Lie bialgebras over a field K of characteristic zero, compatible with duals and doubles. We showed that Quant(K) is canonically isomorphic to a product G_0(K) \times Sha(K), where G_0(K) is a universal group and Sha(K) is a quotient set of a set B(K) of families of Lie polynomials by the action of a group G(K). We prove here that G_0(K) is equal to the multiplicative group 1 + h K[[h]]. So Quant(K) is `as close as it can be' to Sha(K). We also show that the only universal derivations of Lie bialgebras are multiples of the composition of the bracket with the cobracket. Finally, we prove that the stabilizer of any element of B(K) is reduced to the 1-parameter subgroup of G(K) generated by the corresponding `square of the antipode'. △ Less

Submitted 28 January, 2001; v1 submitted 8 January, 2001; originally announced January 2001.

Comments: expanded version, containing related results

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

Authors: B. Enriquez

Abstract: To any field K of characteristic 0, we associate a set Sha(K). Elements of Sha(K) are equivalence classes of families of Lie polynomials subject to associativity relations. We construct an injection and a retraction between Sha(K) and the set of quantization functors of Lie bialgebras over K. This construction involves the following steps. 1) To each element \varpi of Sha(K), we associate a func… ▽ More To any field K of characteristic 0, we associate a set Sha(K). Elements of Sha(K) are equivalence classes of families of Lie polynomials subject to associativity relations. We construct an injection and a retraction between Sha(K) and the set of quantization functors of Lie bialgebras over K. This construction involves the following steps. 1) To each element \varpi of Sha(K), we associate a functor g\mapsto Sh(g) from the category of Lie algebras to that of Hopf algebras; Sh(g) contains Ug. 2) When g and h are Lie algebras, and r_{gh} \in g\otimes h, we construct an element R(r_{gh}) of Sh(g)\otimes Sh(h) satisfying quasitriangularity identities; R(r_{gh}) defines a Hopf algebra morphism from Sh(g)^* to Sh(h). 3) When g = h and r\in g\otimes g is a solution of CYBE, we construct a series ρ(r) such that R(ρ(r)) is a solution of QYBE. The expression of ρ(r) in terms of r involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE. 4) We define the quantization of a Lie bialgebra g as the image of the morphism defined by R(ρ(r)), where r\in g\otimes g^* is the canonical element attached to g. △ Less

Submitted 28 September, 2000; v1 submitted 16 August, 2000; originally announced August 2000.