Skip to content →

Category: stories

according to Groth. IV.22

At the Bourbaki Seminar in November 1968 the participants were handed the following (premature) announcement of Bourbaki’s death.



The French text can be found at the Canulars Bourbaki, and the English translation below is from Maurice Mashaal’s book Bourbaki, a secret society of mathematicians, page 115.

I’ve underlined a couple of riddles in the text.

———-

The Cantor, Hilbert, and Noether families;
The Cartan, Chevalley, Dieudonne, and Weil families;
The Bruhat, Dixmier, Godement, Samuel, and Schwartz families;
The Cartier, Grothendieck, Malgrange, and Serre families;
The Demazure, Douady, Giraud, and Verdier families;
The Right-Filtering and Strict-Epimorphism families;
Mesdemoiselles Adele and Idele;

regret to announce the death of Monsieur

NICOLAS BOURBAKI

Respectively their father, brother, son, grandson, great-grandson, and grand-cousin.

He died piously in his home on November 11, 1968 (on the anniversary of great victory) in his home in Nancago.

The burial will take place in the cemetery for Random Functions (metro stations Markov and Goedel) on Saturday, November 23, 1968 at 3 o’clock in the afternoon.

A reception will be held at the bar The Direct Products, at the crossroads of the Projective Resolutions (formerly Koszul square).

Following the wish of the departed, His Eminence the Cardinal Aleph I will hold a mass in Our Lady of Universal Problems in the presence of representatives from all equivalence classes and from all (algebraically closed) fields. The students from l’Ecole Normale Superieure and the Chern classes will observe a minute of silence.

No flowers or wreath products.

For God is the Alexandrov compactification of the universe.” Groth. IV.22

———-

This announcement is clearly inspired by the faire-part of Betti Bourbaki’s wedding (with Hector Petard), written by Andre Weil and Claude Chabauty in the spring of 1939.

Some years ago I wrote a couple of posts on possible solutions of the riddles contained in that faire-part, a pdf-version can be downloaded as the Bourbaki code. (Note to self: repost some of those and add new material!)

Whereas the wedding announcement was concocted by members of Bourbaki, this is not the case for this death announcement. It was written by the mathematician and writer Jacques Roubaud, a member of the literary group OuLiPo.

In 1997 he wrote the novel ‘Mathematique’ (now available in English translation). In it, he recalls his mathematical years, from his first lecture at the IHP in 1952 till the 70ties. It contains an insiders view on Parisian mathematics in the 50ties and 60ties, dominated largely by Bourbaki, and offers clues to decrypt some of the riddles in the death announcement.

Today, we’ll consider the final one

For God is the Alexandrov compactification of the universe.Groth. IV.22

Can we make sense of the ‘reference’ Groth. IV.22?

Does it refer to EGA IV?

Roubaud’s motif (pardon the expression) for writing the announcement of Bourbaki’s death in 1968 can be read between the lines in his book Mathematics, a novel from which all quotes below are taken.

page 146: “I was invited by Raymond Queneau to join the Oulipo and I met FLL in the fall of 1966. By then, I had reached the end of my passion for Bourbaki, after being one of their most faithful and credulous readers for many years.”

page 73: “The “biography” of that many-headed beast, Bourbaki, is still to be written. It would be a fascinating but arduous task. Here, I shall say only what is strictly necessary to my own entreprise. Having reached his dotage after 1968, “he” is for all intents and purposes now dead.”

By 1968, Bourbaki had become an institution dominating French mathematics and so had to die after the May 1968 revolt.

But, Roubaud had found a new prophet to follow…

page 284: “It was a book of mathematics. It had just been published. It was in a large format, with a blue cover. Its title was Elements of Algebraic Geometry (affectionately and familiarly abbreviated, in French, to EGA). Its author: Grothendieck.

