Mathematics – Rings and Algebras
Scientific paper
2009-12-06
Mathematics
Rings and Algebras
A few of the proofs in section 9 have been shortened and clarified. Various other changes have been made to improve the exposi
Scientific paper
Let $F$ be any field of characteristic $p$. It is well-known that there are exactly $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-known there is a unique (up to equivalence) $d+1$ dimensional irreducible complex representation 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 the computation of the ring of $C_p$-invariants $F[ \oplus_{i=1}^k V_{n_i+1}]^{C_p}$ to the computation of the classical ring of invariants (or covariants) $\C[R_1 \oplus (\oplus_{i=1}^k R_{n_i})]^{\SL_2(\C)}$. This shows that the problem of computing modular $C_p$ invariants is equivalent to the problem of computing classical $\SL_2(\C)$ invariants. This allows us to compute for the first time the ring of invariants for many representations of $C_p$. In particular, we easily obtain from this generators for the rings of vector invariants $F[m V_2]^{C_p}$, $F[m V_3]^{C_p}$ and $F[m V_4]^{C_p}$for all $m \in \N$. This is the first computation of the latter two families of rings of invariants.
No associations
LandOfFree
Invariants for the Modular Cyclic Group of Prime Order via Classical Invariant Theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Invariants for the Modular Cyclic Group of Prime Order via Classical Invariant Theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Invariants for the Modular Cyclic Group of Prime Order via Classical Invariant Theory will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-84111