are irreducible representations with large fixed subspaces trivial?

Question

Say that $G$ is a finite group, and $V$ is an irreducible representation of $G$, over an algebraically closed field $k$. Suppose that for every $g \in G$, there is some subspace $W_g \subset V$ which is (pointwise) fixed by $g$, such that the dimension of $W_g$ is at least half the dimension of $V$.

If $k$ has characteristic zero, then a simple argument with character tables shows that $V$ must be the trivial representation. (When $k = \mathbb{C}$, then $\sum_{g \in G} tr_V(g)$ has positive real part; so appealing to the Lefschetz principle, $\sum_{g \in G} tr_V(g)$ is nonzero whenever $k$ has characteristic zero.)

Is this still true when $k$ has positive characteristic?

Answer 1

Unless I have misread either your question or their result, Corollary 1.2 in "Average dimension of fixed point spaces with applications" by Bob Guralnick and Attila Mar\'oti includes a positive answer to the question. You can find this on the arxiv at

http://arxiv.org/PS_cache/arxiv/pdf/1001/1001.3836v1.pdf

Answer 2

I don't know the answer, but here are a few remarks :

(0) As has been pointed out before, "irreducible" and "indecomposable" are not the same for representations in positive characteristic. "Irreducible" is a stronger property. (For example, irreducible representations of commutative groups are always $1$-dimensional, whereas indecomposable representations don't have to be. No commutative group is going to give a counterexample.)

(1) The answer is "yes" if we look at representations over a field of characteristic prime to the order of $G$ (because representations theory of $G$ will be the same as in characteristic zero).

(2) If we want to construct a counterexample, then we should not take $G$ to be a $p$-group (as in the two attempts above). Because then $k$ will have to be of characteristic $p$, but then every finite-dimensional representation of $G$ over $k$ has a nonzero fixed vector.

(3) More generally, it is not possible to construct a counterexample in characteristic $p$ if $G$ has a normal $p$-Sylow $H$ (let $W$ be the subspace of vectors fixed by $H$, it is nonzero because $H$ is a $p$-group, it is stable by $G$ because $H$ is normal, hence it has to be the whole space because the representation is irreducible, but then we are reduced to the case of $G/H$, which has order prime to $p$, and see (1)).

That means, I'm afraid, no easy counterexamples with very small groups.

Answer 3

ADDED: The following is based on my misinterpretation of irreducible as "cannot be nontrivially written as a direct sum." Moreover as Torsten Ekedahl points out, it is easy to generalize this example to arbitrary characteristic.

Strictly speaking, this fails in characteristic 2. Take $G= \mathbb Z/2$ and $V$ to have the basis $u$ and $v$ with the non-trivial element of $G$ acting by $u \mapsto v$ and $v \mapsto u$. Then the $1$-dimensional vector subspace spanned by $u+v$ is invariant under $G$, so it satisfies your hypothesis, but $G$ is not trivial.

This is a rather marginal counterexample, though, and you could rule it out in a number of ways: assume characteristic not 2, assume that $V$ is simple, or weaken the conclusion to just ask that $V$ have a trivial submodule.

Answer 4

This is only a partial answer: There is no counterexample with $G$ a $p$-solvable group, in fact no counterexample such that $G$ contains a $p$-complement. This can be seen by mimicking the proof in characteristic 0, using the Brauer character. So let $\phi$ be the Brauer character of the module. The assumption assures that $\phi(g)$ has nonnegative real part.
Write $G_{p'}$ for the set of $p$-regular elements of $G$, and for a Brauer character $\phi$ write $\eta_{\phi} $ for the associated projective indecomposable character. For $\phi$ and $\theta$ any irreducible Brauer characters we have
$$ \frac{1}{|G|} \sum_{g \in G_{p'}} \eta_{\phi}(g) \overline{\theta(g) } = \delta_{\phi\theta}.$$ Now if $G$ contains a $p$-complement $H$, then it is known that $\eta_1 = (1_H)^G$, the permutation character of $G$ on the cosets of $H$. In particular, the values of $\eta_1$ are non-negative integers. It follows that $\sum_{g\in G_{p'}} \eta_1(g) \phi(g) \neq 0$, and thus $\phi=1$ by the above orthogonality relation.

In general, $\eta_1$ is only a constituent of $(1_H)^G$ and may have negative values (of course, the values are integers), so this approach doesn't work.