Category: geometry

Connes & Consani go categorical

Published March 12, 2009 by lievenlb

Today, Alain Connes and Caterina Consani arXived their new paper Schemes over $ \mathbb{F}_1$ and zeta functions. It is a follow-up to their paper On the notion of geometry over $ \mathbb{F}_1$, which I’ve tried to explain in a series of posts starting here.

As Javier noted already last week when they updated their first paper, the main point of the first 25 pages of the new paper is to repace abelian groups by abelian monoids in the definition, making it more in tune with other approaches, most notably that of Anton Deitmar. The novelty, if you want, is that they package the two functors $\mathbf{rings} \rightarrow \mathbf{sets} $ and $\mathbf{ab-monoid} \rightarrow \mathbf{sets} $ into one functor $\mathbf{ring-monoid} \rightarrow \mathbf{sets} $ by using the ‘glued category’ $\mathbf{ring-monoid} $ (an idea they attribute to Pierre Cartier).

In general, if you have two categories $\mathbf{cat} $ and $\mathbf{cat’} $ and a pair of adjoint functors between them, then one can form the glued-category $\mathbf{cat-cat’} $ by taking as its collection of objects the disjoint union of the objects of the two categories and by defining the hom-sets between two objects the hom-sets in either category (if both objects belong to the same category) or use the adjoint functors to define the new hom-set when they do not (the very definition of adjoint functors makes that this doesn’t depend on the choice).

Here, one uses the functor $\mathbf{ab-monoid} \rightarrow \mathbf{rings} $ assigning to a monoid $M $ its integral monoid-algebra $\mathbb{Z}[M] $, having as its adjoint the functor $\mathbf{rings} \rightarrow \mathbf{ab-monoid} $ forgetting the additive structure of the commutative ring.

In the second part of the paper, they first prove some nice results on zeta-functions of Noetherian $\mathbb{F}_1 $-schemes and extend them, somewhat surprisingly, to settings which do not (yet) fit into the $\mathbb{F}_1 $-framework, namely elliptic curves and the hypothetical $\mathbb{F}_1 $-curve $\overline{\mathbf{spec}(\mathbb{Z})} $.

One Comment

Mazur’s knotty dictionary

Published December 27, 2008 by lievenlb

In the previous posts, we have depicted the ‘arithmetic line’, that is the prime numbers, as a ‘line’ and individual primes as ‘points’.

However, sometime in the roaring 60-ties, Barry Mazur launched the crazy idea of viewing the affine spectrum of the integers, $\mathbf{spec}(\mathbb{Z}) $, as a 3-dimensional manifold and prime numbers themselves as knots in this 3-manifold…

After a long silence, this idea was taken up recently by Mikhail Kapranov and Alexander Reznikov (1960-2003) in a talk at the MPI-Bonn in august 1996. Pieter Moree tells the story in his recollections about Alexander (Sacha) Reznikov in Sipping Tea with Sacha : “Sasha’s paper is closely related to his paper where the analogy of covers of three-manifolds and class field theory plays a big role (an analogy that was apparently first noticed by B. Mazur). Sasha and Mikhail Kapranov (at the time also at the institute) were both very interested in this analogy. Eventually, in August 1996, Kapranov and Reznikov both lectured on this (and I explained in about 10 minutes my contribution to Reznikov’s proof). I was pleased to learn some time ago that this lecture series even made it into the literature, see Morishita’s ‘On certain analogies between knots and primes’ J. reine angew. Math 550 (2002) 141-167.”

Here’s a part of what is now called the Kapranov-Reznikov-Mazur dictionary :

What is the rationale behind this dictionary? Well, it all has to do with trying to make sense of the (algebraic) fundamental group $\pi_1^{alg}(X) $ of a general scheme $X $. Recall that for a manifold $M $ there are two different ways to define its fundamental group $\pi_1(M) $ : either as the closed loops in a given basepoint upto homotopy or as the automorphism group of the universal cover $\tilde{M} $ of $M $.

For an arbitrary scheme the first definition doesn’t make sense but we can use the second one as we have a good notion of a (finite) cover : an etale morphism $Y \rightarrow X $ of the scheme $X $. As they form an inverse system, we can take their finite automorphism groups $Aut_X(Y) $ and take their projective limit along the system and call this the algebraic fundamental group $\pi^{alg}_1(X) $.

Hendrik Lenstra has written beautiful course notes on ‘Galois theory for schemes’ on all of this starting from scratch. Besides, there are also two video-lectures available on this at the MSRI-website : Etale fundamental groups 1 by H.W. Lenstra and Etale fundamental groups 2 by F. Pop.

But, what is the connection with the ‘usual’ fundamental group in case both of them can be defined? Well, by construction the algebraic fundamental group is always a profinite group and in the case of manifolds it coincides with the profinite completion of the standard fundamental group, that is,
$\pi^{alg}_1(M) \simeq \widehat{\pi_1(M)} $ (recall that the cofinite completion is the projective limit of all finite group quotients).

Right, so all we have to do to find a topological equivalent of an algebraic scheme is to compute its algebraic fundamental group and find an existing topological space of which the profinite completion of its standard fundamental group coincides with our algebraic fundamental group. An example : a prime number $p $ (as a ‘point’ in $\mathbf{spec}(\mathbb{Z}) $) is the closed subscheme $\mathbf{spec}(\mathbb{F}_p) $ corresponding to the finite field $\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z} $. For any affine scheme of a field $K $, the algebraic fundamental group coincides with the absolute Galois group $Gal(\overline{K}/K) $. In the case of $\mathbb{F}_p $ we all know that this abslute Galois group is isomorphic with the profinite integers $\hat{\mathbb{Z}} $. Now, what is the first topological space coming to mind having the integers as its fundamental group? Right, the circle $S^1 $. Hence, in arithmetic topology we view prime numbers as topological circles, that is, as knots in some bigger space.

But then, what is this bigger space? That is, what is the topological equivalent of $\mathbf{spec}(\mathbb{Z}) $? For this we have to go back to Mazur’s original paper Notes on etale cohomology of number fields in which he gives an Artin-Verdier type duality theorem for the affine spectrum $X=\mathbf{spec}(D) $ of the ring of integers $D $ in a number field. More precisely, there is a non-degenerate pairing $H^r_{et}(X,F) \times Ext^{3-r}_X(F, \mathbb{G}_m) \rightarrow H^3_{et}(X,F) \simeq \mathbb{Q}/\mathbb{Z} $ for any constructible abelian sheaf $F $. This may not tell you much, but it is a ‘sort of’ Poincare-duality result one would have for a compact three dimensional manifold.

Ok, so in particular $\mathbf{spec}(\mathbb{Z}) $ should be thought of as a 3-dimensional compact manifold, but which one? For this we have to compute the algebraic fundamental group. Fortunately, this group is trivial as there are no (non-split) etale covers of $\mathbf{spec}(\mathbb{Z}) $, so the corresponding 3-manifold should be simple connected… but wenow know that this has to imply that the manifold must be $S^3 $, the 3-sphere! Summarizing : in arithmetic topology, prime numbers are knots in the 3-sphere!

