Skip to main content
2 of 2
deleted 963 characters in body
Lennart Meier
  • 12.1k
  • 4
  • 73
  • 107

Tensor Powers of 1-Dimensional Representations of a Finite Group

Let $G$ be a finite group acting on a commutative ring $R$ via ring maps. In doubt, one can assume $R$ to be noetherian or regular if one wants. Let $P$ be a $1$-dimensional free $R$-module with a $G$-action satisfying $g(r\cdot x) = g(r)\cdot g(x)$ for $r\in R$ and $x\in P$, i.e. what some people call a $R$-semilinear $G$-action. Examples include the following, where always $G= \mathbb{Z}/2 = \langle t\rangle$:

  1. $R= \mathbb{Z}[i]$ with $t(i) = -i$. We act on $P \cong \mathbb{Z}[i]$ via interchanging $1$ and $i$.

  2. $R = \mathbb{C}[[X,Y]]$, $t(X) = Y$, $t(Y) = X$. We act on some power series $f\in P \cong \mathbb{C}[[X,Y]]$ via $t(f) = f^{op} \cdot e^{X-Y}$, where $f^{op}$ denotes interchanging $X$ and $Y$.

  3. $R = k[X^{\pm 1}]$ for any field $k$ and $t(X) = X^{-1}$. We act on $P \cong k[X^{\pm 1}]$ by $t(1) = X$ (or, more generally, $t(X^n) = X^{-n+1}$).

These representations are quite different, but they have all in common that a tensor power of them is "trivial", i.e. isomorphic to $R$ as an $R$-module with semilinear $G$-action. In the first example, $P^{\otimes_R 2}$ (with the diagonal action) is trivial in this sense as $t(i\otimes 1) = 1 \otimes i = i\otimes 1$ and thus $1\mapsto i$ is a $G$-equivariant isomorphism $R\to P$. The second example is even trivial itself as $1+e^{X-Y}$ is an invariant generator of $P$. In the third example, $X(\otimes 1)$ is an invariant element of $P\otimes_R P$.

This suggests the following question:

Question: Is there always some tensor power $P^{\otimes_R n}$ (with diagonal action) which is "trivial", i.e. isomorphic to $R$ as an $R$-module with semilinear $G$-action? Can $n$ be chosen to be $|G|$?

This is certainly true in the special case that $G$ acts trivially on $R$: Then $G$ acts $R$-linearly on $P$, i.e. each element $g\in G$ acts via multiplication by an element $r_g$. As $g^{|G|} = e_G$, all elements $r_g$ are $|G|$-th roots of unity in $R$. Thus, $P^{\otimes_R |G|}$ has trivial $G$-action.

Note also the following relationship to algebraic geometry: An $1$-dimensional free $R$-module $P$ with semilinear $G$-action is equivalent to a line bundle $L$ on the stack quotient $Spec R//G$. The line bundle $L$ is trivial exact if $P$ is "trivial" in the sense above.

Edit: Although the answer to the question seems to be rather straightforward, I decided not to delete the question since someone might still find it helpful.

Lennart Meier
  • 12.1k
  • 4
  • 73
  • 107