lievenlb – Page 48 – neverendingbooks

The Langlands program and non-commutative geometry

Published January 30, 2018 by lievenlb

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

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

Langlands letter to Weil is available from the IAS.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A forgotten type and roots of unity (again)

Published January 29, 2018 by lievenlb

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

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

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

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

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

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

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

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

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

Grothendieck’s gribouillis (3)

Published January 28, 2018 by lievenlb

As far as I know there are no recent developments in the story of Grothendieck’s Lasserre writings.

Since may 2017 the Mormoiron part of the notes, saved by Jean Malgoire, are scanned and made available at the Archives Grothendieck.

Some of Grothendieck’s children were present at the opening ceremony, and an interview was made with Alexandre jr. :

Rather than going into Grothendieck’s mathematics, he speaks highly of his father’s role in the ecological (Survivre et vivre) and anti-nuclear movements of the early 70ties.

The full story of Survivre et Vivre, and Grothendieck’s part in it, can be read in the thesis by Celine Pessis:

Les années 1968 et la science. Survivre … et Vivre, des mathématiciens critiques à l’origine de l’écologisme

Here’s her talk at the IHES: “L’engagement d’Alexandre Grothendieck durant la première moitié des années 1970”.

Returning to Montpellier’s Archives Grothendieck, Mateo Carmona G started a project to transcribe ‘La Longue Marche à travers la Théorie de Galois’ at GitHub.

From an email: “I am specially interested in Cote n° 149 that seems to contain Grothendieck separate notes on anabelian geometry.”

If you want to read up on the story of Grothendieck’s gribouillis, here are some older posts, in chronological order:

– Grothendieck’s gribouillis

– Grothendieck’s gribouillis (2)

– Where are Grothendieck’s writings?

– Where are Grothendieck’s writings (2)?