neverendingbooks

One of the nicer tools around is bookworm arXiv which ‘is a collaboration between the Harvard Cultural Observatory, arxiv.org, and the Open Science Data Cloud. It enables you to explore lexical trends in over 700,000 e-prints, spanning mathematics, physics, computer science, and statistics’ posted on the arXiv.

One possible use is to explore the popularity of certain topics. Below is the graph of the number of papers submitted monthly to the arXiv in noncommutative geometry, quantum groups, cluster algebras and symplectic reflection (algebras).

The default gives the graphs in the percentage of all papers submitted, but it is better to change this to the number of papers (I think). Sadly, at present one can only search for one- and two-word phrases.

Extremely useful is that it gives you the full list of papers (with direct links to the papers) containing the search terms when you click on that months point in the graph. For example, there are 4 sheets of papers in noncommutative geometry for october 2011

Clearly, there are plenty of other fun uses for this bookworm. For example, you can graph the number of papers in a topic in function of the nationality of the submitter. Here are the papers in noncommutative geometry, submitted by people from the US, France, the UK and Italy.

Or, you can use it for vanity reasons, giving you the list of all papers containing a reference to your work, which may not always be a good idea, blood-pressure wise…

The dinosaurs among you may remember that before this blog we had the ‘na&g-forum’ to accompany our master-class in noncommutative algebra & geometry.

That forum ran on an early flat-panel iMac G4 which was, for lack of a better name, baptized ‘the matrix’.

The original matrix did survive the unification of the three Antwerp universities and a move to a different campus but then died around bloomsday 2007 and was replaced by an intel iMac.

This second matrix did host a number of blogs and projects started (and usually ended rather quickly) such as ‘MoonshineMath’, a muMath-site called noncommutative.org, the ‘F-un Mathematics’ blog dedicated to the field with one element and, of course, this blog.

About a month ago matrix-II was replaced by a state-of-the-art iMac running 10.7. The transition went smooth apart from the fact that 10.7 doesn’t like ‘localhost’ but prefers ’127.0.0.1′ in setting up wordpress blogs.

Besides neverendingbooks, matrix-III runs angs@t – angs+ which is the blog of the antwerp noncommutative geometry seminar. It will be revamped over the summer and will probably be the website for our renewed master-class, starting next year.

The ‘F-un Mathematics’ blog was dropped in the transition but still survives at Ghent University where it is managed by Koen Thas.

As far as NeverendingBooks is concerned i hope to make a fresh start with blogging and will try to get more structure in this site by changing to a responsive wordpress theme (‘These responsive, fluid, or adaptive WordPress themes, automatically adjust according to the screen size, resolution and device on which they are being viewed’).

As a result this page will look weird from time to time over the next week or so. My apologies.

I’ve LaTeXed $48=2 \times 24$ posts into a 114 page booklet Monsters and Moonshine for you to download.

The $24$ ‘Monsters’ posts are (mostly) about finite simple (sporadic) groups : we start with the Scottish solids (hoax?), move on to the 14-15 game groupoid and a new Conway $M_{13}$-sliding game which uses the sporadic Mathieu group $M_{12}$. This Mathieu group appears in musical compositions of Olivier Messiaen and it can be used also to get a winning strategy of ‘mathematical blackjack’. We discuss Galois’ last letter and the simple groups $L_2(5),L_2(7)$ and $L_2(11)$ as well as other Arnold ‘trinities’. We relate these groups to the Klein quartic and the newly discovered ‘buckyball’-curve. Next we investigate the history of the Leech lattice and link to online games based on the Mathieu-groups and Conway’s dotto group. Finally, preparing for moonshine, we discover what the largest sporadic simple group, the Monster-group, sees of the modular group.

The $24$ ‘Moonshine’ posts begin with the history of the Dedekind (or Klein?) tessellation of the upper half plane, useful to determine fundamental domains of subgroups of the modular group $PSL_2(\mathbb{Z})$. We investigate Grothendieck’s theory of ‘dessins d’enfants’ and learn how modular quilts classify the finite index subgroups of the modular group. We find generators of such groups using Farey codes and use those to give a series of simple groups including as special members $L_2(5)$ and the Mathieu-sporadics $M_{12}$ and $M_{24}$ : the ‘iguanodon’-groups. Then we move to McKay-Thompson series and an Easter-day joke pulled by John McKay. Apart from the ‘usual’ monstrous moonshine conjectures (proved by Borcherds) John McKay also observed a strange appearance of $E(8)$ in connection with multiplications of involutions in the Monster-group. We explain Conway’s ‘big picture’ which makes it easy to work with the moonshine groups and use it to describe John Duncan’s solution of the $E(8)$-observation.

I’ll try to improve the internal referencing over the coming weeks/months, include an index and add extra material as we will be studying moonshine for the Mathieu groups as well as a construction of the Monster-group in next semester’s master-seminar. All comments, corrections and suggestions for extra posts are welcome!

If you are interested you can also download two other booklets : The Bourbaki Code (38 pages) containing all Bourbaki-related posts and absolute geometry (63 pages) containing the posts related to the “field with one element” and its connections to (noncommutative) geometry and number theory.