More generally (by the same arguments) the affine spectrum $\mathbf{spec}(D) $ of a ring of integers can be thought of as corresponding to a closed oriented 3-dimensional manifold $M $ (which is a cover of $S^3 $) and a prime ideal $\mathfrak{p} \triangleleft D $ corresponds to a knot in $M $.

But then, what is an ideal $\mathfrak{a} \triangleleft D $? Well, we have unique factorization of ideals in $D $, that is, $\mathfrak{a} = \mathfrak{p}_1^{n_1} \ldots \mathfrak{p}_k^{n_k} $ and therefore $\mathfrak{a} $ corresponds to a link in $M $ of which the constituent knots are the ones corresponding to the prime ideals $\mathfrak{p}_i $.

And we can go on like this. What should be an element $w \in D $? Well, it will be an embedded surface $S \rightarrow M $, possibly with a boundary, the boundary being the link corresponding to the ideal $\mathfrak{a} = Dw $ and Seifert’s algorithm tells us how we can produce surfaces having any prescribed link as its boundary. But then, in particular, a unit $w \in D^* $ should correspond to a closed surface in $M $.

And all these analogies carry much further : for example the class group of the ring of integers $Cl(D) $ then corresponds to the torsion part $H_1(M,\mathbb{Z})_{tor} $ because principal ideals $Dw $ are trivial in the class group, just as boundaries of surfaces $\partial S $ vanish in $H_1(M,\mathbb{Z}) $. Similarly, one may identify the unit group $D^* $ with $H_2(M,\mathbb{Z}) $… and so on, and on, and on…

More links to papers on arithmetic topology can be found in John Baez’ week 257 or via here.

Leave a 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).

Leave a Comment

noncommutative F_un geometry (2)

Published October 17, 2008 by lievenlb

Last time we tried to generalize the Connes-Consani approach to commutative algebraic geometry over the field with one element $\mathbb{F}_1 $ to the noncommutative world by considering covariant functors

$N~:~\mathbf{groups} \rightarrow \mathbf{sets} $

which over $\mathbb{C} $ resp. $\mathbb{Z} $ become visible by a complex (resp. integral) algebra having suitable universal properties.

However, we didn’t specify what we meant by a complex noncommutative variety (resp. an integral noncommutative scheme). In particular, we claimed that the $\mathbb{F}_1 $-‘points’ associated to the functor

$D~:~\mathbf{groups} \rightarrow \mathbf{sets} \qquad G \mapsto G_2 \times G_3 $ (here $G_n $ denotes all elements of order $n $ of $G $)

were precisely the modular dessins d’enfants of Grothendieck, but didn’t give details. We’ll try to do this now.

For algebras over a field we follow the definition, due to Kontsevich and Soibelman, of so called “noncommutative thin schemes”. Actually, the thinness-condition is implicit in both Soule’s-approach as that of Connes and Consani : we do not consider R-points in general, but only those of rings R which are finite and flat over our basering (or field).

So, what is a noncommutative thin scheme anyway? Well, its a covariant functor (commuting with finite projective limits)

$\mathbb{X}~:~\mathbf{Alg}^{fd}_k \rightarrow \mathbf{sets} $

from finite-dimensional (possibly noncommutative) $k $-algebras to sets. Now, the usual dual-space operator gives an anti-equivalence of categories

$\mathbf{Alg}^{fd}_k \leftrightarrow \mathbf{Coalg}^{fd}_k \qquad A=C^* \leftrightarrow C=A^* $

so a thin scheme can also be viewed as a contra-variant functor (commuting with finite direct limits)

$\mathbb{X}~:~\mathbf{Coalg}^{fd}_k \rightarrow \mathbf{Sets} $

In particular, we are interested to associated to any {tex]k $-algebra $A $ its representation functor :

$\mathbf{rep}(A)~:~\mathbf{Coalg}^{fd}_k \rightarrow \mathbf{Sets} \qquad C \mapsto Alg_k(A,C^*) $

This may look strange at first sight, but $C^* $ is a finite dimensional algebra and any $n $-dimensional representation of $A $ is an algebra map $A \rightarrow M_n(k) $ and we take $C $ to be the dual coalgebra of this image.

Kontsevich and Soibelman proved that every noncommutative thin scheme $\mathbb{X} $ is representable by a $k $-coalgebra. That is, there exists a unique coalgebra $C_{\mathbb{X}} $ (which they call the coalgebra of ‘distributions’ of $\mathbb{X} $) such that for every finite dimensional $k $-algebra $B $ we have

$\mathbb{X}(B) = Coalg_k(B^*,C_{\mathbb{X}}) $

In the case of interest to us, that is for the functor $\mathbf{rep}(A) $ the coalgebra of distributions is Kostant’s dual coalgebra $A^o $. This is the not the full linear dual of $A $ but contains only those linear functionals on $A $ which factor through a finite dimensional quotient.

So? You’ve exchanged an algebra $A $ for some coalgebra $A^o $, but where’s the geometry in all this? Well, let’s look at the commutative case. Suppose $A= \mathbb{C}[X] $ is the coordinate ring of a smooth affine variety $X $, then its dual coalgebra looks like

$\mathbb{C}[X]^o = \oplus_{x \in X} U(T_x(X)) $

the direct sum of all universal (co)algebras of tangent spaces at points $x \in X $. But how do we get the variety out of this? Well, any coalgebra has a coradical (being the sun of all simple subcoalgebras) and in the case just mentioned we have

$corad(\mathbb{C}[X]^o) = \oplus_{x \in X} \mathbb{C} e_x $

so every point corresponds to a unique simple component of the coradical. In the general case, the coradical of the dual coalgebra $A^o $ is the direct sum of all simple finite dimensional representations of $A $. That is, the direct summands of the coalgebra give us a noncommutative variety whose points are the simple representations, and the remainder of the coalgebra of distributions accounts for infinitesimal information on these points (as do the tangent spaces in the commutative case).

In fact, it was a surprise to me that one can describe the dual coalgebra quite explicitly, and that $A_{\infty} $-structures make their appearance quite naturally. See this paper if you’re in for the details on this.

That settles the problem of what we mean by the noncommutative variety associated to a complex algebra. But what about the integral case? In the above, we used extensively the theory of Kostant-duality which works only for algebras over fields…

Well, not quite. In the case of $\mathbb{Z} $ (or more general, of Dedekind domains) one can repeat Kostant’s proof word for word provided one takes as the definition of the dual $\mathbb{Z} $-coalgebra
of an algebra (which is $\mathbb{Z} $-torsion free)

$A^o = { f~:~A \rightarrow \mathbb{Z}~:~A/Ker(f)~\text{is finitely generated and torsion free}~} $

(over general rings there may be also variants of this duality, as in Street’s book an Quantum groups). Probably lots of people have come up with this, but the only explicit reference I have is to the first paper I’ve ever written. So, also for algebras over $\mathbb{Z} $ we can define a suitable noncommutative integral scheme (the coradical approach accounts only for the maximal ideals rather than all primes, but somehow this is implicit in all approaches as we consider only thin schemes).

