Skip to content →

Tag: Connes

Closing in on Gabriel’s topos?

‘Gabriel’s topos’ (see here) is the conjectural, but still elusive topos from which the validity of the Riemann hypothesis would follow.

It is the latest attempt in Alain Connes’ 20 year long quest to tackle the RH (before, he tried the tools of noncommutative geometry and later those offered by the field with one element).

For the last 5 years he hopes that topos theory might provide the missing ingredient. Together with Katia Consani he introduced and studied the geometry of the Arithmetic site, and later the geometry of the scaling site.

If you look at the points of these toposes you get horribly complicated ‘non-commutative’ spaces, such as the finite adele classes $\mathbb{Q}^*_+ \backslash \mathbb{A}^f_{\mathbb{Q}} / \widehat{\mathbb{Z}}^{\ast}$ (in case of the arithmetic site) and the full adele classes $\mathbb{Q}^*_+ \backslash \mathbb{A}_{\mathbb{Q}} / \widehat{\mathbb{Z}}^{\ast}$ (for the scaling site).

In Vienna, Connes gave a nice introduction to the arithmetic site in two lectures. The first part of the talk below also gives an historic overview of his work on the RH

The second lecture can be watched here.

However, not everyone is as optimistic about the topos-approach as he seems to be. Here’s an insightful answer on MathOverflow by Will Sawin to the question “What is precisely still missing in Connes’ approach to RH?”.

Other interesting MathOverflow threads related to the RH-approach via the field with one element are Approaches to Riemann hypothesis using methods outside number theory and Riemann hypothesis via absolute geometry.

About a month ago, from May 10th till 14th Alain Connes gave a series of lectures at Ohio State University with title “The Riemann-Roch strategy, quantizing the Scaling Site”.

The accompanying paper has now been arXived: The Riemann-Roch strategy, Complex lift of the Scaling Site (joint with K. Consani).

Especially interesting is section 2 “The geometry behind the zeros of $\zeta$” in which they explain how looking at the zeros locus inevitably leads to the space of adele classes and why one has to study this space with the tools from noncommutative geometry.

Perhaps further developments will be disclosed in a few weeks time when Connes is one of the speakers at Toposes in Como.


Archangel Gabriel will make you a topos

No kidding, this is the final sentence of Le spectre d’Atacama, the second novel by Alain Connes (written with Danye Chéreau (IRL Mrs. AC) and his former Ph.D. advisor Jacques Dixmier).

The book has a promising start. Armand Lafforet (IRL AC) is summoned by his friend Rodrigo to the Chilean observatory Alma in the Altacama desert. They have observed a mysterious spectrum, and need his advice.

Armand drops everything and on the flight he lectures the lady sitting next to him on proofs by induction (breaking up chocolate bars), and recalls a recent stay at the La Trappe Abbey, where he had an encounter with (the ghost of) Alexander Grothendieck, who urged him to ‘Follow the motif!’.

“Comment était-il arrivé là? Il possédait surement quelques clés. Pourquoi pas celles des songes?” (How did he get
there? Surely he owned some keys, why not those of our dreams?)

A few pages further there’s this on the notion of topos (my attempt to translate):

“The notion of space plays a central role in mathematics. Traditionally we represent it as a set of points, together with a notion of neighborhood that we call a ‘topology’. The universe of these new spaces, ‘toposes’, unveiled by Grothendieck, is marvellous, not only for the infinite wealth of examples (it contains, apart from the ordinary topological spaces, also numerous instances of a more combinatorial nature) but because of the totally original way to perceive space: instead of appearing on the main stage from the start, it hides backstage and manifests itself as a ‘deus ex machina’, introducing a variability in the theory of sets.”

So far, so good.

We have a mystery, tidbits of mathematics, and allusions left there to put a smile on any Grothendieck-aficionado’s face.

But then, upon arrival, the story drops dead.

Rodrigo has been taken to hospital, and will remain incommunicado until well in the final quarter of the book.

As the remaining astronomers show little interest in Alain’s (sorry, Armand’s) first lecture, he decides to skip the second, and departs on a hike to the ocean. There, he takes a genuine sailing ship in true Jules Verne style to the lighthouse at he end of the world.

All this drags on for at least half a year in time, and two thirds of the book’s length. We are left in complete suspense when it comes to the mysterious Atacama spectrum.

Perhaps the three authors deliberately want to break with existing conventions of story telling?

I had a similar feeling when reading their first novel Le Theatre Quantique. Here they spend some effort to flesh out their heroine, Charlotte, in the first part of the book. But then, all of a sudden, their main character is replaced by a detective, and next by a computer.

