Skip to main content
fixed wording and notation: replaced some pronouns.
Source Link
Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117

There is a way to understand these groups geometrically, as complex reflection groups, which are groups generated by rotations around complex hyperplanes. I believe (but without actually looking up the paper cited by Gjergji Zaimi) that this is what Coxeter was doing.

Let's start with the tetrahedron. Let $A$ be rotation by 120 degrees about one vertex, and $B$ be rotation by 120 degrees about another. $A$ and $B$ both act as even permutations of the vertices, so $AB$ also acts as an even permutation of the vertices; it is a 3-cycle, so they satisfy the relation $(AB)^3 = 1$. As noted by mt in comments, this is not the group for n=3; the true n=3 group is$\mathbb T^3$, but just the binary tetrahedral groupquotient by its center. TheThe group $SO(2)$ of orientation preserving isometries of $S^2$ is the quotient of the group of unit quaternions ($S^3$) by its center, and the preimage of the tetrahedral group is the binary tetrahedral group, where the relation is also satisfied. You can think of this as keeping track of how many times you've rotated the tetrahedron, mod 2. The group $S^3$ is the same as $SU(2)$. The 2 lifts of a 120 degree rotations to $S^3$ look like $60$ and $240$ degree rotations about great circles. These great circles are the intersections of complex lines with the unit sphere in $\mathbb C^2$, and the operations are what are called complex reflections. Complex reflections in 120 degree rotations about hyperplanes in any dimension making the same angle as these satisfy the braid relation.

ToIn general, to realize the full group$\mathbb T^n$ geometrically, you need a bunch of$n-1$ complex hyperplanes $P_i$ corresponding to your transformations $T_i$, so that when $|i-j] > 1$ they are orthogonal, and otherwise they aremake the same angle as theseabove. To make this work, construct a Hermitian form (<-->$\leftrightarrow$ metric compatible with the complex structure) so normal vectors to these planes have the specified angles. This is a standard process. This won't be a positive definite form in general --- it'll only be positive definite when the group is finite. But, it still has a geometric interpretation. In particular, when there is only one negative direction, it can be interpreted as a complex reflection group acting on complex hyperbolic space.

Quite a lot is known about complex reflection groups, but I'm not very familiar with the literature so I won't try to summarize. I'll just mention a paper of mine Shapes of polyhedra and triangulations of the sphere, in which you can find an interpretation of these groups$\mathbb T^n$ for $n \le 12$ as the modular groups for spaces of convex polyhedra in $R^3$ which have angle defects at their vertices that are multiples of $\pi/3$. When there are no more than 6 points, the polyhedron is non-compact; whencompact. When $n < 6$, the moduli space is the quotient of complex projective space $\mathbb{CP}^{n-2}$ by your group modulo its center. (The full group is a subgroup of $SU(n-1)$).

In the borderline case $n = 6$, the group ispolyhedron looks like an infinite cylinder at one end, and $\mathbb T^6$ acts as a crystallographic group acting isometrically on $\mathbb{C}^4$ (with its order 2 center acting trivially).

There is a way to understand these groups geometrically, as complex reflection groups, which are groups generated by rotations around complex hyperplanes. I believe (but without actually looking up the paper cited by Gjergji Zaimi) that this is what Coxeter was doing.

Let's start with the tetrahedron. Let $A$ be rotation by 120 degrees about one vertex, and $B$ be rotation by 120 degrees about another. $A$ and $B$ both act as even permutations of the vertices, so $AB$ also acts as an even permutation of the vertices; it is a 3-cycle, so they satisfy the relation $(AB)^3 = 1$. As noted by mt in comments, this is not the group for n=3; the true n=3 group is the binary tetrahedral group. The group $SO(2)$ of orientation preserving isometries of $S^2$ is the quotient of the group of unit quaternions ($S^3$) by its center, and the preimage of the tetrahedral group is the binary tetrahedral group, where the relation is also satisfied. You can think of this as keeping track of how many times you've rotated the tetrahedron, mod 2. The group $S^3$ is the same as $SU(2)$. The 2 lifts of a 120 degree rotations to $S^3$ look like $60$ and $240$ degree rotations about great circles. These great circles are the intersections of complex lines with the unit sphere in $\mathbb C^2$, and the operations are what are called complex reflections. Complex reflections in hyperplanes in any dimension making the same angle as these satisfy the braid relation.

To realize the full group geometrically, you need a bunch of complex hyperplanes $P_i$ corresponding to your transformations $T_i$, so that when $|i-j] > 1$ they are orthogonal, and otherwise they are the same as these. To make this work, construct a Hermitian form (<--> metric compatible with the complex structure) so normal vectors to these planes have the specified angles. This is a standard process. This won't be a positive definite form in general --- it'll only be positive definite when the group is finite. But, it still has a geometric interpretation. In particular, when there is only one negative direction, it can be interpreted as a complex reflection group acting on complex hyperbolic space.

Quite a lot is known about complex reflection groups, but I'm not very familiar with the literature so I won't try to summarize. I'll just mention a paper of mine Shapes of polyhedra and triangulations of the sphere, in which you can find an interpretation of these groups for $n \le 12$ as the modular groups for spaces of convex polyhedra in $R^3$ which have angle defects at their vertices that are multiples of $\pi/3$. When there are no more than 6 points, the polyhedron is non-compact; when $n < 6$, the moduli space is the quotient of complex projective space $\mathbb{CP}^{n-2}$ by your group modulo its center. (The full group is a subgroup of $SU(n-1)$).

