# The Unapologetic Mathematician

## The Coevaluation on Vector Spaces

Okay, I noticed that I never really gave the definition of the coevaluation when I introduced categories with duals, because you need some linear algebra. Well, now we have some linear algebra, so let’s do it.

Let $V$ be a finite-dimensional vector space with dual space $V^*$. Then if we have a basis $\left\{e_i\right\}$ of $V$ we immediately get a dual basis $\left\{\epsilon^i\right\}$ for $V^*$ (yet another $\epsilon$ to keep straight), defined by $\epsilon^j(e_i)=\delta_i^j$. We now define a map $\eta:\mathbf{1}\rightarrow V^*\otimes V$ by setting $\eta(1)=\epsilon^i\otimes e_i$. That is, we take the tensor product of each dual basis element with its corresponding basis element, and add them all up (summation convention).

But this seems to depend on which basis $\left\{e_i\right\}$ we started with. What if we used a different basis $\left\{f_i\right\}$ and dual basis $\left\{\phi^i\right\}$? We know that there is a change of basis matrix $f_i=t_i^je_j$, so let’s see how this works on the dual basis.

The dual basis is defined by the fact that $\phi^j(f_i)=\delta_i^j$. So we use this new expression for $f_i$ to write $\phi^j(t_i^ke_k)=t_i^k\phi^j(e_k)=\delta_i^j$. That is, $\phi^j(e_k)$ must be the inverse matrix to $t_i^k$, which we’ll write as $\left(t^{-1}\right)_k^j$. But now we can check

$\left[\left(t^{-1}\right)_i^j\epsilon^i\right](e_k)=\left(t^{-1}\right)_i^j\delta_k^i=\left(t^{-1}\right)_k^j$

And so we find that $\phi^i=\left(t^{-1}\right)_j^i\epsilon^j$ when we change bases.

Now we can use the same definition for $\eta$ above with our new basis. We set $\eta(1)=\phi^i\otimes f_i$, and then substitute our expressions in terms of the old bases:

$\eta(1)=\left(t^{-1}\right)_j^i\epsilon^j\otimes t_i^ke_k=\left(t^{-1}\right)_j^it_i^k\left(\epsilon^j\otimes e_k\right)=\delta_j^k\left(\epsilon^j\otimes e_k\right)=\epsilon^k\otimes e_k$

which is what we got before. That is, this map actually doesn’t depend on the basis we chose!

Okay, now does this coevaluation — along with the evaluation map from before — actually satisfy the conditions for a duality? First, let’s start with a vector written out in terms of a basis: $v=v^ie_i$. Now we use the coevaluation to send it to $v^ie_i\otimes\epsilon^j\otimes e_j$. Next we evaluate on the first two tensorands to find $v^i\delta_i^je_j=v^je_j$. So we do indeed have the identity here. Verifying the other condition is almost the same, starting from an arbitrary covector $\lambda=\lambda_i\epsilon^i$.

So now we know that the category $\mathbf{FinVect}(\mathbb{F})$ has duals. Tomorrow we can promote this to a duality on the category of finite-dimensional representations of a Hopf algebra.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 2 Comments	»

1. [...] of Hopf Algebras II Now that we have a coevaluation for vector spaces, let’s make sure that it intertwines the actions of a Hopf algebra. Then we can finish [...]

Pingback by | November 14, 2008 | Reply

2. [...] we’ve seen it already! When we talked about the coevaluation on vector spaces we worked out how a change of basis affects linear functionals. What we found is that if is our action on , then the action on is by the transpose — the [...]

Pingback by | December 2, 2008 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 30, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9184367060661316, "perplexity_flag": "head"}