page 285: “For I had so immersed mself in Bourbakism that such a text, the fruit of its final flowering, the monumental work of he who could be considered as Dr. Frankenstein-Bourbaki’s Monster, and which had been drafted according to the group’s inimitable stylistic norms, here applied, in its prose, in a heightened, frenetic way, ran through my mind like honey, no, like nectar, an intellectual ambrosia. Just thinking about it now fills me with stupefaction. I was someone who managed to read EGA with pleasure – worse, with delight. For any normal mathematician today, such an affirmation would seem as perverse as adoring an American soft drink.”

Roubaud was reading EGAs like others would read Nicki French thrillers, one per year:

(1960) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: I. Le langage des schĂ©mas”

(1961) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: II. Étude globale Ă©lĂ©mentaire de quelques classes de morphismes”

(1961) : “ElĂ©ments de gĂ©omĂ©trie algĂ©brique: III. Étude cohomologique des faisceaux cohĂ©rents, PremiĂšre partie”

(1963) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: III. Étude cohomologique des faisceaux cohĂ©rents, Seconde partie”

(1964) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: IV. Étude locale des schĂ©mas et des morphismes de schĂ©mas, PremiĂšre partie”

(1965) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: IV. Étude locale des schĂ©mas et des morphismes de schĂ©mas, Seconde partie”

(1966) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: IV. Étude locale des schĂ©mas et des morphismes de schĂ©mas, TroisiĂšme partie”

(1967) : “ÉlĂ©ments de gĂ©omĂ©trie algĂ©brique: IV. Étude locale des schĂ©mas et des morphismes de schĂ©mas, QuatriĂšme partie”

It was now november 1968, and Roubaud was hoping that another sequel would be published soon. As the last one ended with section IV.21, this new volume would start with IV.22, and, no doubt, contain more divine mathematics…

However, Pieter Belmans objected that it was planned from the outset for EGA4 to consist of 21 chapters, and no more. Surely, Roubaud knew about this…

ADDED october 4th: Pieter has done some further digging on this issue in his post According to Groth IV.22.

Can it refer to SGA IV?

Luckily, there is another option. Grothendieck ran the Séminaire de Géométrie Algébrique du Bois Marie at the IHES from 1962 to 1969.

SGA4 was about “ThĂ©orie des topos et cohomologie Ă©tale des schĂ©mas” (Topos theory and Ă©tale cohomology) and ran in 1963–1964. A decade later the notes were published in Springer’s Lecture Notes in Mathematics 269, 270 and 305, 1972/3.

The topic of SGA4 (topos theory) is clearly closer in spirit to the fake biblical quote on the topological nature of God than that of EGA4 which was about the local structure of schemes and their morphisms.

The original notes were published in fascicles by the IHÉS, most of which went through two or three revisions, and were published as the seminar proceeded. So, Roubaud had access to them in the later 60ties.

The original versions, as well as their re-published LaTeX versions can be found here.

Again, we face the problem that there are not enough chapters, only 19 in this case.

Fortunately, we can search the LaTeX-ed version for references to the Alexandroff compactification, and there is just a single one:

This is in the first lecture on Presheaves by Grothendieck and Verdier. More precisely, it is in section 2 (Univers et espĂšces de structures) of the Appendix, which is labeled

II. Appendice : Univers (by N. Bourbaki (*))

So, the paragraph on the Alexandroff compactification is in SGA IV,II.2, or, if we read 22 as II.2 this might explain Groth. IV.22.

We have found a reference in SGA IV including “Bourbaki”, “the univers” and “Alexandroff compactification”.

But then, who dreamed up this topological definition of God?

Jean-Paul Benzecri

Dieu est le compactifiĂ© d’Alexandrof de l’univers.Jean-Paul Benzecri

Jean-Paul Benzécri is a French statistician who has been professor at Université Pierre-et-Marie-Curie in Paris. In the 60ties he was a professor at the university of Rennes where he was a colleague of Roubaud.

Jacques Roubaud has another book on his reminiscences as a mathematician, Impératif catégorique. Unfortunately, this book is not (yet) translated into English.

