Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have a really hard time "feeling" what it means for a group to fail to be linear. Vaguely, I'd like to know how one should think about such groups. More precisely:

What are some interesting examples of groups that aren't linear?

Are there general constructions that one can use to cook up a group or a family of groups that isn't linear?

Are there general techniques that one can use to show that a given group isn't linear?

More loosely, what is it about these groups that makes them interesting?

share|improve this question

6 Answers 6

up vote 24 down vote accepted

Consider the class of finitely generated linear groups. Such groups $G$ satisfy certain well-known restrictions, for instance:

  1. Every such $G$ is residually finite (Malcev, 1940). Thus, most Baumslag-Solitar groups, e.g. $$ \langle a, b| a b^2 a^{-1} =b^3\rangle $$ are not linear. This is the simplest example of a nonlinear f.g. group I know.

  2. $G$ is virtually torsion-free (Selberg, 1960). In particular, if $G$ is torsion then it is finite (which was known to Burnside). Note that there are infinite torsion residually finite groups (first examples are due to Golod and Shafarevich); such groups have to be nonlinear.

  3. $G$ satisfies Tits' alternative (Tits, 1972): Either $G$ contains a free nonabelian subgroup or contains a solvable subgroup of finite index. (Thus, for instance, Thompson group is not linear.)

Tarski mosters will violate all of the above restrictions.

There are more subtle restrictions, for instance, $Aut(F_n), n\ge 3$ is not linear (Formanek and Procesi, 1992).

Consider reading Wehrfritz' book "Infinite linear groups" or this survey to get a better idea of what linearity means for f.g. groups, specially, Lubotzky's criterion of linearity.

Concerning your question of why nonlinear groups are interesting: Many of them occur naturally (like $Aut(F_n)$), the rest push the boundaries of our understanding of the class of f.g. groups. For many "natural" groups, linearity is unknown, e.g., the mapping class group $Mod_g$, $g\ge 3$.

share|improve this answer
    
For outsiders: linearity for f.g. group mean ANY embedding into GL or discrete embedding? –  Alexander Chervov Oct 21 '12 at 12:35
2  
It usually means the existence of an embedding into GL over a field (no topological condition). –  YCor Oct 21 '12 at 16:01
1  
Alexandr: Yves is correct, however sometimes you can use restriction of scalars construction to get a discrete embedding, namely, if matrix coefficients are in a number field. –  Misha Oct 21 '12 at 16:25

The following is an elaboration of the last paragraph of Misha's answer.

