Skip to content →

Tag: modular

The best rejected proposal ever


The Oscar in
the category The Best Rejected Research Proposal in Mathematics
(ever)
goes to … Alexander Grothendieck
for his proposal Esquisse d’un Programme, Grothendieck\’s research program from 1983, written as
part of his application for a position at the CNRS, the French
equivalent of the NSF. An English translation is
available.

Here is one of the problems discussed :
Give TWO non-trivial elements of
$Gal(\overline{\mathbb{Q}}/\mathbb{Q}) $
the _absolute_
Galois group of the algebraic closure of the rational numbers
$\overline{\mathbb{Q}} $, that is the group of all
$\mathbb{Q} $-automorphisms of $\overline{\mathbb{Q}} $. One element
most of us can give (complex-conjugation) but to find any other
element turns out to be an extremely difficult task.

To get a handle on
this problem, Grothendieck introduced his _’Dessins d’enfants’_
(Children’s drawings). Recall from last session the pictures of the
left and right handed Monsieur Mathieu

The left hand side drawing was associated to a map
$\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}} $ which was
defined over the field $\mathbb{Q} \sqrt{-11} $ whereas the right side
drawing was associated to the map given when one applies to all
coefficients the unique non-trivial automorphism in the Galois group
$Gal(\mathbb{Q}\sqrt{-11}/\mathbb{Q}) $ (which is
complex-conjugation). Hence, the Galois group
$Gal(\mathbb{Q}\sqrt{-11}/\mathbb{Q}) $ acts _faithfully_ on the
drawings associated to maps $\mathbb{P}^1_{\mathbb{Q}\sqrt{-11}} \rightarrow
\mathbb{P}^1_{\mathbb{Q}\sqrt{-11}} $ which are ramified only over
the points ${ 0,1,\infty } $.

Grothendieck’s idea was to
extend this to more general maps. Assume that a projective smooth curve
(a Riemann surface) X is defined over the algebraic numbers
$\overline{\mathbb{Q}} $ and assume that there is a map $X
\rightarrow \mathbb{P}^1_{\mathbb{C}} $ ramified only over the points
${ 0,1,\infty } $, then we can repeat the procedure of last time and
draw a picture on X consisting of d edges (where d is the degree
of the map, that is the number of points lying over another point of
$\mathbb{P}^1_{\mathbb{C}} $) between white resp. black points (the
points of X lying over 1 (resp. over 0)).

Call such a drawing a
‘dessin d\’enfant’ and look at the collection of ALL dessins
d’enfants associated to ALL such maps where X runs over ALL curves
defined over $\overline{\mathbb{Q}} $. On this set, there is an action
of the absolute Galois group
$Gal(\overline{\mathbb{Q}}/\mathbb{Q}) $ and if this action would be
faithful, then this would give us insight into this
group. However, at that time even the existence of a map $X \rightarrow
\mathbb{P}^1 $ ramified in the three points ${ 0,1,\infty } $
seemed troublesome to prove, as Grothendieck recalls in his proposal

In more erudite terms, could it be true that
every projective non-singular algebraic curve defined over a number
field occurs as a possible ‚ modular curve‚ parametrising
elliptic curves equipped with a suitable rigidification? Such a
supposition seemed so crazy that I was almost embarrassed to submit
it to the competent people in the domain. Deligne when I consulted
him found it crazy indeed, but didn’t have any counterexample up
his sleeve. Less than a year later, at the International Congress in
Helsinki, the Soviet mathematician Bielyi announced exactly that result,
with a proof of disconcerting simplicity which fit into two little
pages of a letter of Deligne ‚ never, without a doubt, was such a
deep and disconcerting result proved in so few lines!

In
the form in which Bielyi states it, his result essentially says that
every algebraic curve defined over a number field can be obtained as
a covering of the projective line ramified only over the points 0,
1 and infinity. This result seems to have remained more or less
unobserved. Yet, it appears to me to have considerable importance. To
me, its essential message is that there is a profound identity
between the combinatorics of finite maps on the one hand, and the
geometry of algebraic curves defined over number fields on the
other. This deep result, together with the algebraic- geometric
interpretation of maps, opens the door onto a new, unexplored world within reach of all, who pass by without seeing it.

Belyi’s proof is indeed relatively easy
(full details can be found in the paper Dessins d’enfants on the
Riemann sphere
by Leila
Schneps). Roughly it goes as follows : as both X and the map are
defined over $\overline{\mathbb{Q}} $ the map is only ramified over
(finitely many) $\overline{\mathbb{Q}} $-points. Let S be the finite
set of all Galois-conjugates of these points and consider the polynomial

$f_0(z_0) = \prod_{s \in S} (z_0 -s) \in
\mathbb{Q}[z_0] $

