DOCSLIB.ORG

From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras Advances in Pure Mathematics, 2017, 7, 366-374 http://www.scirp.org/journal/apm ISSN Online: 2160-0384 ISSN Print: 2160-0368 From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras Shengxiang Wang1,2 1Department of Mathematics, Nanjing University, Nanjing, China 2School of Mathematics and Finance, Chuzhou University, Chuzhou, China How to cite this paper: Wang, S.X. (2017) Abstract From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras. Advances in Pure The present paper is a continuation of [1], where we considered braided infi- Mathematics, 7, 366-374. nitesimal Hopf algebras (i.e., infinitesimal Hopf algebras in the Yetter-Drin- https://doi.org/10.4236/apm.2017.77023 H feld category H for any Hopf algebra H), and constructed their Drinfeld Received: May 22, 2017 double as a generalization of Aguiar’s result. In this paper we mainly investi- Accepted: July 14, 2017 gate the necessary and sufficient condition for a braided infinitesimal bialge- Published: July 17, 2017 H bra to be a braided Lie bialgebra (i.e., a Lie bialgebra in the category H ). Copyright © 2017 by author and Scientific Research Publishing Inc. Keywords This work is licensed under the Creative Commons Attribution International Braided Infinitesimal Bialgebra, Braided Lie Bialgebra, Yetter-Drinfeld License (CC BY 4.0). Category, Balanceator http://creativecommons.org/licenses/by/4.0/ Open Access 1. Introduction An infinitesimal bialgebra is a triple ( Am,,∆) , where ( Am, ) is an associative algebra (possibly without unit), ( A,∆) is a coassociative coalgebra (possibly without counit) such that ∆( xy) = xy1 ⊗ y 21 +⊗ x xyxyA 2, , ∈ . Infinitesimal bialgebras were introduced by Joni and Rota in [2], called infini- tesimal coalgebra there, in the context of the calculus of divided differences [3]. In combinatorics, they were further studied in [4] [5] [6]. Aguiar established the basic theory of infinitesimal bialgebras in [7] [8] by investigating several examples and the notions of antipode, Drinfeld double and the associative Yang- Baxter equation keeping close to ordinary Hopf algebras. In [9], Yau introduced the notion of Hom-infinitesimal bialgebras and extended Aguiar’s main results in [7] [8] to Hom-infinitesimal bialgebras. One of the motivations of studying infinitesimal bialgebras is that they are DOI: 10.4236/apm.2017.77023 July 17, 2017 S. X. Wang closely related to Drinfeld’s Lie bialgebras (see [10]). The cobracket ∆ in a Lie bialgebra is a 1-cocycle in Chevalley-Eilenberg cohomology, which is a 1-cocycle in Hochschild cohomology (i.e., a derivation) in a infinitesimal bialgebra. So the compatible condition in a infinitesimal bialgebra can be seen as an associative analog of the cocycle condition in a Lie bialgebra. Motivated by [1], in which we considered infinitesimal Hopf algebras in the Yetter-Drinfeld categories, called braided infinitesimal Hopf algebras, the natural idea is whether we can obtain braided Lie bialgebras (called generalized H-Lie bialgebras in [11] [12]) from braided infinitesimal Hopf algebras. This becomes our motivation of writing this paper. To give a positive answer to the question above, we organize this paper as follows. In Section 1, we recall some basic definitions about Yetter-Drinfeld modules and braided Lie bialgerbas. In Section 2, we introduce the notion of the balanceator of a braided infinitesimal bialgerba and show that a braided infinitesimal bialgerba gives rise to a braided Lie bialgerba if and only if the balanceator is symmetric (see Theorem 2.3). 2. Preliminaries In this paper, k always denotes a fixed field, often omitted from the notation. We use Sweedler’s ([13]) notation for the comultiplication: ∆=⊗(hhh) 12, for all hH∈ . Let H be a Hopf algebra. We denote the category of left H-modules by H H . Similarly, we have the category of left H-comodules. For a left H- comodules (M , ρ ) , we also use Sweedler’s notation: ρ (mm) =(−1) ⊗ m0 , for all mM∈ . A left-left Yetter-Drinfeld module M is both a left H-module and a left H- comodule satisfying the compatibility condition ⊗⋅ = ⋅ ⊗ ⋅ hm1(−1) hm 20( hm 1)(−10) h 2( hm 1) (2.1) for all hH∈ and mM∈ . The equation (1.1) is equivalent to ρ (h⋅= m) hm1(−1) S( h 3) ⊗⋅( h 20 m ). (2.2) H By [14] [15], the left-left Yetter-Drinfeld category H is a braided monoi- dal category whose objects are Yetter-Drinfeld modules, morphisms are both left H-linear and H-colinear maps, and its braiding C−−, is given by CMN, ( mn⊗) = m(−10) ⋅⊗ nm( ) , H H for all mM∈∈H and nN∈∈H . H Let A be an object in H , the braiding τ is called symmetric on A if the following condition holds: ⋅ ⋅⊗ ⋅=⊗ (ab(−−11) ) a0 ( ab( ) ) ab, (2.3) (−10) which is equivalent to the following condition: ⋅⊗ = ⊗−1 ⋅ a(−−11) ba00 b S( b( ) ) a, (2.4) 367 S. X. Wang for any ab,.∈ A H In the category H , we call an (co)algebra simply if it is both a left H- module (co)algebra and a left H-comodule (co)algebra. For more details about (co)module-(co)algebras, the reader can refer to [16] [17]. H A braided Lie algebra ([11]) in H , called generalized H-Lie algebra there, H is an object L in H together with a bracket operation [,:] LL⊗→ L, which H is a morphism in H satisfying ′=−⋅∈ ′′ (1) H-anti-commutativity: [ll, ] l(−1) l, l0 , ll, L , (2) H-Jacobi identity: {ll⊗⊗′ l ′′} +{(τ ⊗1)( 1 ⊗ τ)(ll ⊗⊗′ l ′′ )} +{(1 ⊗ττ)( ⊗ 1)(ll ⊗⊗′ l ′′ )} =0, for all ll,,′ l ′′ ∈ L, where {ll⊗⊗′ l ′′} denotes lll,,[ ′ ′′ ] and τ the braiding for L. H Let A be an associative algebra in H . Assume that the braiding is symmetric on A. Define =−⋅ ∈ [ab, ] ab( a(−1) b) a0 , ab, A . Then ( A,,[ ]) is a braided Lie algebra (see [11]). H A braided Lie coalgebra ([12]) Γ is an object in H together with a linear H map δ : Γ→Γ⊗Γ (called the cobracket), which is also a morphism in H subject to the following conditions: (1) H-anti-cocommutativity: δ= − τδ , (2) H-coJacobi identity: (id+( id ⊗τ)( τ ⊗ id) +⊗( τ id)( id ⊗ τ))( id ⊗ δδ) =0, where τ denotes the braiding for L. H Dually, let (C,∆) be a coassociative coalgebra in H . Assume that the braiding on C is symmetric. Define δ :,C→⊗ CC by c c1⊗− c 2 c11(− ) ⋅⊗ c2 ccC 10 , ∈. H Then (C,δ ) is a braided Lie coalgebras in H (see [12]). H A braided Lie bialgebra ([18]) is (L,,,[ ] δ ) in H , where (L,,[ ]) is a braided Lie algebra, and (L,δ ) is a braided Lie coalgebra, such that the compatibility condition holds: δ[x,, y] =(([ ] ⊗ id)( id ⊗+ δ) ( id ⊗[,])( τδ ⊗ id)( id ⊗))( id ⊗− id τ)( x ⊗ y), x, y ∈ L , where τ denotes the braiding for L. 3. Main Results In this section, we will study the relation between braided infinitesimal bialge- bras and braided Lie bialgebras as a generalization of Aguiar’s result in [8]. H Let ( Am,,∆) be a braided ε-bialgebra in H . For any xyz,,∈ A, define an action of A on AA⊗ by → ⊗ = ⊗− ⋅⊗ ⋅ x( yz) xyzx(−−1) y( x 01( ) zx) 00. 368 S. X. Wang H Then the action → is a morphism in H . In fact, for any xyz,,∈ A and hH∈ , we have hx1⋅→ hyz 2 ⋅( ⊗) = hx 1 ⋅→( hyhz 23 ⋅⊗ ⋅) =hxhy ⋅ ⋅ ⊗ hz ⋅ − hx ⋅ ⋅ hy ⋅⊗ hx ⋅ ⋅ hzhx ⋅ ⋅ ( 12)( ) ( 3) ( 1)(−−1) 2(( 1)0( 1) 31)( )00 =hxhy ⋅ ⋅ ⊗ hzhxSh ⋅ − ⋅ hy ⋅⊗ hx ⋅ ⋅ hzhx ⋅ ⋅ ( 1)( 2 ) ( 3) 11 (−1) ( 13) 2 (( 12 0)(−10) 3)( 12 0 ) =hxhy ⋅ ⋅ ⊗ hzhxy ⋅ − ⋅⊗ hx ⋅ ⋅ hzhx ⋅ ⋅ ( 1)( 2) ( 3) 1(−1) (( 20)(−10) 3)( 20) = ⋅ ⋅ ⊗ ⋅ − ⋅⊗ ⋅ ⋅⋅ (h1 x)( h 2 y) ( h3 z) hx 1 (−−1) y( h21 x01( ) S( h23) h 3 zh)( 22 x 00 ) = ⋅ ⋅ ⊗ ⋅ − ⋅⊗ ⋅ ⋅ (hxhy1)( 2 ) ( hz3) hx 1 (−−1) y( hx2 01( ) zhx)( 3 00 ) = ⋅ ⊗ ⋅ − ⋅⊗ ⋅ ⋅ hxy1 ( ) ( hzhx2) 1 (−−1) yh2 (( x01( ) zx) 00 ) =⋅ ⊗− ⋅⊗ ⋅ h( xy z x(−−1) y( x 01( ) z) x00 ). So → is left H-linear. To show the left H-colinearity of the action →, we compute ρρ→ ⊗ = ⊗− ⋅⊗ ⋅ ( x( yz)) ( xyzx(−−1) y( x 01( ) zx) 00 ) =xyzxyzxy(−1) ( −− 1) ( 1) ⊗0 0 ⊗− 0 (−1) ⋅ x01(−) ⋅ zx 001(−) ⊗ xy( − 1) ⋅ ⊗ x01(−) ⋅ zx000 ( )(−−11) ( )( ) ( ) 0( ) 0 = ⊗ ⊗− ⊗ ⋅⊗ ⋅ x(−−−1) y( 1) z( 1) xy00 z 0 x(−−−−−−−11) y( 1) Sx( ( 13) ) x( 1) 4 z( 1) Sx( ( 1) 6) x( 1) 7 x( − 1) 2 y0 ( x( −1) 5 z0) x 0 = ⊗ ⊗− ⊗ ⋅⊗ ⋅ xyz(−1) ( −− 11) ( ) xyzxyz00 0 (−1111) ( −−) ( ) x( − 12) y0 ( x(− 13) zx0) 0, and ⊗→ρ ⊗ ⊗ = ⊗→ ⊗ ⊗ ⊗ (id) ( x y z) ( id)( x(−1) y( −− 11) z( ) x0 y 00 z ) = ⊗ ⊗− ⊗ ⋅⊗ ⋅ xyz(−1) ( −− 1) ( 1) xyzxyz0 0 0 (−1) ( −− 1) ( 1) x 01( −) y0 ( x001(−) zx0) 000 = ⊗ ⊗− ⊗ ⋅⊗ ⋅ xyz(−1) ( −− 11) ( ) xyzxyz00 0 (−1111) ( −−) ( ) x( − 12) y0 ( x(− 13) zx0) 0, as desired. Definition 2.1. Let ( Am,,∆) be a braided infinitesimal bialgebra and τ the braiding of A. The map BAAAA: ⊗→⊗ defined by Bxy( , ) = x →∆τ( y) + ττ( y →∆( x)), xy, ∈ A , (3.1) is called the balanceator of A. The balanceator B is called symmetric if BB= τ . The braided infinitesimal bialgebra A is called balanced if B ≡ 0 on A. Condition (2.1) can be written as follows: = ⋅ ⊗ − ⋅⊗ ⋅ Bxyxyyyxyyxyx( , ) ( 11(−) 2) 10 (−−1) 11( ) 2 ( 01(−) 10) 00 +⋅⋅⊗⋅ − ⋅⋅ ⋅⊗ ( xy(−1) ) x01 ( xyx( −−− 111) ) 02 ( xy( ) ) xxy01 ( ( ) ) x02 (−−1) 0( 10) Obviously, ⋅ = ⋅ ⋅ ⊗ − ⋅ ⊗ + ⋅⊗ Bxyxxyxx( (−1) , 0 ) ( ( −−1) )( 01( ) 02) x 010 ( xyxyxyxy(−1) 1) 0 2 (−1) 1 0 2 − ⋅ ⋅⊗ ⋅ ⋅ ⋅ ( xyx(−−1) ) 01( 1) x02 ( xy( −1) ) x010 ( xy( −1) ) . (−−1) 0( 1) 00 369 S. X. Wang Lemma 2.2. Let ( Am,,∆) be a braided infinitesimal bialgebra and xy, ∈ A. Assume that the braiding τ on A is symmetric.
Load more

