Category: geometry

Grothendieck’s gribouillis

Published January 3, 2015 by lievenlb

A math-story well worth following in 2015.

What will happen to Grothendieck’s unpublished notes, or as he preferred, his “gribouillis” (scribbles)?

Here’s the little I know about this:

1. The Mormoiron scribbles

During the 80ties Grothendieck lived in ‘Les Aumettes’ in Mormoiron

In 1991, just before he moved to the Pyrenees he burned almost all of his personal notes in the garden. He phoned Jean Malgoire:

“Si tu ne viens pas chercher mon bordel mathématique, il va brûler avec le reste.”

Malgoire sped to Mormoiron and rescued 5 boxes containing about 20.000 pages. The next 20 years he kept them in his office, not exactly knowing what to do with them.

On january 3rd 2010, Grothendieck wrote his (in)famous letter forbidding others to share or publish any of his writings. (Picture via the SecretBloggingSeminar)

Malgoire feared that Grothendieck would soon ask him to destroy the Mormoiron-gribouillis and decided to donate them to the University of Montpellier.

They are kept somewhere in their archives, the exact location known only to Jean Malgoire, Luc Gomel (who is in charge of the patrimonium of the University of Montpellier) and the person who put the boxes away.

After Grothendieck’s death on november 13th, FranceTV3 did broadcast a short news-item.

If Grothendieck’s children agree, the University of Montpellier intends to make an inventory of the 5 boxes and will make them available, at least to researchers.

2. The Lasserre scribbles

The final 23 years of his life, Grothendieck lived in the small village of Lasserre in the French Pyrenees.

Here he could be glimpsed blurrily through the window as he wrote for hours during the night.(Picture via the GrohendieckCircle)

Leila Schneps and her husband Pierre Lochak did visit the house and met with Grothendieck’s family the week after his death.

Before she went, she was optimistic about the outcome as she emailed:

“I have already started modifying the Grothendieck circle website and it will of course eventually return completely. Plus many things will be added, as we will now have access to Grothendieck’s correspondence and many other papers.”

Her latest comment, from december 16th, left on the Grothendieck-circle bulletin board, is more pessimistic:

“Il a ecrit a Lasserre sans cesse pendant plus de 20 ans. Je n’ai pu que jeter un rapide coup d’oeil sur tout ce qu’il a laisse. Il y a de tout: des maths, des reflexions sur lui-meme, et des reflexions sur la nature humaine et sur l’univers. Rien n’est disponible pour le moment. Ces manuscrits finiront dans une bibliotheque et seront peut-etre un jour consultables.”

The good news is that there appears to be some mathematics among the Lassere-gribouillis. The sad news being that none of this is available at the moment, and perhaps never will.

So, what happened? Here’s my best guess:

Grothendieck’s children were pretty upset a private letter from one of them turned up in the French press, a couple of years ago.

Perhaps, they first want to make sure family related material is recovered, before they’ll consider donating the rest (hopefully to the University of Montpellier to be reunited with Grothendieck’s Mormoiron-notes).

This may take some time.

Further reading (in French):

Grothendieck, mon tresor (nationale)

Un génie mystérieux, un secret bien gardé

Grothendieck’s Café

Published July 1, 2014 by lievenlb

“A story says that in a Paris café around 1955 Grothendieck asked his friends “what is a scheme?”. At the time only an undefined idea of “schéma” was current in Paris, meaning more or less whatever would improve on Weil’s foundations.” (McLarty in The Rising Sea)

Finding that particular café in Paris, presumably in the 5th arrondissement, seemed like looking for a needle in a haystack.

Until now.

In trying to solve the next riddle in Bourbaki’s death announcement:

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

I’ve been reading Mathematics, a novel by Jacques Roubaud (the guy responsible for the announcement) on Parisian math-life in the 50ties and 60ties.

It turns out that the poor Bourbakistas had very little choice if they wanted to have a beer (or coffee) after attending a seminar at the IHP.

On page 114, Roubaud writes:

“Père Plantin presided over his bar, which presided over the Lhomond/Ulm street corner. It is an obvious choice. rue Pierre-et-Marie-Curie had no bars; rue d’Ulm had no bars in eyeshot either. If we emerged, as we did, on this side of the Institut Henri Poincaré (for doing so on the other side would have meant fraternizing with the Spanish and Geography students in the cafés on rue Saint-Jacques, which was out of the question), we had no choice. Café Plantin had a hegemony.”

It is unclear to me whether Plantin was once actually the name of the café, or that it’s just Roubaud’s code-word for it. At other places in the book, e.g. on pages 82 and 113, he consistently writes “Plantin”, between quotes.

Today, the café on the crossroads of rue d’Ulm (where the Ecole Normal Superieure is located) and de rue Lhomond is the Interlude Café

