Skip to content →

Tag: Marcolli

the Manin-Marcolli cave

Yesterday, Yuri Manin and Matilde Marcolli arXived their paper
Modular shadows and the Levy-Mellin infinity-adic transform which is a
follow-up of their previous paper Continued fractions, modular symbols, and non-commutative geometry.
They motivate the title of the recent paper by :

In
[MaMar2](http://www.arxiv.org/abs/hep-th/0201036), these and similar
results were put in connection with the so called “holography”
principle in modern theoretical physics. According to this principle,
quantum field theory on a space may be faithfully reflected by an
appropriate theory on the boundary of this space. When this boundary,
rather than the interior, is interpreted as our observable
space‚Äìtime, one can proclaim that the ancient Plato’s cave metaphor
is resuscitated in this sophisticated guise. This metaphor motivated
the title of the present paper.

Here’s a layout of
Plato’s cave

Imagine prisoners, who have been chained since childhood deep inside an
cave: not only are their limbs immobilized by the chains; their heads
are chained as well, so that their gaze is fixed on a wall.
Behind
the prisoners is an enormous fire, and between the fire and the
prisoners is a raised walkway, along which statues of various animals,
plants, and other things are carried by people. The statues cast shadows
on the wall, and the prisoners watch these shadows. When one of the
statue-carriers speaks, an echo against the wall causes the prisoners to
believe that the words come from the shadows.
The prisoners
engage in what appears to us to be a game: naming the shapes as they
come by. This, however, is the only reality that they know, even though
they are seeing merely shadows of images. They are thus conditioned to
judge the quality of one another by their skill in quickly naming the
shapes and dislike those who begin to play poorly.
Suppose a
prisoner is released and compelled to stand up and turn around. At that
moment his eyes will be blinded by the firelight, and the shapes passing
will appear less real than their shadows.

Right, now how
does the Manin-Marcolli cave look? My best guess is : like this
picture, taken from Curt McMullen’s Gallery

Imagine
this as the top view of a spherical cave. M&M are imprisoned in the
cave, their heads chained preventing them from looking up and see the
ceiling (where $PSL_2(\mathbb{Z}) $ (or a cofinite subgroup of
it) is acting on the upper-half plane via
Moebius-transformations ). All they can see is the circular exit of the
cave. They want to understand the complex picture going on over their
heads from the only things they can observe, that is the action of
(subgroups of) the modular group on the cave-exit
$\mathbb{P}^1(\mathbb{R}) $. Now, the part of it consisting
of orbits of cusps
$\mathbb{P}^1(\mathbb{Q}) $ has a nice algebraic geometric
description, but orbits of irrational points cannot be handled by
algebraic geometry as the action of $PSL_2(\mathbb{Z}) $ is
highly non-discrete as illustrated by another picture from McMullen’s
gallery

depicting the ill behaved topology of the action on the bottom real
axis. Still, noncommutative _differential_ geometry is pretty good at
handling such ill behaved quotient spaces and it turns out that as a
noncommutative space, this quotient
$\mathbb{P}^1(\mathbb{R})/PSL_2(\mathbb{Z}) $ is rich enough
to recover many important aspects of the classical theory of modular
curves. Hence, they reverse the usual NCG-picture of interpreting
commutative objects as shadows of noncommutative ones. They study the
_noncommutative shadow_
$\mathbb{P}^1(\mathbb{R})/PSL_2(\mathbb{Z}) $ of a classical
commutative object, the quotient of the action of the modular group (or
a cofinite subgroup of it) on the upper half-plane.

In our
noncommutative geometry course we have already
seen this noncommutative shadow in action (though at a very basic
level). Remember that we first described the group-structure of the
modular group $PSL_2(\mathbb{Z}) = C_2 \ast C_3 $ via the
classical method of groups acting on trees. In particular, we
considered the tree

and
calculated the stabilizers of the end points of its fundamental domain
(the thick circular edge). But
later we were able to give a
much shorter proof (due to Roger Alperin) by looking only at the action
of $PSL_2(\mathbb{Z}) $ on the irrational real numbers (the
noncommutative shadow). Needless to say that the results obtained by
Manin and Marcolli from staring at their noncommutative shadow are a lot
more intriguing…

One Comment

the father of all beamer talks

Who was the first mathematician to give a slide show talk? I don’t have the
definite answer to this question, but would like to offer a strong
candidate : Hermann Minkowski gave the talk “Zur Geometrie der Zahlen” (On the
geometry of numbers) before the third ICM in 1904 in Heidelberg and even
the title page of his paper in the proceedings indicates that he did
present his talk using slides (Mit Projektionsbildern auf einer
Doppeltafel)

Seven
of these eight slides would be hard to improve using LaTeX

What concerns
us today is the worst of all slides, the seventh, where Minkowski tries
to depict his famous questionmark function $?(x) $, sometimes also called
the _devil’s staircase_

The devil’s
staircase is a fractal curve and can be viewed as a mirror (taking a
point on the horizontal axis to the point on the vertical axis through
the function value) having magical simplifying properties : – it takes
rational numbers to _dyadic numbers_, that is those of the form
$n.2^{-m}$ with $n,m \in \mathbb{Z} $. – it takes quadratic
_irrational_ numbers to rational numbers. So, iterating this
mirror-procedure, the devil’s staircase is a device solving the main
problem of Greek Mathematics : which lengths can be constructed using
ruler and compass? These _constructible numbers_ are precisely those
real numbers which become after a finite number of devil-mirrors a
dyadic number. The proofs of these facts are not very difficult but
they involve a piece of long-forgotten mathematical technology :
_continued fractions_. By repeted approximations using the
floor-function (the largest natural number less than or equal to the real
number), every positive real number can be written as

$a = a_0 +
\frac{1}{a_1 + \frac{1}{a_2 + \frac{1}{a_3 + \frac{1}{\dots}}}} $

with all $a_i $ natural numbers. So, let us just denote from now on this
continued fraction of a by the expression

$a = \langle
a_0;a_1,a_2,a_3,\dots \rangle $

Clearly, a is a rational number if
(and also if but this requires a small argument using the Euclidian
algorithm) the above description has a tail of zeroes at the end and
(slightly more difficult) $a$ is a real quadratic irrational number
(that is, an element of a quadratic extension field
$\mathbb{Q}\sqrt{n} $) if and only if the continued fraction-expression
has a periodic tail. There is a lot more to say about
continued-fraction expressions and I’ll do that in another
‘virtual-course-post’ (those prepended with a (c): sign). For the
impatient let me just say that two real numbers will lie in the same
$GL_2(\mathbb{Z}) $-orbit (under the action via Moebius-transformations)
if and only if their continued fraction expressions have the same tails
eventually (which has applications in noncommutative geometry as in the
work of Manin and Marcolli but maybe I’ll come to this in the (c):
posts).

Right, now we can define the mysterious devil-stair function
$?(x) $. If a is in the real interval $[0,1] $ and if $a \in
\mathbb{Q} $ then $a = \langle 0;a_1,a_2,\dots,a_n,0,0,\dots
\rangle $ and we define $?(a) = 2 \sum_{k=1}^{n} (-1)^k
2^{-(a_1+a_2+\dots+a_k)} $ and if a is irrational with continued
fraction expression $a = \langle 0;a_1,a_2,a_3,\dots \rangle $, then

$?(a) = 2 \sum_{k=1}^{\infty} (-1)^{k+1} 2^{-(a_1+a_2+\dots+a_k)} $

A
perhaps easier description is that with the above continued-fraction
expression, the _binary_ expansion of $?(a) $ has the following form

$?(a) = 0,0 \dots 01 \dots 1 0 \dots 0 1 \dots 1 0 \dots 0 1 \dots
1 0 \dots $

where the first batch of zeroes after the comma has length
$a_1-1 $, the first batch of ones has length $a_2 $ the next batch of
zeroes length $a_3 $ and so on.

It is a pleasant exercise to verify that
this function does indeed have the properties we claimed before. A
recent incarnation of the question mark function is in Conway’s game of
_contorted fractions_. A typical position consists of a finite number of
boxed real numbers, for example the position might be

$\boxed{\pi} + \boxed{\sqrt{2}} + \boxed{1728} +
\boxed{-\frac{1}{3}} $

The Rules of the game are : (1) Both
players L and R take turns modifying just one of the numbers such that
the denominator becomes strictly smaller (irrational numbers are
supposed to have $\infty$ as their ‘denominator’). And if the boxed
number is already an integer, then its absolute value must decrease.
(2) Left must always _decrease_ the value of the boxed number, Right
must always increase it. (3) The first player unable to move looses
the game. To decide who wins a particular game, one needs to compute
the value of a position $\boxed{x} $ according to the rules of
combinatorial game theory (see for example the marvelous series of four
books Winning Ways for your Mathematical Plays. It turns out that this CG-value is no other than $?(x)$
… And, Conway has a much improved depiction of the devil-staircase in
his book On Numbers And Games

One Comment