Anyway, when Armand finally reappears at the IHES the story picks up pace.

The trio (Armand, his would-be-lover Charlotte, and Ali Ravi, Cern’s computer guru) convince CERN to sell its main computer to an American billionaire with the (fake) promise of developing a quantum computer. Incidentally, they somehow manage to do this using Charlotte’s history with that computer (for this, you have to read ‘Le Theatre Quantique’).

By their quantum-computing power (Shor and quantum-encryption pass the revue) they are able to decipher the Atacame spectrum (something to do with primes and zeroes of the zeta function), send coded messages using quantum entanglement, end up in the Oval Office and convince the president to send a message to the ‘Riemann sphere’ (another fun pun), and so on, and on.

The book ends with a twist of the classic tale of the mathematician willing to sell his soul to the devil for a (dis)proof of the Riemann hypothesis:

After spending some time in purgatory, the mathematician gets a meeting with God and asks her the question “Is the Riemann hypothesis true?”.

“Of course”, God says.

“But how can you know that all non-trivial zeroes of the zeta function have real part 1/2?”, Armand asks.

And God replies:

“Simple enough, I can see them all at once. But then, don’t forget I’m God. I can see the disappointment in your face, yes I can read in your heart that you are frustrated, that you desire an explanation…

Well, we’re going to fix this. I will call archangel Gabriel, the angel of geometry, he will make you a topos!”

If you feel like running to the nearest Kindle store to buy “Le spectre d’Atacama”, make sure to opt for a package deal. It is impossible to make heads or tails of the story without reading “Le theatre quantique” first.

But then, there are worse ways to spend an idle week than by binge reading Connes…

Edit (February 28th). A short video of Alain Connes explaining ‘Le spectre d’Atacama’ (in French)


The Langlands program and non-commutative geometry

The Bulletin of the AMS just made this paper by Julia Mueller available online: “On the genesis of Robert P. Langlands’ conjectures and his letter to Andre Weil” (hat tip +ChandanDalawat and +DavidRoberts on Google+).

It recounts the story of the early years of Langlands and the first years of his mathematical career (1960-1966)leading up to his letter to Andre Weil in which he outlines his conjectures, which would become known as the Langlands program.

Langlands letter to Weil is available from the IAS.

The Langlands program is a vast net of conjectures. For example, it conjectures that there is a correspondence between

– $n$-dimensional representations of the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$, and

– specific data coming from an adelic quotient-space $GL_n(\mathbb{A}_{\mathbb{Q}})/GL_n(\mathbb{Q})$.

For $n=1$ this is essentially class field theory with the correspondence given by Artin’s reciprocity law.

Here we have on the one hand the characters of the abelianised absolute Galois group

Gal(\overline{\mathbb{Q}}/\mathbb{Q})^{ab} \simeq Gal(\mathbb{Q}(\pmb{\mu}_{\infty})/\mathbb{Q}) \simeq \widehat{\mathbb{Z}}^{\ast} \]

and on the other hand the connected components of the idele class space

GL_1(\mathbb{A}_{\mathbb{Q}})/GL_1(\mathbb{Q}) = \mathbb{A}_{\mathbb{Q}}^{\ast} / \mathbb{Q}^{\ast} = \mathbb{R}_+^{\ast} \times \widehat{\mathbb{Z}}^{\ast} \]

For $n=2$ it involves the study of Galois representations coming from elliptic curves. A gentle introduction to the general case is Mark Kisin’s paper What is … a Galois representation?.

One way to look at some of the quantum statistical systems studied via non-commutative geometry is that they try to understand the “bad” boundary of the Langlands space $GL_n(\mathbb{A}_{\mathbb{Q}})/GL_n(\mathbb{Q})$.

Here, the Bost-Connes system corresponds to the $n=1$ case, the Connes-Marcolli system to the $n=2$ case.

If $\mathbb{A}’_{\mathbb{Q}}$ is the subset of all adeles having almost all of its terms in $\widehat{\mathbb{Z}}_p^{\ast}$, then there is a well-defined map

\pi~:~\mathbb{A}’_{\mathbb{Q}}/\mathbb{Q}^{\ast} \rightarrow \mathbb{R}_+ \qquad (x_{\infty},x_2,x_2,\dots) \mapsto | x_{\infty} | \prod_p | x_p |_p \]

The inverse image of $\pi$ over $\mathbb{R}_+^{\ast}$ are exactly the idele classes $\mathbb{A}_{\mathbb{Q}}^{\ast}/\mathbb{Q}^{\ast}$, so we can view them as the nice locus of the horrible complicated quotient of adele-classes $\mathbb{A}_{\mathbb{Q}}/\mathbb{Q}^*$. And we can view the adele-classes as a ‘closure’ of the idele classes.