and here’s what Roubaud has to say about it, or rather about the situation in 1997, when the French version of his book was published:

“the thing that would currently be found at the very same corner of rues Lhomond/Ulm would not be what I am here terming “Plantin”.”

So, we can only hope that the Café ‘Aux Produits Directs’ was a lot cosier, way back then.

But let us return to Grothendieck’s “What is a scheme?” story.

Now that we have a fair idea of location, what about a possible date? Here’s a suggestion: this happened on monday december 12th, 1955, and, one of the friends present must have been Cartier.

Here’s why.

The very first time the word “schéma” was uttered, in Paris, at an official seminar talk, was during the Cartan seminar of 1955/56 on algebraic geometry.

The lecturer was Claude Chevalley, and the date was december 12th 1955.

I’m fairly certain Grothendieck and Cartier attended and that Cartier was either briefed before or understood the stuff at once (btw. he gave another talk on schemes, a year later at the Chevalley seminar).

A couple of days later, on december 15th, Grothendieck sends a letter to his pal Serre (who must have been out of Paris for otherwise they’d phone each other) ending with:

Note the phrase: I am exploiting him most profitably. Yes, by asking him daft questions over a pint at Café “Plantin”…

the birthday of Grothendieck topologies

Published June 23, 2014 by lievenlb

This is the story of the day the notion of ‘neighbourhood’ changed forever (at least in the geometric sense).

For ages a neighbourhood of a point was understood to be an open set of the topology containing that point. But on that day, it was demonstrated that the topology of choice of algebraic geometry, the Zariski topology, needed a drastic upgrade.

This ultimately led to the totally new notion of Grothendieck topologies, which aren’t topological spaces at all.

Formally, the definition of Grothendieck topologies was cooked up in the fall of 1961 when Grothendieck visited Zariski, Mike Artin and David Mumford in Harvard.

The following spring, Mike Artin ran a seminar resulting in his lecture notes on, yes, Grothendieck topologies.

But, paradigm shifts like this need a spark, ‘une bougie d’allumage’, and that moment of insight happened quite a few years earlier.

It was a sunny spring monday afternoon at the Ecole Normal Superieure. Jean-Pierre Serre was giving the first lecture in the 1958 Seminaire Claude Chevalley which that year had Chow rings as its topic.

That day, april 21st 1958, Serre was lecturing on algebraic fibre bundles:

He had run into a problem.

If a Lie group $G$ acts freely on a manifold $M$, then the set of $G$-orbits $M/G$ is again a manifold and the quotient map $\pi : M \rightarrow M/G$ is a principal $G$-fibre bundle meaning that for sufficiently small open sets $U$ of $M/G$ we have diffeomorphisms

$\pi^{-1}(U) \simeq U \times G$

that is, locally (but not globally) $M$ is just a product manifold of $G$ with another manifold and the $G$-orbits are all of the form $\{ u \} \times G$.

The corresponding situation in algebraic geometry would be this: a nice, say reductive, algebraic group $G$ acting freely on a nice, say smooth, algebraic variety $X$. In this case one can form again an orbit space $X/G$ which is again a (smooth) algebraic variety but the natural quotient map $\pi : X \rightarrow X/G$ rarely has this local product property…

The reason being that the Zariski topology on $X/G$ is way too coarse, it doesn’t have enough open sets to enforce this local product property.

(For algebraists: let $A$ be an Azumaya algebra of rank $n^2$ over $\mathbb{C}[X]$, then the representation variety $\mathbf{rep}_n(A)$ is a principal $\mathbf{PGL}_n$-bundle over $X$ but is only local trivial in the Zariski topology when $A$ is a trivial Azumaya algebra, that is, $End_{\mathbb{C}[X]}(P)$ for a rank $n$ projective module $P$ over $\mathbb{C}[X]$.)

But, Serre had come up with a solution.

He was going to study fibre bundles which were locally ‘isotrivial’, meaning that they had the required local product property but only after extending them over an unamified cover $Y \rightarrow X$ (what we now call, an etale cover) and he was able to clasify such fibre bundles by a laborious way (which we now call the first etale cohomology group).

The story goes that Grothendieck, sitting in the public, immediately saw that these etale extensions were the correct generalization of the usual (Zariski) localizations and that he could develop a cohomology theory out of them in all dimensions.

According to Colin McLarty Serre was ‘absolutely unconvinced’, since he felt he had ‘brutally forced’ the bundles to yield the $H^1$’s.

We will never known what Serre actually wrote on the blackboard on april 21st 1958.

The above scanned image tells it is an expanded version of the original talk, written up several months later after the ICM-talk by Grothendieck in Edinburgh.

By that time, Grothendieck had shown Serre that his method indeed gives cohomology in all dimensions,and convinced him that this etale cohomology was likely to be the “true cohomology needed to prove the Weil conjectures”.