Tag: Manin

Langlands versus Connes

Published October 26, 2010 by lievenlb

This is a belated response to a Math-Overflow exchange between Thomas Riepe and Chandan Singh Dalawat asking for a possible connection between Connes’ noncommutative geometry approach to the Riemann hypothesis and the Langlands program.

Here’s the punchline : a large chunk of the Connes-Marcolli book Noncommutative Geometry, Quantum Fields and Motives can be read as an exploration of the noncommutative boundary to the Langlands program (at least for $GL_1 $ and $GL_2 $ over the rationals $\mathbb{Q} $).

Recall that Langlands for $GL_1 $ over the rationals is the correspondence, given by the Artin reciprocity law, between on the one hand the abelianized absolute Galois group

$Gal(\overline{\mathbb{Q}}/\mathbb{Q})^{ab} = Gal(\mathbb{Q}(\mu_{\infty})/\mathbb{Q}) \simeq \hat{\mathbb{Z}}^* $

and on the other hand the connected components of the idele classes

$\mathbb{A}^{\ast}_{\mathbb{Q}}/\mathbb{Q}^{\ast} = \mathbb{R}^{\ast}_{+} \times \hat{\mathbb{Z}}^{\ast} $

The locally compact Abelian group of idele classes can be viewed as the nice locus of the horrible quotient space of adele classes $\mathbb{A}_{\mathbb{Q}}/\mathbb{Q}^{\ast} $. There is a well-defined map

$\mathbb{A}_{\mathbb{Q}}’/\mathbb{Q}^{\ast} \rightarrow \mathbb{R}_{+} \qquad (x_{\infty},x_2,x_3,\ldots) \mapsto | x_{\infty} | \prod | x_p |_p $

from the subset $\mathbb{A}_{\mathbb{Q}}’ $ consisting of adeles of which almost all terms belong to $\mathbb{Z}_p^{\ast} $. The inverse image of this map over $\mathbb{R}_+^{\ast} $ are precisely the idele classes $\mathbb{A}^{\ast}_{\mathbb{Q}}/\mathbb{Q}^{\ast} $. In this way one can view the adele classes as a closure, or ‘compactification’, of the idele classes.

This is somewhat reminiscent of extending the nice action of the modular group on the upper-half plane to its badly behaved action on the boundary as in the Manin-Marcolli cave post.

The topological properties of the fiber over zero, and indeed of the total space of adele classes, are horrible in the sense that the discrete group $\mathbb{Q}^* $ acts ergodically on it, due to the irrationality of $log(p_1)/log(p_2) $ for primes $p_i $. All this is explained well (in the semi-local case, that is using $\mathbb{A}_Q’ $ above) in the Connes-Marcolli book (section 2.7).

In much the same spirit as non-free actions of reductive groups on algebraic varieties are best handled using stacks, such ergodic actions are best handled by the tools of noncommutative geometry. That is, one tries to get at the geometry of $\mathbb{A}_{\mathbb{Q}}/\mathbb{Q}^{\ast} $ by studying an associated non-commutative algebra, the skew-ring extension of the group-ring of the adeles by the action of $\mathbb{Q}^* $ on it. This algebra is known to be Morita equivalent to the Bost-Connes algebra which is the algebra featuring in Connes’ approach to the Riemann hypothesis.

It shouldn’t thus come as a major surprise that one is able to recover the other side of the Langlands correspondence, that is the Galois group $Gal(\mathbb{Q}(\mu_{\infty})/\mathbb{Q}) $, from the Bost-Connes algebra as the symmetries of certain states.

In a similar vein one can read the Connes-Marcolli $GL_2 $-system (section 3.7 of their book) as an exploration of the noncommutative closure of the Langlands-space $GL_2(\mathbb{A}_{\mathbb{Q}})/GL_2(\mathbb{Q}) $.

At the moment I’m running a master-seminar noncommutative geometry trying to explain this connection in detail. But, we’re still in the early phases, struggling with the topology of ideles and adeles, reciprocity laws, L-functions and the lot. Still, if someone is interested I might attempt to post some lecture notes here.

6 Comments

best of 2008 (1) : wiskundemeisjes

Published January 2, 2009 by lievenlb

Of course, excellent math-blogs exist in every language imaginable, but my linguistic limitations restrict me to the ones written in English, French, German and … Dutch. Here a few links to Dutch (or rather, Flemish) math-blogs, in order of proximity :
Stijn Symens blog, Rudy Penne’s wiskunde is sexy (math is sexy), Koen Vervloesem’s QED.

My favorite one is wiskundemeisjes (‘math-chicks’ or ‘math-girls’), written by Ionica Smeets and Jeanine Daems, two reasearchers at Leiden University. Every month they have a post called “the favorite (living) mathematician of …” in which they ask someone to nominate and introduce his/her favorite colleague mathematician. Here some examples : Roger Penrose chooses Michael Atiyah, Robbert Dijkgraaf chooses Maxim Kontsevich, Frans Oort chooses David Mumford, Gunther Cornelissen chooses Yuri I. Manin, Hendrik Lenstra chooses Bjorn Poonen, etc. the full list is here or here. This series deserves a wider audience. Perhaps Ionica and Jeanine might consider translating some of these posts?

I’m certain their English is far better than mine, so here’s a feeble attempt to translate the one post in their series they consider a complete failure (it isn’t even listed in the category). Two reasons for me to do so : it features Matilde Marcolli (one of my own favorite living mathematicians) and Matilde expresses here very clearly my own take on popular-math books/blogs.

The original post was written by Ionica and was called Weg met de ‘favoriete wiskundige van…’ :

“This week I did spend much of my time at the Fifth European Mathematical Congress in Amsterdam. Several mathematicians suggested I should have a chat with Matilde Marcolli, one of the plenary speakers. It seemed like a nice idea to ask her about her favorite (still living) mathematician, for our series.

Marcolli explained why she couldn’t answer this question : she has favorite mathematical ideas, but it doesn’t interest her one bit who discovered or proved them. And, there are mathematicians she likes, but that’s because she finds them interesting as human beings, independent of their mathematical achievements.

In addition, she thinks it’s a mistake to focus science too much on the persons. Scientific ideas should play the main role, not the scientists themselves. To her it is important to remember that many results are the combined effort of several people, that science doesn’t evolve around personalities and that scientific ideas are accessible to anyone.