But, the fiber $\pi^{-1}(0)$ has horrible topological properties because $\mathbb{Q}^*$ acts ergodically on it due to the fact that $log(p)/log(q)$ is irrational for distinct primes $p$ and $q$.

This is why it is better to view the adele-classes not as an ordinary space (one with bad topological properties), but rather as a ‘non-commutative’ space because it is controlled by a non-commutative algebra, the Bost-Connes algebra.

For $n=2$ there’s a similar story with a ‘bad’ quotient $M_2(\mathbb{A}_{\mathbb{Q}})/GL_2(\mathbb{Q})$, being the closure of an ‘open’ nice piece which is the Langlands quotient space $GL_2(\mathbb{A}_{\mathbb{Q}})/GL_2(\mathbb{Q})$.

Leave a Comment

A forgotten type and roots of unity (again)

The monstrous moonshine picture is the finite piece of Conway’s Big Picture needed to understand the 171 moonshine groups associated to conjugacy classes of the monster.

Last time I claimed that there were exactly 7 types of local behaviour, but I missed one. The forgotten type is centered at the number lattice $84$.

Locally around it the moonshine picture looks like this
\xymatrix{42 \ar@{-}[dr] & 28 \frac{1}{3} \ar@[red]@{-}[d] & 41 \frac{1}{2} \ar@{-}[ld] \\ 28 \ar@[red]@{-}[r] & \color{grey}{84} \ar@[red]@{-}[r] \ar@[red]@{-}[d] \ar@{-}[rd] & 28 \frac{2}{3} \\ & 252 & 168} \]

and it involves all square roots of unity ($42$, $42 \frac{1}{2}$ and $168$) and $3$-rd roots of unity ($28$, $28 \frac{1}{3}$, $28 \frac{2}{3}$ and $252$) centered at $84$.

No, I’m not hallucinating, there are indeed $3$ square roots of unity and $4$ third roots of unity as they come in two families, depending on which of the two canonical forms to express a lattice is chosen.

In the ‘normal’ expression $M \frac{g}{h}$ the two square roots are $42$ and $42 \frac{1}{2}$ and the three third roots are $28, 28 \frac{1}{3}$ and $28 \frac{2}{3}$. But in the ‘other’ expression
M \frac{g}{h} = (\frac{g’}{h},\frac{1}{h^2M}) \]
(with $g.g’ \equiv 1~mod~h$) the families of $2$-nd and $3$-rd roots of unity are
\{ 42 \frac{1}{2} = (\frac{1}{2},\frac{1}{168}), 168 = (0,\frac{1}{168}) \} \]
\{ 28 \frac{1}{3} = (\frac{1}{3},\frac{1}{252}), 28 \frac{2}{3} = (\frac{2}{3},\frac{1}{252}), 252 = (0 , \frac{1}{252}) \} \]
As in the tetrahedral snake post, it is best to view the four $3$-rd roots of unity centered at $84$ as the vertices of a tetrahedron with center of gravity at $84$. Power maps in the first family correspond to rotations along the axis through $252$ and power maps in the second family are rotations along the axis through $28$.

In the ‘normal’ expression of lattices there’s then a total of 8 different local types, but two of them consist of just one number lattice: in $8$ the local picture contains all square, $4$-th and $8$-th roots of unity centered at $8$, and in $84$ the square and $3$-rd roots.

Perhaps surprisingly, if we redo everything in the ‘other’ expression (and use the other families of roots of unity), then the moonshine picture has only 7 types of local behaviour. The forgotten type $84$ appears to split into two occurrences of other types (one with only square roots of unity, and one with only $3$-rd roots).

I wonder what all this has to do with the action of the Bost-Connes algebra on the big picture or with Plazas’ approach to moonshine via non-commutative geometry.

Leave a Comment

Roots of unity and the Big Picture

All lattices in the moonshine picture are number-like, that is of the form $M \frac{g}{h}$ with $M$ a positive integer and $0 \leq g < h$ with $(g,h)=1$. To understand the action of the Bost-Connes algebra on the Big Picture it is sometimes better to view the lattice $M \frac{g}{h}$ as a primitive $h$-th root of unity, centered at $hM$.

The distance from $M$ to any of the lattices $M \frac{g}{h}$ is equal to $2 log(h)$, and the distances from $M$ and $M \frac{g}{h}$ to $hM$ are all equal to $log(h)$.