For me, the thing that makes non-linear (discrete) groups interesting is that we are not very good at constructing them! Linearity remains unknown for many natural examples of groups, such as mapping class groups, and if true would dramatically simplify some hard theorems. (For instance, Daniel Groves has a very long and difficult proof that mapping class groups are 'equationally Noetherian'; if they are linear then it is an easy consequence of Hilbert's Basis Theorem.)

Similarly, we only know one way of constructing non-linear word-hyperbolic groups (noticed by Misha, in fact): take a uniform lattice $\Gamma$ in Sp(n,1), which is both word-hyperbolic and satisfies Margulis super-rigidity, and kill a 'random' element; the resulting quotient $Q$ is an infinite quotient of $\Gamma$ with infinite kernel, so by Margulis super-rigidity cannot be linear (at least in zero characteristic; I'm not sure about characteristic $p$).

The fact that we know no other methods of constructing non-linear groups is related to the fact that we do not know how to construct a non-residually finite word-hyperbolic group.

Surprising recent developments partially explain this failure by showing that linear (and hence residually finite) groups are much more common than we thought. I think most experts would have guessed that a 'random' finitely presented group (which is known to be word-hyperbolic) would not be linear; in fact, it follows from recent work of Agol and older work of Wise that some parts of the 'spectrum' of random groups are in fact linear. These are exciting times!

share|improve this answer
    
@HW: Just minor remark: In the case of lattices in $Sp(n,1), n\ge 2$, superrigidity is due to Corlette (archimedean case), Gromov and Schoen (nonarchimedean case). Everything also works in the case of positive characteristic. Also, I think, Mark Sapir had other examples of non-linear hyperbolic groups as well. –  Misha Oct 21 '12 at 19:19
    
@HW: Do you have a particular paper in mind for the "older work of Wise"? –  Victor Oct 21 '12 at 19:46
    
@Misha - thanks for the corrections! Can you give more details of Sapir's example? The only obvious candidate I know of comes from his proof with Borisov that an ascending HNN extension of a linear group is residually finite? ('Ascending HNN extensions of residually finite groups can be non-Hopfian and can have very few finite quotients', J. Pure Appl. Algebra 166 (2002), no. 1-2, 191–202.) Sapir and Wise constructed an ascending HNN extension of a residually finite group G which is not itself residually finite. But the group G is a double of a free group F along an infinitely... –  HJRW Oct 22 '12 at 9:25
    
... generated subgroup H, so doesn't seem to be finitely presented, let alone hyperbolic. Perhaps you have a different example in mind? –  HJRW Oct 22 '12 at 9:26
    
@Maxime - I had in mind Wise's 'Cubulating small cancellation groups', Geom. Funct. Anal. 14 (2004), no. 1, 150–214. But perhaps a better reference is Ollivier--Wise's 'Cubulating random groups at density less than 1/6', Trans. Amer. Math. Soc. 363 (2011), no. 9, 4701–4733. –  HJRW Oct 22 '12 at 9:30

the universal covering $G^*$ of the group $SL_2({\mathbb R}($ is not linear. The reason is that any linear representation of $G^*$ is given by a Lie algebra representation, which descends to a representation of $SL_2({\mathbb R})$. The essential reason is that $SL_2({\mathbb C})$ is simply connected.

More generally, if $G$ is a simple algebraic group defined over ${\mathbb R}$ such that $G({\mathbb C})$ is simply connected, and if $G({\mathbb R})$ is not simply connected, then the universal cover of $G({\mathbb R})$ is not linear.

share|improve this answer

It's not clear whether you are working in the setting of Lie theory, or abstract group theory, or something else. This answer addresses the Lie theory aspect of the matter.

Let's focus on Lie groups whose Lie algebra is semisimple (as solvable radicals mess up things in too many ways, as usual). By serious theorems, the functor $\mathbf{G} \rightsquigarrow \mathbf{G}(\mathbf{C})$ from connected semisimple $\mathbf{C}$-groups to connected complex Lie groups with semisimple Lie algebra is an equivalence of categories. So all connected complex Lie groups with semisimple Lie algebra admit a unique and functorial "linear algebraic" structure.

Let's say that a connected Lie group $G$ with semisimple Lie algebra is linear if $G = \mathbf{G}(\mathbf{R})^0$ for a connected semisimple $\mathbf{R}$-group $\mathbf{G}$. From the viewpoint of "semisimple" Lie theory, the failure of this condition is a bit tricky to think about because non-isomorphic connected semisimple $\mathbf{R}$-groups can yield isomorphic connected Lie groups of $\mathbf{R}$-points, the most famous being the degree-$n$ isogeny ${\rm{SL}}_n \rightarrow {\rm{PGL}}_n$ over $\mathbf{R}$ with an odd $n > 1$ (this becomes an isomorphism on $\mathbf{R}$-points). Nonetheless, we can characterize it in terms of the complex-analytic theory as follows.

Consider a connected Lie group $G$ over $\mathbf{R}$ whose Lie algebra $\mathfrak{g}$ is semisimple. Dropping any semisimplicity hypotheses on Lie algebras for a moment, there is a general notion of complexification of $G$, namely a homomorphism $r_G:G \rightarrow G_{\mathbf{C}}$ to a complex Lie group $G_{\mathbf{C}}$ that is initial among all homomorphisms $\rho:G \rightarrow H$ to a complex Lie group (i.e., there is a unique holomorphic homomorphism $f:G_{\mathbf{C}} \rightarrow H$ such that $f \circ r_G = \rho$). This is constructed in complete generality in Bourbaki LIE Chapter III, for example. In general ${\rm{Lie}}(G_{\mathbf{C}})$ is a quotient of $\mathfrak{g}_{\mathbf{C}}$, so when $\mathfrak{g}$ is semisimple this quotient is semisimple and hence $G_{\mathbf{C}}$ is (canonically) linear over $\mathbf{C}$.

Obviously if $G = \mathbf{G}(\mathbf{R})^0$ for a connected semisimple $\mathbf{R}$-group $\mathbf{G}$ then the resulting closed embedding $G \rightarrow \mathbf{G}(\mathbf{C})$ factors uniquely through a holomorphic map $G_{\mathbf{C}} \rightarrow \mathbf{G}(\mathbf{C})$ via composition with $r_G$, so $\ker r_G = 1$.

Remarkably, the converse holds: if $\ker r_G = 1$ then $G$ is the identity component of the group $\mathbf{G}(\mathbf{R})$ of $\mathbf{R}$-points of a connected semisimple $\mathbf{R}$-group $\mathbf{G}$ (and $r_G$ is actually a closed embedding). Indeed, the canonical "algebraization" of $G_{\mathbf{C}}$ has Weil restriction $G'$ over $\mathbf{R}$ that is a connected semisimple $\mathbf{R}$-group such that $r_G$ is identified with an injective map $G \rightarrow G'(\mathbf{R})$ between connected Lie groups. In particular, $\mathfrak{g}$ is identified with a semisimple Lie subalgebra of ${\rm{Lie}}(G')$, so by the algebraic theory over $\mathbf{R}$ (as over any field of characteristic 0) it has the form ${\rm{Lie}}(\mathbf{G})$ for a unique connected semisimple closed $\mathbf{R}$-subgroup $\mathbf{G} \subset G'$. Thus, $r_G$ factors through $\mathbf{G}(\mathbf{R})^0$. The resulting injective map $G \rightarrow \mathbf{G}(\mathbf{R})^0$ between connected Lie groups is an isomorphism on Lie algebras and thus is surjective, so it is an isomorphism of Lie groups.

The upshot is that a connected Lie group $G$ with semisimple Lie algebra is linear if and only if $\ker r_G = 1$, in which case $r_G$ is a closed embedding. You may therefore think of the non-triviality of $\ker r_G$ (i.e., the absence of "enough" homomorphisms to complex Lie groups to separate points) as the exact obstruction to $G$ being linear in the sense defined above.

share|improve this answer

If you have a finitely generated linear group whose growth is sub-exponential, then by Tits alternative (mentioned above) the group has to be virtually solvable and by a theorem of Milnor the group has polynomial growth. Hence any finitely generated group whose growth is sub-exponential and not polynomial (so called intermediate growth) is not linear. There are many examples of groups with intermediate growth.

share|improve this answer

If $A$ is any abelian variety, i.e. a proper algebraic variety that is also an algebraic group, then it is not a linear algebraic group, because any map $A \to \operatorname{GL}_n$ is a map from $A$ to an affine variety and is thus constant (so not faithful). This sort of does not answer your question, as $A$ is not a single group, though it does mean that the group in sets $\newcommand\C{\mathbb{C}}A(\C)$ (or the appropriate algebraically closed field of positive characteristic) is not linear. However, interestingly, it is not the case that this gives a whole family of non-linear groups, since for example if $A$ is defined over $\newcommand\Z{\mathbb{Z}}\Z$, then $\newcommand\F{\mathbb{F}}A(\F_q)$ is a finite abelian group for any prime power $q$ and, easily, is linear, though their faithful representations won't combine into a faithful representation of $A(\bar{\F}_q)$.

share|improve this answer
1  
I don't think this is true. If $A$ is an abelian variety, then $A(\mathbb C)$ is isomorphic to a torus, so it has plenty of continuous faithful representations, just not analytic. $A(\bar{\mathbb F}_q)$ embeds into $\mathbb Q/\mathbb Z_n$, so it has linear representations over $\mathbb C$, and linear representations over $\bar{\mathbb F}_q$ if it's supersingular. –  Will Sawin Oct 21 '12 at 6:02
    
Well, for an algebraic group over $\mathbf{C}$, there are (at 3) definitions of linear: linearity as an algebraic group, linearity of the underlying topological group, linearity of the underlying discrete group. It just seems you don't consider the same notion. –  YCor Oct 22 '12 at 0:12
    
@Yves: above Ryan writes "the group in sets $A(\mathbb{C})$" so is presumably not referring to linearity as an algebraic group there. –  Qiaochu Yuan Oct 22 '12 at 0:30
    
I started out talking about algebraic representations and kept thinking about them even when I switched to groups of sets. –  Ryan Reich Oct 22 '12 at 0:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.