Molien for modular representations? - MathOverflow

Molien for modular representations?

2011-02-22T22:35:36Z

Let $G$ be a finite group, and let $k$ be a field whose characteristic divides $\left|G\right|$. Let $\rho:G\to \mathrm{End} V$ be a (finite-dimensional) representation of $G$ over $k$. Prove or disprove that

$\sum\limits_{g\in G} \frac{1}{\det\left(\mathrm{id}-T\rho\left(g\right)\right)} = 0$ as an equality between power series in $k\left[T\right]$.

Motivation:

Let $G$ be a finite group, and $k$ be any field. Let $\rho:G\to \mathrm{End} V$ be a (finite-dimensional) representation of $G$ over $k$. For every $d\geq 0$, let $n_d$ denote the dimension of the space $\left(\mathrm{Sym}^d V^{\ast}\right)^G$ of the $G$-invariant symmetric $d$-ary forms on $V$. Molien's formula states that

$\left|G\right|\cdot \sum\limits_{n=0}^{\infty} n_dT^d = \sum\limits_{g\in G} \frac{1}{\det\left(\mathrm{id}-T\rho\left(g\right)\right)}$ as an equality between power series in $k\left[T\right]$

if $\mathrm{char} k$ does not divide $\left|G\right|$. I am wondering whether this formula still holds if $\mathrm{char} k\mid \left|G\right|$. The standard proof, using the Maschke projection, does not make much sense in this case...

Answer by Luis H Gallardo for Molien for modular representations?

2011-02-23T01:17:58Z

I am not specialist of the subject but seems that the equality does not work in the special case:

$k=\mathbb{F}_2,$ $G={0,1}$ the additive group of the same field $\mathbb{F}_2,$ the vector space still the same field $V=k,$ and the representation $$ \rho(0)=id,\;\;\rho(1)=0 $$

Answer by Kevin Ventullo for Molien for modular representations?

2011-02-23T09:09:19Z

By a well known lemma in group theory, we can write any $g\in G$ uniquely as $h_1h_2$ where $h_1$ has order a power of $p$, $h_2$ has order prime to $p$, and $h_1h_2=h_2h_1$. Thus we may write $G$ as a disjoint union

$G=\cup_g P_g\cdot g$

where $g$ ranges over the elements of order prime to $p$ and $P_g$ denotes the set of elements of $p$-power order which commute with $g$. Fix a char. p representation $\rho$. Note that every element of $\rho(P_g\cdot g)$ has the same characteristic polynomial as $\rho(g)$. Also, $|P_g|$ is either divisible by $p$ or equal to one (copy the proof of Cauchy's Theorem). In the former case, we clearly have

$\sum\limits_{\tilde{g}\in P_g\cdot g} \det\left(\mathrm{id}-T\rho\left(\tilde{g}\right)\right)^{-1} = 0$.

The remaining $g$'s all have centralizer of order prime to $p$, so each of their conjugacy classes has order divisible by $p$. It follows from this observation that the sum over the remaining elements must vanish as well.

Answer by Mariano Suárez-Alvarez for Molien for modular representations?

2011-02-23T16:01:49Z

A simple-minded argument:

Pick any element $g\in G$ of order $p$, the characteristic of $k$, and let $C(g)$ be the centralizer of $g$.

Now $G\setminus C(g)$ is the disjoint union of orbits under the action of the inner automorphism $\iota_g:h\in G\mapsto ghg^{-1}\in G$, and those orbits are of size $p$. The sum of the terms in your sum corresponding to the elements of $g$ in one of those orbits is then zero, for those terms are all equal.

If $h\in C(g)$, then the terms in your sum corresponding to the elements $h$, $gh$, $g^2h$, $\dots$, $g^{p-1}h$ are all equal---because $g$ and $h$ commute, you can take them simutaneously to Jordan canonical form and $g$ has only $1$ as an eigenvalue---so that their sum is also zero.

We have thus partitioned $G$ into, on one hand, the orbits of $\iota_g$ in $G\setminus C(g)$, and, on the other, the cosets of $\langle g\rangle$ in $C(g)$, and checked that the sum of the terms in each part of this partition is zero. Therefore your sum is zero.

NB: Notice that the specific form of the terms in your sum does not really matter, as long as it only depend on the eigenvalues of the $g\in G$. Thus, for example, exactly the same reasoning shows that the "other" Molien formula $$\sum_{g\in G}\det(I-t\rho(g))$$ also vanishes.