For a prime value $h$, these $h$ lattices are among the $h+1$ lattices branching off at $hM$ in the $h$-adic tree (the remaining one being $h^2M$).

For general $h$ the situation is more complex. Here’s the picture for $h=6$ with edges in the $2$-adic tree painted blue, those in the $3$-adic tree red.

\xymatrix{& & M \frac{1}{2} \ar@[blue]@{-}[d] & \\
& M \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & 2M \ar@[red]@{-}[d] & M \frac{1}{6} \ar@[red]@{-}[d] \\
M \frac{1}{3} \ar@[red]@{-}[r] & 3M \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & \boxed{6 M} \ar@[blue]@{-}[r] & 3M \frac{1}{2} \ar@[red]@{-}[d] \\ & M \frac{2}{3} & & M \frac{5}{6}} \]

To describe the moonshine group $(n|h)+e,f,\dots$ (an example was worked out in the tetrahedral snake post), we need to study the action of base-change with the matrix
x = \begin{bmatrix} 1 & \frac{1}{h} \\ 0 & 1 \end{bmatrix} \]
which sends a lattice of the form $M \frac{g}{h}$ with $0 \leq g < h$ to $M \frac{g+M}{h}$, so is a rotation over $\frac{2 \pi M}{h}$ around $h M$. But, we also have to describe the base-change action with the matrix \[ y = \begin{bmatrix} 1 & 0 \\ n & 1 \end{bmatrix} \] and for this we better use the second description of the lattice as $M \frac{g}{h}=(\frac{g'}{h},\frac{1}{h^2M})$ with $g'$ the multiplicative inverse of $g$ modulo $h$. Under the action by $y$, the second factor $\frac{1}{h^2M}$ will be fixed, so this time we have to look at all lattices of the form $(\frac{g}{h},\frac{1}{h^2M})$ with $0 \leq g < h$, which again can be considered as another set of $h$-th roots of unity, centered at $hM$. Here's this second interpretation for $h=6$: \[ \xymatrix{M \frac{5}{6} \ar@[red]@{-}[d] & & 4M \frac{1}{3} \ar@[red]@{-}[d] & \\ 3M \frac{1}{2} \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & \boxed{6M} \ar@[blue]@{-}[r] \ar@[red]@{-}[d] & 12 M \ar@[red]@{-}[r] \ar@[red]@{-}[d] & 4 M \frac{2}{3} \\ M \frac{1}{6} & 18 M \ar@[blue]@{-}[r] \ar@[blue]@{-}[d] & 36 M & \\ & 9M \frac{1}{2} & & } \] Under $x$ the first set of $h$-th roots of unity centered at $hM$ is permuted, whereas $y$ permutes the second set of $h$-th roots of unity.
These interpretations can be used to spot errors in computing the finite groups $\Gamma_0(n|h)/\Gamma_0(n.h)$.

Here’s part of the calculation of the action of $y$ on the $(360|1)$-snake (which consists of $60$-lattices).

First I got a group of order roughly $600.000$. After correcting some erroneous cycles, the order went down to 6912.

Finally I spotted that I mis-numbered two lattices in the description of $x$ and $y$, and the order went down to $48$ as it should, because I knew it had to be equal to $C_2 \times C_2 \times A_4$.

Leave a Comment

nc-geometry and moonshine?

A well-known link between Conway’s Big Picture and non-commutative geometry is given by the Bost-Connes system.

This quantum statistical mechanical system encodes the arithmetic properties of cyclotomic extensions of $\mathbb{Q}$.

The corresponding Bost-Connes algebra encodes the action by the power-maps on the roots of unity.

It has generators $e_n$ and $e_n^*$ for every natural number $n$ and additional generators $e(\frac{g}{h})$ for every element in the additive group $\mathbb{Q}/\mathbb{Z}$ (which is of course isomorphic to the multiplicative group of roots of unity).

The defining equations are
e_n.e(\frac{g}{h}).e_n^* = \rho_n(e(\frac{g}{h})) \\
e_n^*.e(\frac{g}{h}) = \Psi^n(e(\frac{g}{h}).e_n^* \\
e(\frac{g}{h}).e_n = e_n.\Psi^n(e(\frac{g}{h})) \\
e_n.e_m=e_{nm} \\
e_n^*.e_m^* = e_{nm}^* \\
e_n.e_m^* = e_m^*.e_n~\quad~\text{if $(m,n)=1$}

Here $\Psi^n$ are the power-maps, that is $\Psi^n(e(\frac{g}{h})) = e(\frac{ng}{h}~mod~1)$, and the maps $\rho_n$ are given by
\rho_n(e(\frac{g}{h})) = \sum e(\frac{i}{j}) \]
where the sum is taken over all $\frac{i}{j} \in \mathbb{Q}/\mathbb{Z}$ such that $n.\frac{i}{j}=\frac{g}{h}$.

Conway’s Big Picture has as its vertices the (equivalence classes of) lattices $M,\frac{g}{h}$ with $M \in \mathbb{Q}_+$ and $\frac{g}{h} \in \mathbb{Q}/\mathbb{Z}$.

The Bost-Connes algebra acts on the vector-space with basis the vertices of the Big Picture. The action is given by:
e_n \ast \frac{c}{d},\frac{g}{h} = \frac{nc}{d},\rho^m(\frac{g}{h})~\quad~\text{with $m=(n,d)$} \\
e_n^* \ast \frac{c}{d},\frac{g}{h} = (n,c) \times \frac{c}{nd},\Psi^{\frac{n}{m}}(\frac{g}{h})~\quad~\text{with $m=(n,c)$} \\
e(\frac{a}{b}) \ast \frac{c}{d},\frac{g}{h} = \frac{c}{d},\Psi^c(\frac{a}{b}) \frac{g}{h}

This connection makes one wonder whether non-commutative geometry can shed a new light on monstrous moonshine?

This question is taken up by Jorge Plazas in his paper Non-commutative geometry of groups like $\Gamma_0(N)$

Plazas shows that the bigger Connes-Marcolli $GL_2$-system also acts on the Big Picture. An intriguing quote:

“Our interest in the $GL_2$-system comes from the fact that its thermodynamic properties encode the arithmetic theory of modular functions to an extend which makes it possible for us to capture aspects of moonshine theory.”

Looks like the right kind of paper to take along when I disappear next week for some time in the French mountains…

Leave a Comment

Two lecture series on absolute geometry

Absolute geometry is the attempt to develop algebraic geometry over the elusive field with one element $\mathbb{F}_1$. The idea being that the set of all prime numbers is just too large for $\mathbf{Spec}(\mathbb{Z})$ to be a terminal object (as it is in the category of schemes).

So, one wants to view $\mathbf{Spec}(\mathbb{Z})$ as a geometric object over something ‘deeper’, the “absolute point” $\mathbf{Spec}(\mathbb{F}_1)$.

Starting with the paper by Bertrand Toen and Michel Vaquie, Under $\mathbf{Spec}(\mathbb{Z})$, topos theory entered this topic.

First there was the proposal by Jim Borger to view $\lambda$-rings as $\mathbb{F}_1$-algebras. More recently, Alain Connes and Katia Consani introduced the arithmetic site.

Now, there are lectures series on these two approaches, one by Yuri I. Manin, the other by Alain Connes.


Yuri I. Manin in Ghent

On Tuesday, February 3rd, Yuri I. Manin will give the inaugural lectures of the new $\mathbb{F}_1$-seminars at Ghent University, organised by Koen Thas.

Coffee will be served from 13.00 till 14.00 at the Department of Mathematics, Ghent University, Krijgslaan 281, Building S22 and from 14.00 till 16.30 there will be lectures in the Emmy Noether lecture room, Building S25:

14:00 – 14:25: Introduction (by K. Thas)
14:30 – 15:20: Lecture 1 (by Yu. I. Manin)
15:30 – 16:20: Lecture 2 (by Yu. I. Manin)

Recent work of Manin related to $\mathbb{F}_1$ includes:

Local zeta factors and geometries under $\mathbf{Spec}(\mathbb{Z})$

Numbers as functions

Alain Connes on the Arithmetic Site

Until the beginning of march, Alain Connes will lecture every thursday afternoon from 14.00 till 17.30, in Salle 5 – Marcelin Berthelot at he College de France on The Arithmetic Site (hat tip Isar Stubbe).

Here’s a two minute excerpt, from a longer interview with Connes, on the arithmetic site, together with an attempt to provide subtitles:



And,in this example, we saw the wonderful notion of a topos, developed by Grothendieck.

It was sufficient for me to open SGA4, a book written at the beginning of the 60ties or the late fifties.

It was sufficient for me to open SGA4 to see that all the things that I needed were there, say, how to construct a cohomology on this site, how to develop things, how to see that the category of sheaves of Abelian groups is an Abelian category, having sufficient injective objects, and so on … all those things were there.

This is really remarkable, because what does it mean?

It means that the average mathematician says: “topos = a generalised topological space and I will never need to use such things. Well, there is the etale cohomology and I can use it to make sense of simply connected spaces and, bon, there’s the chrystaline cohomology, which is already a bit more complicated, but I will never need it, so I can safely ignore it.”

And (s)he puts the notion of a topos in a certain category of things which are generalisations of things, developed only to be generalisations…

But in fact, reality is completely different!

In our work with Katia Consani we saw not only that there is this epicyclic topos, but in fact, this epicyclic topos lies over a site, which we call the arithmetic site, which itself is of a delirious simplicity.

It relies only on the natural numbers, viewed multiplicatively.

That is, one takes a small category consisting of just one object, having this monoid as its endomorphisms, and one considers the corresponding topos.

This appears well … infantile, but nevertheless, this object conceils many wonderful things.

And we would have never discovered those things, if we hadn’t had the general notion of what a topos is, of what a point of a topos is, in terms of flat functors, etc. etc.



I will try to report here on Manin’s lectures in Ghent. If someone is able to attend Connes’ lectures in Paris, I’d love to receive updates!

Leave a Comment

Art and the absolute point (3)

Previously, we have recalled comparisons between approaches to define a geometry over the absolute point and art-historical movements, first those due to Yuri I. Manin, subsequently some extra ones due to Javier Lopez Pena and Oliver Lorscheid.

In these comparisons, the art trend appears to have been chosen more to illustrate a key feature of the approach or an appreciation of its importance, rather than giving a visual illustration of the varieties over $\mathbb{F}_1$ the approach proposes.

Some time ago, we’ve had a couple of posts trying to depict noncommutative varieties, first the illustrations used by Shahn Majid and Matilde Marcolli, and next my own mental picture of it.

In this post, we’ll try to do something similar for affine varieties over the absolute point. To simplify things drastically, I’ll divide the islands in the Lopez Pena-Lorscheid map of $\mathbb{F}_1$ land in two subsets : the former approaches (all but the $\Lambda$-schemes) and the current approach (the $\Lambda$-scheme approach due to James Borger).

The former approaches : Francis Bacon “The Pope” (1953)

The general consensus here was that in going from $\mathbb{Z}$ to $\mathbb{F}_1$ one looses the additive structure and retains only the multiplicative one. Hence, ‘commutative algebras’ over $\mathbb{F}_1$ are (commutative) monoids, and mimicking Grothendieck’s functor of points approach to algebraic geometry, a scheme over $\mathbb{F}_1$ would then correspond to a functor

$h_Z~:~\mathbf{monoids} \longrightarrow \mathbf{sets}$

Such functors are described largely by combinatorial data (see for example the recent blueprint-paper by Oliver Lorscheid), and, if the story would stop here, any Rothko painting could be used as illustration.

Most of the former approaches add something though (buzzwords include ‘Arakelov’, ‘completion at $\infty$’, ‘real place’ etc.) in order to connect the virtual geometric object over $\mathbb{F}_1$ with existing real, complex or integral schemes. For example, one can make the virtual object visible via an evaluation map $h_Z \rightarrow h_X$ which is a natural transformation, where $X$ is a complex variety with its usual functor of points $h_X$ and to connect both we associate to a monoid $M$ its complex monoid-algebra $\mathbb{C} M$. An integral scheme $Y$ can then be said to be ‘defined over $\mathbb{F}_1$’, if $h_Z$ becomes a subfunctor of its usual functor of points $h_Y$ (again, assigning to a monoid its integral monoid algebra $\mathbb{Z} M$) and $Y$ is the ‘best’ integral scheme approximation of the complex evaluation map.

To illustrate this, consider the painting Study after Velázquez’s Portrait of Pope Innocent X by Francis Bacon (right-hand painting above) which is a distorded version of the left-hand painting Portrait of Innocent X by Diego Velázquez.

Here, Velázquez’ painting plays the role of the complex variety which makes the combinatorial gadget $h_Z$ visible, and, Bacon’s painting depicts the integral scheme, build up from this combinatorial data, which approximates the evaluation map best.

All of the former approaches more or less give the same very small list of integral schemes defined over $\mathbb{F}_1$, none of them motivically interesting.

The current approach : Jackson Pollock “No. 8” (1949)

An entirely different approach was proposed by James Borger in $\Lambda$-rings and the field with one element. He proposes another definition for commutative $\mathbb{F}_1$-algebras, namely $\lambda$-rings (in the sense of Grothendieck’s Riemann-Roch) and he argues that the $\lambda$-ring structure (which amounts in the sensible cases to a family of endomorphisms of the integral ring lifting the Frobenius morphisms) can be viewed as descent data from $\mathbb{Z}$ to $\mathbb{F}_1$.

The list of integral schemes of finite type with a $\lambda$-structure coincides roughly with the list of integral schemes defined over $\mathbb{F}_1$ in the other approaches, but Borger’s theory really shines in that it proposes long sought for mystery-objects such as $\mathbf{spec}(\mathbb{Z}) \times_{\mathbf{spec}(\mathbb{F}_1)} \mathbf{spec}(\mathbb{Z})$. If one accepts Borger’s premise, then this object should be the geometric object corresponding to the Witt-ring $W(\mathbb{Z})$. Recall that the role of Witt-rings in $\mathbb{F}_1$-geometry was anticipated by Manin in Cyclotomy and analytic geometry over $\mathbb{F}_1$.

But, Witt-rings and their associated Witt-spaces are huge objects, so one needs to extend arithmetic geometry drastically to include such ‘integral schemes of infinite type’. Borger has made a couple of steps in this direction in The basic geometry of Witt vectors, II: Spaces.

To depict these new infinite dimensional geometric objects I’ve chosen for Jackson Pollock‘s painting No. 8. It is no coincidence that Pollock-paintings also appeared in the depiction of noncommutative spaces. In fact, Matilde Marcolli has made the connection between $\lambda$-rings and noncommutative geometry in Cyclotomy and endomotives by showing that the Bost-Connes endomotives are universal for $\lambda$-rings.

One Comment

Penrose tilings and noncommutative geometry

Penrose tilings are aperiodic tilings of the plane, made from 2 sort of tiles : kites and darts. It is well known (see for example the standard textbook tilings and patterns section 10.5) that one can describe a Penrose tiling around a given point in the plane as an infinite sequence of 0’s and 1’s, subject to the condition that no two consecutive 1’s appear in the sequence. Conversely, any such sequence is the sequence of a Penrose tiling together with a point. Moreover, if two such sequences are eventually the same (that is, they only differ in the first so many terms) then these sequences belong to two points in the same tiling,

Another remarkable feature of Penrose tilings is their local isomorphism : fix a finite region around a point in one tiling, then in any other Penrose tiling one can find a point having an isomorphic region around it. For this reason, the space of all Penrose tilings has horrible topological properties (all points lie in each others closure) and is therefore a prime test-example for the techniques of noncommutative geometry.

In his old testament, Noncommutative Geometry, Alain Connes associates to this space a $C^*$-algebra $Fib$ (because it is constructed from the Fibonacci series $F_0,F_1,F_2,…$) which is the direct limit of sums of two full matrix-algebras $S_n$, with connecting morphisms

$S_n = M_{F_n}(\mathbb{C}) \oplus M_{F_{n-1}}(\mathbb{C}) \rightarrow S_{n+1} = M_{F_{n+1}}(\mathbb{C}) \oplus M_{F_n}(\mathbb{C}) \qquad (a,b) \mapsto ( \begin{matrix} a & 0 \\ 0 & b \end{matrix}, a)$

As such $Fib$ is an AF-algebra (for approximately finite) and hence formally smooth. That is, $Fib$ would be the coordinate ring of a smooth variety in the noncommutative sense, if only $Fib$ were finitely generated. However, $Fib$ is far from finitely generated and has other undesirable properties (at least for a noncommutative algebraic geometer) such as being simple and hence in particular $Fib$ has no finite dimensional representations…

A couple of weeks ago, Paul Smith discovered a surprising connection between the noncommutative space of Penrose tilings and an affine algebra in the paper The space of Penrose tilings and the non-commutative curve with homogeneous coordinate ring $\mathbb{C} \langle x,y \rangle/(y^2)$.

Giving $x$ and $y$ degree 1, the algebra $P = \mathbb{C} \langle x,y \rangle/(y^2)$ is obviously graded and noncommutative projective algebraic geometers like to associate to such algebras their ‘proj’ which is the quotient category of the category of all graded modules in which two objects become isomorphisc iff their ‘tails’ (that is forgetting the first few homogeneous components) are isomorphic.

The first type of objects NAGers try to describe are the point modules, which correspond to graded modules in which every homogeneous component is 1-dimensional, that is, they are of the form

$\mathbb{C} e_0 \oplus \mathbb{C} e_1 \oplus \mathbb{C} e_2 \oplus \cdots \oplus \mathbb{C} e_n \oplus \mathbb{C} e_{n+1} \oplus \cdots$

with $e_i$ an element of degree $i$. The reason for this is that point-modules correspond to the points of the (usual, commutative) projective variety when the affine graded algebra is commutative.

Now, assume that a Penrose tiling has been given by a sequence of 0’s and 1’s, say $(z_0,z_1,z_2,\cdots)$, then it is easy to associate to it a graded vectorspace with action given by

$x.e_i = e_{i+1}$ and $y.e_i = z_i e_{i+1}$

Because the sequence has no two consecutive ones, it is clear that this defines a graded module for the algebra $P$ and determines a point module in $\pmb{proj}(P)$. By the equivalence relation on Penrose sequences and the tails-equivalence on graded modules it follows that two sequences define the same Penrose tiling if and only if they determine the same point module in $\pmb{proj}(P)$. Phrased differently, the noncommutative space of Penrose tilings embeds in $\pmb{proj}(P)$ as a subset of the point-modules for $P$.

The only such point-module invariant under the shift-functor is the one corresponding to the 0-sequence, that is, corresponds to the cartwheel tiling

Another nice consequence is that we can now explain the local isomorphism property of Penrose tilings geometrically as a consequence of the fact that the $Ext^1$ between any two such point-modules is non-zero, that is, these noncommutative points lie ‘infinitely close’ to each other.

This is the easy part of Paul’s paper.

The truly, truly amazing part is that he is able to recover Connes’ AF-algebra $Fib$ from $\pmb{proj}(P)$ as the algebra of global sections! More precisely, he proves that there is an equivalence of categories between $\pmb{proj}(P)$ and the category of all $Fib$-modules $\pmb{mod}(Fib)$!

In other words, the noncommutative projective scheme $\pmb{proj}(P)$ is actually isomorphic to an affine scheme and as its coordinate ring is formally smooth $\pmb{proj}(P)$ is a noncommutative smooth variety. It would be interesting to construct more such examples of interesting AF-algebras appearing as local rings of sections of proj-es of affine graded algebras.


Art and the absolute point (2)

Last time we did recall Manin’s comparisons between some approaches to geometry over the absolute point $\pmb{spec}(\mathbb{F}_1)$ and trends in the history of art.

In the comments to that post, Javier Lopez-Pena wrote that he and Oliver Lorscheid briefly contemplated the idea of extending Manin’s artsy-dictionary to all approaches they did draw on their Map of $\mathbb{F}_1$-land.

So this time, we will include here Javier’s and Oliver’s insights on the colored pieces below in their map : CC=Connes-Consani, Generalized torified schemes=Lopez Pena-Lorscheid, Generalized schemes with 0=Durov and, this time, $\Lambda$=Manin-Marcolli.

Durov : romanticism

In his 568 page long Ph.D. thesis New Approach to Arakelov Geometry Nikolai Durov introduces a vast generalization of classical algebraic geometry in which both Arakelov geometry and a more exotic geometry over $\mathbb{F}_1$ fit naturally. Because there were great hopes and expectations it would lead to a big extension of algebraic geometry, Javier and Oliver associate this approach to romantism. From wikipedia : “The modern sense of a romantic character may be expressed in Byronic ideals of a gifted, perhaps misunderstood loner, creatively following the dictates of his inspiration rather than the standard ways of contemporary society.”

Manin and Marcolli : impressionism

Yuri I. Manin in Cyclotomy and analytic geometry over $\mathbb{F}_1$ and Matilde Marcolli in Cyclotomy and endomotives develop a theory of analytic geometry over $\mathbb{F}_1$ based on analytic functions ‘leaking out of roots of unity’. Javier and Oliver depict such functions as ‘thin, but visible brush strokes at roots of 1’ and therefore associate this approach to impressionism. Frow wikipedia : ‘Characteristics of Impressionist paintings include: relatively small, thin, yet visible brush strokes; open composition; emphasis on accurate depiction of light in its changing qualities (often accentuating the effects of the passage of time); common, ordinary subject matter; the inclusion of movement as a crucial element of human perception and experience; and unusual visual angles.’

Connes and Consani : cubism

In On the notion of geometry over $\mathbb{F}_1$ Alain Connes and Katia Consani develop their extension of Soule’s approach. A while ago I’ve done a couple of posts on this here, here and here. Javier and Oliver associate this approach to cubism (a.o. Pablo Picasso and Georges Braque) because of the weird juxtapositions of the simple monoidal pieces in this approach.

Lopez-Pena and Lorscheid : deconstructivism

Torified varieties and schemes were introduced by Javier Lopez-Pena and Oliver Lorscheid in Torified varieties and their geometries over $\mathbb{F}_1$ to get lots of examples of varieties over the absolute point in the sense of both Soule and Connes-Consani. Because they were fragmenting schemes into their “fundamental pieces” they associate their approach to deconstructivism.

Another time I’ll sketch my own arty-farty take on all this.

Leave a Comment