Fine! So, we can make sense of the noncommutative geometrical objects corresponding to the group-algebras $\mathbb{C} \Gamma $ and $\mathbb{Z} \Gamma $ where $\Gamma = PSL_2(\mathbb{Z}) $ is the modular group (the algebras corresponding to the $G \mapsto G_2 \times G_3 $-functor). But, what might be the points of the noncommutative scheme corresponding to $\mathbb{F}_1 \Gamma $???

Well, let’s continue the path cut out before. “Points” should correspond to finite dimensional “simple representations”. Hence, what are the finite dimensional simple $\mathbb{F}_1 $-representations of $\Gamma $? (Or, for that matter, of any group $G $)

Here we come back to Javier’s post on this : a finite dimensional $\mathbb{F}_1 $-vectorspace is a finite set. A $\Gamma $-representation on this set (of n-elements) is a group-morphism

$\Gamma \rightarrow GL_n(\mathbb{F}_1) = S_n $

hence it gives a permutation representation of $\Gamma $ on this set. But then, if finite dimensional $\mathbb{F}_1 $-representations of $\Gamma $ are the finite permutation representations, then the simple ones are the transitive permutation representations. That is, the points of the noncommutative scheme corresponding to $\mathbb{F}_1 \Gamma $ are the conjugacy classes of subgroups $H \subset \Gamma $ such that $\Gamma/H $ is finite. But these are exactly the modular dessins d’enfants introduced by Grothendieck as I explained a while back elsewhere (see for example this post and others in the same series).

Leave a Comment

Andre Weil on the Riemann hypothesis

Published October 15, 2008 by lievenlb

Don’t be fooled by introductory remarks to the effect that ‘the field with one element was conceived by Jacques Tits half a century ago, etc. etc.’

While this is a historic fact, and, Jacques Tits cannot be given enough credit for bringing a touch of surrealism into mathematics, but this is not the main drive for people getting into F_un, today.

There is a much deeper and older motivation behind most papers published recently on $\mathbb{F}_1 $. Few of the authors will be willing to let you in on the secret, though, because if they did, it would sound much too presumptuous…

So, let’s have it out into the open : F_un mathematics’ goal is no less than proving the Riemann Hypothesis.

And even then, authors hide behind a smoke screen. The ‘official’ explanation being “we would like to copy Weil’s proof of the Riemann hypothesis in the case of function fields of curves over finite fields, by considering spec(Z) as a ‘curve’ over an algebra ‘dessous’ Z namely $\mathbb{F}_1 $”. Alas, at this moment, none of the geometric approaches over the field with one element can make this stick.

Believe me for once, the main Jugendtraum of most authors is to get a grip on cyclotomy over $\mathbb{F}_1 $. It is no accident that Connes makes a dramatic pauze in his YouTubeVideo to let the viewer see this equation on the backboard

$\mathbb{F}_{1^n} \otimes_{\mathbb{F}_1} \mathbb{Z} = \mathbb{Z}[x]/(x^n-1) $

But, what is the basis of all this childlike enthusiasm? A somewhat concealed clue is given in the introduction of the Kapranov-Smirnov paper. They write :

“In [?] the affine line over $\mathbb{F}_1 $ was considered; it consists formally of 0 and all the roots of unity. Put slightly differently, this leads to the consideration of “algebraic extensions” of $\mathbb{F}_1 $. By analogy with genuine finite fields we would like to think that there is exactly one such extension of any given degree n, denote it by $\mathbb{F}_{1^n} $.

Of course, $\mathbb{F}_{1^n} $ does not exist in a rigorous sense, but we can think if a scheme $X $ contains n-th roots of unity, then it is defined over $\mathbb{F}_{1^n} $, so that there is a morphism

