Skip to content →

neverendingbooks Posts

in praise of libraries

Published February 1, 2018 by lieven

I’m back in Antwerp for over a week now, and finally got hold of our copy of Shimura’s “Introduction to the arithmetic theory of automorphic functions”.

The sad story of disappearing libraries at our university, and possibly elsewhere (everywhere?).

Over 20 years ago our maths department shared a building with the language departments, as well as a library.

The ground floor was taken up by languages, science books were in the cellar. There were years I spend more time on the ground floor than in the maths section.

I must have read most of the Dutch novels published between 1980 and 2000. For some time I could even pass as a Joyce-scholar, at least to those interested in a tiny part of Finnegans Wake.

All that changed when they united the three different branches of Antwerp university and we had to move to another campus.

We were separated from the language departments (they moved to the center of town) and, sadly, also from their library.

On the positive side, we moved to a nice building with a gorgeous library. And, an added bonus, it was on the same floor as my office. To kill an hour it was fun to stroll over to the library and spend some time between books and journals.

Then, some years ago, they closed down the maths-library and moved a tiny fraction of it to the science-library (located at a different campus).

Administration argued that too few people visited the library to keep it open.

But more important, they needed the space to create what they call a ‘study landscape’: a lounge where students can hang out, having enough power outlets for all their computers and smartphones.

So, the maths-library had to go for a place where, during term, students can recharge their phones, and during examination periods like now, students can sit together to study.

It seems that millennials need to have visual confirmation that their fellow students are also offline.

Today even the science-library is transformed into such a study-landscape, and only a handful of math-books remain on the shelves (well-hidden behind another door).

For the few odd ones, like me, who still want to browse through a book occasionally, you have to request for it online.

A few days later you get an email saying that your request is granted (they make it sound as if this is a huge favour), and then they need some more days to get the book from the storehouse and deliver it (sometimes randomly) to one of the few remaining university libraries, sorry, study landscapes…

One Comment

The return of the Scottish solids

Published January 31, 2018 by lieven

In Januari’s issue of the Notices of the AMS there’s a paper by Mohammad Ghomi Dรผrerโ€™s Unfolding Problem for Convex Polyhedra.

Here are the opening lines:

“Convex polyhedra are among the oldest mathematical objects. Indeed the five platonic solids, which constitute the climax of Euclidโ€™s books, were already known to the ancient people of Scotland some 4,000 years ago; see Figure 1.”

It sure would make a good story, the (ancient) Scotts outsmarting the Greek in discovering the five Platonic solids. Sadly, the truth is different.

Once again, hat tip to +David Roberts on Google+ for commenting on the AMS announcement and for linking to a post by John Baez and a couple of older posts here refuting this claim.


Perhaps the most readable of the two posts is:

Scottish solids, final(?) comments

in which I tell the story of the original post and its aftermath. The bottom-line is this:

Summarizing : the Challifour photograph is not taken at the Ashmolean museum, but at the National Museum of Scotland in Edinburgh and consists of 5 of their artifacts (or 4 if ball 3 and 4 are identical) vaguely resembling cube, tetrahedron, dodecahedron (twice) and octahedron. The fifth Platonic solid, the icosahedron, remains elusive.

David Roberts drafted a letter to the editor of the Notices of the AMS.

Comments closed

The Langlands program and non-commutative geometry

Published January 30, 2018 by lieven

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})$.

Comments closed