Posts tagged topology

The artist and the mathematician

Oct 19th

Over the week-end I read The artist and the mathematician (subtitle : The story of Nicolas Bourbaki, the genius mathematician who never existed) by Amir D. Aczel.

Whereas the central character of the book should be Bourbaki, it focusses more on two of Bourbaki’s most colorful members, André Weil and Alexander Grothendieck, and the many stories and myths surrounding them.

The opening chapter (‘The Disappearance’) describes the Grothendieck’s early years (based on the excellent paper by Allyn Jackson Comme Appelé du Néant ) and his disappearance in the Pyrenees in the final years of last century. The next chapter (‘An Arrest in Finland’) recount the pre-WW2 years of Weil and the myth of his arrest in Finland and his near escape from execution (based on Weil’s memoires The Apprenticeship of a Mathematician). Chapter seven (‘The Café’) describes the first 10 proto-Bourbaki meetings following closely the study ‘A Parisian Café and Ten Proto-Bourbaki Meetings (1934-1935)‘ by Liliane Beaulieu. Etc. etc.

All the good ‘Bourbaki’-stories get a place in this book, not always historically correct. For example, on page 90 it is suggested that all of the following jokes were pulled at the Besse-conference, July 1935 : the baptizing of Nicolas, the writing of the Comptes-Rendus paper, the invention of the Bourbaki-daughter Betti and the printing of the wedding invitation card. In reality, all of these date from much later, the first two from the autumn of 1935, the final two no sooner than april 1939…

One thing I like about this book is the connection it makes with other disciplines, showing the influence of Bourbaki’s insistence on ‘structuralism’ in fields as different as philosophy, linguistics, anthropology and literary criticism. One example being Weil’s group-theoretic solution to the marriage-rules problem in tribes of Australian aborigines studied by Claude Lévi-Strauss, another the literary group Oulipo copying Bourbaki’s work-method.

Another interesting part is Aczel’s analysis of Bourbaki’s end. In the late 50ties, Grothendieck tried to convince his fellow Bourbakis to redo their work on the foundations of mathematics, changing these from set theory to category theory. He failed as others felt that the foundations had already been laid and there was no going back. Grothendieck left, and Bourbaki would gradually decline following its refusal to accept new methods. In Grothendieck’s own words (in “Promenade” 63, n. 78, as translated by Aczel) :

“Additionally, since the 1950s, the idea of structure has become passé, superseded by the influx of new ‘categorical’ methods in certain of the most dynamical areas of mathematics, such as topology or algebraic geometry. (Thus, the notion of ‘topos’ refuses to enter into the ‘Bourbaki sack’ os structures, decidedly already too full!) In making this decision, in full cognizance, not to engage in this revision, Bourbaki has itself renounced its initial ambition, which has been to furnish both the foundations and the basic language for all of modern mathematics.”

Finally, it is interesting to watch Aczel’s own transformation throughout the book, from slavishly copying the existing Weil-myths and pranks at the beginning of the book, to the following harsh criticism on Weil, towards the end (p. 209) :

“From other information in his autobiography, one gets the distinct impression that Weil was infatuated with the childish pranks of ‘inventing’ a person who never existed, creating for him false papers and a false identity, complete with a daughter, Betti, who even gets married, parents and relatives, and membership in a nonexistent Academy of Sciences of the nonexistent nation of Polvedia (sic).
Weil was so taken with these activities that he even listed, as his only honor by the time of his death ‘Member, Poldevian Academy of Sciences’. It seems that Weil could simply not go beyond these games: he could not grasp the deep significance and power of the organization he helped found. He was too close, and thus unable to see the great achievements Bourbaki was producing and to acknowledge and promote these achievements. Bourbaki changed the way we do mathematics, but Weil really saw only the pranks and the creation of a nonexistent person.”

Judging from my own reluctance to continue with the series on the Bourbaki code, an overdose reading about Weil’s life appears to have this effect on people…

Print Friendly

games, geometry, Grothendieck, topology

Mazur’s knotty dictionary

Dec 27th

Posted by lievenlb in geometry

3 comments

Brave New Geometries

