# Tag: Manin

A Belyi-extender (or dessinflateur) $\beta$ of degree $d$ is a quotient of two polynomials with rational coefficients
$\beta(t) = \frac{f(t)}{g(t)}$
with the special properties that for each complex number $c$ the polynomial equation of degree $d$ in $t$
$f(t)-c g(t)=0$
has $d$ distinct solutions, except perhaps for $c=0$ or $c=1$, and, in addition, we have that
$\beta(0),\beta(1),\beta(\infty) \in \{ 0,1,\infty \}$

Let’s take for instance the power maps $\beta_n(t)=t^n$.

For every $c$ the degree $n$ polynomial $t^n – c = 0$ has exactly $n$ distinct solutions, except for $c=0$, when there is just one. And, clearly we have that $0^n=0$, $1^n=1$ and $\infty^n=\infty$. So, $\beta_n$ is a Belyi-extender of degree $n$.

A cute observation being that if $\beta$ is a Belyi-extender of degree $d$, and $\beta’$ is an extender of degree $d’$, then $\beta \circ \beta’$ is again a Belyi-extender, this time of degree $d.d’$.

That is, Belyi-extenders form a monoid under composition!

In our example, $\beta_n \circ \beta_m = \beta_{n.m}$. So, the power-maps are a sub-monoid of the Belyi-extenders, isomorphic to the multiplicative monoid $\mathbb{N}_{\times}$ of strictly positive natural numbers.

In their paper Quantum statistical mechanics of the absolute Galois group, Yuri I. Manin and Matilde Marcolli say they use the full monoid of Belyi-extenders to act on all Grothendieck’s dessins d’enfant.

But, they attach properties to these Belyi-extenders which they don’t have, in general. That’s fine, as they foresee in Remark 2.21 of their paper that the construction works equally well for any suitable sub-monoid, as long as this sub-monoid contains all power-map exenders.

I’m trying to figure out what the maximal mystery sub-monoid of extenders is satisfying all the properties they need for their proofs.

But first, let us see what Belyi-extenders have to do with dessins d’enfant.

In his user-friendlier period, Grothendieck told us how to draw a picture, which he called a dessin d’enfant, of an extender $\beta(t) = \frac{f(t)}{g(t)}$ of degree $d$:

Look at all complex solutions of $f(t)=0$ and label them with a black dot (and add a black dot at $\infty$ if $\beta(\infty)=0$). Now, look at all complex solutions of $f(t)-g(t)=0$ and label them with a white dot (and add a white dot at $\infty$ if $\beta(\infty)=1$).

Now comes the fun part.

Because $\beta$ has exactly $d$ pre-images for all real numbers $\lambda$ in the open interval $(0,1)$ (and $\beta$ is continuous), we can connect the black dots with the white dots by $d$ edges (the pre-images of the open interval $(0,1)$), giving us a $2$-coloured graph.

For the power-maps $\beta_n(t)=t^n$, we have just one black dot at $0$ (being the only solution of $t^n=0$), and $n$ white dots at the $n$-th roots of unity (the solutions of $x^n-1=0$). Any $\lambda \in (0,1)$ has as its $n$ pre-images the numbers $\zeta_i.\sqrt[n]{\lambda}$ with $\zeta_i$ an $n$-th root of unity, so we get here as picture an $n$-star. Here for $n=5$:

This dessin should be viewed on the 2-sphere, with the antipodal point of $0$ being $\infty$, so projecting from $\infty$ gives a homeomorphism between the 2-sphere and $\mathbb{C} \cup \{ \infty \}$.

To get all information of the dessin (including possible dots at infinity) it is best to slice the sphere open along the real segments $(\infty,0)$ and $(1,\infty)$ and flatten it to form a ‘diamond’ with the upper triangle corresponding to the closed upper semisphere and the lower triangle to the open lower semisphere.

In the picture above, the right hand side is the dessin drawn in the diamond, and this representation will be important when we come to the action of extenders on more general Grothendieck dessins d’enfant.