Now, do a
resultant trick. Consider the
polynomial $f_1(z_1) = Res_{z_0}(\frac{d f_0}{d
z_0},f_0(z_0)-z_1) $ then the roots of $f_1(z_1) $ are exactly the
finite critical values of $f_0 $, $f_1 $ is again defined over
$\mathbb{Q} $ and has lower degree (in $z_1 $) than $f_0 $ in $z_1 $.
Continue this trick a finite number of times untill you have constructed
a polynomial $f_n(z_n) \in \mathbb{Q}[z_n] $ of degree zero.

Composing
the original map with the maps $f_j $ in succession yields that all
ramified points of this composition are
$\mathbb{Q} $-points! Now, we only have to limit the number of
these ramified $\mathbb{Q} $-points (let us call this set T) to three.

Take any three elements of T, then there always exist integers $m,n
\in \mathbb{Z} $ such that the three points go under a linear
fractional transformation (a Moebius-function associated to a matrix in
$PGL_2(\mathbb{Q}) $) to ${ 0,\frac{m}{m+n},1 } $. Under the
transformation $z \rightarrow \frac{(m+n)^{m+n}}{m^m
n^n}z^m(1-z)^n $ the points 0 and 1 go to 0 and
$\frac{m}{m+n} $ goes to 1 whence the ramified points of the
composition are one less in number than T. Continuing in this way we
can get the set of ramified $\mathbb{Q} $-points of a composition at
most having three elements and then a final Moebius transformation gets
them to ${ 0,1,\infty } $, done!

As a tribute for this clever
argument, maps $X \rightarrow \mathbb{P}^1 $ ramified only in 0,1 and
$\infty $ are now called Belyi morphisms. Here is an example of
a Belyi-morphism (and the corresponding dessin d’enfants) associated to
one of the most famous higher genus curves around : the Klein
quartic
(if you haven’t done
so yet, take your time to go through this marvelous pre-blog post by
John Baez).

One can define the Klein quartic as the plane projective
curve K with defining equation in
$\mathbb{P}^2_{\\mathbb{C}} $ given by $X^3Y+Y^3Z+Z^3X = 0 $ K has
a large group of automorphism, namely the simple group of order
168 $G = PSL_2(\mathbb{F}_7) =
SL_3(\mathbb{F}_2) $ It is a classical fact (see for example
the excellent paper by Noam Elkies The Klein quartic in number theory) that the quotient map $K \rightarrow K/G =
\mathbb{P}^1_{\mathbb{C}} $ is ramified only in the points
0,1728 and $\infty $ and the number of points of K lying over them
are resp. 56, 84 and 24. Now, compose this map with the Moebius
transormation taking ${ 0,1728,\infty } \rightarrow { 0,1,\infty } $
then the resulting map is a Belyi-map for the Klein quartic. A
topological construction of the Klein quartic is fitting 24 heptagons
together so that three meet in each vertex, see below for the gluing
data-picture in the hyperbolic plane : the different heptagons are given
a number but they appear several times telling how they must fit
together)

The resulting figure has exactly $\frac{7 \times 24}{2} =
84 $ edges and the 84 points of K lying over 1 (the white points in
the dessin) correspond to the midpoints of the edges. There are exactly
$\frac{7 \times 24}{3}=56 $ vertices corresponding to the 56 points
lying over 0 (the black points in the dessin). Hence, the dessin
d\’enfant associated to the Klein quartic is the figure traced out by
the edges on K. Giving each of the 168 half-edges a
different number one assigns to the white points a permutation of order
two and to the three-valent black-points a permutation of order three,
whence to the Belyi map of the Klein quartic corresponds a
168-dimensional permutation representation of $SL_2(\mathbb{Z}) $,
which is not so surprising as the group of automorphisms is
$PSL_2(\mathbb{F}_7) $ and the permutation representation is just the
regular representation of this group.

Next time we will see how
one can always associate to a curve defined over
$\overline{\mathbb{Q}} $ a permutation representation (via the Belyi
map and its dessin) of one of the congruence subgroups $\Gamma(2) $ or
$\Gamma_0(2) $ or of $SL_2(\mathbb{Z}) $ itself.

6 Comments

coalgebras and non-geometry