In the roaring 60-ties, Barry Mazur launched the seemingly crazy idea of viewing the affine spectrum of the integers as a 3-dimensional manifold and prime numbers themselves as knots in this 3-manifold…

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, $\wis{spec}(\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 . Recall that for a manifold 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 .

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 . 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 (as a ‘point’ in $\wis{spec}(\Z)$ ) is the closed subscheme $\wis{spec}(\mathbb{F}_p)$ corresponding to the finite field $\mathbb{F}_p = \Z/p\Z$ . For any affine scheme of a field , 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{\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 $\wis{spec}(\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=\wis{spec}(D)$ of the ring of integers 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 \Q/\Z$ for any constructible abelian sheaf . 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 $\wis{spec}(\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 $\wis{spec}(\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 $\wis{spec}(D)$ of a ring of integers can be thought of as corresponding to a closed oriented 3-dimensional manifold (which is a cover of S^3 ) and a prime ideal $\mathfrak{p} \triangleleft D$ corresponds to a knot in .

But then, what is an ideal $\mathfrak{a} \triangleleft D$ ? Well, we have unique factorization of ideals in , that is, $\mathfrak{a} = \mathfrak{p}_1^{n_1} \hdots \mathfrak{p}_k^{n_k}$ and therefore $\mathfrak{a}$ corresponds to a link in 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 .

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,\Z)_{tor}$ because principal ideals are trivial in the class group, just as boundaries of surfaces $\del S$ vanish in $H_1(M,\Z)$ . Similarly, one may identify the unit group D^* with $H_2(M,\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.

Previous in series

Next in series

Print Friendly

Galois, google, groups, Kapranov, profinite, topology, wordpress

Manin’s geometric axis

Dec 23rd

Posted by lievenlb in geometry

No comments

Brave New Geometries

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~:~\wis{spec}(\Z[t]) \rightarrow \wis{spec}(\Z)$ coming from the inclusion $\Z \subset \Z[t]$ . That is, we consider the intersection $P \cap \Z$ of a prime ideal $P \subset \Z[t]$ with the subring of constants.

Two options arise : either $P \cap \Z \not= 0$ , in which case the intersection is a principal prime ideal ~(p) for some prime number (and hence itself is bigger or equal to $p\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 \Z[t] = 0$ reduces to the zero ideal (in which case the extended prime ideal $P \Q[x] = (q(x))$ is a principal ideal of the rational polynomial algebra $\Q[x]$ , and hence the geometric object corresponding to 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)) = \wis{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\Z[x]$ and $q\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 $\wis{spec}(\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 $\wis{spec}(\Z)$ which is $\overline{\wis{spec}(\Z)} = \wis{spec}(\Z) \cup \{ v_{\mathbb{R}} \}$ .

Yuri I. Manin is advocating for years the point that we should take the terminology ‘arithmetic surface’ for $\wis{spec}(\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 $\wis{spec}(\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 $\wis{spec}(\mathbb{F}_p[x])$ , the affine line over the finite field $\mathbb{F}_p$ . But all of these different lines, for varying primes , should project down onto the same geometric axis. Manin’s idea was to take therefore as the geometric axis the affine line $\wis{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 goes to one!

How many points does $\wis{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 (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 + \hdots$ , whence in the limit it should become $1+t+t^2 +t^3 + \hdots$ 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 $\wis{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 $\wis{spec}(\mathbb{F}_1[x])$ with the set of positive natural numbers $\{ 1,2,3,\hdots \}$ with 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~:~\wis{spec}(\Z[x]) \rightarrow \wis{spec}(\mathbb{F}_1[x]) = \{ 1,2,3,\hdots \}$ ?

These fibers should correspond to ‘horizontal’ principal prime ideals of $\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 $\wis{spec}(\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 $\Z[x]_{cycl}$ of the integral polynomial ring $\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 $\wis{spec}(\mathbb{F}_1[x])$ is $\wis{spec}(\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 $\wis{spec}(\Q[x])$ and $\Q[x]$ is the localization of $\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 $\mathfrac{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 $\wis{spec}(\Z[x])$ .

Still, there is a noticeable difference between the two sets of coordinate lines. The vertical lines do not intersect meaning that $p\Z[x]+q\Z[x]=\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).

Previous in series

Next in series

Print Friendly

Galois, geometry, Manin, topology

adeles and ideles

Jan 29th

Posted by lievenlb in geometry

3 comments

Noncommutative geometry and the Riemann zeta function

Before we can even attempt to describe the adelic description of the Bost-Connes Hecke algebra and its symmetries, we’d probably better recall the construction and properties of adeles and ideles. Let’s start with the p-adic numbers $\hat{\mathbb{Z}}_p$ and its field of fractions $\hat{\mathbb{Q}}_p$ . For p a prime number we can look at the finite rings $\mathbb{Z}/p^n \mathbb{Z}$ of all integer classes modulo p^n . If two numbers define the same element in $\mathbb{Z}/p^n\mathbb{Z}$ (meaning that their difference is a multiple of p^n ), then they certainly define the same class in any $\mathbb{Z}/p^k \mathbb{Z}$ when $k \leq n$ , so we have a sequence of ringmorphisms between finite rings

$\hdots \rightarrow^{\phi_{n+1}} \mathbb{Z}/p^n \mathbb{Z} \rightarrow^{\phi_n} \mathbb{Z}/p^{n-1}\mathbb{Z} \rightarrow^{\phi_{n-1}} \hdots \rightarrow^{\phi_3} \mathbb{Z}/p^2\mathbb{Z} \rightarrow^{\phi_2} \mathbb{Z}/p\mathbb{Z}$

The ring of p-adic integers $\hat{\mathbb{Z}}_p$ can now be defined as the collection of all (infinite) sequences of elements $~(\hdots,x_n,x_{n-1},\hdots,x_2,x_1)$ with $x_i \in \mathbb{Z}/p^i\mathbb{Z}$ such that $\phi_i(x_i) = x_{i-1}$ for all natural numbers . Addition and multiplication are defined componentswise and as all the maps $\phi_i$ are ringmorphisms, this produces no compatibility problems.

One can put a topology on $\hat{\mathbb{Z}}_p$ making it into a compact ring. Here’s the trick : all components $\mathbb{Z}/p^n \mathbb{Z}$ are finite so they are compact if we equip these sets with the discrete topology (all subsets are opens). But then, Tychonov’s product theorem asserts that the product-space $\prod_n \mathbb{Z}/n \mathbb{Z}$ with the product topology is again a compact topological space. As $\hat{\mathbb{Z}}_p$ is a closed subset, it is compact too.

By construction, the ring $\hat{\mathbb{Z}}_p$ is a domain and hence has a field of fraction which we will denote by $\hat{\mathbb{Q}}_p$ . These rings give the p-local information of the rational numbers $\mathbb{Q}$ . We will now ‘glue together’ these local data over all possible prime numbers into adeles. So, forget the above infinite product used to define the p-adics, below we will work with another infinite product, one factor for each prime number.

The adeles $\mathcal{A}$ are the restricted product of the $\hat{\mathbb{Q}}_p$ over $\hat{\mathbb{Z}}_p$ for all prime numbers p. By ‘restricted’ we mean that elements of $\mathcal{A}$ are exactly those infinite vectors $a=(a_2,a_3,a_5,a_7,a_{11},\hdots ) = (a_p)_p \in \prod_p \hat{\mathbb{Q}}_p$ such that all but finitely of the components $a_p \in \hat{\mathbb{Z}}_p$ . Addition and multiplication are defined component-wise and the restriction condition is compatible with both adition and multiplication. So, $\mathcal{A}$ is the adele ring. Note that most people call this $\mathcal{A}$ the finite Adeles as we didn’t consider infinite places, i will distinguish between the two notions by writing adeles resp. Adeles for the finite resp. the full blown version. The adele ring $\mathcal{A}$ has as a subring the infinite product $\mathcal{R} = \prod_p \hat{\mathbb{Z}}_p$ . If you think of $\mahcal{A}$ as a version of $\mathbb{Q}$ then $\mathcal{R}$ corresponds to $\mathbb{Z}$ (and next time we will see that there is a lot more to this analogy).

The ideles are the group of invertible elements of the ring $\mathcal{A}$ , that is, $\mathcal{I} = \mathcal{A}^{\ast}$ . That s, an element is an infinite vector $i = (i_2,i_3,i_5,\hdots) = (i_p)_p$ with all $i_p \in \hat{\mathbb{Q}}_p^*$ and for all but finitely many primes we have that $i_p \in \hat{\mathbb{Z}}_p^*$ .

As we will have to do explicit calculations with ideles and adeles we need to recall some facts about the structure of the unit groups $\hat{\mathbb{Z}}_p^*$ and $\hat{\mathbb{Q}}_p^_$ . If we denote $U = \hat{\mathbb{Z}}_p^_$ , then projecting it to the unit group of each of its components we get for each natural number n an exact sequence of groups

$1 \rightarrow U_n \rightarrow U \rightarrow (\mathbb{Z}/p^n \mathbb{Z})^* \rightarrow 1$ . In particular, we have that $U/U_1 \simeq (\mathbb{Z}/p\mathbb{Z})^* \simeq \mathbb{Z}/(p-1)\mathbb{Z}$ as the group of units of the finite field $\mathbb{F}_p$ is cyclic of order p-1. But then, the induced exact sequence of finite abalian groups below splits

$1 \rightarrow U_1/U_n \rightarrow U/U_n \rightarrow \mathbb{F}_p^* \rightarrow 1$ and as the unit group $U = \underset{\leftarrow}{lim} U/U_n$ we deduce that $U = U_1 \times V$ where $\mathbb{F}_p^* \simeq V = \{ x \in U | x^{p-1}=1 \}$ is the specified unique subgroup of of order p-1. All that remains is to determine the structure of U_1 . If $p \not= 2$ , take $\alpha = 1 + p \in U_1 – U_2$ and let $\alpha_n \in U_1/U_n$ denote the image of $\alpha$ , then one verifies that $\alpha_n$ is a cyclic generator of order $p^{n-1}$ of U_1/U_n .

But then, if we denote the isomorphism $\theta_n~:~\mathbb{Z}/p^{n-1} \mathbb{Z} \rightarrow U_1/U_n$ between the ADDITIVE group $\mathbb{Z}/p^{n-1} \mathbb{Z}$ and the MULTIPLICATIVE group U_1/U_n by the map $z \mapsto \alpha_n^z$ , then we have a compatible commutative diagram

$\xymatrix{\mathbb{Z}/p^n \mathbb{Z} \ar[r]^{\theta_{n+1}} \ar[d] & U_1/U_{n+1} \ar[d] \\ \mathbb{Z}/p^{n-1} \mathbb{Z} \ar[r]^{\theta_n} & U_1/U_n}$

and as $U_1 = \underset{\leftarrow}{lim}~U_1/U_n$ this gives an isomorphism between the multiplicative group U_1 and the additive group of $\hat{\mathbb{Z}}_p$ . In case p=2 we have to start with an element $\alpha \in U_2 – U_3$ and repeat the above trick. Summarizing we have the following structural information about the unit group of p-adic integers

$\hat{\mathbb{Z}}_p^* \simeq \begin{cases} \hat{\mathbb{Z}}_{p,+} \times \mathbb{Z}/(p-1)\mathbb{Z}~\text{for $p \not= 2$} \\ \hat{\mathbb{Z}}_{2,+} \times \mathbb{Z}/2 \mathbb{Z}~\text{if $p=2$} \end{cases}$

Because every unit in $\hat{\mathbb{Q}}_p^*$ can be written as p^n u with $u \in \hat{\mathbb{Z}}_p^*$ we deduce from this also the structure of the unit group of the p-adic field

$\hat{\mathbb{Q}}_p^* \simeq \begin{cases} \mathbb{Z} \times \hat{\mathbb{Z}}_{p,+} \times \mathbb{Z}/(p-1)\mathbb{Z}~\text{for $p \not= 2$} \\ \mathbb{Z} \times \hat{\mathbb{Z}}_{2,+} \times \mathbb{Z}/2 \mathbb{Z}~\text{if $p=2$} \end{cases}$

Right, now let us start to make the connection with the apparently abstract ringtheoretical post from last time where we introduced semigroup crystalline graded rings without explaining why we wanted that level of generality.

Consider the semigroup $\mathcal{I} \cap \mathcal{R}$ , that is all ideles i = (i_p)_p with all $i_p = p^{n_p} u_p$ with $u_p \in \hat{\mathbb{Z}}_p^*$ and $n_p \in \mathbb{N}$ with n_p=0 for all but finitely many primes p. Then, we have an exact sequence of semigroups

$1 \rightarrow \mathcal{G} \rightarrow \mathcal{I} \cap \mathcal{R} \rightarrow^{\pi} \mathbb{N}^+_{\times} \rightarrow 1$ where the map is defined (with above notation) $\pi(i) = \prod_p p^{n_p}$ and exactness follows from the above structural results when we take $\mathcal{G} = \prod_p \hat{\mathbb{Z}}_p^*$ .

This gives a glimpse of where we are heading. Last time we identified the Bost-Connes Hecke algebra $\mathcal{H}$ as a bi-crystalline group graded algebra determined by a $\mathbb{N}^+_{\times}$ -semigroup crystalline graded algebra over the group algebra $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}]$ . Next, we will entend this construction starting from a $\mathcal{I} \cap \mathcal{R}$ -semigroup crystalline graded algebra over the same group algebra. The upshot is that we will have a natural action by automorphisms of the group $\mathcal{G}$ on the Bost-Connes algebra. And… the group $\mathcal{G} = \prod_p \hat{\mathbb{Z}}_p^*$ is the Galois group of the cyclotomic field extension $\mathbb{Q}^{cyc}$ !

But, in order to begin to understand this, we will need to brush up our rusty knowledge of algebraic number theory…

Previous in series

Next in series

Print Friendly

Connes, Galois, groups, topology

Anabelian & Noncommutative Geometry 2

Dec 19th

Posted by lievenlb in geometry

No comments

Anabelian vs. Noncommutative

Last time (possibly with help from the survival guide) we have seen that the universal map from the modular group $\Gamma = PSL_2(\mathbb{Z})$ to its profinite completion $\hat{\Gamma} = \underset{\leftarrow}{lim}~PSL_2(\mathbb{Z})/N$ (limit over all finite index normal subgroups ) gives an embedding of the sets of (continuous) simple finite dimensional representations

$\wis{simp}_c~\hat{\Gamma} \subset \wis{simp}~\Gamma$

and based on the example $\mu_{\infty} = \wis{simp}_c~\hat{\mathbb{Z}} \subset \wis{simp}~\mathbb{Z} = \mathbb{C}^{\ast}$ we would like the above embedding to be dense in some kind of noncommutative analogon of the Zariski topology on $\wis{simp}~\Gamma$ .

We use the Zariski topology on $\wis{simp}~\mathbb{C} \Gamma$ as in these two M-geometry posts¹. So, what’s this idea in this special case? Let $\mathfrak{g}$ be the vectorspace with basis the conjugacy classes of elements of $\Gamma$ (that is, the space of class functions). As explained here it is a consequence of the Artin-Procesi theorem that the linear functions $\mathfrak{g}^{\ast}$ separate finite dimensional (semi)simple representations of $\Gamma$ . That is we have an embedding

$\wis{simp}~\Gamma \subset \mathfrak{g}^{\ast}$

and we can define closed subsets of $\wis{simp}~\Gamma$ as subsets of simple representations on which a set of class-functions vanish. With this definition of Zariski topology it is immediately clear that the image of $\wis{simp}_c~\hat{\Gamma}$ is dense. For, suppose it would be contained in a proper closed subset then there would be a class-function vanishing on all simples of $\hat{\Gamma}$ so, in particular, there should be a bound on the number of simples of finite quotients $\Gamma/N$ which clearly is not the case (just look at the quotients $PSL_2(\mathbb{F}_p)$ ).

But then, the same holds if we replace ‘simples of $\hat{\Gamma}$ ‘ by ‘simple components of permutation representations of $\Gamma$ ‘. This is the importance of Farey symbols to the representation problem of the modular group. They give us a manageable subset of simples which is nevertheless dense in the whole space. To utilize this a natural idea might be to ask what such a permutation representation can see of the modular group, or in geometric terms, what the tangent space is to $\wis{simp}~\Gamma$ in a permutation representation². We will call this the modular content of the permutation representation and to understand it we will have to compute the tangent quiver $\vec{t}~\mathbb{C} \Gamma$ .

Previous in series

already, I regret terminology, I should have just called it noncommutative geometry [↩]
more precisely, in the ‘cluster’ of points making up the simple components of the representation representation [↩]

Print Friendly

anabelian, geometry, groups, M-geometry, modular, noncommutative, permutation representation, Procesi, profinite, representations, simples, topology

Posts tagged topology

The artist and the mathematician

Mazur’s knotty dictionary

Brave New Geometries

Manin’s geometric axis

Brave New Geometries

adeles and ideles

Noncommutative geometry and the Riemann zeta function

Anabelian & Noncommutative Geometry 2

Anabelian vs. Noncommutative

My latest tweets

Blogroll

Series of posts

Who's Online

About Me

Posts tagged topology

The artist and the mathematician

Mazur’s knotty dictionary

Brave New Geometries

Manin’s geometric axis

Brave New Geometries

adeles and ideles

Noncommutative geometry and the Riemann zeta function

Anabelian & Noncommutative Geometry 2

Anabelian vs. Noncommutative

My latest tweets

User Login

Blogroll

Series of posts

Who's Online

About Me