John Conway once wrote :

There are almost as many different constructions of as there have been mathematicians interested in that most remarkable of all finite groups.

In the inguanodon post Ive added yet another construction of the Mathieu groups and starting from (half of) the Farey sequences and the associated cuboid tree diagram obtained by demanding that all edges are odd. In this way the Mathieu groups turned out to be part of a (conjecturally) infinite sequence of simple groups, starting as follows :

It is quite easy to show that none of the other sporadics will appear in this sequence via their known permutation representations. Still, several of the sporadic simple groups are generated by an element of order two and one of order three, so they are determined by a finite dimensional permutation representation of the modular group and hence are hiding in a special polygonal region of the Dedekind’s tessellation

Let us try to figure out where the sporadic with the next simplest permutation representation is hiding : the second Janko group , via its 100-dimensional permutation representation. The Atlas tells us that the order two and three generators act as

e:= (1,84)(2,20)(3,48)(4,56)(5,82)(6,67)(7,55)(8,41)(9,35)(10,40)(11,78)(12, 100)(13,49)(14,37)(15,94)(16,76)(17,19)(18,44)(21,34)(22,85)(23,92)(24, 57)(25,75)(26,28)(27,64)(29,90)(30,97)(31,38)(32,68)(33,69)(36,53)(39,61) (42,73)(43,91)(45,86)(46,81)(47,89)(50,93)(51,96)(52,72)(54,74)(58,99) (59,95)(60,63)(62,83)(65,70)(66,88)(71,87)(77,98)(79,80);

v:= (1,80,22)(2,9,11)(3,53,87)(4,23,78)(5,51,18)(6,37,24)(8,27,60)(10,62,47) (12,65,31)(13,64,19)(14,61,52)(15,98,25)(16,73,32)(17,39,33)(20,97,58) (21,96,67)(26,93,99)(28,57,35)(29,71,55)(30,69,45)(34,86,82)(38,59,94) (40,43,91)(42,68,44)(46,85,89)(48,76,90)(49,92,77)(50,66,88)(54,95,56) (63,74,72)(70,81,75)(79,100,83);

But as the kfarey.sage package written by Chris Kurth calculates the Farey symbol using the L-R generators, we use GAP to find those

L = e*v^-1  and  R=e*v^-2 so

L=(1,84,22,46,70,12,79)(2,58,93,88,50,26,35)(3,90,55,7,71,53,36)(4,95,38,65,75,98,92)(5,86,69,39,14,6,96)(8,41,60,72,61,17, 64)(9,57,37,52,74,56,78)(10,91,40,47,85,80,83)(11,23,49,19,33,30,20)(13,77,15,59,54,63,27)(16,48,87,29,76,32,42)(18,68, 73,44,51,21,82)(24,28,99,97,45,34,67)(25,81,89,62,100,31,94)

R=(1,84,80,100,65,81,85)(2,97,69,17,13,92,78)(3,76,73,68,16,90,71)(4,54,72,14,24,35,11)(5,34,96,18,42,32,44)(6,21,86,30,58, 26,57)(7,29,48,53,36,87,55)(8,41,27,19,39,52,63)(9,28,93,66,50,99,20)(10,43,40,62,79,22,89)(12,83,47,46,75,15,38)(23,77, 25,70,31,59,56)(33,45,82,51,67,37,61)(49,64,60,74,95,94,98)

Defining these permutations in sage and using kfarey, this gives us the Farey-symbol of the associated permutation representation

L=SymmetricGroup(Integer(100))("(1,84,22,46,70,12,79)(2,58,93,88,50,26,35)(3,90,55,7,71,53,36)(4,95,38,65,75,98,92)(5,86,69,39,14,6,96)(8,41,60,72,61,17, 64)(9,57,37,52,74,56,78)(10,91,40,47,85,80,83)(11,23,49,19,33,30,20)(13,77,15,59,54,63,27)(16,48,87,29,76,32,42)(18,68, 73,44,51,21,82)(24,28,99,97,45,34,67)(25,81,89,62,100,31,94)")

R=SymmetricGroup(Integer(100))("(1,84,80,100,65,81,85)(2,97,69,17,13,92,78)(3,76,73,68,16,90,71)(4,54,72,14,24,35,11)(5,34,96,18,42,32,44)(6,21,86,30,58, 26,57)(7,29,48,53,36,87,55)(8,41,27,19,39,52,63)(9,28,93,66,50,99,20)(10,43,40,62,79,22,89)(12,83,47,46,75,15,38)(23,77, 25,70,31,59,56)(33,45,82,51,67,37,61)(49,64,60,74,95,94,98)")

