Question

A commutative algebra (with unity) over a field gives rise to the covariant functor F: Set_f->Vect from finite sets to vector spaces: F(E) := A^{otimes E}. Is it true that, over complex numbers, a finite dimensional algebra can be reconstructed from the corresponding functor?

(A Gamma-module is a functor from finite pointed sets to vector spaces; so F is not a Gamma-module. I use this term in the title just because I do not know the correct term for F: Set_f->Vect.)

Answer 1

I'd guess that the intended functor uses the multiplication operation of $A$ to provide $F(s):A\otimes A\to A$ where $s$ is the surjection $\{1,2\}\to\{1\}$ mentioned by Mattia Talpo, that it uses the unity element of $A$ to provide $F(i):k\to A$ where $i$ is the injection $\emptyset\to\{1\}$ and $k$ is the field of scalars, and that $F$ is to be defined on arbitrary maps between finite sets by a natural generalization and combination of these two examples. The trouble with this guess is that it makes the question trivial, since the algebra structure is contained in $F(s)$ and $F(i)$, so no work is needed to reconstruct the algebra from $F$. Unfortunately, I have no alternative guess as to what $F$ the proposer might have intended.

Answer 2

Let me clarify my question. For a commutative algebra $A$ we define a functor $F:\mathrm{Set}_\mathrm{f}\to\mathrm{Vect}$ by

$F(I)=A^{\otimes I}$ for a finite set $I$ and

$F(t):F(I)\to F(J)$, $\bigotimes_{i\in I}a_i\mapsto\bigotimes_{j\in J}\prod_{i\in t^{-1}(j)}a_i$ for a map $t:I\to J$ (exactly as Andreas Blass proposed).

Suppose now that two finite-dimensional algebras $A$ and $B$ over the complex numbers produce isomorphic functors $F$ and $G$. Is it true that then $A$ and $B$ are isomorphic?

The question is not trivial. Let $e:F\to G$ be an isomorphism of functors. Then $e_{\{1\}}:A\to B$ and $e_{\{1,2\}}:A\otimes A\to B\otimes B$ are isomorphisms of vector spaces. If we had $e_{\{1,2\}}=e_{\{1\}}\otimes e_{\{1\}}$, this would imply that $e_{\{1\}}$ is an isomorphism of algebras. The problem is that we have only linear naturality relations between $e_I$.

Answer 3

Now I can prove this, see http://www.pdmi.ras.ru/~ssp/te.pdf