In section 80, La déesse Fortune ne se montra pas envers moi avare de ses bienfaits, he tells about his years at the University of Rennes where also his friend and topos-theorist Jean Bénabou was at the time. Bénabou and Benzécri knew each other from their student days at the Ecole Normale.

Benzécri had a very strict catholic family background, and in the 50ties he attended the Centre Richelieu des étudiants catholiques.

.

He liked to explain his axiom as follows:

“Of course, God created the univers. But, he created it locally compact and not compact. That it, left on its own, the universe would suffer a serious structural defect which could only be repaired by introducing a point at infinity, which marks the presence of the divine.”

Comments closed

Did Nöbeling discover toposes?

Chasing one story, one sometimes tumbles into a different one. For some time I’m trying to debunk the story that Wolfgang Krull was close to inventing the notion of schemes in the early 1930’s.

I guess my first encounter with it was through The Rising Sea: Grothendieck
on simplicity and generality I
by Colin McLarty which contains:

“From Emmy Noether’s viewpoint, then, it was natural to look at prime ideals instead of classical and generic points as we would more likely say today, to identify points with prime ideals. Her associate Wolfgang Krull did this. He gave a lecture in Paris before the Second World War on algebraic geometry taking all prime ideals as points, and using a Zariski topology. He did this over any ring, not only polynomial rings like $\mathbb{C}[x, y]$. The generality was obvious from the Noether viewpoint, since all the properties needed for the definition are common to all rings. The expert audience laughed at him and he abandoned the idea.”

The story seems to be due to Jurgen Neukirch’s ‘Erinnerungen an Wolfgang Krull’ published in ‘Wolfgang Krull : Gesammelte Abhandlungen’ (P. Ribenboim, editor).

This rumour is quickly ruled out as Parisian pre-war mathematical life only involves the Hadamard- and Julia-seminars and they are very well documented.

A more thorough investigation was carried out by Theo Raedschelders who contacted Karl-Otto Stöhr (a former student of Krull) and this is what he had to say about it:

“I remember that Prof. Krull once told to me, that in the early thirties he proposed in a talk that in algebraic geometry a larger number of points should be taken in consideration, namely points corresponding to the prime ideals of commutative rings. I always thought that this talk did happen at some place in Germany. He further mentioned that the mathematician Nöbeling in the audience argued that this idea would not be of any help to understand italian algebraic geometry.

I had never heard of Nöbeling, so here’s where this story takes a turn…

[section_title text=”The Vienna Mathematical Seminar”]

Wien 1938 und der Exodus der Mathematik is a fascinating account of Vienna mathematical life in the years leading up to WW2.

Karl menger was a central figure in the Vienna Mathematical Institute and founded its Mathematical Seminar. He gathered around him a brilliant group of young mathematicians including Kurt Gödel, Abraham Wald, Franz Alt and Olga Taussky.



Merger made important contributions to topology, including the “Menger sponge” and mathematical logic.

He seems to have been the first person to raise the idea of a point-free definition of the concept of topological space (aka ‘pointless topology’). In his 1928 book Dimensionstheorie, he defined the concept of space without referring to the points of an underlying set, but rather using pieces or, as he liked to say, “lumps”.

Georg Nöbeling was one of the first students and closest collaborators of Menger, finishing his Ph.D. in 1931 on a generalisation of Menger’s embedding problem.



In 1933 he moved to Erlangen, where Krull was a professor at the time. No doubt they discussed Krull’s invention of what we now know as the Zariski topology and Nöbeling may have said he didn’t believe it to be of any use in studying Italian geometry.

In Peter Johnstone’s historical account of the pre-history of topos theory The point of pointless topology there is no mention of Menger’s work. To him, the idea that points are secondary in a topological space required the prior development of lattice theory, which was developed in the mid 30-ties by Stone.

Stone’s lattice-theoretical approach to general topology found its final presentation in Georg Nöbeling’s 1954 book “Grundlagen der analytischen Topologie”. In fact, Nöbeling’s book could be seen as marking the end of the lattice-theoretical phase of pointless topology. A couple of years later locales and toposes where introduced.