$p_X~:~X \rightarrow spec(\mathbb{F}_{1^n} $

The point of view that adjoining roots of unity is analogous to the extension of the base field goes back, at least to Weil (Lettre a Artin, Ouvres, vol 1) and Iwasawa…“

Okay, so rush down to your library, pick out the first of three volumes of Andre Weil’s collected works, look up his letter to Emil Artin written on July 10th 1942 (19 printed pages!), and head for the final section. Weil writes :

“Our proof of the Riemann hypothesis (in the function field case, red.) depended upon the extension of the function-fields by roots of unity, i.e. by constants; the way in which the Galois group of such extensions operates on the classes of divisors in the original field and its extensions gives a linear operator, the characteristic roots (i.e. the eigenvalues) of which are the roots of the zeta-function.

On a number field, the nearest we can get to this is by adjunction of $l^n $-th roots of unity, $l $ being fixed; the Galois group of this infinite extension is cyclic, and defines a linear operator on the projective limit of the (absolute) class groups of those successive finite extensions; this should have something to do with the roots of the zeta-function of the field. However, our extensions are ramified (but only at a finite number of places, viz. the prime divisors of $l $). Thus a preliminary study of similar problems in function-fields might enable one to guess what will happen in number-fields.”

A few years later, in 1947, he makes this a bit more explicit in his marvelous essay “L’avenir des mathematiques” (The future of mathematics). Weil is still in shell-shock after the events of the second WW, and writes in beautiful archaic French sentences lasting forever :

“L’hypothèse de Riemann, après qu’on eu perdu l’espoir de la démontrer par les méthodes de la théorie des fonctions, nous apparaît aujourd’hui sous un jour nouveau, qui la montre inséparable de la conjecture d’Artin sur les fonctions L, ces deux problèmes étant deux aspects d’une même question arithmético-algébrique, où l’étude simultanée de toutes les extensions cyclotomiques d’un corps de nombres donné jouera sans doute le rôle décisif.

L’arithmétique gausienne gravitait autour de la loi de réciprocité quadratique; nous savons maintenant que celle-ci n’est qu’un premier example, ou pour mieux dire le paradigme, des lois dites “du corps de classe”, qui gouvernent les extensions abéliennes des corps de nobres algébriques; nous savons formuler ces lois de manière à leur donner l’aspect d’un ensemble cohérent; mais, si plaisante à l’œil que soit cette façade, nous ne savons si elle ne masque pas des symmétries plus cachées.

Les automorphismes induits sur les groupes de classes par les automorphismes du corps, les propriétés des restes de normes dans les cas non cycliques, le passage à la limite (inductive ou projective) quand on remplace le corps de base par des extensions, par example cyclotomiques, de degré indéfiniment croissant, sont autant de questions sur lesquelles notre ignorance est à peu près complète, et dont l’étude contient peut-être la clef de l’hypothese de Riemann; étroitement liée à celles-ci est l’étude du conducteur d’Artin, et en particulier, dans le cas local, la recherche de la représentation dont la trace s’exprime au moyen des caractères simples avec des coefficients égaux aux exposants de leurs conducteurs.

Ce sont là quelques-unes des directions qu’on peut et qu’on doit songer à suivre afin de pénétrer dans le mystère des extensions non abéliennes; il n’est pas impossible que nous touchions là à des principes d’une fécondité extraordinaire, et que le premier pas décisif une fois fait dans cette voie doive nous ouvrir l’accès à de vastes domaines dont nous soupçonnons à peine l’existence; car jusqu’ici, pour amples que soient nos généralisations des résultats de Gauss, on ne peut dire que nus les ayons vraiment dépassés.”

Leave a Comment

noncommutative F_un geometry (1)

Published October 13, 2008 by lievenlb

It is perhaps surprising that Alain Connes and Katia Consani, two icons of noncommutative geometry, restrict themselves to define commutative algebraic geometry over $\mathbb{F}_1 $, the field with one element.

My guess of why they stop there is as good as anyone’s. Perhaps they felt that there is already enough noncommutativity in Soule’s gadget-approach (the algebra $\mathcal{A}_X $ as in this post may very well be noncommutative). Perhaps they were only interested in the Bost-Connes system which can be entirely encoded in their commutative $\mathbb{F}_1 $-geometry. Perhaps they felt unsure as to what the noncommutative scheme of an affine noncommutative algebra might be. Perhaps …

Remains the fact that their approach screams for a noncommutative extension. Their basic object is a covariant functor

$N~:~\mathbf{abelian} \rightarrow \mathbf{sets} \qquad A \mapsto N(A) $

from finite abelian groups to sets, together with additional data to the effect that there is a unique minimal integral scheme associated to $N $. In a series of posts on the Connes-Consani paper (starting here) I took some care of getting rid of all scheme-lingo and rephrasing everything entirely into algebras. But then, this set-up can be extended verbatim to noncommuative $\mathbb{F}_1 $-geometry, which should start from a covariant functor

$N~:~\mathbf{groups} \rightarrow \mathbf{sets} $

from all finite groups to sets. Let’s recall quickly what the additional info should be making this functor a noncommutative (affine) F_un scheme :

There should be a finitely generated $\mathbb{C} $-algebra $R $ together with a natural transformation (the ‘evaluation’)

$e~:~N \rightarrow \mathbf{maxi}(R) \qquad N(G) \mapsto Hom_{\mathbb{C}-alg}(R, \mathbb{C} G) $

(both $R $ and the group-algebra $\mathbb{C} G $ may be noncommutative). The pair $(N, \mathbf{maxi}(R)) $ is then called a gadget and there is an obvious notion of ‘morphism’ between gadgets.

The crucial extra ingredient is an affine $\mathbb{Z} $-algebra (possibly noncommutative) $S $
such that $N $ is a subfunctor of $\mathbf{mini}(S)~:~G \mapsto Hom_{\mathbb{Z}-alg}(S,\mathbb{Z} G) $ together with the following universal property :

any affine $\mathbb{Z} $-algebra $T $ having a gadget-morphism $~(N,\mathbf{maxi}(R)) \rightarrow (\mathbf{mini}(T),\mathbf{maxi}(T \otimes_{\mathbb{Z}} \mathbb{C})) $ comes from a $\mathbb{Z} $-algebra morphism $T \rightarrow S $. (If this sounds too cryptic for you, please read the series on C-C mentioned before).

So, there is no problem in defining noncommutative affine F_un-schemes. However, as with any generalization, this only makes sense provided (a) we get something new and (b) we have interesting examples, not covered by the restricted theory.

At first sight we do not get something new as in the only example we did in the C-C-series (the forgetful functor) it is easy to prove (using the same proof as given in this post) that the forgetful-functor $\mathbf{groups} \rightarrow \mathbf{sets} $ still has as its integral form the integral torus $\mathbb{Z}[x,x^{-1}] $. However, both theories quickly diverge beyond this example.

For example, consider the functor

$\mathbf{groups} \rightarrow \mathbf{sets} \qquad G \mapsto G \times G $

Then, if we restrict to abelian finite groups $\mathbf{abelian} $ it is easy to see (again by a similar argument) that the two-dimensional integer torus $\mathbb{Z}[x,y,x^{-1},y^{-1}] $ is the correct integral form. However, this algebra cannot be the correct form for the functor on the category of all finite groups as any $\mathbb{Z} $-algebra map $\phi~:~\mathbb{Z}[x,y,x^{-1},y^{-1}] \rightarrow \mathbb{Z} G $ determines (and is determined by) a pair of commuting units in $\mathbb{Z} G $, so the above functor can not be a subfunctor if we allow non-Abelian groups.

But then, perhaps there isn’t a minimal integral $\mathbb{Z} $-form for this functor? Well, yes there is. Take the free group in two letters (that is, all words in noncommuting $x,y,x^{-1} $ and $y^{-1} $ satisfying only the trivial cancellation laws between a letter and its inverse), then the corresponding integral group-algebra $\mathbb{Z} \mathcal{F}_2 $ does the trick.

Again, the proof-strategy is the same. Given a gadget-morphism we have an algebra map $f~:~T \mapsto \mathbb{C} \mathcal{F}_2 $ and we have to show, using the universal property that the image of $T $ is contained in the integral group-algebra $\mathbb{Z} \mathcal{F}_2 $. Take a generator
$z $ of $T $ then the degree of the image $f(z) $ is bounded say by $d $ and we can always find a subgroup $H \subset \mathcal{F}_2 $ such that $\mathcal{F}_2/H $ is a fnite group and the quotient map $\mathbb{C} \mathcal{F}_2 \rightarrow \mathbb{C} \mathcal{F}_2/H $ is injective on the subspace spanned by all words of degree strictly less than $d+1 $. Then, the usual diagram-chase finishes the proof.

What makes this work is that the free group $\mathcal{F}_2 $ has ‘enough’ subgroups of finite index, a property it shares with many interesting discrete groups. Whence the blurb-message :

if the integers $\mathbb{Z} $ see a discrete group $\Gamma $, then the field $\mathbb{F}_1 $ sees its profinite completion $\hat{\Gamma} = \underset{\leftarrow}{lim}~\Gamma/ H $

So, yes, we get something new by extending the Connes-Consani approach to the noncommutative world, but do we have interesting examples? As “interesting” is a subjective qualification, we’d better invoke the authority-argument.

Alexander Grothendieck (sitting on the right, manifestly not disputing a vacant chair with Jean-Pierre Serre, drinking on the left (a marvelous picture taken by F. Hirzebruch in 1958)) was pushing the idea that profinite completions of arithmetical groups were useful in the study of the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q}) $, via his theory of dessins d’enfants (children;s drawings).

In a previous life, I’ve written a series of posts on dessins d’enfants, so I’ll restrict here to the basics. A smooth projective $\overline{\mathbb{Q}} $-curve $X $ has a Belyi-map $X \rightarrow \mathbb{P}^1_{\overline{\mathbb{Q}}} $ ramified only in three points ${ 0,1,\infty } $. The “drawing” corresponding to $X $ is a bipartite graph, drawn on the Riemann surface $X_{\mathbb{C}} $ obtained by lifting the unit interval $[0,1] $ to $X $. As the absolute Galois group acts on all such curves (and hence on their corresponding drawings), the action of it on these dessins d’enfants may give us a way into the multiple mysteries of the absolute Galois group.

