Skip to content →

Tag: Galois

football representation theory

Published June 9, 2006 by lievenlb

Unless
you never touched a football in your life (that’s a _soccer-ball_
for those of you with an edu account) you will know that the world
championship in Germany starts tonight. In the wake of it, the field of
‘football-science’ is booming. The BBC runs its The
Science of Football-site and did you know the following?

Research indicates that watching such a phenomenon is not
only exciting, it can be good for our health too. The Scottish
researchers found that there were 14% fewer psychiatric admissions in
the weeks after one World Cup than before it started.

But, would you believe that some of the best people in the field
(Kostant and Sternberg to name a few) have written papers on the
representation theory of a football? Perhaps this becomes more plausible
when you realize that a football has the same shape as the buckyball aka Carbon60.
Because the football (or buckyball) is a truncated icosahedron, its
symmetry group is $A_5$, the smallest of all simple groups and its
representations explain some physical properties of the buckyball. Some
of these papers are freely available and are an excellent read. In fact,
I’m thinking of using them in my course on representations of finite
groups, nxt year. Mathematics and the Buckyball by Fan
Chung and Schlomo Sternberg is a marvelous introduction to
representation theory. Among other things they explain how Schur’s
lemma, Frobenius reciprocity and Maschke’s theorem are used to count the
number of lines in the infra red buckyball spectrum! The Graph of the
Truncated Icosahedron and the Last Letter of Galois by Bertram
Kostant explains the observation, first made by Galois in his last
letter to Chevalier, that $A_{5} = PSL_2(\mathbb{F}_5)$ embeds into
$PSL_{2}(\mathbb{F}_{11})$ and applies this to the buckyball.

In effect, the model we are proposing for C60is such that
each carbon atom can be labeled by an element of order 11 in PSl(2,11)
in such a fashion that the carbon bonds can be expressed in terms of the
group structure of PSl(2,11). It will be seen that the twelve pentagons
are exactly the intersections of M with the twelve Borel sub- groups of
PSl(2,11). (A Borel subgroup is any subgroup which is conjugate to the
group PSl(2,11) defined in (2).) In particular the pentagons are the
maximal sets of commuting elements in M. The most subtle point is the
natural existence of the hexagonal bonds. This will arise from a group
theoretic linkage of any element of order 11 in one Borel subgroup with
a uniquely defined element of order 11 in another Borel subgroup.

These authors consequently joined forces to write Groups and the
Buckyball in which they give further applications of the Galois
embeddings to the electronic spectrum of the buckyball. Another
account can be found in the Master Thesis by Joris Mooij called The
vibrational spectrum of Buckminsterfullerene – An application of
symmetry reduction and computer algebra. Plenty to read should
tonight’s match Germany-Costa Rica turn out to be boring…

Leave a Comment

symmetry and the monster

Published June 2, 2006 by lievenlb

Mark
Ronan has written a beautiful book intended for the general public
on Symmetry and the Monster. The
book’s main theme is the classification of the finite simple groups. It
starts off with the introduction of groups by Galois, gives the
classifivcation of the finite Lie groups, the Feit-Thompson theorem and
the construction of several of the sporadic groups (including the
Mathieu groups, the Fischer and Conway groups and clearly the
(Baby)Monster), explains the Leech lattice and the Monstrous Moonshine
conjectures and ends with Richard Borcherds proof of them using vertex
operator algebras. As in the case of Music of the
Primes it is (too) easy to be critical about notation. For example,
whereas groups are just called symmetry groups, I don’t see the point of
calling simple groups ‘atoms of symmetry’. But, unlike du Sautoy,
Mark Ronan stays close to mathematical notation, lattices are just
lattices, characer-tables are just that, j-function is what it is etc.
And even when he simplifies established teminology, for example
‘cyclic arithmetic’ for modular arithmetic, ‘cross-section’
for involution centralizer, ‘mini j-functions’ for Hauptmoduln
etc. there are footnotes (as well as a glossary) mentioning the genuine
terms. Group theory is a topic with several colourful people
including the three Johns John Leech, John
McKay and John Conway
and several of the historical accounts in the book are a good read. For
example, I’ve never known that the three Conway groups were essentially
discovered in just one afternoon and a few telephone exchanges between
Thompson and Conway. This year I’ve tried to explain some of
monstrous moonshine to an exceptionally good second year of
undergraduates but failed miserably. Whereas I somehow managed to give
the construction and proof of simplicity of Mathieu 24, elliptic and
modular functions were way too difficult for them. Perhaps I’ll give it
another (downkeyed) try using ‘Symmetry and the Monster’ as
reading material. Let’s hope Oxford University Press will soon release a
paperback (and cheaper) version.

