For the first time in my career, I am missing an event that I co-organized. Fortunately, the videos of the talks are posted on the MSRI website, and I can still profit from them…
One of my great pleasures in life is to walk leisurely down from my office about 30 minutes before the train (to Paris, or Göttingen, or Basel, or what you will) starts, browse a few minutes in one of the second-hand bookstores on the way, and get on the train with some wonderfully surprising book, known or not.
A few months ago, I found “Condorcet journaliste, 1790-1794”,
which one cannot call a well-known book. It is the printed version of the 1929 thesis (at the École des Hautes Études Sociales) of Hélène Delsaux, and its main goal is to survey and discuss in detail all the journal articles that Condorcet, that particularly likable character of the French revolution (about the only one to be happily married, one of the very few in favor of a Republic from the outset, and — amid much ridicule — a supporter of vote for women), wrote during those years.
Condorcet was also known at the time as a mathematician; hence this remarkable quote from the book in question:
Il est généralement admis que rien ne dessèche le coeur comme l’étude approfondie des mathématiques…
or in a rough translation
It is a truth universally acknowledged that nothing shrivels the heart more than the deep study of mathematics… [Ed. Note: what about real estate?]
This book cost me seven Francs. More recently, my trip to the bookstore was crowned by the acquisition of a reprint of R. Dedekind’s “Stetigkeit und irrationale Zahlen” and “Was sind und was sollen die Zahlen” (five Francs)
and of a first edition (Teubner Verlag, Leipzig, 1907) of Minkowski’s “Diophantische Approximationen”
for the princely sum of thirty-eight Francs.
The content of Minkowski’s book is not at all what the title might suggest. There are roughly two parts, one concerned with the geometry of numbers, and the second with algebraic number theory. In both cases, the emphasis is on dimensions 2 and (indeed, especially) 3, so cubic fields are at the forefront of the discussion in the second part. This leads to a much greater number of pictures (there are 82) than a typical textbook of algebraic number theory would have today. Here are two examples,
and here is Minkowski’s description of the Minkowski functional (or gauge) of a convex set:
When I was attending the conference in honor of Alex Lubotzky’s 60th birthday, Karen Vogtmann, who was also there, told me of the Open Math Notes repository, a new project of the AMS that she was involved with. This is meant to be a collection of (mostly) lecture notes, such as many mathematicians write for a course, but which are not published (nor necessarily meant to be published). So they can be incomplete, they might contain mistakes, and may more generally be subject to all the slings and arrows that mathematical writing is heir to. (See the web site for more information, submission guidelines, etc…)
I think that this is a great idea, and am very happy that, as the web site is now public, two of my own lecture notes can be found among the inaugural set! The highlight of the current selection is however undoubtedly “A singular mathematical promenade”, by Étienne Ghys, his beautiful book on graphs of polynomials, Newton’s method, Puiseux expansions, divergent series, and much much else that I have yet to see (I’m only one-third through looking at it…)
Hopefully, the Open Math Notes collection will grow to contain many further texts. The example of the book of Ghys is already an illustration of how useful this may be — although it is also available on his home page, one doesn’t necessarily visit it frequently enough to notice it…
Two final whimsical remarks to conclude: (1) among the six authors currently represented [Update (four hours later): this has already changed!], three [Update: four] (at least) are French; (2) one of my set of notes promises a randonnée, and Ghys’s book is a promenade — clearly, one can think of mathematics as a journey…
When working on large finite field versions of conjectures like Bunyakowski’s or Schinzel’s or Bateman-Horn’s, one small point that always somewhat tickled me was that the answer, which follows from the computation of some Galois group, seems to be weaker than this actual computation. For instance, to get the “right” answer in Bunyakowski’s Conjecture, one computes a Galois group that is in a natural way a subgroup of the symmetric group on letters, and it is enough to show that the proportion of -cycles in is exactly . It is of course sufficient to show that is the full symmetric group (which contains the right number of -cycles), but a priori, this is a weaker condition.
Although I mentioned this briefly in my talk in the recent conference in honor of A. Lubotzky’s 60th birthday (where I was greatly honored to be invited!), it’s only last week or so that I somehow finally did the obvious thing, namely some experiments with Magma to see if the property of having proportion of -cycles is widespread.
When doing this, the first thing to realize (which I only did when P.P. Palfy pointed it out during that conference…) is that this condition, for a subgroup of , is equivalent with containing a unique conjugacy class of -cycles (simply because the centralizer of an -cycle, either in or in the bigger symmetric group, is the cyclic subgroup of order that it generates). So we can coin a solid decent name for these groups: we call them the unicyclic permutation groups.
Magma has a database of all transitive permutation groups of degree up to (even if one installs an extra specific database). Experimentation shows that there often exist unicyclic groups that are not the symmetric group. For instance, for degree , there exist (up to isomorphism) transitive permutation groups, and of them contain at least one -cycle, and of them are unicyclic.
However, the same experiments show that if we restrict our attention to primitive subgroups, then the situation is very different: either there is only the symmetric group , or there are two unicyclic groups. Amusingly the second case occurs if and only if is prime (an amusing primality test…)
One can indeed prove that these facts (which I did first experimentally notice) are correct, but it is not cheap. More precisely, from the Classification of Finite Simple Groups, Feit and later Jones (see for instance this paper which has a slightly more general result) deduced a full classification of primitive permutation groups that contain an -cycle. It is restrictive enough that one can then relatively easily exclude all groups except the symmetric groups and, when is prime, the group of transformations of the finite field .
That’s a nice result, but is it relevant for our original motivation? I think so, because (as Will Sawin pointed out), one can prove in considerable generality that the Galois group in (say) the Bunyakowski problem is primitive, before or without computing it exactly, because it suffices to prove that it is -transitive, and this is accessible to the diophantine interpretation using Chebotarev’s Density Theorem, as in Entin’s approach. (Indeed, Entin goes on to check that the Galois group is often -transitive or so, and from the Classification of Finite Simple Groups, deduces that the group contains the alternating group). Hence, if the degree is not prime, granted that one first applies Entin’s method to check primitivity, having Galois group is equivalent to the natural version of Bunyakowski’s conjecture in the large finite field limit…
If is prime, well one can say that if is not solvable, then it must be the symmetric group (assuming is at least …), although that is not as good — is there a better way to do it?
Here is a simple but cute computation that makes a good exercise in elementary representation theory with a probabilistic flavor — as usual, it’s probably well-known, but I wasn’t aware of it until doing the exercise myself.
We consider random permutations in the symmetric group , and write for the number of cycles in the disjoint cycle representation of . It is a well-known fact (which may be due to Feller) that, viewed as a random variable on (with uniform probability measure), there is a decomposition in law
where is a Bernoulli random variable taking value with probability and with probability , and moreover the ‘s are independent.
This decomposition is (in the sources I know) usually proved using the “Chinese Restaurant Process” to describe random permutations ( guests numbered from to enter a restaurant with circular tables; they successively sit either at the next available space of one of the tables already occupied, or pick a new one, with the same probability; after all guests are seated, reading the cycles on the occupied tables gives a uniformly distributed element of .) If one is only interested in , then the decomposition above is equivalent to the formula
for the probability generating function of . (This formula comes up in mod-poisson convergence of and in analogies with the Erdös-Kac Theorem, see this blog post).
Here is an algebraic proof of this generating function identity. First, is a polynomial, so it is enough to prove the formula when is a non-negative integer. We can do this as follows: let be a vector space of dimension over . Then define and view it as a representation space of where the symmetric group permutes the factors in the tensor product. Using the “obvious” basis of , it is elementary that the character of this representation is the function on (the matrix representing the action of is a permutation matrix). Hence, by character theory, is the dimension of the -invariant subspace of . Since the representation is semisimple, this is the dimension of the coinvariant space, which is the -th symmetric power of This in turn is well-known (number of monomials of degree in variables), and we get