So, did Nöbeling invent topos theory as some say Krull invented scheme theory? No, of course not, they both lacked the crucial ingredient of sheaf theory.

Still, it is fair to say that the Zariski topology was probably discovered by Krull in the early 30-ties and that Menger introduced ‘pointless topology’ in the late 20-ties, years ahead of the lattice-theoretic approach.

If you want to read more on this, please consult the paper by Mathieu BĂ©langer and Jean-Pierre MarquisMenger and Nöbeling on pointless topology.

Comments closed

Where are Grothendieck’s writings?

You better subscribe to the French newspaper Liberation if you’re interested in the latest whereabouts of Grothendieck’s ‘gribouillis’. And even then it is hard to turn this info into a consistent tale. A futile attempt…

“In the Bibliotheque Nationale de France?”

A year ago it all seemed pretty straightforward. Georges Maltsiniotis gave a talk at the Grothendieck conference on a small part of the 65.000 pages discovered after Grothendieck’s death in Lasserre.

He said that Grothendieck’s family has handed over all non-family related material to the Bibliotheque Nationale de France.

Maltsiniotis insisted that the BNF wants to make these notes available to the academic community, after they made an inventory (which may take some time) and mentioned that the person responsible at the BNF is Isabelle le Masme de Chermont.

A year later there’s still no sign of the Lasserre papers in their database.

Earlier this year, Liberation-jounalist Philippe Douroux, published a book on Grothendieck’s life: “Alexandre Grothendieck, sur les traces du dernier genie des mathematiques”.

In this book, and in follow-up articles in Liberation, he follows the trail of Grothendieck’s gribouillis and suggests that we’d better look in stranger places, such as a police station or even a botanical institute…

“In a Parisian police station?”

From chapter 46 of Douroux’ book:

On November 13th 2015, while the terrorist-attacks on the Bataclan and elsewhere were going on, a Mercedes break with on board Alexandre Jr. Grothendieck and Jean-Bernard, a librarian specialised in ancient writings, was approaching Paris from Lasserre. On board: 5 metallic cases, 2 red ones, 1 green and 2 blues.

At about 2 into the night they arrived at the ‘commissariat du Police’ of the 6th arrondissement. Jean-Bernard pushed open a heavy blue carriage porch, crossed the courtyard opened a second door and then a third one and delivered the cases.

Comparing this description with the image above from google maps, the Lasserre boxes might be in the white building behind the police station.

I have no clue what the function of this building is, or why the boxes were delivered at that place, not at all close to the Bibliotheque Nationale.

As to why they are not at the BNF, this is probably a question of money.

Before the BNF can accept a legacy, French law says they have to agree on its value with the family. Their initial estimate was ridiculously low: 45.000 Euros or less than one Euro a page. In a similar case, the archives of Michel Foucault, a former professor at the College de France, were acquired by the BNF for no less than 4.800.000 Euro.

“At the botanical institute in Montpellier?”

The mysterious white building in Paris is the best guess to hold the 65.000 pages Grothendieck wrote in Lasserre.

However, there are also the 20.000 pages of the Mormoiron gribouillis, consisting of 5 boxes (Pamper-boxes it is said) rescued by Malgoire in 1991 from Grothendieck’s bonfire.

In 2010, after Grothendieck’s letter that his work should be destroyed, Malgoire donated the Pamper-boxes to the university of Montpellier. The university put them in solid archive boxes and placed them in the Botanical Institute.

As Grothendieck donated these writings to Malgoire, who donated them in turn to his university, the University of Montpellier claimed to own the Mormoiron-gribouillis, and started a silly legal battle with Grothendieck’s children.

On May 3rd the children won, and the documents should have been handed over to the family by mid July 2016. The intention was that they would join the Lasserre notes in Paris.

Mid June, however, the region of Languedoc-Roussillon gave the University of Montpellier 57.000 Euro so that the Grothendieck-notes could be scanned and archived. Probably, a delaying tactic.

So, my best guess is that the Mormoiron gribouillis are still in Montpellier.

Comments closed