I’ll try to add to the ‘absolute geometry’-booklet the posts from last semester’s master-seminar (which were originally posted at angs@t/angs+) and write some new posts covering the material that so far only exists as prep-notes. The links above will always link to the latest versions of these booklets.

We’ve had three seminar-sessions so far, and the seminar-blog ‘angs+’ contains already 20 posts and counting. As blogging is not a linear activity, I will try to post here at regular intervals to report on the ground we’ve covered in the seminar, providing links to the original angs+ posts.

This year’s goal is to obtain a somewhat definite verdict on the field-with-one-element hype.

In short, the plan is to outline Smirnov’s approach to the ABC-conjecture using geometry over $\mathbb{F}_1$, to describe Borger’s idea for such an $\mathbb{F}_1$-geometry and to test it on elusive objects such as $\mathbb{P}^1_{\mathbb{F}_1} \times_{\mathbb{F}_1} \mathsf{Spec}(\mathbb{Z})$ (relevant in Smirnov’s paper) and $\mathsf{Spec}(\mathbb{Z}) \times_{\mathbb{F}_1} \mathsf{Spec}(\mathbb{Z})$ (relevant to the Riemann hypothesis).

We did start with an historic overview, using recently surfaced material such as the Smirnov letters. Next, we did recall some standard material on the geometry of smooth projective curves over finite fields, their genus leading up to the Hurwitz formula relating the genera in a cover of curves.

Using this formula, a version of the classical ABC-conjecture in number theory can be proved quite easily for curves.

By analogy, Smirnov tried to prove the original ABC-conjecture by viewing $\mathsf{Spec}(\mathbb{Z})$ as a ‘curve’ over $\mathbb{F}_1$. Using the connection between the geometric points of the projective line over the finite field $\mathbb{F}_p$ and roots of unity of order coprime to $p$, we identify $\mathbb{P}^1_{\mathbb{F}_1}$ with the set of all roots of unity together with $\{ [0],[\infty] \}$. Next, we describe the schematic points of the ‘curve’ $\mathsf{Spec}(\mathbb{Z})$ and explain why one should take as the degree of the ‘point’ $(p)$ (for a prime number $p$) the non-sensical value $log(p)$.

To me, the fun starts with Smirnov’s proposal to associate to any rational number $q = \tfrac{a}{b} \in \mathbb{Q} – \{ \pm 1 \}$ a cover of curves

$q~:~\mathsf{Spec}(\mathbb{Z}) \rightarrow \mathbb{P}^1_{\mathbb{F}_1}$

by mapping primes dividing $a$ to $[0]$, primes dividing $b$ to $[\infty]$, sending the real valuation to $[0]$ or $[\infty]$ depending onw whether or not $b > a$ and finally sending a prime $p$ not involved in $a$ or $b$ to $[n]$ where $n$ is the order of the unit $\overline{a}.\overline{b}^{-1}$ in the finite cyclic group $\mathbb{F}_p^*$. Somewhat surprisingly, it does follow from Zsigmondy’s theorem that this is indeed a finite cover for most values of $q$. A noteworthy exception being the map for $q=2$ (which fails to be a cover at $[6]$) and of which Pieter Belmans did draw this beautiful graph

True believers in $\mathbb{F}_1$ might conclude from this graph that there should only be finitely many Mersenne primes… Further, the full ABC-conjecture would follow from a natural version of the Hurwitz formula for such covers.

(to be continued)

F_un Mathematics

Hardly a ‘new’ blog, but one that is getting a new life! On its old homepage you’ll find a diagonal banner stating ‘This site has moved’ and clicking on it will guide you to its new location : cage.ugent.be/~kthas/Fun.

From now on, this site will be hosted at the University of Ghent and maintained by Koen Thas. So, please update your bookmarks and point your RSS-aggregator to the new feed.

Everyone interested in contributing to this blog dedicated to the mathematics of the field with one element should contact Koen by email.

angst

Though I may occasionally (cross)post at F_un mathematics, my own blog-life will center round a new blog to accompany the master-course ‘seminar noncommutative geometry’ I’m running at Antwerp University this semester. Its URL is noncommutative.org and it is called :

Here, angs is short for Antwerp Noncommutative Geometry Seminar and the additions @t resp. + are there to indicate we will experiment a bit trying to find useful interactions between the IRL seminar, its blog and social media such as twitter and Google+.

The seminar (and blog) are scheduled to start in earnest september 30th, but I may post some prep-notes already. This semester the seminar will try to decode Smirnov’s old idea to prove the ABC-conjecture in number theory via geometry over the field with one element and connect it with new ideas such as Borger’s $\mathbb{F}_1$-geometry using $\lambda$-rings and noncommutative ideas proposed by Connes, Consani and Marcolli.

Again, anyone willing to contribute actively is invited to send me an email or to comment on ‘angst’, tweet about it using the hashtag #angs (all such tweets will appear on the frontpage) or share its posts on Google+.

Noncommutative Arithmetic Geometry Media Library

Via the noncommutative geometry blog a new initiative maintained by Alain Connes and Katia Consani was announced : the Noncommutative Arithmetic Geometry Media Library.

This site is dedicated to maintain articles, videos, and news about meetings and activities related to noncommutative arithmetic geometry. The website is still `under construction’ and the plan is to gradually add more videos (also from past conferences and meetings), as well as papers and slides.