Leave a Comment

From Galois to NOG

Published December 22, 2004 by lievenlb


Evariste Galois (1811-1832) must rank pretty high on the all-time
list of moving last words. Galois was mortally wounded in a duel he
fought with Perscheux d\’Herbinville on May 30th 1832, the reason for
the duel not being clear but certainly linked to a girl called
Stephanie, whose name appears several times as a marginal note in
Galois\’ manuscripts (see illustration). When he died in the arms of his
younger brother Alfred he reportedly said “Ne pleure pas, j\’ai besoin
de tout mon courage pour mourir ‚àö‚Ć 20 ans”. In this series I\’ll
start with a pretty concrete problem in Galois theory and explain its
elegant solution by Aidan Schofield and Michel Van den Bergh.
Next, I\’ll rephrase the problem in non-commutative geometry lingo,
generalise it to absurd levels and finally I\’ll introduce a coalgebra
(yes, a co-algebra…) that explains it all. But, it will take some time
to get there. Start with your favourite basefield $k$ of
characteristic zero (take $k = \mathbb{Q}$ if you have no strong
preference of your own). Take three elements $a,b,c$ none of which
squares, then what conditions (if any) must be imposed on $a,b,c$ and $n
\in \mathbb{N}$ to construct a central simple algebra $\Sigma$ of
dimension $n^2$ over the function field of an algebraic $k$-variety such
that the three quadratic fieldextensions $k\sqrt{a}, k\sqrt{b}$ and
$k\sqrt{c}$ embed into $\Sigma$? Aidan and Michel show in \’Division
algebra coproducts of index $n$\’ (Trans. Amer. Math. Soc. 341 (1994),
505-517) that the only condition needed is that $n$ is an even number.
In fact, they work a lot harder to prove that one can even take $\Sigma$
to be a division algebra. They start with the algebra free
product $A = k\sqrt{a} \ast k\sqrt{b} \ast k\sqrt{c}$ which is a pretty
monstrous algebra. Take three letters $x,y,z$ and consider all
non-commutative words in $x,y$ and $z$ without repetition (that is, no
two consecutive $x,y$ or $z$\’s). These words form a $k$-basis for $A$
and the multiplication is induced by concatenation of words subject to
the simplifying relations $x.x=a,y.y=b$ and $z.z=c$.

Next, they look
at the affine $k$-varieties $\mathbf{rep}(n) A$ of $n$-dimensional
$k$-representations of $A$ and their irreducible components. In the
parlance of $\mathbf{geometry@n}$, these irreducible components correspond
to the minimal primes of the level $n$-approximation algebra $\int(n) A$.
Aidan and Michel worry a bit about reducedness of these components but
nowadays we know that $A$ is an example of a non-commutative manifold (a
la Cuntz-Quillen or Kontsevich-Rosenberg) and hence all representation
varieties $\mathbf{rep}n A$ are smooth varieties (whence reduced) though
they may have several connected components. To determine the number of
irreducible (which in this case, is the same as connected) components
they use _Galois descent, that is, they consider the algebra $A
\otimes_k \overline{k}$ where $\overline{k}$ is the algebraic closure of
$k$. The algebra $A \otimes_k \overline{k}$ is the group-algebra of the
group free product $\mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}
\ast \mathbb{Z}/2\mathbb{Z}$. (to be continued…) A digression : I
cannot resist the temptation to mention the tetrahedral snake problem
in relation to such groups. If one would have started with $4$ quadratic
fieldextensions one would get the free product $G =
\mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast
\mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$. Take a supply of
tetrahedra and glue them together along common faces so that any
tertrahedron is glued to maximum two others. In this way one forms a
tetrahedral-snake and the problem asks whether it is possible to make
such a snake having the property that the orientation of the
\’tail-tetrahedron\’ in $\mathbb{R}^3$ is exactly the same as the
orientation of the \’head-tetrahedron\’. This is not possible and the
proof of it uses the fact that there are no non-trivial relations
between the four generators $x,y,z,u$ of $\mathbb{Z}/2\mathbb{Z} \ast
\mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast
\mathbb{Z}/2\mathbb{Z}$ which correspond to reflections wrt. a face of
the tetrahedron (in fact, there are no relations between these
reflections other than each has order two, so the subgroup generated by
these four reflections is the group $G$). More details can be found in
Stan Wagon\’s excellent book The Banach-tarski paradox, p.68-71.

Leave a Comment