Marcolli also dislikes the current trend in popular science writing: “I am completely unable to read popular-scientific books. As soon as they start telling anecdotes and stories, I throw away the book. I don’t care about their lives, I care about the real stuff.”

She’d love to read a popular science-book containing only ideas. She regrets that most of these books restrict to story-telling, but fail to disseminate the scientific ideas.”

Ionica then goes on to defend her own approach to science-popularization :

“… Probably, people will not know much about Galois-theory by reading about his turbulent life. Still, I can imagine people to become interested in ‘the real stuff’ after reading his biography, and, in this manner they will read some mathematics they wouldn’t have known to exist otherwise. But, Marcolli got me thinking, for it is true that almost all popular science-books focus on anecdotes rather than science itself. Is this wrong? For instance, do you want to see more mathematics here? I’m curious to hear your opinion on this.”

Even though my own approach is somewhat different, Ionica and Jeanine you’re doing an excellent job: “houden zo!”

One Comment

Manin’s geometric axis

Published December 23, 2008 by lievenlb

Mumford’s drawing has a clear emphasis on the vertical direction. The set of all vertical lines corresponds to taking the fibers of the natural ‘structural morphism’ : $\pi~:~\mathbf{spec}(\mathbb{Z}[t]) \rightarrow \mathbf{spec}(\mathbb{Z}) $ coming from the inclusion $\mathbb{Z} \subset \mathbb{Z}[t] $. That is, we consider the intersection $P \cap \mathbb{Z} $ of a prime ideal $P \subset \mathbb{Z}[t] $ with the subring of constants.

Two options arise : either $P \cap \mathbb{Z} \not= 0 $, in which case the intersection is a principal prime ideal $~(p) $ for some prime number $p $ (and hence $P $ itself is bigger or equal to $p\mathbb{Z}[t] $ whence its geometric object is contained in the vertical line $\mathbb{V}((p)) $, the fiber $\pi^{-1}((p)) $ of the structural morphism over $~(p) $), or, the intersection $P \cap \mathbb{Z}[t] = 0 $ reduces to the zero ideal (in which case the extended prime ideal $P \mathbb{Q}[x] = (q(x)) $ is a principal ideal of the rational polynomial algebra $\mathbb{Q}[x] $, and hence the geometric object corresponding to $P $ is a horizontal curve in Mumford’s drawing, or is the whole arithmetic plane itself if $P=0 $).

Because we know already that any ‘point’ in Mumford’s drawing corresponds to a maximal ideal of the form $\mathfrak{m}=(p,f(x)) $ (see last time), we see that every point lies on precisely one of the set of all vertical coordinate axes corresponding to the prime numbers ${~\mathbb{V}((p)) = \mathbf{spec}(\mathbb{F}_p[x]) = \pi^{-1}((p))~} $. In particular, two different vertical lines do not intersect (or, in ringtheoretic lingo, the ‘vertical’ prime ideals $p\mathbb{Z}[x] $ and $q\mathbb{Z}[x] $ are comaximal for different prime numbers $p \not= q $).

That is, the structural morphism is a projection onto the “arithmetic axis” (which is $\mathbf{spec}(\mathbb{Z}) $) and we get the above picture. The extra vertical line to the right of the picture is there because in arithmetic geometry it is customary to include also the archimedean valuations and hence to consider the ‘compactification’ of the arithmetic axis $\mathbf{spec}(\mathbb{Z}) $ which is $\overline{\mathbf{spec}(\mathbb{Z})} = \mathbf{spec}(\mathbb{Z}) \cup { v_{\mathbb{R}} } $.

Yuri I. Manin is advocating for years the point that we should take the terminology ‘arithmetic surface’ for $\mathbf{spec}(\mathbb{Z}[x]) $ a lot more seriously. That is, there ought to be, apart from the projection onto the ‘z-axis’ (that is, the arithmetic axis $\mathbf{spec}(\mathbb{Z}) $) also a projection onto the ‘x-axis’ which he calls the ‘geometric axis’.

But then, what are the ‘points’ of this geometric axis and what are their fibers under this second projection?

We have seen above that the vertical coordinate line over the prime number $~(p) $ coincides with $\mathbf{spec}(\mathbb{F}_p[x]) $, the affine line over the finite field $\mathbb{F}_p $. But all of these different lines, for varying primes $p $, should project down onto the same geometric axis. Manin’s idea was to take therefore as the geometric axis the affine line $\mathbf{spec}(\mathbb{F}_1[x]) $, over the virtual field with one element, which should be thought of as being the limit of the finite fields $\mathbb{F}_p $ when $p $ goes to one!

How many points does $\mathbf{spec}(\mathbb{F}_1[x]) $ have? Over a virtual object one can postulate whatever one wants and hope for an a posteriori explanation. $\mathbb{F}_1 $-gurus tell us that there should be exactly one point of size n on the affine line over $\mathbb{F}_1 $, corresponding to the unique degree n field extension $\mathbb{F}_{1^n} $. However, it is difficult to explain this from the limiting perspective…

Over a genuine finite field $\mathbb{F}_p $, the number of points of thickness $n $ (that is, those for which the residue field is isomorphic to the degree n extension $\mathbb{F}_{p^n} $) is equal to the number of monic irreducible polynomials of degree n over $\mathbb{F}_p $. This number is known to be $\frac{1}{n} \sum_{d | n} \mu(\frac{n}{d}) p^d $ where $\mu(k) $ is the Moebius function. But then, the limiting number should be $\frac{1}{n} \sum_{d | n} \mu(\frac{n}{d}) = \delta_{n1} $, that is, there can only be one point of size one…

Alternatively, one might consider the zeta function counting the number $N_n $ of ideals having a quotient consisting of precisely $p^n $ elements. Then, we have for genuine finite fields $\mathbb{F}_p $ that $\zeta(\mathbb{F}_p[x]) = \sum_{n=0}^{\infty} N_n t^n = 1 + p t + p^2 t^2 + p^3 t^3 + \ldots $, whence in the limit it should become
$1+t+t^2 +t^3 + \ldots $ and there is exactly one ideal in $\mathbb{F}_1[x] $ having a quotient of cardinality n and one argues that this unique quotient should be the unique point with residue field $\mathbb{F}_{1^n} $ (though it might make more sense to view this as the unique n-fold extension of the unique size-one point $\mathbb{F}_1 $ corresponding to the quotient $\mathbb{F}_1[x]/(x^n) $…)

