DOCSLIB.ORG

Arxiv:1906.03655V2 [Math.AT] 1 Jul 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1906.03655V2 [Math.AT] 1 Jul 2020 RATIONAL HOMOTOPY EQUIVALENCES AND SINGULAR CHAINS MANUEL RIVERA, FELIX WIERSTRA, MAHMOUD ZEINALIAN Abstract. Bousfield and Kan’s Q-completion and fiberwise Q-completion of spaces lead to two different approaches to the rational homotopy theory of non-simply connected spaces. In the first approach, a map is a weak equivalence if it induces an isomorphism on rational homology. In the second, a map of path-connected pointed spaces is a weak equivalence if it induces an isomorphism between fun- damental groups and higher rationalized homotopy groups; we call these maps π1-rational homotopy equivalences. In this paper, we compare these two notions and show that π1-rational homotopy equivalences correspond to maps that induce Ω-quasi-isomorphisms on the rational singular chains, i.e. maps that induce a quasi-isomorphism after applying the cobar functor to the dg coassociative coalge- bra of rational singular chains. This implies that both notions of rational homotopy equivalence can be deduced from the rational singular chains by using different alge- braic notions of weak equivalences: quasi-isomorphism and Ω-quasi-isomorphisms. We further show that, in the second approach, there are no dg coalgebra models of the chains that are both strictly cocommutative and coassociative. 1. Introduction One of the questions that gave birth to rational homotopy theory is the commuta- tive cochains problem which, given a commutative ring k, asks whether there exists a commutative differential graded (dg) associative k-algebra functorially associated to any topological space that is weakly equivalent to the dg associative algebra of singu- lar k-cochains on the space with the cup product [S77], [Q69]. In this paper we study a coalgebra version of this problem, which requires a careful consideration of what it means for two coalgebras to be weakly equivalent and for two possibly non-simply connected spaces to be rationally homotopy equivalent, as we now explain. arXiv:1906.03655v2 [math.AT] 1 Jul 2020 For technical reasons we use a pointed version of the normalized singular chains and cochains (Definition 12). The pointed normalized singular chains on a pointed space (X, b), denoted by C∗(X, b, k), form a connected coaugmented dg coassociative k-coalgebra with the Alexander-Whitney diagonal approximation as coproduct. The ∗ linear dual of C∗(X, b, k), denoted by C (X, b, k), is the connected augmented dg associative k-algebra of pointed normalized singular cochains with the cup product. The Alexander-Whitney coproduct on C∗(X, b; k) is not strictly cocommutative, but its cocommutativity holds up to an infinite coherent family of homotopies. This algebraic structure may be described using the language of operads; namely, the dg coassociative coalgebra structure on C∗(X, b; k) extends to an E∞-coalgebra structure. ∗ This dualizes to an E∞-algebra structure on C (X, b; k) extending the cup product. 1 2 MANUELRIVERA,FELIXWIERSTRA,MAHMOUDZEINALIAN Denote by Top∗ the category of pointed path-connected topological spaces and by CDGAk the category of augmented commutative dg associative k-algebras. A pointed version of the commutative cochains problem is given by the following question. A Question 1. Is there a functor : Top∗ → CDGAk such that for any (X, b) ∈ A Top∗, (X, b) can be connected by a zig-zag of quasi-isomorphisms of augmented dg associative k-algebras to C∗(X, b; k)? Steenrod operations are obstructions for the existence of a functor A when k = Z or a field of non-zero characteristic. Sullivan and Quillen showed via different approaches that when k = Q such a functor A exists and, furthermore, the quasi- isomorphism type of the rational commutative dg algebra A(X, b) determines the rational homotopy type of X when X is a simply-connected space of finite type. In [BK71] and [BK72], Bousfield and Kan describe two possible rational comple- tions for general (not necessarily nilpotent) spaces both leading to different extensions of the classical rational homotopy theory of Sullivan and Quillen. The first one, known as the Q-completion of a space, naturally associates to any space X another space Q∞X together with a map ρ : X → Q∞X. When X is a nilpotent space Q∞X has the Malcev completion of π1(X, b) as fundamental group and the rationalized higher homotopy groups of X as higher homotopy groups. We call a continuous map f : X → Y a Q∞-homotopy equivalence if Q∞f : Q∞X → Q∞Y is a weak homotopy equivalence. This is the notion of weak equiva- lence in the extension of rational homotopy theory of [BFMT18]. The Q-completion construction satisfies the following properties. Proposition 2 ([BK71]). Let f : (X, b) → (Y, c) be a continuous map of pointed path-connected spaces. Then, the following are equivalent: (1) The map f : (X, b) → (Y, c) is a Q∞-homotopy equivalence, i.e. the induced map between Q-completions Q∞f : Q∞X → Q∞Y is a weak homotopy equiv- alence. (2) The induced map C∗(f; Q) : C∗(X, b; Q) → C∗(Y, c; Q) is a quasi-isomorphism. Furthermore, if X and Y are both nilpotent spaces then (1) and (2) are equivalent to: (3) The map f : (X, b) → (Y, c) induces an isomorphism between Malcev com- pletions of the fundamental groups and an isomorphism of higher rationalized homotopy groups. The second completion functor, known as the fiberwise Q-completion, associates ∗ to any space X another space Q∞X, having the same fundamental group as X and higher homotopy groups isomorphic to the rationalized higher homotopy groups of X. ∗ ∗ A continuous map f : X → Y is a π1-rational homotopy equivalence if Q∞f : Q∞X → ∗ Q∞Y is a weak homotopy equivalence. This is the notion of weak equivalence in the extension of rational homotopy theory of [GHT00]. In section 3, we prove that π1-rational homotopy equivalences are detected by the dg coassociative coalgebra of pointed normalized singular chains with rational coefficients. Then, in section 4, we study a coalgebra version of Question 1 which 3 fits with π1-rational homotopy equivalences. More precisely, our first result is the following theorem. Theorem 3. Let f : (X, b) → (Y, c) be a continuous map of pointed path-connected spaces. Then, the following are equivalent: (1) The map f : (X, b) → (Y, c) is a π1-rational homotopy equivalence, i.e the ∗ ∗ ∗ induced map between fiberwise Q-completions Q∞f : Q∞X → Q∞Y is a weak homotopy equivalence. (2) The induced maps π1(f) : π1(X, b) → π1(Y, c) and πn(f)⊗Q : πn(X, b)⊗Q → πn(Y, c) ⊗ Q for n ≥ 2 are isomorphisms. (3) The induced map C∗(f; Q) : C∗(X, b; Q) → C∗(Y, c; Q) is an Ω-quasi-isomor- phism, where an Ω-quasi-isomorphism is a map that induces an isomorphism after applying the cobar construction (see section 2.1). (4) The induced map π1(f) : π1(X, b) → π1(Y, c) is an isomorphism and for every Q-representation A of π1(Y, c) the induced map on the homology with ∗ local coefficients H∗(f) : H∗(X; f A) → H∗(Y ; A) is an isomorphism. The above theorem says that the notion of π1-rational homotopy equivalence is in fact a rational notion, i.e. it can be described in terms of maps that preserve algebraic structures on rational vector spaces. The proof of the equivalence between (2) and (3) of Theorem 3 uses a recent extension of a classical theorem of Adams, proven in [RZ16] by the first and third author, which says that for any pointed path-connected space (X, b) there is a natural quasi-isomorphism of dg algebras θ :ΩC∗(X, b; Q) ≃ C∗ (ΩbX; Q), where C∗ (ΩbX; Q) is the dg algebra of rational cubical singular chains on the (Moore) based loop space of X at b. The proof of Theorem 3 also uses the fact that θ is a quasi-isomorphism of dg bialgebras for natural bialgebra structures on ΩC∗(X, b; Q) and C∗ (ΩbX; Q). Quillen proved that associated to any simply connected space X there is a ra- tional cocommutative dg coassociative coalgebra which is quasi-isomorphic to the rational chains on X. Under the light of Theorem 3 we may now ask a stronger question, namely, if for any path-connected (X, b) the dg coalgebra C∗(X, b; Q) may be strictified into a rational cocommutative dg coassociative coalgebra which still detects the fundamental group (or at least the fundamental group algebra) and the higher rational homotopy groups. More precisely, denoting by CDGCk the category of coaugmented conilpotent dg cocommutative coassociative k-coalgebras we ask the following question, which we call the cocommutative chains problem: C Question 4. Is there a functor : Top∗ → CDGCk such that for any (X, b) ∈ C Top∗, (X, b) can be connected by a zig-zag of Ω-quasi-isomorphisms of coaugmented conilpotent dg coassociative coalgebras to C∗(X, b; k)? Steenrod operations are also an obstruction for the existence of C when k = Z or a field of non-zero characteristic. In section 4, we prove that there is no such functor C even when k is a field of characteristic zero. 4 MANUELRIVERA,FELIXWIERSTRA,MAHMOUDZEINALIAN 1.1. Acknowledgments. The first author acknowledges the support of the grant Fordecyt 265667 and the excellent working conditions of Centro de colaboraci´on Samuel Gitler in Mexico City. The second and third authors would like to thank the Max Planck Institute for Mathematics, where they first met and their collabora- tion started, for the hospitality and support during their stays. 2. Algebraic Preliminaries In this section we recall the algebraic constructions and results that will be used in the proofs of our main theorems in section 3 and 4.
Load more

