Invariants for the modular cyclic group of prime order via classical invariant theory

Let $F$ be any field of characteristic $p$. It is well-known that there areexactly $p$ inequivalent indecomposable representations $V_1,V_2,...,V_p$ of$C_p$ defined over $F$. Thus if $V$ is any finite dimensional$C_p$-representation there are non-negative integers $0\leq n_1,n_2,..., n_k\leq p-1$ such that $V \cong \oplus_{i=1}^k V_{n_i+1}$. It is also well-knownthere is a unique (up to equivalence) $d+1$ dimensional irreducible complexrepresentation of $\SL_2(\C)$ given by its action on the space $R_d$ of $d$forms. Here we prove a conjecture, made by R.J. Shank, which reduces thecomputation of the ring of $C_p$-invariants $F[ \oplus_{i=1}^kV_{n_i+1}]^{C_p}$ to the computation of the classical ring of invariants (orcovariants) $\C[R_1 \oplus (\oplus_{i=1}^k R_{n_i})]^{\SL_2(\C)}$. This showsthat the problem of computing modular $C_p$ invariants is equivalent to theproblem of computing classical $\SL_2(\C)$ invariants. This allows us to compute for the first time the ring of invariants for manyrepresentations of $C_p$. In particular, we easily obtain from this generatorsfor the rings of vector invariants $F[m V_2]^{C_p}$, $F[m V_3]^{C_p}$ and $F[mV_4]^{C_p}$for all $m \in \N$. This is the first computation of the latter twofamilies of rings of invariants.