symmetric monoidal (∞,1)-category of spectra
Given a monoidal category , let denote the category of coalgebras (i.e., comonoids) with respect to the tensor product of . Let be the forgetful functor. The cofree coalgebra refers to a functor right adjoint to , if it exists.
For example, a cofree coalgebra on a vector space consists of a coalgebra and a linear map which is universal in the sense that given a coalgebra and linear map , there exists a unique coalgebra map such that .
The forgetful functor preserves and reflects (creates) any colimits which happen to exist, analogous to the fact that the forgetful functor preserves and reflects limits. Therefore, under hypotheses of an adjoint functor theorem (which almost always obtain in cases of practical interest), will indeed have a right adjoint.
The special adjoint functor theorem (SAFT) may be applied to show that for any commutative ring , the forgetful functor
has a right adjoint. An argument is given by Michael Barr in
(This is somewhat at odds with an assertion made by Michiel Hazewinkel in Witt Vectors, Part I, section 12.11 (page 58): “Whether the cofree coalgebra over an Abelian group always exists is unknown.” But it seems to me (Todd Trimble) that there is nothing wrong with Barr’s argument.)
In what follows, we give an explicit construction of the cofree coalgebra cogenerated by a vector space.
As a first step, recall the following result.
Every coalgebra is the filtered colimit over the diagram of its finite-dimensional subcoalgebras and inclusions between them.
For a proof of this result, see for example Michaelis. We repeat that colimits of coalgebras are created by taking colimits of their underlying vector spaces.
Let for a vector space , let be the tensor algebra (or free algebra) generated by . We may consider as the algebra of (non-commutative) polynomial functions on . The dual of is not a coalgebra, but in accordance with the fundamental theorem above, we may consider instead the colimit over a system of finite-dimensional coalgebras obtained by dualizing the system of finite-dimensional algebra quotients of and surjections between them (compare profinite completion), using the fact that the dual of a finite-dimensional algebra is a finite-dimensional coalgebra. Let be this colimit coalgebra, embedded in . The dual of the inclusion gives a map , and this restricts to a map .
For finite-dimensional , there is an isomorphism , and we have the following result.
If is finite-dimensional, then the composite exhibits as the cofree coalgebra on .
Suppose given a coalgebra and a linear map . We want to show this has a unique lift to a coalgebra map . For , there is a minimal finite-dimensional subcoalgebra containing , and if is the restriction of , then the value must match the value . In other words, in view of the fundamental theorem of coalgebras, there is no loss of generality in taking to be finite-dimensional.
In this case, the map extends uniquely to an algebra map , since the tensor algebra is the free algebra on . This algebra map factors as
where is a finite-dimensional algebra. The dual carries a coalgebra structure that embeds in , and by dualizing we obtain coalgebra maps
that provide the desired lift. The uniqueness of the lift is evident from the uniqueness of the extension (or equivalently, of , passing to the profinite completion) on the dual algebra side.
Now let be an infinite-dimensional vector space. We may view as the union or filtered colimit over the system of its finite-dimensional subspaces. Applying the cofree coalgebra construction to these finite-dimensional subspaces, we get a system of coalgebras.
The coalgebra colimit
is the cofree coalgebra on .
Indeed, suppose given a coalgebra and a linear function . To construct a coalgebra map which lifts , we may argue just as we did in the proof of the lemma, and suppose without loss of generality that is finite-dimensional. Then of course the map factors through a map where is a finite-dimensional subspace of . This lifts uniquely to a coalgebra map , and the desired lift is the composite
Any such lift is obtained in just this way.
Specializing still further, we investigate the detailed structure of the cofree coalgebra on a 1-dimensional vector space (over a field) .
Here, the cofree coalgebra is the filtered colimit of finite-dimensional coalgebras of the form
where is a (finite-dimensional) quotient of the polynomial algebra modulo a non-zero ideal . The adjoint of the quotient map is an embedding into the space of formal power series in . As a set, is simply the union of the subspaces . In other words, every belongs to some , and it suffices to consider first the structure of a typical such as a formal power series, and then how the comultiplication behaves on it.
Now is a principal ideal for some polynomial , where the top coefficient is of course assumed non-zero. We are trying to understand when a formal power series vanishes on , in the sense that
for all , where the pairing is the canonical one:
Taking the case , we obtain recurrence relations
one for every . We may pick at random, but from there on the remainder of the sequence is determined by the recurrence relations.
Now let be the polynomial obtained by reversing the order of the coefficients of ,
and consider the problem of multiplicatively inverting (which we may do since the constant coefficient of is non-zero). If is the reciprocal, we have
which yields a second set of recurrence relations by examining coefficients of powers of . We get the first set of recurrence relations by restricting attention to the coefficients of , , etc.
Thus the power series of yields a which vanishes on , and similarly the power series of
also vanish on . They in fact form a basis for the subspace .
We conclude that an arbitrary element of is of the form for some with non-zero constant coefficient:
As subspaces of the space of formal power series , there is an identification
where the right side is the localization of at the prime ideal , whose elements are considered as formal power series.
It remains to identify the coalgebra structure on . This extends the standard coalgebra structure on the tensor algebra , where the comultiplication is given by deconcatenation:
We may as well focus on a typical subcoalgebra , with basis elements . By duality, the definition of can be extracted from the multiplication table for residue classes .
The calculations work out cleanest if we assume if is algebraically closed. For in that case, we can take advantage of partial fraction decompositions of the form
so that it suffices to give , although the algebra works out better with a slightly different basis.
With this in mind, put for . The power series expansion is
and we formally calculate
which exhibits comultiplication as deconcatenation, familiar from the usual coalgebra structure on . In particular, we have : the elements are grouplike.
A more respectable-looking calculation (but really with the exact same content!) shows that the comultiplication thus defined on is indeed adjoint to multiplication on :
An analogous calculation shows that the counit is defined by (Kronecker delta).
We summarize the calculations above as follows.
Let be an algebraically closed field. For each nonzero scalar , let denote the -linear span of the elements in , with coalgebra structure given in each case by
Let as a subspace of . The cofree coalgebra over a 1-dimensional space , identified with , decomposes as a direct sum of coalgebras
according to the partial fraction decomposition of rational functions. Each of the coalgebras is isomorphic to with its standard coalgebra structure.
See also * Tom Fox, The construction of cofree coalgebras. JPAA 84 (1993) 191-198. texfile here
but note that this contains an error which is corrected in