Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $V$ be a vector space over $K$ and $T(V)$ denote the tensor algebra on $V$. It is well known that $T(V)$ is the free algebra on $V$. I've been told that it is also the cofree coalgebra on $V$ with comultiplication $\Delta:T(V)\rightarrow T(V) \otimes T(V)$ given by $$\Delta(v_1\dots v_n)=\sum_{\sigma\in S_n}\sum_i v_{\sigma(1)}\dots v_{\sigma(i)}\otimes v_{\sigma(i+1)}\dots v_{\sigma(n)}$$ where juxtaposition is shorthand for "internal" tensors and $S_n$ is the symmetric group.

To prove $T(V)$ is the free algebra, one takes a $K$-algebra $A$ and linear map $f:V\rightarrow A$ and shows that there is a unique algebra map $g:T(V)\rightarrow A$ such that $g\iota=f$ where $\iota:V\rightarrow T(V)$ is the inclusion map. The map $g$ is defined by $g(v_1\dots v_n) = f(v_1)\dots f(v_n)$.

I would like to show that for each $K$-coalgebra $C$ and each linear map $f:C\rightarrow V$ there is a unique coalgebra map $g:C\rightarrow T(V)$ such that $pg=f$ where $p:T(V)\rightarrow V$ is the projection map. However, in the cofree case, I don't see how to define $g$ because there doesn't seem to be an analogous procedure to "distributing over tensors" for a coalgebra map. I can't understand why a coalgebra map $g$ satisfying $pg=f$ is uniquely determined by $f$.

Edit: now I'm not even sure that this comultiplication is coassociative. Is something wrong here?

share|improve this question
1  
Are you sure that the symmetrizing is necessary? I think that for the cofree coalgebra you only need deconcatenation comultiplication. My answer assumes this anyway, so if that's not correct then nor is my answer. –  DavidA Jun 12 '12 at 20:55
6  
On first glimpse, in this tiresome morning, I read "Understanding coffee coalgebras". –  Asaf Karagila Jul 14 '12 at 6:42
    
Wikipedia says this isn't the cofree coalgebra. See en.wikipedia.org/wiki/Cofree_coalgebra . –  Qiaochu Yuan May 24 '13 at 23:23
    
Yeah, I had the multiplication wrong. David A was right that. –  Seth Feb 4 at 0:25
add comment

1 Answer 1

It's because T(V) is graded.

Suppose that we decompose $g$ as $g = g_{0} \oplus g_{1} \oplus g_{2} \oplus ...$, where each $g_{i}$ is a function which maps only into the i'th graded piece of T(V).

Then we can deduce $g_{0}$ from the counit law, $counit \circ g = counit$. So basically, $g_{0}$ is the counit in C, as a map into 0'th graded piece of T(V), which is isomorphic to K.

And we can deduce $g_{1} = f$ from $pg = f$.

Then, we can deduce $g_{2}, g_{3}, ...$ inductively from the comult law, $comult \circ g = (g \otimes g) \circ comult$. Specifically if $comult_{i,n-i}$ means the part of comult that maps into the (i,n-i) graded piece of $T(V)\otimes T(V)$, then we have $comult_{i,n-i} \circ g_{n} = (g_{i} \otimes g_{n-i}) \circ comult$, which enables $g_{n}$ to be determined (eg taking i = 1)

share|improve this answer
    
Thank you for your response. However I'm not completely understanding what you are saying. Let $x\in A$. We define $g_i (x)$ as the part of $g(x)$ of degree $i$. It is clear that $g_1 (x) = f(x)$ because $pg=f$. Now I want to use $\Delta \circ g = (g\otimes g)\circ \Delta$ to find $g_2$, $g_3$, etc. Can anyone explain in detail how I would find, for example, $g_2$? I need to find everything that $\Delta \circ g = (g\otimes g)\circ \Delta$ forces to be in degree $2$ but I am not seeing how to do this. –  Seth Jun 12 '12 at 13:30
    
We can write the comult in $T(V)$ as a direct sum $\Delta = \Delta_{0,0} \oplus \Delta_{0,1} \oplus \Delta_{1,0} \oplus \Delta_{0,2} \oplus ...$. Then $(\Delta_{0,0} \oplus \Delta_{0,1} \oplus ...) \circ (g_{0} \oplus g_{1} \oplus ...) = ((g_{0}\otimes g_{0}) \oplus (g_{0}\otimes g_{1}) \oplus (g_{1}\otimes g_{0}) \oplus ...) \circ \Delta$. Then, equating pieces of equal "bi-grading", we get for example $\Delta_{1,1} \circ g_{2} = (g_{1} \otimes g_{1}) \circ \Delta$, unless I'm mistaken. –  DavidA Jun 12 '12 at 20:47
    
Just to clarify my previous comment a little, $\Delta_{i,j}$ would be the part of $\Delta$ in $T(V)$ which maps $V^{\otimes (i+j)}$ to $V^{\otimes i} \otimes V^{\otimes j}$, via deconcatenation. That is, $x_{1} \otimes ... \otimes x_{i} \otimes x_{i+1} \otimes ... \otimes x_{i+j} \mapsto (x_{1} \otimes ... \otimes x_{i}) \otimes (x_{i+1} \otimes ... \otimes x_{i+j})$ –  DavidA Jun 12 '12 at 21:15
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.