In his “Esquisse d’un programme” (Sketch of a program if you prefer to read it in English) he writes :

“C’est ainsi que mon attention s’est portée vers ce que j’ai appelé depuis la “géométrie algêbrique anabélienne”, dont le point de départ est justement une étude (pour le moment limitée à la caractéristique zéro) de l’action de groupe de Galois “absolus” (notamment les groupes $Gal(\overline{K}/K) $, ou $K $ est une extension de type fini du corps premier) sur des groupes fondamentaux géométriques (profinis) de variétés algébriques (définies sur $K $), et plus particulièrement (rompant avec une tradition bien enracinée) des groupes fondamentaux qui sont trés éloignés des groupes abéliens (et que pour cette raison je nomme “anabéliens”). Parmi ces groupes, et trés proche du groupe $\hat{\pi}_{0,3} $, il y a le compactifié profini du groupe modulaire $SL_2(\mathbb{Z}) $, dont le quotient par le centre $\pm 1 $ contient le précédent comme sous-groupe de congruence mod 2, et peut s’interpréter d’ailleurs comme groupe “cartographique” orienté, savoir celui qui classifie les cartes orientées triangulées (i.e. celles dont les faces des triangles ou des monogones).”

and a bit further, he writes :

“L’élément de structure de $SL_2(\mathbb{Z}) $ qui me fascine avant tout, est bien sur l’action extérieure du groupe de Galois $Gal(\overline{\mathbb{Q}}/\mathbb{Q}) $ sur le compactifié profini. Par le théorème de Bielyi, prenant les compactifiés profinis de sous-groupes d’indice fini de $SL_2(\mathbb{Z}) $, et l’action extérieure induite (quitte à passer également à un sous-groupe overt de $Gal(\overline{\mathbb{Q}},\mathbb{Q}) $), on trouve essentiellement les groupes fondamentaux de toutes les courbes algébriques définis sur des corps de nombres $K $, et l’action extérieure de $Gal(\overline{K}/K) $ dessus.”