In the borderline case $n = 6$, the group is a crystallographic group acting isometrically on $\mathbb{C}^4$.

There is a way to understand these groups geometrically, as complex reflection groups, which are groups generated by rotations around complex hyperplanes. I believe (but without actually looking up the paper cited by Gjergji Zaimi) that this is what Coxeter was doing.

Let's start with the tetrahedron. Let $A$ be rotation by 120 degrees about one vertex, and $B$ be rotation by 120 degrees about another. $A$ and $B$ both act as even permutations of the vertices, so $AB$ also acts as an even permutation of the vertices; it is a 3-cycle, so they satisfy the relation $(AB)^3 = 1$. As noted by mt in comments, this is not $\mathbb T^3$, but just the quotient by its center. The group $SO(2)$ of orientation preserving isometries of $S^2$ is the quotient of the group of unit quaternions ($S^3$) by its center, and the preimage of the tetrahedral group is the binary tetrahedral group, where the relation is also satisfied. You can think of this as keeping track of how many times you've rotated the tetrahedron, mod 2. The group $S^3$ is the same as $SU(2)$. The 2 lifts of a 120 degree rotations to $S^3$ look like $60$ and $240$ degree rotations about great circles. These great circles are the intersections of complex lines with the unit sphere in $\mathbb C^2$, and the operations are what are called complex reflections. 120 degree rotations about hyperplanes in any dimension making the same angle as these satisfy the braid relation.

In general, to realize the $\mathbb T^n$ geometrically, you need $n-1$ complex hyperplanes $P_i$ corresponding to your transformations $T_i$, so that when $|i-j] > 1$ they are orthogonal, and otherwise they make the same angle as above. To make this work, construct a Hermitian form ($\leftrightarrow$ metric compatible with the complex structure) so normal vectors to these planes have the specified angles. This is a standard process. This won't be a positive definite form in general --- it'll only be positive definite when the group is finite. But, it still has a geometric interpretation. In particular, when there is only one negative direction, it can be interpreted as a complex reflection group acting on complex hyperbolic space.

Quite a lot is known about complex reflection groups, but I'm not very familiar with the literature so I won't try to summarize. I'll just mention a paper of mine Shapes of polyhedra and triangulations of the sphere, in which you can find an interpretation of $\mathbb T^n$ for $n \le 12$ as the modular groups for spaces of convex polyhedra in $R^3$ which have angle defects at their vertices that are multiples of $\pi/3$. When there are no more than 6 points, the polyhedron is non-compact. When $n < 6$, the moduli space is the quotient of complex projective space $\mathbb{CP}^{n-2}$ by your group modulo its center. (The full group is a subgroup of $SU(n-1)$).

In the borderline case $n = 6$, the polyhedron looks like an infinite cylinder at one end, and $\mathbb T^6$ acts as a crystallographic group on $\mathbb{C}^4$ (with its order 2 center acting trivially).

Source Link
Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117

There is a way to understand these groups geometrically, as complex reflection groups, which are groups generated by rotations around complex hyperplanes. I believe (but without actually looking up the paper cited by Gjergji Zaimi) that this is what Coxeter was doing.

Let's start with the tetrahedron. Let $A$ be rotation by 120 degrees about one vertex, and $B$ be rotation by 120 degrees about another. $A$ and $B$ both act as even permutations of the vertices, so $AB$ also acts as an even permutation of the vertices; it is a 3-cycle, so they satisfy the relation $(AB)^3 = 1$. As noted by mt in comments, this is not the group for n=3; the true n=3 group is the binary tetrahedral group. The group $SO(2)$ of orientation preserving isometries of $S^2$ is the quotient of the group of unit quaternions ($S^3$) by its center, and the preimage of the tetrahedral group is the binary tetrahedral group, where the relation is also satisfied. You can think of this as keeping track of how many times you've rotated the tetrahedron, mod 2. The group $S^3$ is the same as $SU(2)$. The 2 lifts of a 120 degree rotations to $S^3$ look like $60$ and $240$ degree rotations about great circles. These great circles are the intersections of complex lines with the unit sphere in $\mathbb C^2$, and the operations are what are called complex reflections. Complex reflections in hyperplanes in any dimension making the same angle as these satisfy the braid relation.

To realize the full group geometrically, you need a bunch of complex hyperplanes $P_i$ corresponding to your transformations $T_i$, so that when $|i-j] > 1$ they are orthogonal, and otherwise they are the same as these. To make this work, construct a Hermitian form (<--> metric compatible with the complex structure) so normal vectors to these planes have the specified angles. This is a standard process. This won't be a positive definite form in general --- it'll only be positive definite when the group is finite. But, it still has a geometric interpretation. In particular, when there is only one negative direction, it can be interpreted as a complex reflection group acting on complex hyperbolic space.

Quite a lot is known about complex reflection groups, but I'm not very familiar with the literature so I won't try to summarize. I'll just mention a paper of mine Shapes of polyhedra and triangulations of the sphere, in which you can find an interpretation of these groups for $n \le 12$ as the modular groups for spaces of convex polyhedra in $R^3$ which have angle defects at their vertices that are multiples of $\pi/3$. When there are no more than 6 points, the polyhedron is non-compact; when $n < 6$, the moduli space is the quotient of complex projective space $\mathbb{CP}^{n-2}$ by your group modulo its center. (The full group is a subgroup of $SU(n-1)$).

In the borderline case $n = 6$, the group is a crystallographic group acting isometrically on $\mathbb{C}^4$.