Okay, let’s try to get some information about the monoid $\mathcal{E}$ of all Belyi-extenders.

What are its invertible elements?

Well, we’ve seen that the degree of a composition of two extenders is the product of their degrees, so invertible elements must have degree $1$, so are automorphisms of $\mathbb{P}^1_{\mathbb{C}} – \{ 0,1,\infty \} = S^2-\{ 0,1,\infty \}$ permuting the set $\{ 0,1,\infty \}$.

They form the symmetric group $S_3$ on $3$-letters and correspond to the Belyi-extenders
$t,~1-t,~\frac{1}{t},~\frac{1}{1-t},~\frac{t-1}{t},~\frac{t}{t-1}$
You can compose these units with an extender to get anther extender of the same degree where the roles of $0,1$ and $\infty$ are changed.

For example, if you want to colour all your white dots black and the black dots white, you compose with the unit $1-t$.

Manin and Marcolli use this and claim that you can transform any extender $\eta$ to an extender $\gamma$ by composing with a unit, such that $\gamma(0)=0, \gamma(1)=1$ and $\gamma(\infty)=\infty$.

That’s fine as long as your original extender $\eta$ maps $\{ 0,1,\infty \}$ onto $\{ 0,1,\infty \}$, but usually a Belyi-extender only maps into $\{ 0,1,\infty \}$.

Here are some extenders of degree three (taken from Melanie Wood’s paper Belyi-extending maps and the Galois action on dessins d’enfants):

with dessin $5$ corresponding to the Belyi-extender
$\beta(t) = \frac{t^2(t-1)}{(t-\frac{4}{3})^3}$
with $\beta(0)=0=\beta(1)$ and $\beta(\infty) = 1$.

So, a first property of the mystery Manin-Marcolli monoid $\mathcal{E}_{MMM}$ must surely be that all its elements $\gamma(t)$ map $\{ 0,1,\infty \}$ onto $\{ 0,1,\infty \}$, for they use this property a number of times, for instance to construct a monoid map
$\mathcal{E}_{MMM} \rightarrow M_2(\mathbb{Z})^+ \qquad \gamma \mapsto \begin{bmatrix} d & m-1 \\ 0 & 1 \end{bmatrix}$
where $d$ is the degree of $\gamma$ and $m$ is the number of black dots in the dessin (or white dots for that matter).

Further, they seem to believe that the dessin of any Belyi-extender must be a 2-coloured tree.

Already last time we’ve encountered a Belyi-extender $\zeta(t) = \frac{27 t^2(t-1)^2}{4(t^2-t+1)^3}$ with dessin

But then, you may argue, this extender sends all of $0,1$ and $\infty$ to $0$, so it cannot belong to $\mathcal{E}_{MMM}$.

Here’s a trick to construct Belyi-extenders from Belyi-maps $\beta : \mathbb{P}^1 \rightarrow \mathbb{P}^1$, defined over $\mathbb{Q}$ and having the property that there are rational points in the fibers over $0,1$ and $\infty$.

Let’s take an example, the ‘monstrous dessin’ corresponding to the congruence subgroup $\Gamma_0(2)$

with map $\beta(t) = \frac{(t+256)^3}{1728 t^2}$.

As it stands, $\beta$ is not a Belyi-extender because it does not map $1$ into $\{ 0,1,\infty \}$. But we have that
$-256 \in \beta^{-1}(0),~\infty \in \beta^{-1}(\infty),~\text{and}~512,-64 \in \beta^{-1}(1)$
(the last one follows from $(t+256)^2-1728 t^3=(t-512)^2(t+64)$).

We can now pre-compose $\beta$ with the automorphism (defined over $\mathbb{Q}$) sending $0$ to $-256$, $1$ to $-64$ and fixing $\infty$ to get a Belyi-extender
$\gamma(t) = \frac{(192t)^3}{1728(192t-256)^2}$
which maps $\gamma(0)=0,~\gamma(1)=1$ and $\gamma(\infty)=\infty$ (so belongs to $\mathcal{E}_{MMM}$) with the same dessin, which is not a tree,