In this
series of posts I’ll try to make at least part of the recent
[Kontsevich-Soibelman paper](http://www.arxiv.org/abs/math.RA/0606241) a
bit more accessible to algebraists. In non-geometry, the algebras
corresponding to *smooth affine varieties* I’ll call **qurves** (note
that they are called **quasi-free algebras** by Cuntz & Quillen and
**formally smooth** by Kontsevich). By definition, a qurve in an affine
$\mathbb{C} $-algebra A having the lifting property for algebra
maps through nilpotent ideals (extending Grothendieck’s characterization
of smooth affine algebras in the commutative case). Examples of qurves
are : finite dimensional semi-simple algebras (for example, group
algebras $\mathbb{C} G $ of finite groups), coordinate rings of
smooth affine curves or a noncommutative mixture of both, skew-group
algebras $\mathbb{C}[X] \ast G $ whenever G is a finite group of
automorphisms of the affine curve X. These are Noetherian examples but
in general a qurve is quite far from being Noetherian. More typical
examples of qurves are : free algebras $\mathbb{C} \langle
x_1,\ldots,x_k \rangle $ and path algebras of finite quivers
$~\mathbb{C} Q $. Recall that a finite quiver Q s just a
directed graph and its path algebra is the vectorspace spanned by all
directed paths in Q with multiplication induced by concatenation of
paths. Out of these building blocks one readily constructs more
involved qurves via universal algebra operations such as (amalgamated)
free products, universal localizations etc. In this way, the
groupalgebra of the modular group $SL_2(\mathbb{Z}) $ (as well
as that of a congruence subgroup) is a qurve and one can mix groups with
finite groupactions on curves to get qurves like $ (\mathbb{C}[X]
\ast G) \ast_{\mathbb{C} H} \mathbb{C} M $ whenever H is a common
subgroup of the finite groups G and M. So we have a huge class of
qurve-examples obtained from mixing finite and arithmetic groups with
curves and quivers. Qurves can we used as *machines* generating
interesting $A_{\infty} $-categories. Let us start by recalling
some facts about finite closed subschemes of an affine smooth variety Y
in the commutative case. Let **fdcom** be the category of all finite
dimensional commutative $\mathbb{C} $-algebras with morphisms
being onto algebra morphisms, then the study of finite closed subschemes
of Y is essentially the study of the covariant functor **fdcom** –>
**sets** assigning to a f.d. commutative algebra S the set of all onto
algebra maps from $\mathbb{C}[Y] $ to S. S being a f.d.
commutative semilocal algebra is the direct sum of local factors $S
\simeq S_1 \oplus \ldots \oplus S_k $ where each factor has a
unique maximal ideal (a unique point in Y). Hence, our study reduces to
f.d. commutative images with support in a fixed point p of Y. But all
such quotients are also quotients of the completion of the local ring of
Y at p which (because Y is a smooth variety, say of dimension n) is
isomorphic to formal power series
$~\mathbb{C}[[x_1,\ldots,x_n]] $. So the local question, at any
point p of Y, reduces to finding all settings
$\mathbb{C}[[x_1,\ldots,x_n]] \twoheadrightarrow S
\twoheadrightarrow \mathbb{C} $ Now, we are going to do something
strange (at least to an algebraist), we’re going to take duals and
translate the above sequence into a coalgebra statement. Clearly, the
dual $S^{\ast} $ of any finite dimensional commutative algebra
is a finite dimensional cocommutative coalgebra. In particular
$\mathbb{C}^{\ast} \simeq \mathbb{C} $ where the
comultiplication makes 1 into a grouplike element, that is
$\Delta(1) = 1 \otimes 1 $. As long as the (co)algebra is
finite dimensional this duality works as expected : onto maps correspond
to inclusions, an ideal corresponds to a sub-coalgebra a sub-algebra
corresponds to a co-ideal, so in particular a local commutative algebra
corresponds to an pointed irreducible cocommutative coalgebra (a
coalgebra is said to be irreducible if any two non-zero subcoalgebras
have non-zero intersection, it is called simple if it has no non-zero
proper subcoalgebras and is called pointed if all its simple
subcoalgebras are one-dimensional. But what about infinite dimensional
algebras such as formal power series? Well, here the trick is not to
take all dual functions but only those linear functions whose kernel
contains a cofinite ideal (which brings us back to the good finite
dimensional setting). If one takes only those good linear functionals,
the ‘fancy’-dual $A^o $of an algebra A is indeed a coalgebra. On
the other hand, the full-dual of a coalgebra is always an algebra. So,
between commutative algebras and cocommutative coalgebras we have a
duality by associating to an algebra its fancy-dual and to a coalgebra
its full-dual (all this is explained in full detail in chapter VI of
Moss Sweedler’s book ‘Hopf algebras’). So, we can dualize the above pair
of onto maps to get coalgebra inclusions $\mathbb{C} \subset
S^{\ast} \subset U(\mathfrak{a}) $ where the rightmost coalgebra is
the coalgebra structure on the enveloping algebra of the Abelian Lie
algebra of dimension n (in which all Lie-elements are primitive, that is
$\Delta(x) = x \otimes 1 + 1 \otimes x $ and indeed we have that
$U(\mathfrak{a})^{\ast} \simeq \mathbb{C}[[x_1,\ldots,x_n]] $.
We have translated our local problem to finding all f.d. subcoalgebras
(containing the unique simple) of the enveloping algebra. But what is
the point of this translation? Well, we are not interested in the local
problem, but in the global problem, so we somehow have to **sum over all
points**. Now, on the algebra level that is a problem because the sum of
all local power series rings over all points is no longer an algebra,
whereas the direct sum of all pointed irreducible coalgebras $~B_Y
= \oplus_{p \in Y} U(\mathfrak{a}_p) $ is again a coalgebra! That
is, we have found a huge coalgebra (which we call the coalgebra of
‘distributions’ on Y) such that for every f.d. commutative algebra S we
have $Hom_{comm alg}(\mathbb{C}[Y],S) \simeq Hom_{cocomm
coalg}(S^{\ast},B_Y) $ Can we get Y back from this coalgebra of
districutions? Well, in a way, the points of Y correspond to the
group-like elements, and if g is the group-like corresponding to a point
p, we can recover the tangent-space at p back as the g-primitive
elements of the coalgebra of distributions, that is the elements such
that $\Delta(x) = x \otimes g + g \otimes x $. Observe that in
this commutative case, there are no **skew-primitives**, that is
elements such that $\Delta(x) = x \otimes g + h \otimes x $ for
different group-likes g and h. This is the coalgebra translation of the
fact that a f.d. semilocal commutative algebra is the direct sum of
local components. This is something that will definitely change if we
try to extend the above to the case of qurves (to be continued).

One Comment

non-(commutative) geometry

Now
that my non-geometry
post
is linked via the comments in this
string-coffee-table post
which in turn is available through a
trackback from the Kontsevich-Soibelman
paper
it is perhaps useful to add a few links.

The little
I’ve learned from reading about Connes-style non-commutative geometry is
this : if you have a situation where a discrete group is acting with a
bad orbit-space (for example, $GL_2(\mathbb{Z})$ acting on the whole
complex-plane, rather than just the upper half plane) you can associate
to this a $C^*$-algebra and study invariants of it and interprete them
as topological information about this bad orbit space. An intruiging
example is the one I mentioned and where the additional noncommutative
points (coming from the orbits on the real axis) seem to contain a lot
of modular information as clarified by work of Manin&Marcolli and
Zagier. Probably the best introduction into Connes-style
non-commutative geometry
from this perspective are the Lecture on
Arithmetic Noncommutative Geometry
by Matilde Marcolli. To
algebraists : this trick is very similar to looking at the
skew-group algebra $\mathbb{C}[x_1,\ldots,x_n] * G$ if
you want to study the _orbifold_ for a finite group action on affine
space. But as algebraist we have to stick to affine varieties and
polynomials so we can only deal with the case of a finite group,
analysts can be sloppier in their functions, so they can also do
something when the group is infinite.

By the way, the
skew-group algebra idea is also why non-commutative algebraic
geometry
enters string-theory via the link with orbifolds. The
easiest (and best understood) example is that of Kleinian singularities.
The best introduction to this idea is via the Representations
of quivers, preprojective algebras and deformations of quotient
singularities
notes by Bill Crawley-Boevey.

Artin-style non-commutative geometry aka
non-commutative projective geometry originated from the
work of Artin-Tate-Van den Bergh (in the west) and Odeskii-Feigin (in
the east) to understand Sklyanin algebras associated to elliptic curves
and automorphisms via ‘geometric’ objects such as point- (and
fat-point-) modules, line-modules and the like. An excellent survey
paper on low dimensional non-commutative projective geometry is Non-commutative curves and surfaces by Toby
Stafford and
Michel Van den Bergh
. The best introduction is the (also
neverending…) book-project Non-
commutative algebraic geometry
by Paul Smith who
maintains a
noncommutative geometry and algebra resource page
page (which is
also available from the header).

Non-geometry
started with the seminal paper ‘Algebra extensions and
nonsingularity’, J. Amer. Math. Soc. 8 (1995), 251-289 by Joachim
Cuntz
and Daniel Quillen but which is not available online. An
online introduction is Noncommutative smooth
spaces
by Kontsevich and Rosenberg. Surely, different people have
different motivations to study non-geometry. I assume Cuntz got
interested because inductive limits of separable algebras are quasi-free
(aka formally smooth aka qurves). Kontsevich and Soibelman want to study
morphisms and deformations of $A_{\infty}$-categories as they explain in
their recent
paper
. My own motivation to be interested in non-geometry is the
hope that in the next decades one will discover new exciting connections
between finite groups, algebraic curves and arithmetic groups (monstrous
moonshine
being the first, and still not entirely understood,
instance of this). Part of the problem is that these three topics seem
to be quite different, yet by taking group-algebras of finite or
arithmetic groups and coordinate rings of affine smooth curves they all
turn out to be quasi-free algebras, so perhaps non-geometry is the
unifying theory behind these seemingly unrelated topics.

Leave a Comment