Recommended publications
  • Global Theory: Chiral Homology
    CHAPTER 4 Global Theory: Chiral Homology Qinovnik umiraet, i ordena ego ostats na lice zemli. Koz~ma Prutkov, “Mysli i Aforizmy”, 1860 † 4.1. The cookware This section collects some utensils and implements needed for the construction of chiral homology. A sensible reader should skip it, returning to the material when necessary. Here is the inventory together with a brief comment on the employment mode. (i) In 4.1.1–4.1.2 we consider homotopy direct limits of complexes and discuss their multiplicative properties. The material will be used in 4.2 where the de Rham complex of a D-module on Ran’s space R(X) is defined as the homotopy direct limit of de Rham complexes of the corresponding D-modules on all the Xn’s with respect to the family of all diagonal embeddings. See [BK], [Se]. (ii) In 4.1.3 and 4.1.4 we discuss the notion of the Dolbeault algebra which is an algebraic version of the ∂¯-resolution. Dolbeault resolutions are functorial and have nice multiplicative properties, so they are very convenient for computing the global de Rham cohomology of D-modules on R(X), in particular, the chiral homology of chiral algebras. An important example of Dolbeault algebras comes from the Thom-Sullivan construction; see [HS] §4. (iii) In 4.1.5 we recall the definitions of semi-free DG modules, semi-free com- mutative DG algebras, and the cotangent complex following [H] (see also [Dr1] and [KrM]). The original construction of the cotangent complex, due to Grothendieck [Gr1], [Il], was performed in the setting of simplicial algebras.
    [Show full text]
  • A Model Structure for the Goldman-Millson Theorem
    A MODEL STRUCTURE FOR THE GOLDMAN–MILLSON THEOREM DANIEL ROBERT-NICOUD ABSTRACT. By a result of Vallette [Val14], we put a sensible model structure on the category of conilpotent Lie coalgebras. This gives us a powerful tool to study the subcategory of Lie algebras obtained by linear dualization, also known as the category of pronilpotent Lie algebras. This way, we recover weaker versions of the celebrated Goldman–Millson theorem and Dolgushev–Rogers theorem by purely homotopical methods. We explore the relations of this procedure with the existent literature, namely the works of Lazarev–Markl and Buijs–F´elix–Murillo–Tanr´e. CONTENTS 1. Introduction 1 2. Some notions of category theory 2 3. The Goldman–Millson theorem and the Dolgushev–Rogers theorem 7 4. The Vallette model structure on conilpotent coalgebras over a cooperad 9 5. A model structure for the Goldman–Millson theorem 13 6. Framings and the Dolgushev–Rogers theorem 17 References 20 1. INTRODUCTION The celebrated Goldman–Millson theorem [GM88] in one of its more recent versions states that every filtered quasi-isomorphism of differential graded Lie algebras — i.e. quasi-isomorphisms that are com- patible with certain filtrations of the algebras — induces an isomorphism between the moduli spaces of Maurer–Cartan elements of the algebras. Recently, this theorem was extended by V. A. Dolgushev and C. L. Rogers [DR15], who proved that such a morphism induces a weak equivalence of simplicial sets between the whole deformation ∞-groupoids of the algebras, of which the moduli space of Maurer– Cartan elements is the zeroth homotopy group. These theorems have a distinct homotopical flavor — after all, they say that the class of filtered quasi-isomorphisms is sent into the classe of weak equiva- lences of simplicial sets under a certain functor.
    [Show full text]
  • Representation Theory in Complex Rank, II
    Representation theory in complex rank, II The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Etingof, Pavel. “Representation Theory in Complex Rank, II.” Advances in Mathematics 300 (September 2016): 473–504 © 2016 Elsevier Inc As Published http://dx.doi.org/10.1016/J.AIM.2016.03.025 Publisher Elsevier BV Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/118626 Terms of Use Creative Commons Attribution-NonCommercial-NoDerivs License Detailed Terms http://creativecommons.org/licenses/by-nc-nd/4.0/ REPRESENTATION THEORY IN COMPLEX RANK, II PAVEL ETINGOF To the memory of Andrei Zelevinsky 1. Introduction Let Ct be one of the categories Rep(St), Rep(GLt), Rep(Ot), Rep(Sp2t), obtained by interpolating the classical representation categories Rep(Sn), Rep(GLn), Rep(On), Rep(Sp2n) to complex values of n, defined by Deligne-Milne and Deligne ([DM, De1, De2]).1 In [E1], by analogy with the representation theory of real reductive groups, we proposed to consider various categories of “Harish-Chandra modules” based on Ct, whose objects M are objects of Ct equipped with additional mor- phisms satisfying certain relations. In this situation, the structure of an object of Ct on M is analogous to the action of the “maximal com- pact subgroup”, while the additional morphisms play the role of the “noncompact part”. The papers [E1, EA, Ma] study examples of such categories based on the category Rep(St) (which could be viewed as do- ing “algebraic combinatorics in complex rank”). This paper is a sequel to these works, and its goal is to start developing “Lie theory in complex rank”, extending the constructions of [E1] to “Lie-theoretic” categories Rep(GLt), Rep(Ot), Rep(Sp2t) (based on the ideas outlined in [E2]).
    [Show full text]
  • Local Commutative Algebra and Hochschild Cohomology Through the Lens of Koszul Duality
    Local Commutative Algebra and Hochschild Cohomology Through the Lens of Koszul Duality by Benjamin Briggs A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University of Toronto c Copyright 2018 by Benjamin Briggs Abstract Local Commutative Algebra and Hochschild Cohomology Through the Lens of Koszul Duality Benjamin Briggs Doctor of Philosophy Graduate Department of Mathematics University of Toronto 2018 This thesis splits into two halves, the connecting theme being Koszul duality. The first part concerns local commutative algebra. Koszul duality here manifests in the homotopy Lie algebra. In the second part, which is joint work with Vincent G´elinas,we study Hochschild cohomology and its characteristic action on the derived category. We begin by defining the homotopy Lie algebra π∗(φ) of a local homomorphism φ (or of a ring) in terms of minimal models, slightly generalising a classical theorem of Avramov. Then, starting with work of F´elixand Halperin, we introduce a notion of Lusternik-Schnirelmann category for local homomor- phisms (and rings). In fact, to φ we associate a sequence cat0(φ) ≥ cat1(φ) ≥ cat2(φ) ≥ · · · each cati(φ) being either a natural number or infinity. We prove that these numbers characterise weakly regular, com- plete intersection, and (generalised) Golod homomorphisms. We present examples which demonstrate how they can uncover interesting information about a homomorphism. We give methods for computing these numbers, and in particular prove a positive characteristic version of F´elixand Halperin's Mapping Theorem. A motivating interest in L.S. category is that finiteness of cat2(φ) implies the existence of certain six-term exact sequences of homotopy Lie algebras, following classical work of Avramov.
    [Show full text]
  • Noncommutative Differentials on Poisson-Lie Groups and Pre-Lie Algebras MAJID, SH; Tao, WQ
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Queen Mary Research Online Noncommutative differentials on Poisson-Lie groups and pre-Lie algebras MAJID, SH; Tao, WQ http://arxiv.org/abs/1412.2284 For additional information about this publication click this link. http://qmro.qmul.ac.uk/xmlui/handle/123456789/12484 Information about this research object was correct at the time of download; we occasionally make corrections to records, please therefore check the published record when citing. For more information contact [email protected] NONCOMMUTATIVE DIFFERENTIALS ON POISSON-LIE GROUPS AND PRE-LIE ALGEBRAS SHAHN MAJID AND WEN-QING TAO Abstract. We show that the quantisation of a connected simply-connected Poisson-Lie group admits a left-covariant noncommutative differential struc- ture at lowest deformation order if and only if the dual of its Lie algebra admits a pre-Lie algebra structure. As an example, we find a pre-Lie algebra structure underlying the standard 3D differential structure on Cq[SU2]. At the noncommutative geometry level we show that the enveloping algebra U(m) of a Lie algebra m, viewed as quantisation of m∗, admits a connected differen- tial exterior algebra of classical dimension if and only if m admits a pre-Lie algebra structure. We give an example where m is solvable and we extend the construction to tangent and cotangent spaces of Poisson-Lie groups by using bicross-sum and bosonisation of Lie bialgebras. As an example, we obtain 6D left-covariant differential structures on the bicrossproduct quantum group ∗ C[SU2]I/Uλ(su2).
    [Show full text]
  • Lie Coalgebras*
    ADVANCES IN MATHEMATICS 38, 1-54 (1980) Lie Coalgebras* WALTER MICHAELIS Department of Mathematics, The Univmity of Montana, Missoula, Montana 59812 DEDICATED TO SAUNDERS MAC LANE ON THE OCCASION OF HIS RECENT 70TH BIRTHDAY A Lie coalgebra is a coalgebra whose comultiplication d : M -, M @ M satisfies the Lie conditions. Just as any algebra A whose multiplication ‘p : A @ A + A is associative gives rise to an associated Lie algebra e(A), so any coalgebra C whose comultiplication A : C + C 0 C is associative gives rise to an associated Lie coalgcbra f?(C). The assignment C H O’(C) is func- torial. A universal coenveloping coalgebra UC(M) is defined for any Lie coalgebra M by asking for a right adjoint UC to Bc. This is analogous to defining a universal enveloping algebra U(L) for any Lie algebra L by asking for a left adjoint U to the functor f?. In the case of Lie algebras, the unit (i.e., front adjunction) 1 + 5? 0 U of the adjoint functor pair U + B is always injective. This follows from the PoincarC-Birkhoff-Witt theorem, and is equivalent to it in characteristic zero (x = 0). It is, therefore, natural to inquire about the counit (i.e., back adjunction) f!” 0 UC + 1 of the adjoint functor pair B” + UC. THEOREM. For any Lie coalgebra M, the natural map Be(UCM) + M is surjective if and only if M is locally finite, (i.e., each element of M lies in a finite dimensional sub Lie coalgebra of M). An example is given of a non locally finite Lie coalgebra.
    [Show full text]
  • Deformation Theory of Bialgebras, Higher Hochschild Cohomology and Formality Grégory Ginot, Sinan Yalin
    Deformation theory of bialgebras, higher Hochschild cohomology and Formality Grégory Ginot, Sinan Yalin To cite this version: Grégory Ginot, Sinan Yalin. Deformation theory of bialgebras, higher Hochschild cohomology and Formality. 2018. hal-01714212 HAL Id: hal-01714212 https://hal.archives-ouvertes.fr/hal-01714212 Preprint submitted on 21 Feb 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. DEFORMATION THEORY OF BIALGEBRAS, HIGHER HOCHSCHILD COHOMOLOGY AND FORMALITY GRÉGORY GINOT, SINAN YALIN Abstract. A first goal of this paper is to precisely relate the homotopy the- ories of bialgebras and E2-algebras. For this, we construct a conservative and fully faithful ∞-functor from pointed conilpotent homotopy bialgebras to aug- mented E2-algebras which consists in an appropriate “cobar” construction. Then we prove that the (derived) formal moduli problem of homotopy bial- gebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of E2-algebra structures on this “cobar” construction. We show con- sequently that the E3-algebra structure on the higher Hochschild complex of this cobar construction, given by the solution to the higher Deligne conjecture, controls the deformation theory of this bialgebra.
    [Show full text]
  • Hodge Correlators 86
    Hodge correlators A.B. Goncharov To Alexander Beilinson for his 50th birthday Contents 1 Introduction 3 1.1 Summary ........................................ 3 1.2 Arithmetic motivation I: special values of L-functions ............... 5 1.3 Arithmetic motivation II: arithmetic analysis of periods .............. 6 1.4 Mixed motives and the motivic Lie algebra . ........ 9 1.5 Pronilpotent completions of fundamental groups of curves............. 10 1.6 Hodgecorrelators................................ 11 1.7 A Feynman integral for Hodge correlators . ......... 13 1.8 Variations of mixed R-Hodge structures by twistor connections . 14 1.9 The twistor transform, Hodge DG algebra, and variations of real MHS . 17 nil 1.10 Mixed R-Hodge structure on π1 via Hodge correlators . 19 1.11 Motivic correlators on curves . ........ 19 1.12 Motivic multiple L-values ............................... 23 1.13 Coda: Feynman integrals and motivic correlators . ............. 25 1.14 Thestructureofthepaper. ...... 25 2 Polydifferential operator ωm 27 2.1 The form ωm(ϕ1, ..., ϕm)anditsproperties ..................... 28 2.2 Twistor definition of the operator ωm. ........................ 29 3 Hodge correlators for curves 32 arXiv:0803.0297v4 [math.AG] 10 Jan 2016 3.1 GreenfunctionsonaRiemannsurface . ....... 32 3.2 Construction of Hodge correlators for curves . ............ 34 3.3 Shuffle relations for Hodge correlators . ......... 37 4 The twistor transform and the Hodge complex functor 39 4.1 The Dolbeaut complex of a variation of Hodge structures. ............. 39 4.2 The Hodge complex functor • ( ).......................... 41 CH − 4.3 The twistor transform and the DGCom structure on Hodge complexes . 44 4.4 Concludingremarks ............................... 52 1 5 Twistor connections and variations of mixed Hodge structures 53 5.1 Green data and twistor connections .
    [Show full text]
  • A FORMALITY THEOREM for POISSON MANIFOLDS by Gregory
    A FORMALITY THEOREM FOR POISSON MANIFOLDS by Gregory Ginot & Gilles Halbout Abstract. — Let M be a differential manifold. Using different methods, Kontsevich and Tamarkin have proved a formality theorem, which states the existence of a Lie homomorphism “up to homotopy” between the Lie algebra of Hochschild cochains on ∞ C (M) and its cohomology (Γ(M, ΛTM), [−, −]S). Suppose M is a Poisson man- ifold equipped with a Poisson tensor π; then one can deduce from this theorem the existence of a star product ⋆ on C∞(M). In this paper we prove that the formality theorem can be extended to a Lie (and even Gerstenhaber) homomorphism “up to homotopy” between the Lie (resp. Gerstenhaber “up to homtoptopy”) algebra of Hochschild cochains on the deformed algebra (C∞(M), ∗) and the Poisson complex (Γ(M, ΛTM), [π, −]S). We will first recall Tamarkin’s proof and see how the for- mality maps can be deduced from Etingof-Kazhdan’s theorem using only homotopies formulas. The formality theorem for Poisson manifolds will then follow. 0. Introduction Let M be a differential manifold. Formality theorems link commutative objects with non-commutative ones. More precisely, one can define two graded Lie algebras g1 and g2. The first one g1 = Γ(M, ΛTM) is the space of multivector fields on M. It is endowed with a graded Lie bracket [−, −]S called the Schouten bracket (see [Kos]). The space g1 can be identified with the cohomology of a cochain complex g2 = k C(A, A) = k≥0 C (A, A), the space of regular Hochschild cochains (generated by differential k-linear maps from Ak to A and support preserving), where A = C∞(M) L is the algebra of smooth differential functions over M.
    [Show full text]
  • Arxiv:Math/0610437V3
    LIE COALGEBRAS AND RATIONAL HOMOTOPY THEORY, I: GRAPH COALGEBRAS DEV SINHA AND BEN WALTER 1. Introduction In this paper we develop a new, computationally friendly approach to Lie coalgebras through graph coalgebras, and we apply this approach to Harrison homology. There are two standard to presentations of a Lie algebra through “simpler” algebras. One is as a quotient of a non-associative binary algebra by Jacobi and anti-commutativity identities. Another presentation is as as embedded as Hopf algebra primitives in an associative universal enveloping algebra. The standard presentation of Lie coalgebras in the literature is dual to the second of these – as a quotient of the associative coenveloping coalgebra, namely the Hopf algebra indecomposables [12, 16]. We describe an approach to Lie coalgebras indiginous to the realm of coalgebras, dual to neither of these. We define a new kind of coalgebra structure, namely anti-commutative graph coalgebras, and we show that Lie coalgebras are quotients of these graph coalgebras. Our approach through graph coalgebras gives a presentation for Lie coalgebras which works better than the classical presentation in two respects. First, cofree graph coalgebras come with a simple and easily computable pairing with free binary nonassociative algebras which passes to Lie coalgebras and algebras, making duality not just a theoretical statement but an explicitly computable tool. Secondly, the quotient used to create Lie coalgebras from graph coalgebras is a locally defined relation. The quotient creating Lie coalgebras from associative coalgebras is the shuffle relation, which causes global changes to an expression. As a result, proofs in the realm of Lie coalgebras are often simpler to give through graph coalgebras than through associative coalgebras, and for some important statements we have only found proofs in the graph coalgebra setting.
    [Show full text]
  • Existence of Triangular Lie Bialgebra Structures II
    Existence of Triangular Lie Bialgebra Structures II J¨orgFeldvoss∗ Department of Mathematics and Statistics University of South Alabama Mobile, AL 36688–0002, USA Dedicated to the memory of my father Abstract We characterize finite-dimensional Lie algebras over an arbitrary field of characteristic zero which admit a non-trivial (quasi-) triangular Lie bialgebra structure. 2000 Mathematics Subject Classification: 17B62, 81R05, 81R50 §1. Introduction In general, a complete classification of all triangular Lie bialgebra structures is very difficult. Nev- ertheless, Belavin and Drinfel’d succeeded in [2] to obtain such a classification for every finite- dimensional simple Lie algebra over the complex numbers. The aim of this paper is much more modest in asking when there exist non-trivial (quasi-) triangular Lie bialgebra structures. Michaelis showed in [11] that the existence of a two-dimensional non-abelian subalgebra implies the existence of a non-trivial triangular Lie bialgebra structure over any ground field of arbitrary charactristic. In [6] we used a slight generalization of the main result of [11] (cf. also [2, Section 7]) in order to establish a non-trivial triangular Lie bialgebra structure on almost any finite-dimensional Lie algebra over an algebraically closed field of arbitrary characteristic. Moreover, we obtained a char- acterization of those finite-dimensional Lie algebras which admit non-trivial (quasi-) triangular Lie bialgebra structures. In this paper we extend the results of [6] and [7] to arbitrary ground fields of characteristic zero. A crucial result in the first part of this paper is [6, Theorem 1] which is not available for non-algebraically closed fields and has to be replaced by a more detailed analysis.
    [Show full text]
  • On the Definition of the Dual Lie Coalgebra of a Lie Algebra
    Publicacions Matem`atiques, Vol 39 (1995), 349–354. ON THE DEFINITION OF THE DUAL LIE COALGEBRA OF A LIE ALGEBRA Bertin Diarra Abstract Let L be a Lie algebra over a field K. The dual Lie coalgebra L◦ of L has been defined by W. Michaelis to be the sum of all good subspaces V of the dual space L∗ of L: V is good if tm(V ) ⊂ V ⊗ V , where m is the multiplication of L. We show that L◦ = tm−1(L∗ ⊗ L∗) as in the associative case. Let L be a Lie algebra over the field K with multiplication m : L⊗L → L: i.e. m is a linear map and setting m(x ⊗ y)=[x, y], one has (1) [x, x]=0 (2) [x, [y, z]]+[z,[x, y]] + [y, [z,x]] = 0. Let L∗ be the dual vector space of L and tm : L∗ → (L ⊗ L)∗ be the transpose of m. We identify L∗ ⊗ L∗ with a subspace of (L ⊗ L)∗ and we set L = tm−1(L∗ ⊗ L∗). ∗ ∗ Fix f ∈ L and consider the linear map γf : L → L defined by t (3) γf (x),y = f,[x, y] = m(f),x⊗ y,x,y∈ L. t Setting, as usual, adx(y)=[x, y], one has γf (x)= (adx)(f). Sometimes, we shall write γf (x)=x · f. 350 B. Diarra Lemma 1. For f ∈ L∗, the following statements are equivalent (i) f ∈ L ∗ (ii) The linear map γf : L → L is of finite rank. Proof: The equivalence follows readily from (3). Moreover, since L∗ ⊗ L∗ can be identified with the space of the linear maps of L into L∗ of finite rank, via ι : L∗ ⊗ L∗ → Hom(L, L∗)by n setting ι(f ⊗ g)(x)=f(x)g, one has f ∈ L iff γf = fj ⊗ gj iff j=1 n t m(f)= fj ⊗ gj.
    [Show full text]