Skip to main content
6 of 9
edited body

If you take an infinite simple group $G$ (say Thompson’s F) and put the discrete topology on it this will have your property when k is a finite field (since the image in $GL_n(k)$ will necessarily be trivial.

Say further that $G$ is finitely presented (as indeed for example Thompson's F is). Then you can generalize this to $\mathbb{C}$ as follows by following the techniques in this paper. Basically, a non-trivial homomorphism into $GL_n(\mathbb{C})$ can be turned into a homomorphism into $GL_n(\mathbb{F}_p)$ for some prime $p$. See theorem 3.4. There they use it to turn a $\mathbb{C}$ representation with non-commutative image into a $\mathbb{F}_p$ representation with non-commutative image, but you can do the same thing for "non-trivial" instead of "non-commutative" $\mathbb{C}$ representation. I will spell it out below.

With the theorems as stated in the above paper it seems to require we assume GRH, but I don't think that's required if we don't care about any upper bound on $p$.

Here is the idea. The key result it relies on is a very cool and useful theorem that says "solutions to systems of equations over $\mathbb{C}$ can be realized over large enough finite fields." Specifically, if $f_1(x_1, \dots, x_N), \dots f_m(x_1, \dots, x_N)$ is a system of polynomials with integer coefficients that has a solution over $\mathbb{C}$, then it also has a solution over $\mathbb{F}_p$ for some prime $p$.

Next we want to construct a system of polynomials such that a solution to that system in a field $k$ will correspond to a $k$-representation.

This we do as follows. Since our group $G$ is finitely presented (say with generators $a_1, \dots, a_s$ and relations $w_1, \dots, w_r$), for any $n$, we can write down matrices $A_1, \dots, A_s, B_1, \dots, B_s$ with variable entries (like $a_{i, j}$ and $b_{i, j}$) and consider the products of these matrices corresponding to the relations $w_i$, where we replace $a_i$ with $A_i$ and $a_i^{-1}$ with $B_i$. By equating the resulting polynomial-entried matrix with the identity matrix, we get $n^2$ integer-coefficient polynomial equations.

We then do this for all matrices simultaneously, plus the additional relations $A_i B_i - I_n = 0$, to get a big system of integer-coefficient polynomials for which a solution in $k$ is exactly the data of a $k$ representation of $G$.

Now, let's say we have a non-trivial $\pi \colon G \to GL_n(\mathbb{C})$. If it has a non-trivial image, there is some $x \in G$ with $\pi(x) \neq 1$. Write $x$ as a word $w$ in the alphabet $a_1^\pm, \dots a_s^\pm$. Denote by $X$ the product of $A_i, B_i$s corresponding to the word $w$ (and thus to the element $x \in G$). We want to augment the above system of equations to say that the image of $w$ in $GL_n(\mathbb{C})$ is not the identity matrix.

This is just a bit of hacking -- we want to enforce that for some $i, j$ the $i,j$ entry of $I_n$ differs from $X$. I.e., some $\delta_{i, j} - X_{i,j}$ is non-zero. For each $i, j$ introduce new variables $z_{i, j}$ and $r_{i, j}$ and add equations

  • $z_{i, j} (\delta_{i, j} - X_{i, j}) - (1 - r_{i, j})$
  • $z_{i, j} r_{i, j}$

You can check that these force $r_{i, j}$ to be 0 if $\delta_{i, j} - X_{i, j}$ is non-zero, and 1 if $\delta_{i, j} - X_{i, j}$ is 0.

Now we want to say that some $r_{i, j}$ is 0. This we can do by adding $\prod_{i, j} r_{i, j}$ to our system of equations.

At this point, a solution to the system over $k$ is exactly a $k$ representation that sends $x$ to a non-trivial element of $GL_n(k)$. We assumed such a representation exists for $\mathbb{C}$. Thus, the theorem cited above yields a representation for $\mathbb{F}_p$. But this is a contradiction, as we showed earlier that there are no $\mathbb{F}_p$ representations. Thus, there cannot be representations over $\mathbb{C}$ either.