32
$\begingroup$

Consider the problem of classifying the finite groups of isometries of $\mathbb{R}^n$.

  • For $n=2$ it is cyclic and dihedral groups.
  • For $n=3$ they are well known, probably from Kepler and are related to ade-classification.
  • For $n=4$ we can get them by taking the universal cover of $\mathrm{SO}(4)$ which is isomorphic to $\mathrm{SU}(2) \times \mathrm{SU}(2)$, though I do not know where the classification is available.

But my main question is for dimension $n\geq 5$. Does anybody knows the state of the art? A reference would be most helpful.

Note that the finite subgroups of $\mathrm{GL}_n(\mathbb{Z})$ are classified for $n\leq 10$.

$\endgroup$
7
  • 11
    $\begingroup$ The finite subgroups of SO(4) are listed in the book by Conway and Smith on quaternions and octonions. I have recently checked that it is correct and recovered it from the classification of finite subgroups of Spin(4), which we needed for a separate project: see the paper arxiv.org/abs/1007.4761 . $\endgroup$ Aug 30, 2010 at 11:29
  • 2
    $\begingroup$ You may also look at the references in this answer to a previous MO question: mathoverflow.net/questions/17072/the-finite-subgroups-of-sun/… $\endgroup$ Aug 30, 2010 at 12:46
  • $\begingroup$ John Baez has a page on the analogues of the Platonic solids in all dimensions: math.ucr.edu/home/baez/platonic.html. The pattern becomes regular starting in dimension 5. I haven't looked at it, but Coxeter's book H. S. M. Coxeter, Regular Polytopes, 3rd edition, New York, Dover Publications, 1973, probably contains more information. $\endgroup$ Aug 30, 2010 at 12:51
  • 6
    $\begingroup$ @unknown: If $G \subset GL(n,\mathbb{R})$ is finite, then we may change coordinates so that the origin is at the centre of mass of some orbit $Gx$ (for an arbitrary $x\in \mathbb{R}^n$). Then the origin is fixed by every element of $G$, so linearity follows from finiteness. On the other hand, if you want to consider discrete subgroups, then you do need to allow for the possibility that some of your isometries may be affine transformations. $\endgroup$ Aug 30, 2010 at 19:35
  • 2
    $\begingroup$ It's also worth pointing out that if G is any finite subgroup of GL(n,R), then one can introduce an inner product with respect to which G acts by isometries; in particular, there is an inner automorphism of GL(n,R) that maps G to a finite subgroup of Isom(n,R). Thus classifying finite groups of isometries is equivalent to classifying finite groups of linear transformations. $\endgroup$ Aug 30, 2010 at 19:38

4 Answers 4

45
$\begingroup$

This is one of the problems that just gets hopelessly messy beyond a few small dimensions. The reason is that asking for all finite subgroups of isometries of Euclidean space is essentially the same as asking for all orthogonal representations of all finite groups, and since irreducible representations have dimension at most the square root of the order of the group, you have to use all groups of order up to at least n2 to find groups of isometries of Rn. A major problem in doing this is that there are huge numbers of nilpotent groups of order pn once n is larger than about 5; for example there are several hundred groups of order 64, all of whose irreducible representations have dimension at most 8. So my guess would be that classifying all groups of isometries in dimensions greater than about 10 will require a lot of obstinacy and a big computer.

(Added later) On checking the literature, I find that people classifying such subgroups usually make some simplifying assumptions, by only looking for ones that are irreducible, maximal, and that act on an integral lattice. With these extra simplifications one can get a bit further: the state of the art seems to be around 30 dimensions.

$\endgroup$
2
  • 7
    $\begingroup$ Another simplifying assumption is that of primitivity, which means that the representation is irreducible and not induced from some proper subgroup. That excludes in one fell swoop all nilpotent groups. There are still a lot of them left however. $\endgroup$ Aug 30, 2010 at 17:54
  • 15
    $\begingroup$ I recommend using nilpotent groups as an excuse to give up. Otherwise you shortly afterwards run into solvable groups, which are much worse. $\endgroup$ Aug 31, 2010 at 4:31
14
$\begingroup$

