show/hide this revision's text 7 shortened

Can different modules have the same symmetric algebra? / Is it safe to think of modules geometrically? (answered: no/ yes)

Algebraic geometry inspires allows one to think of an $A$-module $M$ geometrically as a module of functions --- precisely speaking, functions on the $A$-scheme $\mathrm{Spec}(\mathrm{Sym}(M))$.

I'm wondering if anything is lost in just replacing $M$ by this geometric object. Since nothing is lost in taking $\mathrm{Spec}$, this amounts to asking:

(1) Can two non-isomorphic $A$-modules $M$ , $N$ have isomorphic symmetric $A$-algebras $\mathrm{Sym}(M)$ ,
$\mathrm{Sym}(N)$?

(Clearly they are not isomorphic as graded $A$-algebras.)

If the answer is "No", great! If "Yes", I would like to see a specific example.

It may be interesting to have a second interpretation, even if it doesn't help solve the problem. Since we have the adjunction (of set-valued functors)

$hom_{A-alg}(\mathrm{Sym}(M),B) \simeq hom_{A\mathrm{-mod}}(M,B),$

by Yoneda's lemma, an equivalent question would be:

(2) If the (set-valued) functors $hom_{A-\mathrm{mod}}(M,-)$ and $hom_{A-\mathrm{mod}}(N,-)$ agree on $A$-algbras, do they agree on $A$-modules?

Edit: I emphasized "set-valued" above, thanks to a comment from Buzzard. Also, partially in response to Mark Hovey's comment, I removed "Is it safe to think of modules geometrically" from the quesiton statement, since I don't want to assert that this is "the correct" geometric interpretation of a module.

show/hide this revision's text 6 title

Can different modules have the same symmetric algebra? / Is it safe to think of modules geometrically? (answered: no / yes)

show/hide this revision's text 5 clarified

Algebraic geometry inspires one to think of an $A$-module $M$ geometrically as a module of functions --- precisely speaking, functions on the $A$-scheme $\mathrm{Spec}(\mathrm{Sym}(M))$.

I'm wondering if anything is lost in just replacing $M$ by this geometric object. Since nothing is lost in taking $\mathrm{Spec}$, this amounts to asking:

(1) Can two non-isomorphic $A$-modules $M$ , $N$ have isomorphic symmetric $A$-algebras $\mathrm{Sym}(M)$ ,
$\mathrm{Sym}(N)$?

(Clearly they are not isomorphic as graded $A$-algebras.)

If the answer is "No", great! If "Yes", I would like to see a specific example.

It may be interesting to have a second interpretation, even if it doesn't help solve the problem. Since we have the adjunction (of set-valued functors)

$Hom_{A-alg}(\mathrm{Sym}(M),B) hom_{A-alg}(\mathrm{Sym}(M),B) \simeq Hom_{A\mathrm{-mod}}(M,B),$hom_{A\mathrm{-mod}}(M,B),$

by Yoneda's lemma, an equivalent question would be:

(2) If the (set-valued) functors $Hom_{A-\mathrm{mod}}(M,-)$ hom_{A-\mathrm{mod}}(M,-)$ and $Hom_{A-\mathrm{mod}}(N,-)$ hom_{A-\mathrm{mod}}(N,-)$ agree on $A$-algbras, do they agree on $A$-modules?

Edit: I emphasized "set-valued" above, thanks to a comment from Buzzard.

show/hide this revision's text 4 numbered questions
show/hide this revision's text 3 deleted 20 characters in body; deleted 18 characters in body
show/hide this revision's text 2 typesetting; deleted 9 characters in body; deleted 7 characters in body; added 7 characters in body; deleted 2 characters in body; added 3 characters in body; added 1 characters in body
show/hide this revision's text 1