sage: FareySymbol("Perm",[L,R])

[[0, 1, 4, 3, 2, 5, 18, 13, 21, 71, 121, 413, 292, 463, 171, 50, 29, 8, 27, 46, 65, 19, 30, 11, 3, 10, 37, 64, 27, 17, 7, 4, 5], [1, 1, 3, 2, 1, 2, 7, 5, 8, 27, 46, 157, 111, 176, 65, 19, 11, 3, 10, 17, 24, 7, 11, 4, 1, 3, 11, 19, 8, 5, 2, 1, 1], [-3, 1, 4, 4, 2, 3, 6, -3, 7, 13, 14, 15, -3, -3, 15, 14, 11, 8, 8, 10, 12, 12, 10, 9, 5, 5, 9, 11, 13, 7, 6, 3, 2, 1]]

Here, the first string gives the numerators of the cusps, the second the denominators and the third gives the pairing information (where [tex[-2[/tex] denotes an even edge and an odd edge. Fortunately, kfarey also allows us to draw the special polygonal region determined by a Farey-symbol. So, here it is (without the pairing data) :

the hiding place of …

It would be nice to have (a) other Farey-symbols associated to the second Janko group, hopefully showing a pattern that one can extend into an infinite family as in the inguanodon series and (b) to determine Farey-symbols of more sporadic groups.

On friday, I did spot in my regular Antwerp-bookshop Finding Moonshine by Marcus du Sautoy and must have uttered a tiny curse because, at once, everyone near me was staring at me…

To make matters worse, I took the book from the shelf, quickly glanced through it and began shaking my head more and more, the more I convinced myself that it was a mere resampling of Symmetry and the Monster, The equation that couldn’t be solved, From Error-Correcting Codes through Sphere Packings to Simple Groups and the diary-columns du Sautoy wrote for a couple of UK-newspapers about his ‘life-as-a-mathematician’…

Still, I took the book home, made a pot of coffee and started reading the first chapter. And, sure enough, soon I had to read phrases like “The first team consisted of a ramshackle collection of mathematical mavericks. One of the most colourful was John Horton Conway, currently professor at the University of Princeton. His mathematical and personal charisma have given him almost cult status…” and “Conway, the Long John Silver of mathematics, decided that an account should be published of the lands that they had discovered on their voyage…” and so on, and so on, and so on.

The main problem I have with du Sautoy’s books is that their main topic is NOT mathematics, but rather the lives of mathematicians (colourlful described with childlike devotion) and the prestige of mathematical institutes (giving the impression that it is impossible to do mathematics of quality if one isn’t living in Princeton, Paris, Cambridge, Bonn or … Oxford). Less than a month ago, I reread his ‘Music of the Primes’ so all these phrases were still fresh in my memory, only on that occasion Alain Connes is playing Conway’s present role…

I was about to throw the book away, but first I wanted to read what other people thought about it. So, I found Timothy Gowers’ review, dated febraury 21st, in the Times Higher Education. The first paragraph below hints politely at the problems I had with Music of the Primes, but then, his conclusion was a surprise

The attitude of many professional mathematicians to the earlier book was ambivalent. Although they were pleased that du Sautoy was promoting mathematics, they were not always convinced by the way that he did it.
I myself expected to have a similar attitude to Finding Moonshine, but du Sautoy surprised me: he has pulled off that rare feat of writing in a way that can entertain and inform two different audiences - expert and non-expert - at the same time.

Okay, so maybe I should give ‘Finding Moonshine’ a further chance. After all, it is week-end and, I have nothing else to do than attending two family-parties… so I read the entire book in a couple of hours (not that difficult to do if you skip all paragraphs that have the look and feel of being copied from the books mentioned above) and, I admit, towards the end I mellowed a bit. Reading his diary notes I even felt empathy at times (if this is possible as du Sautoy makes a point of telling the world that most of us mathematicians are Aspergers). One example :

One of my graduate students has just left my office. He’s done some great work over the past three years and is starting to write up his doctorate, but he’s just confessed that he’s not sure that he wants to be a mathematician. I’m feeling quite sobered by this news. My graduate students are like my children. They are the future of the subject. Who’s going to read all the details of my papers if not my mathematical offspring? The subject feels so tribal that anyone who says they want out is almost a threat to everything the tribe stands for.
Anton has been working on a project very close to my current problem. There’s no denying that one can feel quite disillusioned by not finding a way into a problem. Last year one of my post-docs left for the City after attempting to scale this mountain with me. I’d already rescued him from being dragged off to the City once before. But after battling with our problem and seeing it become more and more complex, he felt that he wasn’t really cut out for it.
What is unsettling for me is that they both questioned the importance of what we are doing. They’ve asked that ‘What’s it all for?’ question, and think they’ve seen the Emperor without any clothes.
Anton has questioned whether the problems we are working on are really important. I’ve explained why I think these are fundamental questions about basic objects in nature, but I can see that he isn’t convinced. I feel I am having to defend my whole existence. I’ve arranged for him to join me at a conference in Israel later this month, and I hope that seeing the rest of the tribe enthused and excited about these problems will re-inspire him. It will also show him that people are interested in what he is dedicating his time to.

Du Sautoy is a softy! I’d throw such students out of the window…

Time to wrap up this series on the Bost-Connes algebra. Here’s what we have learned so far : the convolution product on double cosets

is a noncommutative algebra, the Bost-Connes Hecke algebra , which is a bi-chrystalline graded algebra (somewhat weaker than ’strongly graded’) with part of degree one the group-algebra . Further, has a natural one-parameter family of algebra automorphisms defined by and .

For any algebra together with a one-parameter family of automorphisms one is interested in KMS-states or Kubo-Martin-Schwinger states with parameter , (this parameter is often called the ‘invers temperature’ of the system) as these are suitable equilibria states. Recall that a state is a special linear functional on (in particular it must have norm one) and it belongs to if the following commutation relation holds for all elements

Let us work out the special case when is the matrix-algebra . To begin, all algebra-automorphisms are inner in this case, so any one-parameter family of automorphisms is of the form

where is the matrix-exponential of the nxn matrix . For any parameter we claim that the linear functional

is a KMS-state.Indeed, we have for all matrices that

(the next to last equality follows from cyclic-invariance of the trace map). These states are usually called Gibbs states and the normalization factor (needed because a state must have norm one) is called the partition function of the system. Gibbs states have arisen from the study of ideal gases and the place to read up on all of this are the first two chapters of the second volume of “Operator algebras and quantum statistical mechanics” by Ola Bratelli and Derek Robinson.

This gives us a method to construct KMS-states for an arbitrary algebra with one-parameter automorphisms : take a simple n-dimensional representation , find the matrix determining the image of the automorphisms and take the Gibbs states as defined before.

Let us return now to the Bost-Connes algebra . We don’t know any finite dimensional simple representations of but, sure enough, have plenty of graded simple representations. By the usual strongly-graded-yoga they should correspond to simple finite dimensional representations of the part of degree one (all of them being one-dimensional and corresponding to characters of ).

Hence, for any ( details) we have a graded simple -representation with action defined by

Here, is computed using the ‘chinese-remainder-identification’ ( details).

Even when the representations are not finite dimensional, we can mimic the above strategy : we should find a linear operator determining the images of the automorphisms . We claim that the operator is defined by for all . That is, we claim that for elements we have

So let us compute the action of both sides on when . The left hand side gives whereas the right-hand side becomes

proving the claim. For any parameter this then gives us a KMS-state for the Bost-Connes algebra by

Finally, let us calculate the normalization factor (or partition function) . Because we have for that the trace

is equal to the Riemann zeta-value (at least when ).

Summarizing, we started with the definition of the Bost-Connes algebra , found a canonical one-parameter subgroup of algebra automorphisms and computed that the natural equilibria states with respect to this ‘time evolution’ have as their partition function the Riemann zeta-function. Voila!

If you ever sat through a lecture by Alain Connes you will know about his insistence on the ‘canonical dynamic nature of noncommutative manifolds’. If you haven’t, he did write a blog post Heart bit 1 about it.

I’ll try to explain here that there is a definite “supplément d’âme” obtained in the transition from classical (commutative) spaces to the noncommutative ones. The main new feature is that “noncommutative spaces generate their own time” and moreover can undergo thermodynamical operations such as cooling, distillation etc…

Here a section from his paper A view of mathematics :

Indeed even at the coarsest level of understanding of a space provided by measure theory, which in essence only cares about the “quantity of points” in a space, one finds unexpected completely new features in the noncommutative case. While it had been long known by operator algebraists that the theory of von-Neumann algebras represents a far reaching extension of measure theory, the main surprise which occurred at the beginning of the seventies is that such an algebra M inherits from its noncommutativity a god-given time evolution: where is the quotient of the group of automorphisms of M by the normal subgroup of inner automorphisms. This led in my thesis to the reduction from type III to type II and their automorphisms and eventually to the classification of injective factors.

Even a commutative manifold has a kind of dynamics associated to it. Take a suitable vectorfield, consider the flow determined by it and there’s your ‘dynamics’, or a one-parameter group of automorphisms on the functions. Further, other classes of noncommutative algebras have similar features. For example, Cuntz and Quillen showed that also formally smooth algebras (the noncommutative manifolds in the algebraic world) have natural Yang-Mills flows associated to them, giving a one-parameter subgroup of automorphisms.

Let us try to keep far from mysticism and let us agree that by ‘time’ (let alone ‘god given time’) we mean a one-parameter subgroup of algebra automorphisms of the noncommutative algebra. In nice cases, such as some von-Neumann algebras this canonical subgroup is canonical in the sense that it is unique upto inner automorphisms.

In the special case of the Bost-Connes algebra these automorphisms are given by and .

This one-parameter subgroup is crucial in the definition of the so called KMS-states (for Kubo-Martin and Schwinger) which is our next goal.

Vacation is always a good time to catch up on some reading. Besides, there’s very little else you can do at night in a ski-resort… This year, I’ve taken along The Archimedes Codex: Revealing The Secrets Of The World’s Greatest Palimpsest by Reviel Netz and William Noel telling the story of the Archimedes Palimpsest.

The most remarkable of the above works is The Method, of which the palimpsest contains the only known copy. In his other works, Archimedes often proves the equality of two areas or volumes with his method of double contradiction: assuming that the first is bigger than the second leads to a contradiction, as does the assumption that the first be smaller than the second; so the two must be equal. These proofs, still considered to be rigorous and correct, used what we might now consider secondary-school geometry with rare brilliance. Later writers often criticized Archimedes for not explaining how he arrived at his results in the first place. This explanation is contained in The Method.
Essentially, the method consists in dividing the two areas or volumes in infinitely many stripes of infinitesimal width, and “weighing” the stripes of the first figure against those of the second, evaluated in terms of a finite Egyptian fraction series. He considered this method as a useful heuristic but always made sure to prove the results found in this manner using the rigorous arithmetic methods mentioned above.
He was able to solve problems that would now be treated by integral calculus, which was formally invented in the 17th century by Isaac Newton and Gottfried Leibniz, working independently. Among those problems were that of calculating the center of gravity of a solid hemisphere, the center of gravity of a frustum of a circular paraboloid, and the area of a region bounded by a parabola and one of its secant lines. Contrary to exaggerations found in some 20th century calculus textbooks, he did not use anything like Riemann sums, either in the work embodied in this palimpsest or in any of his other works. (For explicit details of the method used, see Archimedes’ use of infinitesimals.)
A problem solved exclusively in the Method is the calculation of the volume of a cylindrical wedge, a result that reappears as theorem XVII (schema XIX) of Kepler’s Stereometria.
Some pages of the Method remained unused by the author of the Palimpsest and thus they are still lost. Between them, an announced result concerned the volume of the intersection of two cylinders, a figure that Apostol and Mnatsakian have renamed n = 4 Archimedean globe (and the half of it, n = 4 Archimedean dome), whose volume relates to the n-polygonal pyramid.
In Heiberg’s time, much attention was paid to Archimedes’ brilliant use of infinitesimals to solve problems about areas, volumes, and centers of gravity. Less attention was given to the Stomachion, a problem treated in the Palimpsest that appears to deal with a children’s puzzle. Reviel Netz of Stanford University has argued that Archimedes discussed the number of ways to solve the puzzle. Modern combinatorics leads to the result that this number is 17,152. Due to the fragmentary state of the palimpsest it is unknown whether or not Archimedes came to the same result. This may have been the most sophisticated work in the field of combinatorics in Greek antiquity.

Also I hope to finish the novel Interred with their bones by Jennifer Lee Carrell (though I prefer the Dutch title, “Het Shakespeare Geheim” that is, “The Shakespeare Secret”) on a lost play by Shakespeare, and have a re-read of The music of the primes as I’ll use this book for my course starting next week.