Let $q$ be a power of $p$, let $l$ be a prime different from $p$, and let $H\_1$ and $H\_2$ be two subgroups of $GL\_n(\mathbb F\_q)$ that are $l$-groups.


If for all characteristic $0$ representations $V$ of $GL\_n(\mathbb F\_q)$, we have


$$\dim V^{H\_1} \leq \dim V^{H\_2}$$


does it follow that:


$$\dim \left(\mathbb F\_q^n\right)^{H\_1} \leq \dim \left(\mathbb F\_q^n\right)^{H\_2}$$?


I'm thinking about a problem that would be significantly simplified if this were true, although I suspect it is false. I would do a large finite search for counterexamples before asking about this question, but I don't know a way to efficiently search for counterexamples.



An inequality on representations and subgroups of general linear groups over finite field
The following is a series of counterexamples: Let $q$ be a prime power with $q\equiv1\pmod{8}$, and pick $\omega\in\mathbb F\_q^\star$ with order $8$. Set $G=\text{GL}\_2(\mathbb F\_q)$, and let $H\_1$ and $H\_2$ be the cyclic subgroups generated by $\begin{pmatrix}\omega & 0\\0 & 1\end{pmatrix}$ and $\begin{pmatrix}\omega^2 & 0\\0 & \omega^4\end{pmatrix}$, respectively. Of course, the second inequality does not hold.


The characteristic $0$ inequalities can be verified by the explicit form of the character table of $G$, as given for instance in Theorem 28.5 in [this book by James and Liebeck](http://dx.doi.org/10.1017/CBO9780511814532) (see also [this write up](http://www.scielo.cl/pdf/proy/v25n3/art07.pdf) for another readable account).


Note that if $m$ is a multiple of the order of $g\in G$, then the dimension of the fixed space of $g$ in the representation afforded by $\chi$ is $\frac{1}{m}\sum\_{k=1}^{m}\chi(g^k)$. Using this and a simple computation yields the claim.



