Question

Hi,

my question is related to the tensor product in k-linear additive categories. If you have such a category, an object $A$ and a finite dimensional k-vector space $V$, then one knows that the tensor product $V\otimes_kA$ exists.

One usually chooses a basis of $V$ and sets $A\otimes_kV$ simply as $A^n$ and verifies the universal property

$Hom(V\otimes_k A,B)\simeq Hom_k(V,Hom(A,B))$ directly.

Now it is not clear for me inasfar this construction is canonical, as you chose a basis of $V$.

And if $V$ is simply $Hom(A,B)$, then you have a morphism

$Hom(Hom(A,B)\otimes A,B)$ corresponding to the identity. How canonical is also this one?

Thank you very much!

Answer 1

You can make $A\otimes V$ canonical by defining it to be a family of objects indexed by the bases of $V$. But that's a big mess, so you probably don't want to do it. If all you want is to make $V\mapsto A\otimes V$ into a genuine functor, you can do that by choosing a suitable adjoint to the inclusion functor from vector spaces of the form $k^n$ to the category of all vector spaces.

Answer 2

If $C$ is a $k$-linear category for some ring $k$ (it does not have to be a field), then you can define $M \otimes_k X$ for $M \in \mathrm{Mod}(k), X \in C$ as $\mathrm{colim}_{m \in M} X$, if this colimit exists. Here the index category is $M$, where a morphism $m \to m'$ is an $r \in k$ such that $m'=rm$. Thus, $- \otimes_k X$ is the cocontinuous extension of $k \otimes_k X = X$. In particular, if $M$ is defined by some presentation $k^{(I)} \to k^{(J)} \to M \to 0$, then we get a presentation $X^{(I)} \to X^{(J)} \to M \otimes_k X \to 0$ (if these colimits exist). But of course, this is not the best way to define the tensor product. The best characterization is probably that $(-) \otimes_k X$ is left adjoint to $\mathrm{Hom}_C(X,-)$. As always, left adjoints just have to be defined pointwise, thus we may choose a presentation of $M$ in order to define $M \otimes_k X$, as soon as we ensure the universal property.

As for your last question, it is now clear how to define $\mathrm{Hom}_C(X,Y) \otimes X = \mathrm{colim}_{f : X \to Y} X \to Y$.