So, is there a noncommutative affine variety over $\mathbb{F}_1 $ of which the unique minimal integral model is the integral group algebra of the modular group $\mathbb{Z} \Gamma $ (with $\Gamma = PSL_2(\mathbb{Z}) $? Yes, here it is

$N_{\Gamma}~:~\mathbf{groups} \rightarrow \mathbf{sets} \qquad G \mapsto G_2 \times G_3 $

where $G_n $ is the set of all elements of order $n $ in $G $. The reason behind this is that the modular group is the free group product $C_2 \ast C_3 $.

Fine, you may say, but all this is just algebra. Where is the noncommutative complex variety or the noncommutative integral scheme in all this? Well, we can introduce them too but as this post is already 1300 words long, I’ll better leave this for another time. In case you cannot stop thinking about it, here’s the short answer.

The complex noncommutative variety has as its ‘points’ all finite dimensional simple complex representations of the modular group, and the ‘points’ of the noncommutative $\mathbb{F}_1 $-scheme are exactly the (modular) dessins d’enfants…

Leave a Comment

Connes-Consani for undergraduates (1)

Published October 3, 2008 by lievenlb

A couple of weeks ago, Alain Connes and Katia Consani arXived their paper “On the notion of geometry over $\mathbb{F}_1 $”. Their subtle definition is phrased entirely in Grothendieck‘s scheme-theoretic language of representable functors and may be somewhat hard to get through if you only had a few years of mathematics.

I’ll try to give the essence of their definition of an affine scheme over $\mathbb{F}_1 $ (and illustrate it with an example) in a couple of posts. All you need to know is what a finite Abelian group is (if you know what a cyclic group is that’ll be enough) and what a commutative algebra is. If you already know what a functor and a natural transformation is, that would be great, but we’ll deal with all that abstract nonsense when we’ll need it.

So take two finite Abelian groups A and B, then a group-morphism is just a map $f~:~A \rightarrow B $ preserving the group-data. That is, f sends the unit element of A to that of B and
f sends a product of two elements in A to the product of their images in B. For example, if $A=C_n $ is a cyclic group of order n with generator g and $B=C_m $ is a cyclic group of order m with generator h, then every groupmorphism from A to B is entirely determined by the image of g let’s say that this image is $h^i $. But, as $g^n=1 $ and the conditions on a group-morphism we must have that $h^{in} = (h^i)^n = 1 $ and therefore m must divide i.n. This gives you all possible group-morphisms from A to B.

They are plenty of finite abelian groups and many group-morphisms between any pair of them and all this stuff we put into one giant sack and label it $\mathbf{abelian} $. There is another, even bigger sack, which is even simpler to describe. It is labeled $\mathbf{sets} $ and contains all sets as well as all maps between two sets.

Right! Now what might be a map $F~:~\mathbf{abelian} \rightarrow \mathbf{sets} $ between these two sacks? Well, F should map any abelian group A to a set F(A) and any group-morphism $f~:~A \rightarrow B $ to a map between the corresponding sets $F(f)~:~F(A) \rightarrow F(B) $ and do all of this nicely. That is, F should send compositions of group-morphisms to compositions of the corresponding maps, and so on. If you take a pen and a piece of paper, you’re bound to come up with the exact definition of a functor (that’s what F is called).

You want an example? Well, lets take F to be the map sending an Abelian group A to its set of elements (also called A) and which sends a groupmorphism $A \rightarrow B $ to the same map from A to B. All F does is ‘forget’ the extra group-conditions on the sets and maps. For this reason F is called the forgetful functor. We will denote this particular functor by $\underline{\mathbb{G}}_m $, merely to show off.

Luckily, there are lots of other and more interesting examples of such functors. Our first class we will call maxi-functors and they are defined using a finitely generated $\mathbb{C} $-algebra R. That is, R can be written as the quotient of a polynomial algebra

$R = \frac{\mathbb{C}[x_1,\ldots,x_d]}{(f_1,\ldots,f_e)} $

by setting all the polynomials $f_i $ to be zero. For example, take R to be the ring of Laurant polynomials

$R = \mathbb{C}[x,x^{-1}] = \frac{\mathbb{C}[x,y]}{(xy-1)} $

Other, and easier, examples of $\mathbb{C} $-algebras is the group-algebra $\mathbb{C} A $ of a finite Abelian group A. This group-algebra is a finite dimensional vectorspace with basis $e_a $, one for each element $a \in A $ with multiplication rule induced by the relations $e_a.e_b = e_{a.b} $ where on the left-hand side the multiplication . is in the group-algebra whereas on the right hand side the multiplication in the index is that of the group A. By choosing a different basis one can show that the group-algebra is really just the direct sum of copies of $\mathbb{C} $ with component-wise addition and multiplication

$\mathbb{C} A = \mathbb{C} \oplus \ldots \oplus \mathbb{C} $

with as many copies as there are elements in the group A. For example, for the cyclic group $C_n $ we have

$\mathbb{C} C_n = \frac{\mathbb{C}[x]}{(x^n-1)} = \frac{\mathbb{C}[x]}{(x-1)} \oplus \frac{\mathbb{C}[x]}{(x-\zeta)} \oplus \frac{\mathbb{C}[x]}{(x-\zeta^2)} \oplus \ldots \oplus \frac{\mathbb{C}[x]}{(x-\zeta^{n-1})} = \mathbb{C} \oplus \mathbb{C} \oplus \mathbb{C} \oplus \ldots \oplus \mathbb{C} $

The maxi-functor asociated to a $\mathbb{C} $-algebra R is the functor

$\mathbf{maxi}(R)~:~\mathbf{abelian} \rightarrow \mathbf{sets} $

which assigns to a finite Abelian group A the set of all algebra-morphism $R \rightarrow \mathbb{C} A $ from R to the group-algebra of A. But wait, you say (i hope), we also needed a functor to do something on groupmorphisms $f~:~A \rightarrow B $. Exactly, so to f we have an algebra-morphism $f’~:~\mathbb{C} A \rightarrow \mathbb{C}B $ so the functor on morphisms is defined via composition

$\mathbf{maxi}(R)(f)~:~\mathbf{maxi}(R)(A) \rightarrow \mathbf{maxi}(R)(B) \qquad \phi~:~R \rightarrow \mathbb{C} A \mapsto f’ \circ \phi~:~R \rightarrow \mathbb{C} A \rightarrow \mathbb{C} B $

So, what is the maxi-functor $\mathbf{maxi}(\mathbb{C}[x,x^{-1}] $? Well, any $\mathbb{C} $-algebra morphism $\mathbb{C}[x,x^{-1}] \rightarrow \mathbb{C} A $ is fully determined by the image of $x $ which must be a unit in $\mathbb{C} A = \mathbb{C} \oplus \ldots \oplus \mathbb{C} $. That is, all components of the image of $x $ must be non-zero complex numbers, that is

$\mathbf{maxi}(\mathbb{C}[x,x^{-1}])(A) = \mathbb{C}^* \oplus \ldots \oplus \mathbb{C}^* $

where there are as many components as there are elements in A. Thus, the sets $\mathbf{maxi}(R)(A) $ are typically huge which is the reason for the maxi-terminology.

Next, let us turn to mini-functors. They are defined similarly but this time using finitely generated $\mathbb{Z} $-algebras such as $S=\mathbb{Z}[x,x^{-1}] $ and the integral group-rings $\mathbb{Z} A $ for finite Abelian groups A. The structure of these inegral group-rings is a lot more delicate than in the complex case. Let’s consider them for the smallest cyclic groups (the ‘isos’ below are only approximations!)

$\mathbb{Z} C_2 = \frac{\mathbb{Z}[x]}{(x^2-1)} = \frac{\mathbb{Z}[x]}{(x-1)} \oplus \frac{\mathbb{Z}[x]}{(x+1)} = \mathbb{Z} \oplus \mathbb{Z} $

$\mathbb{Z} C_3 = \frac{\mathbb{Z}[x]}{(x^3-1)} = \frac{\mathbb{Z}[x]}{(x-1)} \oplus \frac{\mathbb{Z}[x]}{(x^2+x+1)} = \mathbb{Z} \oplus \mathbb{Z}[\rho] $

$\mathbb{Z} C_4 = \frac{\mathbb{Z}[x]}{(x^4-1)} = \frac{\mathbb{Z}[x]}{(x-1)} \oplus \frac{\mathbb{Z}[x]}{(x+1)} \oplus \frac{\mathbb{Z}[x]}{(x^2+1)} = \mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}[i] $

For a $\mathbb{Z} $-algebra S we can define its mini-functor to be the functor

$\mathbf{mini}(S)~:~\mathbf{abelian} \rightarrow \mathbf{sets} $

which assigns to an Abelian group A the set of all $\mathbb{Z} $-algebra morphisms $S \rightarrow \mathbb{Z} A $. For example, for the algebra $\mathbb{Z}[x,x^{-1}] $ we have that

$\mathbf{mini}(\mathbb{Z} [x,x^{-1}]~(A) = (\mathbb{Z} A)^* $

the set of all invertible elements in the integral group-algebra. To study these sets one has to study the units of cyclotomic integers. From the above decompositions it is easy to verify that for the first few cyclic groups, the corresponding sets are $\pm C_2, \pm C_3 $ and $\pm C_4 $. However, in general this set doesn’t have to be finite. It is a well-known result that the group of units of an integral group-ring of a finite Abelian group is of the form

$(\mathbb{Z} A)^* = \pm A \times \mathbb{Z}^{\oplus r} $

where $r = \frac{1}{2}(o(A) + 1 + n_2 -2c) $ where $o(A) $ is the number of elements of A, $n_2 $ is the number of elements of order 2 and c is the number of cyclic subgroups of A. So, these sets can still be infinite but at least they are a lot more manageable, explaining the mini-terminology.

Now, we would love to go one step deeper and define nano-functors by the same procedure, this time using finitely generated algebras over $\mathbb{F}_1 $, the field with one element. But as we do not really know what we might mean by this, we simply define a nano-functor to be a subfunctor of a mini-functor, that is, a nano-functor N has an associated mini-functor $\mathbf{mini}(S) $ such that for all finite Abelian groups A we have that $N(A) \subset \mathbf{mini}(S)(A) $.

For example, the forgetful functor at the beginning, which we pompously denoted $\underline{\mathbb{G}}_m $ is a nano-functor as it is a subfunctor of the mini-functor $\mathbf{mini}(\mathbb{Z}[x,x^{-1}]) $.

Now we are allmost done : an affine $\mathbb{F}_1 $-scheme in the sense of Connes and Consani is a pair consisting of a nano-functor N and a maxi-functor $\mathbf{maxi}(R) $ such that two rather strong conditions are satisfied :

there is an evaluation ‘map’ of functors $e~:~N \rightarrow \mathbf{maxi}(R) $
this pair determines uniquely a ‘minimal’ mini-functor $\mathbf{mini}(S) $ of which N is a subfunctor

of course we still have to turn this into proper definitions but that will have to await another post. For now, suffice it to say that the pair $~(\underline{\mathbb{G}}_m,\mathbf{maxi}(\mathbb{C}[x,x^{-1}])) $ is a $\mathbb{F}_1 $-scheme with corresponding uniquely determined mini-functor $\mathbf{mini}(\mathbb{Z}[x,x^{-1}]) $, called the multiplicative group scheme.

Continued here

Leave a 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

the buckyball curve

Published July 2, 2008 by lievenlb

We are after the geometric trinity corresponding to the trinity of exceptional Galois groups

The surfaces on the right have the corresponding group on the left as their group of automorphisms. But, there is a lot more group-theoretic info hidden in the geometry. Before we sketch the $L_2(11) $ case, let us recall the simpler situation of $L_2(7) $.

There are some excellent web-page on the Klein quartic and it would be too hard to try to improve on them, so we refer to John Baez’ page and Greg Egan’s page for more details.

The Klein quartic is the degree 4 projective plane curve defined by the equation $x^3y+y^3z+z^3x=0 $. It can be tiled with a set of 24 regular heptagons, or alternatively with a set of 56 equilateral triangles and these two tilings are dual to each other

In the triangular tiling, there are 56 triangles, 84 edges and 24 vertices. The 56 triangles come in 7 bunches of 8 each and we give the 7 bunches of triangles each a different color as in the pictures below made by Greg Egan. Observe that in the hyperbolic tiling all triangles look alike, but in the picture on the left most of them get warped as we try to embed the quartic in 3-space (which is impossible to do properly). The non-warped triangles (the red ones) come into pairs, the top and bottom triangles of a triangular prism, one prism at each of the four ‘vertices’ of a tetrahedron.

The automorphism group $L_2(7) $ acts on these triangles as $S_4 $ acts on the triangles in a truncated cube.

The buckyball construction from a conjugacy class of order 11 elements from $L_2(11) $ recalled last time, has an analogon $L_2(7) $, leading to the truncated cube.

In $L_2(7) $ there are two conjugacy classes of subgroups isomorphic to $S_4 $ (the rotation-symmetry group of the cube) as well as two conjugacy classes of order 7 elements, each consisting of precisely 24 elements, say C and D. The normalizer subgroup of C has order 21, so there is a cyclic group of order 3 acting non-trivially on the conjugacy class C with 8 orbits consisting of three elements each. These are the eight triangles of the truncated cube identified above as the red triangles.

Shifting perspective, we can repeat this for each of the seven different colors. That is, we have seven truncated cubes in the Klein quartic. On each of them a copy of $S_4 $ acts and these subgroups form one of the two conjugacy classes of $S_4 $ in the group $L_2(7) $. The colors of the triangles of these seven truncated cubes are indicated by bullets in the picture above on the right. The other conjugacy class of $S_4 $’s act on ‘truncated anti-cubes’ which also come in seven bunches of which the color is indicated by a square in that picture.

If you spend enough time on it you will see that each (truncated) cube is completely disjoint from precisely 3 (truncated) anti-cubes. This reminds us of the Fano-plane (picture on the left) : it has 7 points (our seven truncated cubes), 7 lines (the truncated anti-cubes) and the incidence relation of points and lines corresponds to the disjointness of (truncated) cubes and anti-cubes! This is the geometric interpretation of the group-theoretic realization that $L_2(7) \simeq PGL_3(\mathbb{F}_2) $ is the isomorphism group of the projective plane over the finite field $\mathbb{F}_2 $ on two elements, that is, the Fano plane. The colors of the picture on the left indicate the colors of cubes (points) and anti-cubes (lines) consistent with Egan’s picture above.

Further, the 24 vertices correspond to the 24 cusps of the modular group $\Gamma(7) $. Recall that a modular interpretation of the Klein quartic is as $\mathbb{H}/\Gamma(7) $ where $\mathbb{H} $ is the upper half-plane on which the modular group $\Gamma = PSL_2(\mathbb{Z}) $ acts via Moebius transformations, that is, to a 2×2 matrix corresponds the transformation

[tex]\begin{bmatrix} a & b \\ c & d \end{bmatrix}[/tex] <----> $ z \mapsto \frac{az+b}{cz+d} $

Okay, now let’s briefly sketch the exciting results found by Pablo Martin and David Singerman in the paper From biplanes to the Klein quartic and the buckyball, extending the above to the group $L_2(11) $.

There is one important modification to be made. Recall that the Cayley-graph to get the truncated cube comes from taking as generators of the group $S_4 $ the set ${ (3,4),(1,2,3) } $, that is, an order two and an order three element, defining an epimorphism from the modular group $\Gamma= C_2 \ast C_3 \rightarrow S_4 $.

We have also seen that in order to get the buckyball as a Cayley-graph for $A_5 $ we need to take the generating set ${ (2,3)(4,5),(1,2,3,4,5) } $, so a degree two and a degree five element.

Hence, if we want to have a corresponding Riemann surface we’d better not start from the action of the modular group on the upper half-plane, but rather the action via Moebius transformations of the
Hecke group

$H^5 \simeq C_2 \ast C_5 = \langle z \mapsto -\frac{1}{z}, z \mapsto z+ \phi \rangle $

where $\phi = \frac{1 + \sqrt{5}}{2} $ is the golden ratio.

But then, there is an epimorphism $H^5 \rightarrow L_2(11) $ (as this group is generated by one element of degree 2 and one of degree 5) and let $\Lambda $ denote its kernel. Observe that $\Lambda $ is the analogon of the modular subgroup $\Gamma(7) $ used above to define the Klein quartic.

Hence, Martin and Singerman define the buckyball curve as the modular quotient $X=\mathbb{H}/\Lambda $ which is a Riemann surface of genus 70.

The terminlogy is motivated by the fact that, precisely as we got 7 truncated cubes in the Klein quartic, we now get 11 truncated icosahedra (that is, buckyballs) in $X $. The 11 coming, analogous to the Klein case, from thefact that there are precisely two conjugacy classes of subgroups of $L_2(11) $ isomorphic to $A_5 $, each class containing precisely eleven elements!
The 60 vertices of the buckyball again correspond to the fact that there are 60 cusps in this case.

So, what is the analogon of the Fano plane in this case? Well, observe that the Fano-plane is a biplane of order two. That is, if we take as ‘points’ the points of the Fano plane and as ‘lines’ the complements of lines in the Fano plane then this defines a biplane structure. This means that any two distinct ‘points’ are contained in two distinct ‘lines’ and that two distinct ‘lines’ intersect in two distinct ‘points’. A biplane is said to be of order k is each ‘line’ consist of k-2 ‘points’. As the complement of a line in the Fano plane consists of 4 points, the Fano plane is therefore a biplane of order 2. The intersection pattern of cubes and anti-cubes in the Klein quartic is this biplane structure on the Fano plane.

In a similar way, Martin and Singerman show that the two conjugacy classes of subgroups isomorphic to $A_5 $ in $L_2(11) $, each containing exactly 11 elements, correspond to 11 embedded buckyballs (and 11 anti-buckyballs) in the buckyball-curve $X $ and that the intersection relations among them describe the combinatorial structure of a biplane of order three if we view the 11 buckys as ‘points’ and the anti-buckys as ‘lines’.

That is, the buckyball curve is a perfect geometric counterpart of the Klein quartic for the two trinities

At the Arcadian Functor, Kea also has a post on this in which she conjectures that the Kac-Moody algebra of E11 may be related to the buckyball curve.

References :

David Singerman, “Klein’s Riemann surface of genus 3 and regular embeddings of finite projective planes” Bull. London Math. Soc. 18 (1986) 364-370.

Pablo Martin and David Singerman, “From biplanes to the Klein quartic and the Buckyball” (note that this is a preliminary version, please contact David Singerman for the latest version).

5 Comments

Klein’s dessins d’enfant and the buckyball

Published June 30, 2008 by lievenlb

We saw that the icosahedron can be constructed from the alternating group $A_5 $ by considering the elements of a conjugacy class of order 5 elements as the vertices and edges between two vertices if their product is still in the conjugacy class.

This description is so nice that one would like to have a similar construction for the buckyball. But, the buckyball has 60 vertices, so they surely cannot correspond to the elements of a conjugacy class of $A_5 $. But, perhaps there is a larger group, somewhat naturally containing $A_5 $, having a conjugacy class of 60 elements?

This is precisely the statement contained in Galois’ last letter. He showed that 11 is the largest prime p such that the group $L_2(p)=PSL_2(\mathbb{F}_p) $ has a (transitive) permutation presentation on p elements. For, p=11 the group $L_2(11) $ is of order 660, so it permuting 11 elements means that this set must be of the form $X=L_2(11)/A $ with $A \subset L_2(11) $ a subgroup of 60 elements… and it turns out that $A \simeq A_5 $…

Actually there are TWO conjugacy classes of subgroups isomorphic to $A_5 $ in $L_2(11) $ and we have already seen one description of these using the biplane geometry (one class is the stabilizer subgroup of a ‘line’, the other the stabilizer subgroup of a point).

Here, we will give yet another description of these two classes of $A_5 $ in $L_2(11) $, showing among other things that the theory of dessins d’enfant predates Grothendieck by 100 years.

In the very same paper containing the first depiction of the Dedekind tessellation, Klein found that there should be a degree 11 cover $\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}} $ with monodromy group $L_2(11) $, ramified only in the three points ${ 0,1,\infty } $ such that there is just one point lying over $\infty $, seven over 1 of which four points where two sheets come together and finally 5 points lying over 0 of which three where three sheets come together. In 1879 he wanted to determine this cover explicitly in the paper “Ueber die Transformationen elfter Ordnung der elliptischen Funktionen” (Math. Annalen) by describing all Riemann surfaces with this ramification data and pick out those with the correct monodromy group.