That is, $\mathcal{E}_{MMM}$ can at best consist only of those Belyi-extenders $\gamma(t)$ that map $\{ 0,1,\infty \}$ onto $\{ 0,1,\infty \}$ and such that their dessin is a tree.

Let me stop, for now, by asking for a reference (or counterexample) to perhaps the most startling claim in the Manin-Marcolli paper, namely that any 2-coloured tree can be realised as the dessin of a Belyi-extender!

I’m trying to get into the latest Manin-Marcolli paper Quantum Statistical Mechanics of the Absolute Galois Group on how to create from Grothendieck’s dessins d’enfant a quantum system, generalising the Bost-Connes system to the non-Abelian part of the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$.

In doing so they want to extend the action of the multiplicative monoid $\mathbb{N}_{\times}$ by power maps on the roots of unity to the action of a larger monoid on all dessins d’enfants.

Here they use an idea, originally due to Jordan Ellenberg, worked out by Melanie Wood in her paper Belyi-extending maps and the Galois action on dessins d’enfants.

To grasp this, it’s best to remember what dessins have to do with Belyi maps, which are maps defined over $\overline{\mathbb{Q}}$
$\pi : \Sigma \rightarrow \mathbb{P}^1$
from a Riemann surface $\Sigma$ to the complex projective line (aka the 2-sphere), ramified only in $0,1$ and $\infty$. The dessin determining $\pi$ is the 2-coloured graph on the surface $\Sigma$ with as black vertices the pre-images of $0$, white vertices the pre-images of $1$ and these vertices are joined by the lifts of the closed interval $[0,1]$, so the number of edges is equal to the degree $d$ of the map.

Wood considers a very special subclass of these maps, which she calls Belyi-extender maps, of the form
$\gamma : \mathbb{P}^1 \rightarrow \mathbb{P}^1$
defined over $\mathbb{Q}$ with the additional property that $\gamma$ maps $\{ 0,1,\infty \}$ into $\{ 0,1,\infty \}$.

The upshot being that post-compositions of Belyi’s with Belyi-extenders $\gamma \circ \pi$ are again Belyi maps, and if two Belyi’s $\pi$ and $\pi’$ lie in the same Galois orbit, then so must all $\gamma \circ \pi$ and $\gamma \circ \pi’$.

The crucial Ellenberg-Wood idea is then to construct “new Galois invariants” of dessins by checking existing and easily computable Galois invariants on the dessins of the Belyi’s $\gamma \circ \pi$.

For this we need to know how to draw the dessin of $\gamma \circ \pi$ on $\Sigma$ if we know the dessins of $\pi$ and of the Belyi-extender $\gamma$. Here’s the procedure

Here, the middle dessin is that of the Belyi-extender $\gamma$ (which in this case is the power map $t \rightarrow t^4$) and the upper graph is the unmarked dessin of $\pi$.

One has to replace each of the black-white edges in the dessin of $\pi$ by the dessin of the expander $\gamma$, but one must be very careful in respecting the orientations on the two dessins. In the upper picture just one edge is replaced and one has to do this for all edges in a compatible manner.

Thus, a Belyi-expander $\gamma$ inflates the dessin $\pi$ with factor the degree of $\gamma$. For this reason i prefer to call them dessinflateurs, a contraction of dessin+inflator.

In her paper, Melanie Wood says she can separate dessins for which all known Galois invariants were the same, such as these two dessins,

by inflating them with a suitable Belyi-extender and computing the monodromy group of the inflated dessin.

This monodromy group is the permutation group generated by two elements, the first one gives the permutation on the edges given by walking counter-clockwise around all black vertices, the second by walking around all white vertices.

