Skip to main content
1 of 3
Angelo
  • 27k
  • 6
  • 92
  • 112

I don't think this is literally true. For example, suppose that $G$ is a finite cyclic group of order 2 generated by $s$, suppose that $L$ is an non-trivial 2-torsion invertible $A$-module over a Dedekind ring $A$. Then $L^{\oplus 2}$ is isomorphic to $A^{\oplus 2}$; you can let $G$ act on $L^{\oplus 2}$ with the rule $s(a,b) = (a, -b)$. This gives a family of representations that does not come from $\mathbb C$. You can give a similar example in which $G$ is a torus.

On the other hand, what you want is true étale-locally; would that be enough for your needs?

Angelo
  • 27k
  • 6
  • 92
  • 112