There is a vast literature on the classification of finite linear groups over various fields. Over the complex or real fields, all finite linear groups are conjugate to subgroups of the respective unitary or orthogonal group, so as remarked in one of the comments above, studying finite groups of isometries in this context is the same as studying all the finite subgroups of ${\rm GL}(n,\mathbb{C})$ or ${\rm GL}(n,\mathbb{R}).$ As Richard Borcherds remarked, this soon becomes a complicated problem. But strategies have evolved since the birth of representation theory to tackle the problem (for general fields) difficult as it is, in a systematic way. I'll discuss the real and complex cases. Generally speaking, we want to concentrate attention on linear groups which can't be described in some "obvious" way in terms of linear groups in smaller dimensions. The first reduction, then, is to concentrate on irreducible groups, those which leave no proper non-zero subspace invariant. Maschke's Theorem tells us that no information is lost in the reduction. Another question, for real representations, is what changes if we extend scalars to the complex field, where life is generally easier. An irreducible real linear group may become reducible when the scalars are extended to the complex numbers (this only happens when its character has squared-norm $2$ or $4$). In each case, the real finite linear group is isomorphic to a finite complex linear group in half the original dimension. So now I only speak of finite complex linear groups. As remarked in someone's earlier comment, the next natural reduction is to the case of primitive linear groups, those which (up to equivalence) can't be induced from linear groups of smaller dimension. There are strong restrictions on normal subgroups of finite primitive linear groups. In particular, the structure of primitive solvable finite linear groups is very tight, and is well-understood. Having reduced to the primitive case (back to the general finite group), the next question is whether the underlying module is a tensor product of two non-trivial modules of smaller dimension. At this point, it may be necessary to take (still finite) central extensions of the group you started with. If there is a non-trivial tensor factorization, then we are reduced to questions in smaller dimension. If there is no such factorization (even allowing for central extensions), then the structure of the residual groups is very restricted indeed. The given representation may be "tensor induced" from a representation (of smaller dimension) of a proper subgroup. Tensor induction was introduced by Serre. If it can't be tensor induced from a lower dimensional representation (again, even allowing for central extensions), then the only possibility that remains is subgroup of a central extension of the automorphism group of a finite simple group (containing all inner automorphisms). Many mathematicians, for example, Guralnick, Tiep, Zalesski, have calculated (relatively) low dimensional complex representations of (central extensions of) finite simple groups in recent years. My answer is therefore: yes, it is a difficult question, but one which can be addressed systematically in any given case, and for which much hard-won theory is available in the mathematical literature. Addendum: Just as it becomes impractical to list all groups of a given finite order relatively soon, and we have to content ourselves with understanding the "building blocks", that is, the finite simple groups, so it is with finite linear groups. There are three types of building blocks for finite complex linear groups: a) 1-dimensional cyclic linear groups. b) Finite complex linear groups $G$ of dimension $p^{n}$, for some prime $p$ and integer $n > 0$, which have an irreducible normal $p$-subgroup $E$ (extraspecial of order $p^{2n+1}$ and exponent $p$ when $p$ is odd; either extraspecial or the central product of an extraspecial group of order $p^{2n+1}$ with a cyclic group of order $4$ when $p = 2.$). In this case, $G/EZ(G)$ is isomorphic to an irreducible subgroup of the finite symplectic group ${\rm Sp}(2n,p)$. c) Finite complex linear groups $G$ of degree $m$ which have an irreducible quasisimple subgroup $S$ ( this means that $S = S^{\prime}$ and $S/Z(S)$ is a non-Abelian simple group). Then $G/SZ(G)$ is a subgroup of the outer automorphism group of $S/Z(S)$. The third type of building block naturally does not occur for solvable linear groups.
In both cases b) and c), the respective subgroups $E$ and $S$ are minimal subject to being normal, but not central.

$\endgroup$
4
  • $\begingroup$ @Richard and Geoff: Why should we consider "irreducible representations" of groups? In language of representation theory, the question will be simply "To find faithfull representations of finite groups over $\mathbb{R}$"; not necessarily irreducible. $\endgroup$
    – joseph
    Sep 10, 2011 at 7:44
  • 2
    $\begingroup$ At least over the complex numbers, and for finite groups, all finite dimensional representations are equivealent to unitary representations, and are hence completely reducible. Hence trhey are direct sums of irreducible representations. So if we can understand irreducible representations, we can undersatnd al representations. $\endgroup$ Sep 10, 2011 at 14:37
  • $\begingroup$ Are you this Geoff Robinson? $\endgroup$ Sep 17, 2023 at 0:04
  • $\begingroup$ @NikeDattani : Yes, that is me. $\endgroup$ Sep 17, 2023 at 8:09
9
$\begingroup$

There are a few papers by Gabriele Nebe and Wilhelm Plesken on this topic, eg:

Nebe, Gabriele Finite subgroups of ${\rm GL}_{24}(\mathbb Q)$. Experiment. Math. 5 (1996), no. 3, 163--195.

Nebe, Gabriele Finite subgroups of ${\rm GL}_n(\mathbb Q)$ for $25\leq n\leq 31$. Comm. Algebra 24 (1996), no. 7, 2341--2397.