A perhaps more convincing reasoning goes as follows. If $\overline{\mathbb{F}_p} $ is an algebraic closure of the finite field $\mathbb{F}_p $, then the points of the affine line over $\overline{\mathbb{F}_p} $ are in one-to-one correspondence with the maximal ideals of $\overline{\mathbb{F}_p}[x] $ which are all of the form $~(x-\lambda) $ for $\lambda \in \overline{\mathbb{F}_p} $. Hence, we get the points of the affine line over the basefield $\mathbb{F}_p $ as the orbits of points over the algebraic closure under the action of the Galois group $Gal(\overline{\mathbb{F}_p}/\mathbb{F}_p) $.

‘Common wisdom’ has it that one should identify the algebraic closure of the field with one element $\overline{\mathbb{F}_{1}} $ with the group of all roots of unity $\mathbb{\mu}_{\infty} $ and the corresponding Galois group $Gal(\overline{\mathbb{F}_{1}}/\mathbb{F}_1) $ as being generated by the power-maps $\lambda \rightarrow \lambda^n $ on the roots of unity. But then there is exactly one orbit of length n given by the n-th roots of unity $\mathbb{\mu}_n $, so there should be exactly one point of thickness n in $\mathbf{spec}(\mathbb{F}_1[x]) $ and we should then identity the corresponding residue field as $\mathbb{F}_{1^n} = \mathbb{\mu}_n $.

Whatever convinces you, let us assume that we can identify the non-generic points of $\mathbf{spec}(\mathbb{F}_1[x]) $ with the set of positive natural numbers ${ 1,2,3,\ldots } $ with $n $ denoting the unique size n point with residue field $\mathbb{F}_{1^n} $. Then, what are the fibers of the projection onto the geometric axis $\phi~:~\mathbf{spec}(\mathbb{Z}[x]) \rightarrow \mathbf{spec}(\mathbb{F}_1[x]) = { 1,2,3,\ldots } $?

These fibers should correspond to ‘horizontal’ principal prime ideals of $\mathbb{Z}[x] $. Manin proposes to consider $\phi^{-1}(n) = \mathbb{V}((\Phi_n(x))) $ where $\Phi_n(x) $ is the n-th cyclotomic polynomial. The nice thing about this proposal is that all closed points of $\mathbf{spec}(\mathbb{Z}[x]) $ lie on one of these fibers!

Indeed, the residue field at such a point (corresponding to a maximal ideal $\mathfrak{m}=(p,f(x)) $) is the finite field $\mathbb{F}_{p^n} $ and as all its elements are either zero or an $p^n-1 $-th root of unity, it does lie on the curve determined by $\Phi_{p^n-1}(x) $.

As a consequence, the localization $\mathbb{Z}[x]_{cycl} $ of the integral polynomial ring $\mathbb{Z}[x] $ at the multiplicative system generated by all cyclotomic polynomials is a principal ideal domain (as all height two primes evaporate in the localization), and, the fiber over the generic point of $\mathbf{spec}(\mathbb{F}_1[x]) $ is $\mathbf{spec}(\mathbb{Z}[x]_{cycl}) $, which should be compared to the fact that the fiber of the generic point in the projection onto the arithmetic axis is $\mathbf{spec}(\mathbb{Q}[x]) $ and $\mathbb{Q}[x] $ is the localization of $\mathbb{Z}[x] $ at the multiplicative system generated by all prime numbers).

Hence, both the vertical coordinate lines and the horizontal ‘lines’ contain all closed points of the arithmetic plane. Further, any such closed point $\mathfrak{m}=(p,f(x)) $ lies on the intersection of a vertical line $\mathbb{V}((p)) $ and a horizontal one $\mathbb{V}((\Phi_{p^n-1}(x))) $ (if $deg(f(x))=n $).
That is, these horizontal and vertical lines form a coordinate system, at least for the closed points of $\mathbf{spec}(\mathbb{Z}[x]) $.

Still, there is a noticeable difference between the two sets of coordinate lines. The vertical lines do not intersect meaning that $p\mathbb{Z}[x]+q\mathbb{Z}[x]=\mathbb{Z}[x] $ for different prime numbers p and q. However, in general the principal prime ideals corresponding to the horizontal lines $~(\Phi_n(x)) $ and $~(\Phi_m(x)) $ are not comaximal when $n \not= m $, that is, these ‘lines’ may have points in common! This will lead to an exotic new topology on the roots of unity… (to be continued).

Mumford’s treasure map

Published December 13, 2008 by lievenlb

David Mumford did receive earlier this year the 2007 AMS Leroy P. Steele Prize for Mathematical Exposition. The jury honors Mumford for “his beautiful expository accounts of a host of aspects of algebraic geometry”. Not surprisingly, the first work they mention are his mimeographed notes of the first 3 chapters of a course in algebraic geometry, usually called “Mumford’s red book” because the notes were wrapped in a red cover. In 1988, the notes were reprinted by Springer-Verlag. Unfortnately, the only red they preserved was in the title.

The AMS describes the importance of the red book as follows. “This is one of the few books that attempt to convey in pictures some of the highly abstract notions that arise in the field of algebraic geometry. In his response upon receiving the prize, Mumford recalled that some of his drawings from The Red Book were included in a collection called Five Centuries of French Mathematics. This seemed fitting, he noted: “After all, it was the French who started impressionist painting and isn’t this just an impressionist scheme for rendering geometry?””

These days it is perfectly possible to get a good grasp on difficult concepts from algebraic geometry by reading blogs, watching YouTube or plugging in equations to sophisticated math-programs. In the early seventies though, if you wanted to know what Grothendieck’s scheme-revolution was all about you had no choice but to wade through the EGA’s and SGA’s and they were notorious for being extremely user-unfriendly regarding illustrations…

So the few depictions of schemes available, drawn by people sufficiently fluent in Grothendieck’s new geometric language had no less than treasure-map-cult-status and were studied in minute detail. Mumford’s red book was a gold mine for such treasure maps. Here’s my favorite one, scanned from the original mimeographed notes (it looks somewhat tidier in the Springer-version)

