Skip to content →

Tag: Manin

F_un with Manin

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

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?

Leave a Comment

bloomsday 2 : BistroMath

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