For example, by labelling the edges of $\Delta$, its monodromy is generated by the permutations $(2,3,5,4)(1,6)(8,10,9)$ and $(1,3,2)(4,7,5,8)(9,10)$ and GAP tells us that the order of this group is $1814400$. For $\Omega$ the generating permutations are $(1,2)(3,6,4,7)(8,9,10)$ and $(1,2,4,3)(5,6)(7,9,8)$, giving an isomorphic group.

Let’s inflate these dessins using the Belyi-extender $\gamma(t) = -\frac{27}{4}(t^3-t^2)$ with corresponding dessin

It took me a couple of attempts before I got the inflated dessins correct (as i knew from Wood that this simple extender would not separate the dessins). Inflated $\Omega$ on top:

Both dessins give a monodromy group of order $35838544379904000000$.

Now we’re ready to do serious work.

Melanie Wood uses in her paper the extender $\zeta(t)=\frac{27 t^2(t-1)^2}{4(t^2-t+1)^3}$ with associated dessin

and says she can now separate the inflated dessins by the order of their monodromy groups. She gets for the inflated $\Delta$ the order $19752284160000$ and for inflated $\Omega$ the order $214066877211724763979841536000000000000$.

It’s very easy to make mistakes in these computations, so probably I did something horribly wrong but I get for both $\Delta$ and $\Omega$ that the order of the monodromy group of the inflated dessin is $214066877211724763979841536000000000000$.

I’d be very happy when someone would be able to spot the error!

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:

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:

——————————————————

(50.36)

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.

(52.27)

——————————————————-

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!

Almost three decades ago, Yuri Manin submitted the paper “New dimensions in geometry” to the 25th Arbeitstagung, Bonn 1984. It is published in its proceedings, Springer Lecture Notes in Mathematics 1111, 59-101 and there’s a review of the paper available online in the Bulletin of the AMS written by Daniel Burns.

In the introduction Manin makes some highly speculative but inspiring conjectures. He considers the ring

$$\mathbb{Z}[x_1,\ldots,x_m;\xi_1,\ldots,\xi_n]$$

where $\mathbb{Z}$ are the integers, the $\xi_i$ are the “odd” variables anti-commuting among themselves and commuting with the “even” variables $x_j$. To this ring, Manin wants to associate a geometric object of dimension $1+m+n$ where $1$ refers to the “arithmetic dimension”, $m$ to the ordinary geometric dimensions $(x_1,\ldots,x_m)$ and $n$ to the new “odd dimensions” represented by the coordinates $(\xi_1,\ldots,\xi_n)$. Manin writes :

“Before the advent of ringed spaces in the fifties it would have been difficult to say precisely what me mean when we speak about this geometric object. Nowadays we simply define it as an “affine superscheme”, an object of the category of topological spaces locally ringed by a sheaf of $\mathbb{Z}_2$-graded supercommutative rings.”

Here’s my own image (based on Mumford’s depiction of $\mathsf{Spec}(\mathbb{Z}[x])$) of what Manin calls the three-space-2000, whose plain $x$-axis is supplemented by the set of primes and by the “black arrow”, corresponding to the odd dimension.

Manin speculates : “The message of the picture is intended to be the following metaphysics underlying certain recent developments in geometry: all three types of geometric dimensions are on an equal footing”.

Probably, by the addition “2000” Manin meant that by the year 2000 we would as easily switch between these three types of dimensions as we were able to draw arithmetic schemes in the mid-80ties. Quod non.

Twelve years into the new millenium we are only able to decode fragments of this. We know that symmetric algebras and exterior algebras (that is the “even” versus the “odd” dimensions) are related by Koszul duality, and that the precise relationship between the arithmetic axis and the geometric axis is the holy grail of geometry over the field with one element.

For aficionados of $\mathbb{F}_1$ there’s this gem by Manin to contemplate :

“Does there exist a group, mixing the arithmetic dimension with the (even) geometric ones?”

Way back in 1984 Manin conjectured : “There is no such group naively, but a ‘category of representations of this group’ may well exist. There may exist also certain correspondence rings (or their representations) between $\mathsf{Spec}(\mathbb{Z})$ and $x$.”

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.