It is the first depiction of $\mathbf{spec}(\mathbb{Z}[x]) $, the affine scheme of the ring $\mathbb{Z}[x] $ of all integral polynomials. Mumford calls it the”arithmetic surface” as the picture resembles the one he made before of the affine scheme $\mathbf{spec}(\mathbb{C}[x,y]) $ corresponding to the two-dimensional complex affine space $\mathbb{A}^2_{\mathbb{C}} $. Mumford adds that the arithmetic surface is ‘the first example which has a real mixing of arithmetic and geometric properties’.

Let’s have a closer look at the treasure map. It introduces some new signs which must have looked exotic at the time, but have since become standard tools to depict algebraic schemes.

For starters, recall that the underlying topological space of $\mathbf{spec}(\mathbb{Z}[x]) $ is the set of all prime ideals of the integral polynomial ring $\mathbb{Z}[x] $, so the map tries to list them all as well as their inclusions/intersections.

The doodle in the right upper corner depicts the ‘generic point’ of the scheme. That is, the geometric object corresponding to the prime ideal $~(0) $ (note that $\mathbb{Z}[x] $ is an integral domain). Because the zero ideal is contained in any other prime ideal, the algebraic/geometric mantra (“inclusions reverse when shifting between algebra and geometry”) asserts that the gemetric object corresponding to $~(0) $ should contain all other geometric objects of the arithmetic plane, so it is just the whole plane! Clearly, it is rather senseless to depict this fact by coloring the whole plane black as then we wouldn’t be able to see the finer objects. Mumford’s solution to this is to draw a hairy ball, which in this case, is sufficiently thick to include fragments going in every possible direction. In general, one should read these doodles as saying that the geometric object represented by this doodle contains all other objects seen elsewhere in the picture if the hairy-ball-doodle includes stuff pointing in the direction of the smaller object. So, in the case of the object corresponding to $~(0) $, the doodle has pointers going everywhere, saying that the geometric object contains all other objects depicted.

Let’s move over to the doodles in the lower right-hand corner. They represent the geometric object corresponding to principal prime ideals of the form $~(p(x)) $, where $p(x) $ in an irreducible polynomial over the integers, that is, a polynomial which we cannot write as the product of two smaller integral polynomials. The objects corresponding to such prime ideals should be thought of as ‘horizontal’ curves in the plane.

The doodles depicted correspond to the prime ideal $~(x) $, containing all polynomials divisible by $x $ so when we divide it out we get, as expected, a domain $\mathbb{Z}[x]/(x) \simeq \mathbb{Z} $, and the one corresponding to the ideal $~(x^2+1) $, containing all polynomials divisible by $x^2+1 $, which can be proved to be a prime ideals of $\mathbb{Z}[x] $ by observing that after factoring out we get $\mathbb{Z}[x]/(x^2+1) \simeq \mathbb{Z}[i] $, the domain of all Gaussian integers $\mathbb{Z}[i] $. The corresponding doodles (the ‘generic points’ of the curvy-objects) have a predominant horizontal component as they have the express the fact that they depict horizontal curves in the plane. It is no coincidence that the doodle of $~(x^2+1) $ is somewhat bulkier than the one of $~(x) $ as the later one must only depict the fact that all points lying on the straight line to its left belong to it, whereas the former one must claim inclusion of all points lying on the ‘quadric’ it determines.

Apart from these ‘horizontal’ curves, there are also ‘vertical’ lines corresponding to the principal prime ideals $~(p) $, containing the polynomials, all of which coefficients are divisible by the prime number $p $. These are indeed prime ideals of $\mathbb{Z}[x] $, because their quotients are
$\mathbb{Z}[x]/(p) \simeq (\mathbb{Z}/p\mathbb{Z})[x] $ are domains, being the ring of polynomials over the finite field $\mathbb{Z}/p\mathbb{Z} = \mathbb{F}_p $. The doodles corresponding to these prime ideals have a predominant vertical component (depicting the ‘vertical’ lines) and have a uniform thickness for all prime numbers $p $ as each of them only has to claim ownership of the points lying on the vertical line under them.

Right! So far we managed to depict the zero prime ideal (the whole plane) and the principal prime ideals of $\mathbb{Z}[x] $ (the horizontal curves and the vertical lines). Remains to depict the maximal ideals. These are all known to be of the form
$\mathfrak{m} = (p,f(x)) $
where $p $ is a prime number and $f(x) $ is an irreducible integral polynomial, which remains irreducible when reduced modulo $p $ (that is, if we reduce all coefficients of the integral polynomial $f(x) $ modulo $p $ we obtain an irreducible polynomial in $~\mathbb{F}_p[x] $). By the algebra/geometry mantra mentioned before, the geometric object corresponding to such a maximal ideal can be seen as the ‘intersection’ of an horizontal curve (the object corresponding to the principal prime ideal $~(f(x)) $) and a vertical line (corresponding to the prime ideal $~(p) $). Because maximal ideals do not contain any other prime ideals, there is no reason to have a doodle associated to $\mathfrak{m} $ and we can just depict it by a “point” in the plane, more precisely the intersection-point of the horizontal curve with the vertical line determined by $\mathfrak{m}=(p,f(x)) $. Still, Mumford’s treasure map doesn’t treat all “points” equally. For example, the point corresponding to the maximal ideal $\mathfrak{m}_1 = (3,x+2) $ is depicted by a solid dot $\mathbf{.} $, whereas the point corresponding to the maximal ideal $\mathfrak{m}_2 = (3,x^2+1) $ is represented by a fatter point $\circ $. The distinction between the two ‘points’ becomes evident when we look at the corresponding quotients (which we know have to be fields). We have

$\mathbb{Z}[x]/\mathfrak{m}_1 = \mathbb{Z}[x]/(3,x+2)=(\mathbb{Z}/3\mathbb{Z})[x]/(x+2) = \mathbb{Z}/3\mathbb{Z} = \mathbb{F}_3 $ whereas $\mathbb{Z}[x]/\mathfrak{m}_2 = \mathbb{Z}[x]/(3,x^2+1) = \mathbb{Z}/3\mathbb{Z}[x]/(x^2+1) = \mathbb{F}_3[x]/(x^2+1) = \mathbb{F}_{3^2} $

