Skip to main content
2 of 2
edited tags
Andrew Critch
  • 11.2k
  • 1
  • 50
  • 72

When is tensoring with a module representable by a scheme?

Consider the following: Let $A$ be a commutative ring, let $M$ be an $A$-module. When is the functor from $A$-algebras to Sets given by $R \mapsto R \otimes M$ representable by an $A$-scheme?

Unless I've made a mistake, this is always be an fpqc sheaf. When $M$ is a finitely generated free A-module, then $\mathrm{Spec}( \mathrm{Sym}^\bullet M^*)$ does the trick.

Dinakar Muthiah
  • 5.5k
  • 1
  • 36
  • 53