He manages to do so by associating to all these covers their ‘dessins d’enfants’ (which he calls Linienzuges), that is the pre-image of the interval [0,1] in which he marks the preimages of 0 by a bullet and those of 1 by a +, such as in the innermost darker graph on the right above. He even has these two wonderful pictures explaining how the dessin determines how the 11 sheets fit together. (More examples of dessins and the correspondences of sheets were drawn in the 1878 paper.)

The ramification data translates to the following statements about the Linienzuge : (a) it must be a tree ($\infty $ has one preimage), (b) there are exactly 11 (half)edges (the degree of the cover),
(c) there are 7 +-vertices and 5 o-vertices (preimages of 0 and 1) and (d) there are 3 trivalent o-vertices and 4 bivalent +-vertices (the sheet-information).

Klein finds that there are exactly 10 such dessins and lists them in his Fig. 2 (left). Then, he claims that one the two dessins of type I give the correct monodromy group. Recall that the monodromy group is found by giving each of the half-edges a number from 1 to 11 and looking at the permutation $\tau $ of order two pairing the half-edges adjacent to a +-vertex and the order three permutation $\sigma $ listing the half-edges by cycling counter-clockwise around a o-vertex. The monodromy group is the group generated by these two elements.

Fpr example, if we label the type V-dessin by the numbers of the white regions bordering the half-edges (as in the picture Fig. 3 on the right above) we get
$\sigma = (7,10,9)(5,11,6)(1,4,2) $ and $\tau=(8,9)(7,11)(1,5)(3,4) $.