because the polynomial $x^2+1 $ remains irreducible over $\mathbb{F}_3 $, the quotient $\mathbb{F}_3[x]/(x^2+1) $ is no longer the prime-field $\mathbb{F}_3 $ but a quadratic field extension of it, that is, the finite field consisting of 9 elements $\mathbb{F}_{3^2} $. That is, we represent the ‘points’ lying on the vertical line corresponding to the principal prime ideal $~(p) $ by a solid dot . when their quotient (aka residue field is the prime field $~\mathbb{F}_p $, by a bigger point $\circ $ when its residue field is the finite field $~\mathbb{F}_{p^2} $, by an even fatter point $\bigcirc $ when its residue field is $~\mathbb{F}_{p^3} $ and so on, and on. The larger the residue field, the ‘fatter’ the corresponding point.

In fact, the ‘fat-point’ signs in Mumford’s treasure map are an attempt to depict the fact that an affine scheme contains a lot more information than just the set of all prime ideals. In fact, an affine scheme determines (and is determined by) a “functor of points”. That is, to every field (or even every commutative ring) the affine scheme assigns the set of its ‘points’ defined over that field (or ring). For example, the $~\mathbb{F}_p $-points of $\mathbf{spec}(\mathbb{Z}[x]) $ are the solid . points on the vertical line $~(p) $, the $~\mathbb{F}_{p^2} $-points of $\mathbf{spec}(\mathbb{Z}[x]) $ are the solid . points and the slightly bigger $\circ $ points on that vertical line, and so on.

This concludes our first attempt to decypher Mumford’s drawing, but if we delve a bit deeper, we are bound to find even more treasures… (to be continued).

5 Comments

F_un hype resulting in new blog

Published October 3, 2008 by lievenlb

At the Max-Planck Institute in Bonn Yuri Manin gave a talk about the field of one element, $\mathbb{F}_1 $ earlier this week entitled “Algebraic and analytic geometry over the field F_1”.

Moreover, Javier Lopez-Pena and Bram Mesland will organize a weekly “F_un Study Seminar” starting next tuesday.

Over at Noncommutative Geometry there is an Update on the field with one element pointing us to a YouTube-clip featuring Alain Connes explaining his paper with Katia Consani and Matilde Marcolli entitled “Fun with F_un”. Here’s the clip

Finally, as I’ll be running a seminar here too on F_un, we’ve set up a group blog with the people from MPI (clearly, if you are interested to join us, just tell!). At the moment there are just a few of my old F_un posts and a library of F_un papers, but hopefully a lot will be added soon. So, have a look at F_un mathematics

One Comment

F_un with Manin

Published September 10, 2008 by lievenlb

Amidst all LHC-noise, Yuri I. Manin arXived today an interesting paper Cyclotomy and analytic geometry over $\mathbb{F}_1 $.

The paper gives a nice survey of the existent literature and focusses on the crucial role of roots of unity in the algebraic geometry over the non-existent field with one element $\mathbb{F}_1 $ (in French called ‘F-un’). I have tried to do a couple of posts on F-un some time ago but now realize, reading Manin’s paper, I may have given up way too soon…

At several places in the paper, Manin hints at a possible noncommutative geometry over $\mathbb{F}_1 $ :

This is the appropriate place to stress that in a wider context of Toen-Vaqui ‘Au-dessous de Spec Z’, or eventually in noncommutative $\mathbb{F}_1 $-geometry, teh spectrum of $\mathbb{F}_1 $ loses its privileged position as a final object of a geometric category. For example, in noncommutative geometry, or in an appropriate category of stacks, the quotient of this spectrum modulo the trivial action of a group must lie below this spectrum.

Soule’s algebras $\mathcal{A}_X $ are a very important element of the structure, in particular, because they form a bridge to Arakelov geometry. Soule uses concrete choices of them in order to produce ‘just right’ supply of morphisms, without a priori constraining these choices formally. In this work, we use these algebras and their version also to pave a way to the analytic (and possibly non-commutative) geometry over $\mathbb{F}_1 $.

Back when I was writing the first batch of F-un posts, I briefly contemplated the possibility of a noncommutative geometry over $\mathbb{F}_1 $, but quickly forgot about it because I thought it would be forced to reduce to commutative geometry.

Here is the quick argument : noncommutative geometry is really the study of coalgebras (see for example my paper or if you prefer more trustworthy sources the Kontsevich-Soibelman paper). Now, unless I made a mistake, I think all coalgebras over $\mathbb{F}_1 $ must be co-commutative (even group-like), so reducing to commutative geometry.

Surely, I’m missing something…

9 Comments

Arnold’s trinities

Published June 17, 2008 by lievenlb

Referring to the triple of exceptional Galois groups $L_2(5),L_2(7),L_2(11) $ and its connection to the Platonic solids I wrote : “It sure seems that surprises often come in triples…”. Briefly I considered replacing triples by trinities, but then, I didnt want to sound too mystic…

David Corfield of the n-category cafe and a dialogue on infinity (and perhaps other blogs I’m unaware of) pointed me to the paper Symplectization, complexification and mathematical trinities by Vladimir I. Arnold. (Update : here is a PDF-conversion of the paper)

The paper is a write-up of the second in a series of three lectures Arnold gave in june 1997 at the meeting in the Fields Institute dedicated to his 60th birthday. The goal of that lecture was to explain some mathematical dreams he had.

The next dream I want to present is an even more fantastic set of theorems and conjectures. Here I also have no theory and actually the ideas form a kind of religion rather than mathematics.
The key observation is that in mathematics one encounters many trinities. I shall present a list of examples. The main dream (or conjecture) is that all these trinities are united by some rectangular “commutative diagrams”.
I mean the existence of some “functorial” constructions connecting different trinities. The knowledge of the existence of these diagrams provides some new conjectures which might turn to be true theorems.

Follows a list of 12 trinities, many taken from Arnold’s field of expertise being differential geometry. I’ll restrict to the more algebraically inclined ones.

1 : “The first trinity everyone knows is”

where $\mathbb{H} $ are the Hamiltonian quaternions. The trinity on the left may be natural to differential geometers who see real and complex and hyper-Kaehler manifolds as distinct but related beasts, but I’m willing to bet that most algebraists would settle for the trinity on the right where $\mathbb{O} $ are the octonions.

2 : The next trinity is that of the exceptional Lie algebras E6, E7 and E8.

with corresponding Dynkin-Coxeter diagrams

Arnold has this to say about the apparent ubiquity of Dynkin diagrams in mathematics.

Manin told me once that the reason why we always encounter this list in many different mathematical classifications is its presence in the hardware of our brain (which is thus unable to discover a more complicated scheme).
I still hope there exists a better reason that once should be discovered.

Amen to that. I’m quite hopeful human evolution will overcome the limitations of Manin’s brain…

3 : Next comes the Platonic trinity of the tetrahedron, cube and dodecahedron

Clearly one can argue against this trinity as follows : a tetrahedron is a bunch of triangles such that there are exactly 3 of them meeting in each vertex, a cube is a bunch of squares, again 3 meeting in every vertex, a dodecahedron is a bunch of pentagons 3 meeting in every vertex… and we can continue the pattern. What should be a bunch a hexagons such that in each vertex exactly 3 of them meet? Well, only one possibility : it must be the hexagonal tiling (on the left below). And in normal Euclidian space we cannot have a bunch of septagons such that three of them meet in every vertex, but in hyperbolic geometry this is still possible and leads to the Klein quartic (on the right). Check out this wonderful post by John Baez for more on this.

4 : The trinity of the rotation symmetry groups of the three Platonics

where $A_n $ is the alternating group on n letters and $S_n $ is the symmetric group.

Clearly, any rotation of a Platonic solid takes vertices to vertices, edges to edges and faces to faces. For the tetrahedron we can easily see the 4 of the group $A_4 $, say the 4 vertices. But what is the 4 of $S_4 $ in the case of a cube? Well, a cube has 4 body-diagonals and they are permuted under the rotational symmetries. The most difficult case is to see the $5 $ of $A_5 $ in the dodecahedron. Well, here’s the solution to this riddle

there are exactly 5 inscribed cubes in a dodecahedron and they are permuted by the rotations in the same way as $A_5 $.

7 : The seventh trinity involves complex polynomials in one variable

the Laurant polynomials and the modular polynomials (that is, rational functions with three poles at 0,1 and $\infty $.

8 : The eight one is another beauty

Here ‘numbers’ are the ordinary complex numbers $\mathbb{C} $, the ‘trigonometric numbers’ are the quantum version of those (aka q-numbers) which is a one-parameter deformation and finally, the ‘elliptic numbers’ are a two-dimensional deformation. If you ever encountered a Sklyanin algebra this will sound familiar.

This trinity is based on a paper of Turaev and Frenkel and I must come back to it some time…

The paper has some other nice trinities (such as those among Whitney, Chern and Pontryagin classes) but as I cannot add anything sensible to it, let us include a few more algebraic trinities. The first one attributed by Arnold to John McKay

13 : A trinity parallel to the exceptional Lie algebra one is

between the 27 straight lines on a cubic surface, the 28 bitangents on a quartic plane curve and the 120 tritangent planes of a canonic sextic curve of genus 4.

14 : The exceptional Galois groups

explained last time.

15 : The associated curves with these groups as symmetry groups (as in the previous post)

where the ? refers to the mysterious genus 70 curve. I’ll check with one of the authors whether there is still an embargo on the content of this paper and if not come back to it in full detail.

16 : The three generations of sporadic groups

Do you have other trinities you’d like to worship?

bloomsday 2 : BistroMath

Published June 16, 2008 by lievenlb

Exactly one year ago this blog was briefly renamed MoonshineMath. The concept being that it would focus on the mathematics surrounding the monster group & moonshine. Well, I got as far as the Mathieu groups…

After a couple of months, I changed the name back to neverendingbooks because I needed the freedom to post on any topic I wanted. I know some people preferred the name MoonshineMath, but so be it, anyone’s free to borrow that name for his/her own blog.

Today it’s bloomsday again, and, as I’m a cyclical guy, I have another idea for a conceptual blog : the bistromath chronicles (or something along this line).

Here’s the relevant section from the Hitchhikers guide

Bistromathics itself is simply a revolutionary new way of understanding the behavior of numbers. …
Numbers written on restaurant checks within the confines of restaurants do not follow the same mathematical laws as numbers written on any other pieces of paper in any other parts of the Universe.
This single statement took the scientific world by storm. It completely revolutionized it.So many mathematical conferences got hold in such good restaurants that many of the finest minds of a generation died of obesity and heart failure and the science of math was put back by years.

Right, so what’s the idea? Well, on numerous occasions Ive stated that any math-blog can only survive as a group-blog. I did approach a lot of people directly, but, as you have noticed, without too much success… Most of them couldnt see themselves contributing to a blog for one of these reasons : it costs too much energy and/or it’s way too inefficient. They say : career-wise there are far cleverer ways to spend my energy than to write a blog. And… there’s no way I can argue against this.

Whence plan B : set up a group-blog for a fixed amount of time (say one year), expect contributors to write one or two series of about 4 posts on their chosen topic, re-edit the better series afterwards and turn them into a book.

But, in order to make a coherent book proposal out of blog-post-series, they’d better center around a common theme, whence the BistroMath ploy. Imagine that some of these forgotten “restaurant-check-notes” are discovered, decoded and explained. Apart from the mathematics, one is free to invent new recepies or add descriptions of restaurants with some mathematical history, etc. etc.

One possible scenario (but I’m sure you will have much better ideas) : part of the knotation is found on a restaurant-check of some Italian restaurant. This allow to explain Conway’s theory of rational tangles, give the perfect way to cook spaghetti to experiment with tangles and tell the history of Manin’s Italian restaurant in Bonn where (it is rumoured) the 1998 Fields medals were decided…

But then, there is no limit to your imagination as long as it somewhat fits within the framework. For example, I’d love to read the transcripts of a chat-session in SecondLife between Dedekind and Conway on the construction of real numbers… I hope you get the drift.

I’m not going to rename neverendingbooks again, but am willing to set up the BistroMath blog provided

Five to ten people are interested to participate
At least one book-editor shows an interest
update : (16/06) contacted by first publisher

You can leave a comment or, if you prefer, contact me via email (if you’re human you will have no problem getting my address…).

Clearly, people already blogging are invited and are allowed to cross-post (in fact, that’s what I will do if it ever gets so far). Finally, if you are not willing to contribute blog-posts but like the idea and are willing to contribute to it in any other way, we are still auditioning for chanting monks

The small group of monks who had taken up hanging around the major research institutes singing strange chants to the effect that the Universe was only a figment of its own imagination were eventually given a street theater grant and went away.

And, if you do not like this idea, there will be another bloomsday-idea next year…

One Comment

The F_un folklore

Published June 7, 2008 by lievenlb

All esoteric subjects have their own secret (sacred) texts. If you opened the Da Vinci Code (or even better, the original The Holy blood and the Holy grail) you will known about a mysterious collection of documents, known as the “Dossiers secrets“, deposited in the Bibliothèque nationale de France on 27 April 1967, which is rumoured to contain the mysteries of the Priory of Sion, a secret society founded in the middle ages and still active today…

The followers of F-un, for $\mathbb{F}_1 $ the field of one element, have their own collection of semi-secret texts, surrounded by whispers, of which they try to decode every single line in search of enlightenment. Fortunately, you do not have to search the shelves of the Bibliotheque National in Paris, but the depths of the internet to find them as huge, bandwidth-unfriendly, scanned documents.

The first are the lecture notes “Lectures on zeta functions and motives” by Yuri I. Manin of a course given in 1991.

One can download a scanned version of the paper from the homepage of Katia Consani as a huge 23.1 Mb file. Of F-un relevance is the first section “Absolute Motives?” in which

“…we describe a highly speculative picture of analogies between arithmetics over $\mathbb{F}_q $ and over $\mathbb{Z} $, cast in the language reminiscent of Grothendieck’s motives. We postulate the existence of a category with tensor product $\times $ whose objects correspond not only to the divisors of the Hasse-Weil zeta functions of schemes over $\mathbb{Z} $, but also to Kurokawa’s tensor divisors. This neatly leads to teh introduction of an “absolute Tate motive” $\mathbb{T} $, whose zeta function is $\frac{s-1}{2\pi} $, and whose zeroth power is “the absolute point” which is teh base for Kurokawa’s direct products. We add some speculations about the role of $\mathbb{T} $ in the “algebraic geometry over a one-element field”, and in clarifying the structure of the gamma factors at infinity.” (loc.cit. p 1-2)

I’d welcome links to material explaining this section to people knowing no motives.

The second one is the unpublished paper “Cohomology determinants and reciprocity laws : number field case” by Mikhail Kapranov and A. Smirnov.

This paper features in blog-posts at the Arcadian Functor, in John Baez’ Weekly Finds and in yesterday’s post at Noncommutative Geometry.

You can download every single page (of 15) as a separate file from here. But, in order to help spreading the Fun-gospel, I’ve made these scans into a single PDF-file which you can download as a 2.6 Mb PDF. In the introduction they say :

“First of all, it is an old idea to interpret combinatorics of finite sets as the $q \rightarrow 1 $ limit of linear algebra over the finite field $\mathbb{F}_q $. This had lead to frequent consideration of the folklore object $\mathbb{F}_1 $, the “field with one element”, whose vector spaces are just sets. One can postulate, of course, that $\mathbf{spec}(\mathbb{F}_1) $ is the absolute point, but the real problem is to develop non-trivial consequences of this point of view.”

They manage to deduce higher reciprocity laws in class field theory within the theory of $\mathbb{F}_1 $ and its field extensions $\mathbb{F}_{1^n} $. But first, let us explain how they define linear algebra over these absolute fields.

Here is a first principle : in doing linear algebra over these fields, there is no additive structure but only scalar multiplication by field elements. So, what are vector spaces over the field with one element? Well, as scalar multiplication with 1 is just the identity map, we have that a vector space is just a set. Linear maps are just set-maps and in particular, a linear isomorphism of a vector space onto itself is a permutation of the set. That is, linear algebra over $\mathbb{F}_1 $ is the same as combinatorics of (finite) sets.

A vector space over $\mathbb{F}_1 $ is just a set; the dimension of such a vector space is the cardinality of the set. The general linear group $GL_n(\mathbb{F}_1) $ is the symmetric group $S_n $, the identification via permutation matrices (having exactly one 1 in every row and column)

Some people prefer to view an $\mathbb{F}_1 $ vector space as a pointed set, the special element being the ‘origin’ $0 $ but as $\mathbb{F}_1 $ doesnt have a zero, there is also no zero-vector. Still, in later applications (such as defining exact sequences and quotient spaces) it is helpful to have an origin. So, let us denote for any set $S $ by $S^{\bullet} = S \cup { 0 } $. Clearly, linear maps between such ‘extended’ spaces must be maps of pointed sets, that is, sending $0 \rightarrow 0 $.

The field with one element $\mathbb{F}_1 $ has a field extension of degree n for any natural number n which we denote by $\mathbb{F}_{1^n} $ and using the above notation we will define this field as :

$\mathbb{F}_{1^n} = \mu_n^{\bullet} $ with $\mu_n $ the group of all n-th roots of unity. Note that if we choose a primitive n-th root $\epsilon_n $, then $\mu_n \simeq C_n $ is the cyclic group of order n.

Now what is a vector space over $\mathbb{F}_{1^n} $? Recall that we only demand units of the field to act by scalar multiplication, so each ‘vector’ $\vec{v} $ determines an n-set of linear dependent vectors $\epsilon_n^i \vec{v} $. In other words, any $\mathbb{F}_{1^n} $-vector space is of the form $V^{\bullet} $ with $V $ a set of which the group $\mu_n $ acts freely. Hence, $V $ has $N=d.n $ elements and there are exactly $d $ orbits for the action of $\mu_n $ by scalar multiplication. We call $d $ the dimension of the vectorspace and a basis consists in choosing one representant for every orbits. That is, $~B = { b_1,\ldots,b_d } $ is a basis if (and only if) $V = { \epsilon_n^j b_i~:~1 \leq i \leq d, 1 \leq j \leq n } $.

So, vectorspaces are free $\mu_n $-sets and hence linear maps $V^{\bullet} \rightarrow W^{\bullet} $ is a $\mu_n $-map $V \rightarrow W $. In particular, a linear isomorphism of $V $, that is an element of $GL_d(\mathbb{F}_{1^n}) $ is a $\mu_n $ bijection sending any basis element $b_i \rightarrow \epsilon_n^{j(i)} b_{\sigma(i)} $ for a permutation $\sigma \in S_d $.

An $\mathbb{F}_{1^n} $-vectorspace $V^{\bullet} $ is a free $\mu_n $-set $V $ of $N=n.d $ elements. The dimension $dim_{\mathbb{F}_{1^n}}(V^{\bullet}) = d $ and the general linear group $GL_d(\mathbb{F}_{1^n}) $ is the wreath product of $S_d $ with $\mu_n^{\times d} $, the identification as matrices with exactly one non-zero entry (being an n-th root of unity) in every row and every column.

This may appear as a rather sterile theory, so let us give an extremely important example, which will lead us to our second principle for developing absolute linear algebra.

Let $q=p^k $ be a prime power and let $\mathbb{F}_q $ be the finite field with $q $ elements. Assume that $q \cong 1~mod(n) $. It is well known that the group of units $\mathbb{F}_q^{\ast} $ is cyclic of order $q-1 $ so by the assumption we can identify $\mu_n $ with a subgroup of $\mathbb{F}_q^{\ast} $.

Then, $\mathbb{F}_q = (\mathbb{F}_q^{\ast})^{\bullet} $ is an $\mathbb{F}_{1^n} $-vectorspace of dimension $d=\frac{q-1}{n} $. In other words, $\mathbb{F}_q $ is an $\mathbb{F}_{1^n} $-algebra. But then, any ordinary $\mathbb{F}_q $-vectorspace of dimension $e $ becomes (via restriction of scalars) an $\mathbb{F}_{1^n} $-vector space of dimension $\frac{e(q-1)}{n} $.

Next time we will introduce more linear algebra definitions (including determinants, exact sequences, direct sums and tensor products) in the realm the absolute fields $\mathbb{F}_{1^n} $ and remarkt that we have to alter the known definitions as we can only use the scalar-multiplication. To guide us, we have the second principle : all traditional results of linear algebra over $\mathbb{F}_q $ must be recovered from the new definitions under the vector-space identification $\mathbb{F}_q = (\mathbb{F}_q^{\ast})^{\bullet} = \mathbb{F}_{1^n} $ when $n=q-1 $. (to be continued)

One Comment

the King’s problem on MUBs

Published February 28, 2008 by lievenlb

MUBs (for Mutually Unbiased Bases) are quite popular at the moment. Kea is running a mini-series Mutual Unbias as is Carl Brannen. Further, the Perimeter Institute has a good website for its seminars where they offer streaming video (I like their MacromediaFlash format giving video and slides/blackboard shots simultaneously, in distinct windows) including a talk on MUBs (as well as an old talk by Wootters).

So what are MUBs to mathematicians? Recall that a d-state quantum system is just the vectorspace $\mathbb{C}^d $ equipped with the usual Hermitian inproduct $\vec{v}.\vec{w} = \sum \overline{v_i} w_i $. An observable $E $ is a choice of orthonormal basis ${ \vec{e_i} } $ consisting of eigenvectors of the self-adjoint matrix $E $. $E $ together with another observable $F $ (with orthonormal basis ${ \vec{f_j} } $) are said to be mutally unbiased if the norms of all inproducts $\vec{f_j}.\vec{e_i} $ are equal to $1/\sqrt{d} $. This definition extends to a collection of pairwise mutually unbiased observables. In a d-state quantum system there can be at most d+1 mutually unbiased bases and such a collection of observables is then called a MUB of the system. Using properties of finite fields one has shown that MUBs exists whenever d is a prime-power. On the other hand, existence of a MUB for d=6 still seems to be open…

The King’s Problem (( actually a misnomer, it’s more the poor physicists’ problem… )) is the following : A physicist is trapped on an island ruled by a mean
king who promises to set her free if she can give him the answer to the following puzzle. The
physicist is asked to prepare a d−state quantum system in any state of her choosing and give it
to the king, who measures one of several mutually unbiased observables on it. Following this, the physicist is allowed to make a control measurement
on the system, as well as any other systems it may have been coupled to in the preparation
phase. The king then reveals which observable he measured and the physicist is required
to predict correctly all the eigenvalues he found.

The Solution to the King’s problem in prime power dimension by P. K. Aravind, say for $d=p^k $, consists in taking a system of k object qupits (when $p=2l+1 $ one qupit is a spin l particle) which she will give to the King together with k ancilla qupits that she retains in her possession. These 2k qupits are diligently entangled and prepared is a well chosen state. The final step in finding a suitable state is the solution to a pure combinatorial problem :

She must use the numbers 1 to d to form $d^2 $ ordered sets of d+1 numbers each, with repetitions of numbers within a set allowed, such that any two sets have exactly one identical number in the same place in both. Here’s an example of 16 such strings for d=4 :

11432, 12341, 13214, 14123, 21324, 22413, 23142, 24231, 31243, 32134, 33421, 34312, 41111, 42222, 43333, 44444

Here again, finite fields are used in the solution. When $d=p^k $, identify the elements of $\mathbb{F}_{p^k} $ with the numbers from 1 to d in some fixed way. Then, the $d^2 $ of number-strings are found as follows : let $k_0,k_1 \in \mathbb{F}_{p^k} $ and take as the first 2 numbers the ones corresponding to these field-elements. The remaning d-2 numbers in the string are those corresponding to the field element $k_m $ (with $2 \leq m \leq d $) determined from $k_0,k_1 $ by the equation

$k_m = l_{m} * k_0+k_1 $

where $l_i $ is the field-element corresponding to the integer i ($l_1 $ corresponds to the zero element). It is easy to see that these $d^2 $ strings satisfy the conditions of the combinatorial problem. Indeed, any two of its digits determine $k_0,k_1 $ (and hence the whole string) as it follows from
$k_m = l_m k_0 + k_1 $ and $k_r = l_r k_0 + k_1 $ that $k_0 = \frac{k_m-k_r}{l_m-l_r} $.

In the special case when d=3 (that is, one spin 1 particle is given to the King), we recover the tetracode : the nine codewords

0000, 0+++, 0—, +0+-, ++-0, +-0+, -0-+, -+0-, –+0

encode the strings (with +=1,-=2,0=3)

3333, 3111, 3222, 1312, 1123, 1231, 2321, 2132, 2213

4 Comments