Nebe, G.; Plesken, W. Finite rational matrix groups. Mem. Amer. Math. Soc. 116 (1995), no. 556, viii+144 pp.

$\endgroup$
7
$\begingroup$
  1. Surprisingly, I found explicit lists of discrete subgroups of the orthogonal group O(n) for up to n=8 dimensions on the wikipedia page for point groups, with rather unspecific references, however. Point groups is another name for discrete subgroups of O(n). [UPDATE+CORRECTION: For dimensions n=4 and larger, only the point groups which are generated by reflections (Coxeter groups) are listed. In particularly, subgroups of SO(n) (which include no matrix of determinant $-$1) are missing.]
  2. There is an old sequence of two long papers by Threlfall and Seifert, part I Mathematische Annalen 1931, Volume 104, Issue 1, pp. 1-70, part II 1933, Volume 107, Issue 1, pp. 543-586, where they apparently do the classification of discrete subgroups of SO(4) by associating to each element of SO(4) a pair of rotations from SO(3). (Although my native language is German, I had a hard time reading (through) this, because I am not used to the terminology that was used at that time.) [Addition: These results are mentioned in the book by Conway and Smith on quaternions and octonions; Conway and Smith say that the list is complete, but contains duplicates.]
  3. I have a rather wild conjecture (true up to three dimensions). [UPDATE 2: wrong in 4 dimensions]

    Every discrete point group in n dimensions is the symmetry group of an n-dimensional polytope which is the Cartesian product of regular polytopes, or a subgroup thereof.

    [UPDATE 2: One counterexample in 4D is the group $\pm [I\times C_n]$ in Table 4.1 of Conway and SmithSloane's book, p. 44, for sufficiently high $n$. It is isomorphic to a subgroup of a direct product of lower-dimensional point groups, in the group-theoretic sense, but geometrically, it is not the symmetry group of a Cartesian product of two objects in orthogonal subspaces. An orbit $A$ of a point under this group can be constructed as follows. Consider the Hopf fibration $f\colon S^3\to S^2$, and take the twelve great circles which are the pre-images of the vertices of a regular icosahedron on $S^2$. The point set $A$ consists of 12 regular $n$-gons inscribed in these circles. Probably, the first group in the list, $\pm [I\times O]$, is also a counterexample, since it is not contained in an achiral group.]

    [UPDATE 1: Norman Johnson pointed out counterexamples: The symmetries of the root lattices E6, E7, E8 in 6, 7, and 8 dimensions. (I could not yet fully convinced myself that they are indeed counterexamples.) So dimensions 4 and 5 remain open. If I extend my conjecture to include the polytopes which have those E6, E7, or E8 symmetries, in addition to the regular polytopes, in which dimension would the next counterexamples be?]

    For example, the symmetries of an $m$-gonal anti-prism in 3-space are contained in the symmetries of the $2m$-sided prism, which is the 1-simplex $\times$ the regular $2m$-gon.

    Since the regular polytopes are known in all dimensions, this would give an easy way to obtain all finite point groups. (at least in principle).

$\endgroup$
5
  • $\begingroup$ I have some trouble tracking down the reference "Conway and Sloan's book, p. 44, Table 4.1". I assumed that this refers to "Sphere Packings, Lattices and Groups", but then page and table number do not give anything useful. I am really interested in understanding the construction of this polytope for $\pm[I\times C_n]$, but I have a hard time verifying the claims. This is also interesting in light of my question about point groups. $\endgroup$
    – M. Winter
    Nov 4, 2019 at 9:18
  • $\begingroup$ For example, how can I see that this group is not a subgroup of a symmetry group of a uniform polytope (I say uniform, because this class then contains all the finite reflection groups [also E6, E7 and E8], and also cartesian products). $\endgroup$
    – M. Winter
    Nov 4, 2019 at 9:26
  • $\begingroup$ I meant Conway & Stein's book on quaternions and octonions. $\endgroup$ Nov 6, 2019 at 10:02
  • 1
    $\begingroup$ No, I think you mean Conway and Smith's book (John H. Conway and Derek A. Smith), "On Quaternions and Octonions". $\endgroup$ Jun 26, 2020 at 17:34
  • 1
    $\begingroup$ Recently we have redone the classification of the finite subgroups of $O(4)$, see Towards a geometric understanding of the 4-dimensional point groups, Laith Rastanawi und Günter Rote, arxiv.org/abs/2205.04965 (correcting some mistakes in Conway and Smith). $\endgroup$ Oct 18, 2022 at 12:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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