Nowadays, it is a matter of a few seconds to determine the monodromy group using GAP and we verify that this group is $A_{11} $.

Of course, Klein didn’t have GAP at his disposal, so he had to rule out all these cases by hand.

gap> g:=Group((7,10,9)(5,11,6)(1,4,2),(8,9)(7,11)(1,5)(3,4));
Group([ (1,4,2)(5,11,6)(7,10,9), (1,5)(3,4)(7,11)(8,9) ])
gap> Size(g);
19958400
gap> IsSimpleGroup(g);
true

Klein used the fact that $L_2(11) $ only has elements of orders 1,2,3,5,6 and 11. So, in each of the remaining cases he had to find an element of a different order. For example, in type V he verified that the element $\tau.(\sigma.\tau)^3 $ is equal to the permutation (1,8)(2,10,11,9,6,4,5)(3,7) and consequently is of order 14.

Perhaps Klein knew this but GAP tells us that the monodromy group of all the remaining 8 cases is isomorphic to the alternating group $A_{11} $ and in the two type I cases is indeed $L_2(11) $. Anyway, the two dessins of type I correspond to the two conjugacy classes of subgroups $A_5 $ in the group $L_2(11) $.

But, back to the buckyball! The upshot of all this is that we have the group $L_2(11) $ containing two classes of subgroups isomorphic to $A_5 $ and the larger group $L_2(11) $ does indeed have two conjugacy classes of order 11 elements containing exactly 60 elements (compare this to the two conjugacy classes of order 5 elements in $A_5 $ in the icosahedral construction). Can we construct the buckyball out of such a conjugacy class?

To start, we can identify the 12 pentagons of the buckyball from a conjugacy class C of order 11 elements. If $x \in C $, then so do $x^3,x^4,x^5 $ and $x^9 $, whereas the powers ${ x^2,x^6,x^7,x^8,x^{10} } $ belong to the other conjugacy class. Hence, we can divide our 60 elements in 12 subsets of 5 elements and taking an element x in each of these, the vertices of a pentagon correspond (in order) to $~(x,x^3,x^9,x^5,x^4) $.

Group-theoretically this follows from the fact that the factorgroup of the normalizer of x modulo the centralizer of x is cyclic of order 5 and this group acts naturally on the conjugacy class of x with orbits of size 5.

Finding out how these pentagons fit together using hexagons is a lot subtler… and in The graph of the truncated icosahedron and the last letter of Galois Bertram Kostant shows how to do this.

Fix a subgroup isomorphic to $A_5 $ and let D be the set of all its order 2 elements (recall that they form a full conjugacy class in this $A_5 $ and that there are precisely 15 of them). Now, the startling observation made by Kostant is that for our order 11 element $x $ in C there is a unique element $a \in D $ such that the commutator$~b=[x,a]=x^{-1}a^{-1}xa $ belongs again to D. The unique hexagonal side having vertex x connects it to the element $b.x $which belongs again to C as $b.x=(ax)^{-1}.x.(ax) $.

Concluding, if C is a conjugacy class of order 11 elements in $L_2(11) $, then its 60 elements can be viewed as corresponding to the vertices of the buckyball. Any element $x \in C $ is connected by two pentagonal sides to the elements $x^{3} $ and $x^4 $ and one hexagonal side connecting it to $\tau x = b.x $.

Leave a Comment