Recommended publications
  • HE WANG Abstract. a Mini-Course on Rational Homotopy Theory
    RATIONAL HOMOTOPY THEORY HE WANG Abstract. A mini-course on rational homotopy theory. Contents 1. Introduction 2 2. Elementary homotopy theory 3 3. Spectral sequences 8 4. Postnikov towers and rational homotopy theory 16 5. Commutative differential graded algebras 21 6. Minimal models 25 7. Fundamental groups 34 References 36 2010 Mathematics Subject Classification. Primary 55P62 . 1 2 HE WANG 1. Introduction One of the goals of topology is to classify the topological spaces up to some equiva- lence relations, e.g., homeomorphic equivalence and homotopy equivalence (for algebraic topology). In algebraic topology, most of the time we will restrict to spaces which are homotopy equivalent to CW complexes. We have learned several algebraic invariants such as fundamental groups, homology groups, cohomology groups and cohomology rings. Using these algebraic invariants, we can seperate two non-homotopy equivalent spaces. Another powerful algebraic invariants are the higher homotopy groups. Whitehead the- orem shows that the functor of homotopy theory are power enough to determine when two CW complex are homotopy equivalent. A rational coefficient version of the homotopy theory has its own techniques and advan- tages: 1. fruitful algebraic structures. 2. easy to calculate. RATIONAL HOMOTOPY THEORY 3 2. Elementary homotopy theory 2.1. Higher homotopy groups. Let X be a connected CW-complex with a base point x0. Recall that the fundamental group π1(X; x0) = [(I;@I); (X; x0)] is the set of homotopy classes of maps from pair (I;@I) to (X; x0) with the product defined by composition of paths. Similarly, for each n ≥ 2, the higher homotopy group n n πn(X; x0) = [(I ;@I ); (X; x0)] n n is the set of homotopy classes of maps from pair (I ;@I ) to (X; x0) with the product defined by composition.
    [Show full text]
  • Rational Homotopy Theory: a Brief Introduction
    Contemporary Mathematics Rational Homotopy Theory: A Brief Introduction Kathryn Hess Abstract. These notes contain a brief introduction to rational homotopy theory: its model category foundations, the Sullivan model and interactions with the theory of local commutative rings. Introduction This overview of rational homotopy theory consists of an extended version of lecture notes from a minicourse based primarily on the encyclopedic text [18] of F´elix, Halperin and Thomas. With only three hours to devote to such a broad and rich subject, it was difficult to choose among the numerous possible topics to present. Based on the subjects covered in the first week of this summer school, I decided that the goal of this course should be to establish carefully the founda- tions of rational homotopy theory, then to treat more superficially one of its most important tools, the Sullivan model. Finally, I provided a brief summary of the ex- tremely fruitful interactions between rational homotopy theory and local algebra, in the spirit of the summer school theme “Interactions between Homotopy Theory and Algebra.” I hoped to motivate the students to delve more deeply into the subject themselves, while providing them with a solid enough background to do so with relative ease. As these lecture notes do not constitute a history of rational homotopy theory, I have chosen to refer the reader to [18], instead of to the original papers, for the proofs of almost all of the results cited, at least in Sections 1 and 2. The reader interested in proper attributions will find them in [18] or [24]. The author would like to thank Luchezar Avramov and Srikanth Iyengar, as well as the anonymous referee, for their helpful comments on an earlier version of this article.
    [Show full text]
  • The Continuum As a Final Coalgebra
    Theoretical Computer Science 280 (2002) 105–122 www.elsevier.com/locate/tcs The continuum as a ÿnal coalgebra D. PavloviÃca, V. Prattb; ∗ aKestrel Institute, Palo Alto, CA, USA bDepartment of Computer Science, Stanford University, Stanford, CA 94305-9045, USA Abstract We deÿne the continuum up to order isomorphism, and hence up to homeomorphism via the order topology, in terms of the ÿnal coalgebra of either the functor N ×X , product with the set of natural numbers, or the functor 1+N ×X . This makes an attractive analogy with the deÿnition of N itself as the initial algebra of the functor 1 + X , disjoint union with a singleton. We similarly specify Baire space and Cantor space in terms of these ÿnal coalgebras. We identify two variants of this approach, a coinductive deÿnition based on ÿnal coalgebraic structure in the category of sets, and a direct deÿnition as a ÿnal coalgebra in the category of posets. We conclude with some paradoxical discrepancies between continuity and constructiveness in this setting. c 2002 Elsevier Science B.V. All rights reserved. 1. Introduction The algebra (N; 0;s) of non-negative integers under successor s with constant 0, the basic number system of mathematics, occupies a distinguished position in the category of algebras having a unary operation and a constant, namely as its initial object. In this paper we show that the continuum, the basic environment of physics, occu- pies an equally distinguished position in the category of coalgebras having one “dual operation” of arity N, namely as its ÿnal object. Here a dual operation is understood as a function X → X + X + ··· dual to an operation as a function X × X ×···X , with arity being the number of copies of X in each case.
    [Show full text]
  • Arxiv:1907.08255V2 [Math.RA] 26 Aug 2020 Olers Eso Htte R Pitn of Splitting Are They That Show We Coalgebras
    COHOMOLOGY AND DEFORMATIONS OF DENDRIFORM COALGEBRAS APURBA DAS Abstract. Dendriform coalgebras are the dual notion of dendriform algebras and are splitting of as- sociative coalgebras. In this paper, we define a cohomology theory for dendriform coalgebras based on some combinatorial maps. We show that the cohomology with self coefficients governs the formal defor- mation of the structure. We also relate this cohomology with the cohomology of dendriform algebras, coHochschild (Cartier) cohomology of associative coalgebras and cohomology of Rota-Baxter coalgebras which we introduce in this paper. Finally, using those combinatorial maps, we introduce homotopy analogue of dendriform coalgebras and study some of their properties. 1. Introduction Dendriform algebras were first introduced by Jean-Louis Loday in his study on periodicity phe- nomenons in algebraic K-theory [13]. These algebras are Koszul dual to diassociative algebras (also called associative dialgebras). More precisely, a dendriform algebra is a vector space equipped with two binary operations satisfying three new identities. The sum of the two operations turns out to be associa- tive. Thus, a dendriform algebra can be thought of like a splitting of associative algebras. Dendriform algebras are closely related to Rota-Baxter algebras [1,8]. Recently, the present author defines a coho- mology and deformation theory for dendriform algebras [3]. See [6–8,17] and references therein for more literature about dendriform algebras. The dual picture of dendriform algebras is given by dendriform coalgebras. It is given by two coproducts on a vector space satisfying three identities (dual to dendriform algebra identities), and the sum of the two coproducts makes the underlying vector space into an associative coalgebra.
    [Show full text]
  • The Method of Coalgebra: Exercises in Coinduction
    The Method of Coalgebra: exercises in coinduction Jan Rutten CWI & RU [email protected] Draft d.d. 8 July 2018 (comments are welcome) 2 Draft d.d. 8 July 2018 Contents 1 Introduction 7 1.1 The method of coalgebra . .7 1.2 History, roughly and briefly . .7 1.3 Exercises in coinduction . .8 1.4 Enhanced coinduction: algebra and coalgebra combined . .8 1.5 Universal coalgebra . .8 1.6 How to read this book . .8 1.7 Acknowledgements . .9 2 Categories { where coalgebra comes from 11 2.1 The basic definitions . 11 2.2 Category theory in slogans . 12 2.3 Discussion . 16 3 Algebras and coalgebras 19 3.1 Algebras . 19 3.2 Coalgebras . 21 3.3 Discussion . 23 4 Induction and coinduction 25 4.1 Inductive and coinductive definitions . 25 4.2 Proofs by induction and coinduction . 28 4.3 Discussion . 32 5 The method of coalgebra 33 5.1 Basic types of coalgebras . 34 5.2 Coalgebras, systems, automata ::: ....................... 34 6 Dynamical systems 37 6.1 Homomorphisms of dynamical systems . 38 6.2 On the behaviour of dynamical systems . 41 6.3 Discussion . 44 3 4 Draft d.d. 8 July 2018 7 Stream systems 45 7.1 Homomorphisms and bisimulations of stream systems . 46 7.2 The final system of streams . 52 7.3 Defining streams by coinduction . 54 7.4 Coinduction: the bisimulation proof method . 59 7.5 Moessner's Theorem . 66 7.6 The heart of the matter: circularity . 72 7.7 Discussion . 76 8 Deterministic automata 77 8.1 Basic definitions . 78 8.2 Homomorphisms and bisimulations of automata .
    [Show full text]
  • Coalgebras from Formulas
    Coalgebras from Formulas Serban Raianu California State University Dominguez Hills Department of Mathematics 1000 E Victoria St Carson, CA 90747 e-mail:[email protected] Abstract Nichols and Sweedler showed in [5] that generic formulas for sums may be used for producing examples of coalgebras. We adopt a slightly different point of view, and show that the reason why all these constructions work is the presence of certain representative functions on some (semi)group. In particular, the indeterminate in a polynomial ring is a primitive element because the identity function is representative. Introduction The title of this note is borrowed from the title of the second section of [5]. There it is explained how each generic addition formula naturally gives a formula for the action of the comultiplication in a coalgebra. Among the examples chosen in [5], this situation is probably best illus- trated by the following two: Let C be a k-space with basis {s, c}. We define ∆ : C −→ C ⊗ C and ε : C −→ k by ∆(s) = s ⊗ c + c ⊗ s ∆(c) = c ⊗ c − s ⊗ s ε(s) = 0 ε(c) = 1. 1 Then (C, ∆, ε) is a coalgebra called the trigonometric coalgebra. Now let H be a k-vector space with basis {cm | m ∈ N}. Then H is a coalgebra with comultiplication ∆ and counit ε defined by X ∆(cm) = ci ⊗ cm−i, ε(cm) = δ0,m. i=0,m This coalgebra is called the divided power coalgebra. Identifying the “formulas” in the above examples is not hard: the for- mulas for sin and cos applied to a sum in the first example, and the binomial formula in the second one.
    [Show full text]
  • Rational Homotopy Theory of Mapping Spaces Via Lie Theory for L-Infinity
    RATIONAL HOMOTOPY THEORY OF MAPPING SPACES VIA LIE THEORY FOR L∞-ALGEBRAS ALEXANDER BERGLUND Abstract. We calculate the higher homotopy groups of the Deligne-Getzler ∞-groupoid associated to a nilpotent L∞-algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces. 1. Introduction In [17] Getzler associates an ∞-groupoid γ•(g) to a nilpotent L∞-algebra g, which generalizes the Deligne groupoid of a nilpotent differential graded Lie algebra [16, 17, 19, 24]. It is well known that the set of path components π0γ•(g) may be identified with the ‘moduli space’ M C (g) of equivalence classes of Maurer-Cartan elements, which plays an important role in deformation theory. Our main result is the calculation of the higher homotopy groups. Theorem 1.1. For a nilpotent L∞-algebra g there is an explicitly defined natural group isomorphism τ B : Hn(g ) → πn+1(γ•(g), τ), n ≥ 0, τ where g denotes the L∞-algebra g twisted by the Maurer-Cartan element τ. The τ group structure on H0(g ) is given by the Campbell-Hausdorff formula. As a corollary, we obtain a characterization of when an L∞-morphism induces an equivalence between the associated ∞-groupoids. Corollary 1.2. An L∞-morphism between nilpotent L∞-algebras f : g → h in- duces an equivalence of ∞-groupoids γ•(g) → γ•(h) if and only if the following two conditions are satisfied: (1) The map on Maurer-Cartan moduli M C (g) → M C (h) is a bijection. arXiv:1110.6145v2 [math.AT] 1 Aug 2015 τ τ f∗(τ) (2) The L∞-morphism f : g → h induces an isomorphism in homology in non-negative degrees, for every Maurer-Cartan element τ in g.
    [Show full text]
  • A Family of Complex Nilmanifolds with in Nitely Many Real Homotopy Types
    Complex Manifolds 2018; 5: 89–102 Complex Manifolds Research Article Adela Latorre*, Luis Ugarte, and Raquel Villacampa A family of complex nilmanifolds with innitely many real homotopy types https://doi.org/10.1515/coma-2018-0004 Received December 14, 2017; accepted January 30, 2018. Abstract: We nd a one-parameter family of non-isomorphic nilpotent Lie algebras ga, with a ∈ [0, ∞), of real dimension eight with (strongly non-nilpotent) complex structures. By restricting a to take rational values, we arrive at the existence of innitely many real homotopy types of 8-dimensional nilmanifolds admitting a complex structure. Moreover, balanced Hermitian metrics and generalized Gauduchon metrics on such nilmanifolds are constructed. Keywords: Nilmanifold, Nilpotent Lie algebra, Complex structure, Hermitian metric, Homotopy theory, Minimal model MSC: 55P62, 17B30, 53C55 1 Introduction Let g be an even-dimensional real nilpotent Lie algebra. A complex structure on g is an endomorphism J∶ g Ð→ g satisfying J2 = −Id and the integrability condition given by the vanishing of the Nijenhuis tensor, i.e. NJ(X, Y) ∶= [X, Y] + J[JX, Y] + J[X, JY] − [JX, JY] = 0, (1) for all X, Y ∈ g. The classication of nilpotent Lie algebras endowed with such structures has interesting geometrical applications; for instance, it allows to construct complex nilmanifolds and study their geometric properties. Let us recall that a nilmanifold is a compact quotient Γ G of a connected, simply connected, nilpotent Lie group G by a lattice Γ of maximal rank in G. If the Lie algebra g of G has a complex structure J, then a compact complex manifold X = (Γ G, J) is dened in a natural way.
    [Show full text]
  • Some Remarks on the Structure of Hopf Algebras
    SOME REMARKS ON THE STRUCTURE OF HOPF ALGEBRAS J. PETER MAY The purpose of this note is to give a new proof and generalization of Borel's theorem describing the algebra structure of connected com- mutative Hopf algebras and to discuss a certain functor V that arises ubiquitously in algebraic topology. Using this functor, we shall con- struct another functor W that accurately describes a large variety of not necessarily primitively generated Hopf algebras which occur in topology. K will denote a field of characteristic p > 0. For any (nonnegatively) graded if-module M, we let M+={x|x£M, degree x even} and M~= {x\xEM, degree x odd} if p>2; if p = 2, we let M+ = M and M~ = 0. We recall that an Abelian restricted Lie algebra is a -fT-module L together with a restriction (pth power operation) £: L„—>Lpn, for pn even, such that£(£x) =&"£(x) and£(x+y) =£(x)+i;(y) for x, y£L+ and kEK. Define V(L) =A(L)/I, where A(L) is the free commuta- tive algebra generated by L and I is the ideal generated by |xp—£(x)|x£L+}. V(L) is a primitively generated commutative Hopf algebra with PV(L) =L. It has the universal property that if i:L-+V(L) is the natural inclusion and if f'.L—>P is a morphism of Abelian restricted Lie algebras into a commutative algebra B (with restriction the pth power), then there exists a unique morphism of algebras/: V(L)—>-B such that fi=f. Of course, V(L) is the universal (restricted) enveloping algebra of L and is also defined for non-Abelian L, but it is the present case that is most frequently encountered in topology.
    [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]
  • Cofree Coalgebras Over Operads and Representative Functions
    Cofree coalgebras over operads and representative functions M. Anel September 16, 2014 Abstract We give a recursive formula to compute the cofree coalgebra P _(C) over any colored operad P in V = Set; CGHaus; (dg)Vect. The construction is closed to that of [Smith] but different. We use a more conceptual approach to simplify the proofs that P _ is the cofree P -coalgebra functor and also the comonad generating P -coalgebras. In a second part, when V = (dg)Vect is the category of vector spaces or chain com- plexes over a field, we generalize to operads the notion of representative functions of [Block-Leroux] and prove that P _(C) is simply the subobject of representative elements in the "completed P -algebra" P ^(C). This says that our recursion (as well as that of [Smith]) stops at the first step. Contents 1 Introduction 2 2 The cofree coalgebra 4 2.1 Analytic functors . .4 2.2 Einstein convention . .5 2.3 Operads and associated functors . .7 2.4 Coalgebras over an operad . 10 2.5 The comonad of coendomorphisms . 12 2.6 Lax comonads and their coalgebras . 13 2.7 The coreflection theorem . 16 3 Operadic representative functions 21 3.1 Representative functions . 23 3.2 Translations and recursive functions . 25 3.3 Cofree coalgebras and representative functions . 27 1 1 Introduction This work has two parts. In a first part we prove that coalgebras over a (colored) operad P are coalgebras over a certain comonad P _ by giving a recursive construction of P _. In a second part we prove that the recursion is unnecessary in the case where the operad is enriched over vector spaces or chain complexes.
    [Show full text]
  • Operads and the Tree of Life
    Operads and the Tree of Life John Baez and Nina Otter We have entered a new geological epoch, the Anthropocene, in which the biosphere is rapidly changing due to human activities. Last week two teams of scientists claimed the Western Antarctic Ice Sheet has been irreversibly destabilized, and will melt causing ∼ 3 meters of sea level rise in the centuries to come. So, we can expect that mathematicians will be increasingly focused on biology, ecology and complex systems | just as last century's mathematics was dominated by fundamental physics. Luckily, these new topics are full of fascinating mathematical structures|and while mathematics takes time to have an effect, it can do truly amazing things. Think of Church and Turing's work on computability, and computers today! Trees are important, not only in mathematics, but also biology. The most important is the `tree of life'. Darwin thought about it: In the 1860s, the German naturalist Haeckel drew it: Now we know that the `tree of life' is not really a tree, due to endosymbiosis and horizontal gene transfer: But a tree is often a good approximation. Biologists who try to infer phylogenetic trees from present-day genetic data often use simple models where: I the genotype of each species follows a random walk, but I species branch in two at various times. These are called Markov models. The simplest Markov model for DNA evolution is the Jukes{Cantor model. Consider a genome of fixed length: that is, one or more pieces of DNA having a total of N base pairs, each taken from the set fA,T,C,Gg: ··· ATCGATTGAGCTCTAGCG ··· As time passes, the Jukes{Cantor model says the genome changes randomly, with each base pair having the same constant rate of randomly flipping to any other.
    [Show full text]