On Sweedler's cofree cocommutative coalgebra.
type: Item
instance of: scholarly article
title: On Sweedler's cofree cocommutative coalgebra.
zbMATH Open document ID: 1339.16035
author: Daniel Murfet
published in: Journal of Pure and Applied Algebra
publication date: 2015-08-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1406.5749
review text: The cofree coalgebra \(C(V)\), together with a linear map \(p\) from \(C(V)\) to \(V\), for a vector space \(V\), satisfies the universal mapping property that for any coalgebra \(D\) and linear map \(f\) from \(D\) to \(V\), there is a unique coalgebra map \(F\) from \(D\) to \(C\) such that \(pF=f\). \(C(V)\) was constructed in \textit{M. E. Sweedler}'s book Hopf algebras [New York: W. A. Benjamin (1969; Zbl 0194.32901)] by first constructing \(C(V^{**})\) using the finite dual functor \(\circ\) on the tensor algebra \(T(V^*)\), where \(C(V^{**})=T(V^*)^\circ\). \(C(V)\) is then constructed using the embedding of \(V\) into \(V^{**}\). The cofree cocommutative coalgebra \(C'(V)\) is then constructed by taking the sum of all cocommutative subcoalgebras of \(C(V)\). In the paper under review, the author gives a proof of the existence of \(C'(V)\) which he calls a direct proof. He has some restrictions on the base field -- algebraically closed and characteristic zero. There are no restrictions in Sweedler's construction. His basic ingredients are local cohomology and residues. In an appendix, he redoes Sweedler's construction using his methods. Here there are no restrictions on the characteristic.
reviewed by: Earl J. Taft
Mathematics Subject Classification ID: 16T15
zbMATH DE Number: 6476965
zbMATH Keywords: cofree cocommutative coalgebras
MaRDI profile type: Publication
OpenAlex ID: W2962757110
arXiv ID: 1406.5749
cites work: Coalgebras over a commutative ring
cites work: Generalized dual coalgebras of algebras, with applications to cofree coalgebras
cites work: Q4317713
cites work: Q4195061
cites work: Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
cites work: Cofree coalgebras and multivariable recursiveness.
cites work: Glueing and orthogonality for models of linear logic
cites work: Q3549566
cites work: Q5187397
cites work: Q3075441
cites work: An Explicit Formula for the Free Exponential Modality of Linear Logic
cites work: Residue: A Geometric Construction
cites work: Cofree coalgebras over operads
cites work: Q5590089
DOI: 10.1016/J.JPAA.2015.05.012
Recommended article: Homological dimension of coalgebras and crossed coproducts
Recommended article: Grothendieck rings of universal quantum groups.
Recommended article: Limits of coalgebras, bialgebras and Hopf algebras
Recommended article: Hopf Algebras
Recommended article: Q3513471
Recommended article: Q4835993
Recommended article: Coalgebraic algebra
Recommended article: Limits and colimits of Hopf algebras
Recommended article: Q3324102
Recommended article: Q3314033
description: scientific article