TITLE: Iterated duals of a vector space
QUESTION [9 upvotes]: Let $K$ be a field and $\mathcal U$ a universe such that $K\in\mathcal U$. (Here, "universe" means "uncountable Grothendieck universe".) Let $\mathcal C$ be the category of $K$-vector spaces belonging to $\mathcal U$, and let $i\ge0$ be an integer. If $i$ is even, put $\mathcal C_i:=\mathcal C$; if $i$ is odd, put $\mathcal C_i:=\mathcal C^\text{op}$. Let $F_i:\mathcal C_i\to\mathcal C$ be the $i$-th dual functor. For integers $i,j\ge0$ of same parity, $\operatorname{Hom}(F_i,F_j)$ is a $K$-vector space. In particular
$$
d(K,\mathcal U,i,j):=\dim\operatorname{Hom}(F_i,F_j)
$$
is a well-defined cardinal.
Can one compute this cardinal?
Does $d(K,\mathcal U,i,j)$ depend on $K$ and $\mathcal U$?
Is $d(K,\mathcal U,i,j)$ finite?
Have these questions been asked before?
Edit. As an illustration, here is a proof of the equality $d(K,\mathcal U,2,0)=0$. This case can be handled without universes.
Assume that, for each vector space $V$ (over the field $K$ chosen once and for all), we have a linear map $\theta_V:V^{**}\to V$, and suppose that, for each linear map $f:V\to W$, we have
$$
f\circ\theta_V=\theta_W\circ f^{**}.
$$
We claim: $\theta_V=0$ for all $V$.
Proof. As a general notation, put $V_1:=V^*,V_2:=V^{**},f_2:=f^{**}$, and, for each vector space $V$, let $\varepsilon_V:V\to V_2$ be the natural map. In particular, the above display becomes
$$
f\circ\theta_V=\theta_W\circ f_2.
$$
It is easy to see that there is a scalar $\lambda\in K$ such that $\theta_V\circ\varepsilon_V=\lambda\operatorname{id}_V$ for all $V$, and that we can assume either $\lambda=0$ or $\lambda=1$.
Case $\lambda=0$. Since $\varepsilon_K$ is an isomorphism, we get $\theta_K=0$. For $v_1$ in $V_1$ we have $v_1\circ\theta_V=\theta_K\circ v_{12}=0$. Since $v_1$ is arbitrary, this implies $\theta_V=0$.
Case $\lambda=1$. We are seeking a contradiction. For $v_1$ in $V_1$ we have
$$
v_{12}=\varepsilon_K\circ\theta_K\circ v_{12}=\varepsilon_K\circ v_1\circ\theta_V,
$$
that is
$$
\big(v_{12}(v_2)\big)(k_1)=\bigg(\varepsilon_K\Big(v_1\big(\theta_V(v_2)\big)\Big)\bigg)(k_1)
$$
for $v_2$ in $V_2$ and $k_1$ in $K_1$. The last equality can be rewritten as
$$
v_2(k_1\circ v_1)=k_1\Big(v_1\big(\theta_V(v_2)\big)\Big).
$$
Taking the identity of $K$ as $k_1$, we get
$$
v_2(v_1)=v_1\big(\theta_V(v_2)\big)
$$
for all $v_1$ in $V_1$ and all $v_2$ in $V_2$. Let $V$ be infinite dimensional. By the Erdös-Kaplansky Theorem, there is a nonzero $v_2$ in $V_2$ such that $\theta_V(v_2)=0$. Since $v_2\ne0$, there is a $v_1$ in $V_1$ such that $v_2(v_1)\ne0$, contradiction.

REPLY [6 votes]: As a very partial answer, here are soft categorical arguments that the dimension is $1$ in case $i = 1$ or $j = 2$, or in case $i = 0$ or $j = 1$. The first result shows we can reduce to the cases $i = 1$, $i = 0$. 
Lemma: For $i, j$ of the same parity, there is an isomorphism $\hom(F_i, F_j) \cong \hom(F_{j-1}, F_{i+1})$. 
Proof: The left side corresponds to dinatural or extranatural transformations of the form $F_i \otimes F_{j-1} \to K$, and similarly the right corresponds to those of the form $F_{j-1} \otimes F_i \to K$. 
Proposition: $\hom(F_1, F_j)$ is $1$-dimensional for all odd $j$. 
Proof: Note $F_1 \cong \hom_{Vect}(-, K)$. By Yoneda, $\hom(F_1, F_j) \cong Nat(\hom(-, K), F_j) \cong F_j(K) \cong K$. 
Proposition: $\hom(F_0, F_j)$ is $1$-dimensional for all even $j$. 
Proof: Note $F_0 \cong \hom_{Vect}(K, -)$. By Yoneda, $\hom(F_0, F_j) \cong Nat(\hom(K, -), F_j) \cong F_j(K) \cong K$. 
Beyond this point, it gets trickier. The first non-trivial case is where $i = j = 3$, and here I'm not even sure $d(K, \mathcal{U}, i, j)$ is finite-dimensional. I can say that the dimension is greater than $1$, because we have at least two linearly independent transformations, 
$$V^{\ast\ast\ast} \stackrel{\text{id}}{\to} V^{\ast\ast\ast}, \qquad, V^{\ast\ast\ast} \stackrel{d^\ast V}{\to} V^\ast \stackrel{d V^\ast}{\to} V^{\ast\ast\ast}$$ 
where $d V: V \to V^{\ast\ast}$ is the double dual embedding, with adjoint $d^\ast V$. (Of course these transformations differ since $V^\ast$ has lower dimension than $V^{\ast\ast\ast}$ in general.) 
As an aside, my PhD thesis was on the structure of free symmetric monoidal closed categories, where the problem was how to distinguish between morphisms that can be canonically built up from the smc structure, e.g., the morphisms in the last display line. If I knew that all morphisms $F_i \to F_j$ were the ones built up from smc structure (oh, and $K$-linear structure of course), then I could probably say a lot more (although I didn't actually compute the cardinality of the analogue of $\hom(F_i, F_j)$ in the free case). But maybe there are weird non-canonical transformations in the case of the smc category $Vect$.
{"set_name": "stack_exchange", "score": 9, "question_id": 730995}