Tag: Serre

Bourbaki, Brassens, Hula Hoops and Coconuts

Published August 16, 2022 by lievenlb

More than ten years ago, when I ran a series of posts on pre-WW2 Bourbaki congresses, I knew most of the existing B-literature. I’m afraid I forgot most of it, thereby missing opportunities to spice up a dull post (such as yesterday’s).

Right now, I need facts about the infamous ACNB and its former connection to Nancy, so I reread Liliane Beaulieu’s Bourbaki a Nancy:

(page 38) : “Like a theatrical canvas, “La Tribu” often carries as its header a subtitle, the product of its editor’s imagination, which brings out the theme of the congress, if necessary. There is thus a “De Nicolaıdes” congress in Nancy, “Du banc public” (reference to Brassens) that of the “Universites cogerees” (in October 68, at the time of co-management).”

The first La Ciotat congress (February 27 to March 6, 1955) was called ‘the congress of the public bench’ (‘banc public’ in French) where Serre and Cartan tried to press Bourbaki to opt for the by now standard approach to varieties (see yesterday), and the following Chicago-congress retaliated by saying that there were also public benches nearby, but of little use.

What I missed was the reference to French singer-songwriter George Brassens. In 1953, he wrote, composed and performed Bancs Public (later called ‘Les Amoureux des bancs publics’).

If you need further evidence (me, I’ll take Liliane’s word on anything B-related), here’s the refrain of the song:

“Les amoureux qui s’bécotent sur les bancs publics,
Bancs publics, bancs publics,
En s’foutant pas mal du regard oblique
Des passants honnêtes,
Les amoureux qui s’bécotent sur les bancs publics,
Bancs publics, bancs publics,
En s’disant des “Je t’aime'” pathétiques,
Ont des p’tits gueules bien sympathiques!”

(G-translated as:
‘Lovers who smooch on public benches,
Public benches, public benches,
By not giving a damn about the sideways gaze
Honest passers-by,
The lovers who smooch on the public benches,
Public benches, public benches,
Saying pathetic “I love you” to each other,
Have very nice little faces!‘)

Compare this to page 3 of the corresponding “La Tribu”:

“Geometrie Algebrique : elle a une guele bien sympathique.”

(Algebraic Geometry : she has a very nice face)

More Bourbaki congresses got their names rather timely.

In the summer of 1959 (from June 25th – July 8th) there was a congress in Pelvout-le-Poet called ‘Congres du cerceau’.

‘Cerceau’ is French for Hula Hoop, whose new plastic version was popularized in 1958 by the Wham-O toy company and became a fad.

(Girl twirling Hula Hoop in 1958 – Wikipedia)

The next summer it was the thing to carry along for children on vacation. From the corresponding “La Tribu” (page 2):

“Le congres fut marque par la presence de nombreux enfants. Les distractions s’en ressentirent : baby-foot, biberon de l’adjudant (tres concurrence par le pastis), jeu de binette et du cerceau (ou faut-il dire ‘binette se jouant du cerceau’?) ; un bal mythique a Vallouise faillit faire passer la mesure.”
(try to G-translate it yourself…)

Here’s another example.

The spring 1949 congress (from April 13th-25th) was held at the Abbey of Royaumont and was called ‘le congres du cocotier’ (the coconut-tree congress).

From the corresponding “La Tribu 18”:

“Having absorbed a tough guinea pig, Bourbaki climbed to the top of the Royaumont coconut tree, and declared, to unanimous applause, that he would only rectify rectifiable curves, that he would treat rational mechanics over the field $\mathbb{Q}$, and, that with a little bit of vaseline and a lot of patience he would end up writing the book on algebraic topology.”

The guinea pig that congress was none other than Jean-Pierre Serre.

A year later (from April 5th-17th 1950) there was another Royaumont-congress called ‘le congres de la revanche du cocotier’ (the congress of the revenge of the coconut-tree).

From the corresponding La Tribu 22:

“The founding members had decided to take a dazzling revenge on the indiscipline young people; mobilising all the magical secrets unveiled to them by the master, they struck down the young people with various ailments; rare were those strong enough to jump over the streams of Royaumont.”

Here’s what Maurice Mashaal says about this in ‘Bourbaki – a secret society of mathematicians’ (page 113):

“Another prank among the members was called ‘le cocotier’ (the coconut tree). According to Liliane Beaulieu, this was inspired by a Polynesian custom where an old man climbs a palm tree and holds on tightly while someone shakes the trunk. If he manages to hold on, he remains accepted in the social group. Bourbaki translated this custom as the following: some members would set a mathematical trap for the others. If someone fell for it, they would yell out ‘cocotier’.”

May I be so bold as to suggest that perhaps this sudden interest in Polynesian habits was inspired by the recent release of L’ile aux cocotiers (1949), the French translation of Robert Gibbing’s book Coconut Island?

Leave a Comment

From Weil’s foundations to schemes

Published August 15, 2022 by lievenlb

Last time, we’ve seen that the first time ‘schemes’ were introduced was in ‘La Tribu’ (the internal Bourbaki-account of their congresses) of the May-June 1955 congress in Chicago.

Here, we will focus on the events leading up to that event. If you always thought Grothendieck invented the word ‘schemes’, here’s what Colin McLarty wrote:

“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)

What were Weil’s foundations of algebraic geometry?

Well, let’s see how Weil defined an affine variety over a field $k$. First you consider a ‘universal field’ $K$ containing $k$, that is, $K$ is an algebraically closed field of infinite transcendence degree over $k$. A point of $n$-dimensional affine space is an $n$-tuple $x=(x_1,\dots,x_n) \in K^n$. For such a point $x$ you consider the field $k(x)$ which is the subfield of $K$ generated by $k$ and the coordinates $x_i$ of $x$.

Alternatively, the field $k(x)$ is the field of fractions of the affine domain $R=k[z_1,\dots,z_n]/I$ where $I$ is the prime ideal of all polynomials $f \in k[z_1,\dots,z_n]$ such that $f(x) = f(x_1,\dots,x_n)=0$.

An affine $k$-variety $V$ is associated to a ‘generic point’ $x=(x_1,\dots,x_n)$, meaning that the field $k(x)$ is a ‘regular extension’ of $k$ (that is, for all field-extensions $k’$ of $k$, the tensor product $k(x) \otimes_k k’$ does not contain zero-divisors.

The points of $V$ are the ‘specialisations’ of $x$, that is, all points $y=(y_1,\dots,y_n)$ such that $f(y_1,\dots,y_n)=0$ for all $f \in I$.

Perhaps an example? Let $k = \mathbb{Q}$ and $K=\mathbb{C}$ and take $x=(i,\pi)$ in the affine plane $\mathbb{C}^2$. What is the corresponding prime ideal $I$ of $\mathbb{Q}[z_1,z_2]$? Well, $i$ is a solution to $z_1^2+1=0$ whereas $\pi$ is transcendental over $\mathbb{Q}$, so $I=(z_1^2+1)$ and $R=\mathbb{Q}[z_1,z_2]/I= \mathbb{Q}(i)[z_2]$.

Is $x=(i,\pi)$ a generic point? Well, suppose it were, then the points of the corresponding affine variety $V$ would be all couples $(\pm i, \lambda)$ with $\lambda \in \mathbb{C}$ which is the union of two lines in $\mathbb{C}^2$. But then $i \otimes 1 + 1 \otimes i$ is a zero-divisor in $\mathbb{Q}(x) \otimes_{\mathbb{Q}} \mathbb{Q}(i)$. So no, it is not a generic point over $\mathbb{Q}$ and does not define an affine $\mathbb{Q}$-variety.

If we would have started with $k=\mathbb{Q}(i)$, then $x=(i,\pi)$ is generic and the corresponding affine variety $V$ consists of all points $(i,\lambda) \in \mathbb{C}^2$.

If this is new to you, consider yourself lucky to be young enough to have learned AG from Fulton’s Algebraic curves, or Hartshorne’s chapter 1 if you were that ambitious.

By 1955, Serre had written his FAC, and Bourbaki had developed enough commutative algebra to turn His attention to algebraic geometry.

La Ciotat congress (February 27th – March 6th, 1955)

With a splendid view on the mediterranean, a small group of Bourbaki members (Henri Cartan (then 51), with two of his former Ph.D. students: Jean-Louis Koszul (then 34), and Jean-Pierre Serre (then 29, and fresh Fields medaillist), Jacques Dixmier (then 31), and Pierre Samuel (then 34), a former student of Zariski’s) discussed a previous ‘Rapport de Geometrie Algebrique'(no. 206) and arrived at some unanimous decisions:

1. Algebraic varieties must be sets of points, which will not change at every moment.
2. One should include ‘abstract’ varieties, obtained by gluing (fibres, etc.).
3. All necessary algebra must have been previously proved.
4. The main application of purely algebraic methods being characteristic p, we will hide nothing of the unpleasant phenomena that occur there.

(Henri Cartan and Jean-Pierre Serre, photo by Paul Halmos)

The approach the propose is clearly based on Serre’s FAC. The points of an affine variety are the maximal ideals of an affine $k$-algebra, this set is equipped with the Zariski topology such that the local rings form a structure sheaf. Abstract varieties are then constructed by gluing these topological spaces and sheaves.

At the insistence of the ‘specialistes’ (Serre, and Samuel who had just written his book ‘Méthodes d’algèbre abstraite en géométrie algébrique’) two additional points are adopted, but with some hesitation. The first being a jibe at Weil:
1. …The congress, being a little disgusted by the artificiality of the generic point, does not want $K$ to be always of infinite transcendent degree over $k$. It admits that generic points are convenient in certain circumstances, but refuses to see them put to all the sauces: one could speak of a coordinate ring or of a functionfield without stuffing it by force into $K$.
2. Trying to include the arithmetic case.

The last point was problematic as all their algebras were supposed to be affine over a field $k$, and they wouldn’t go further than to allow the overfield $K$ to be its algebraic closure. Further, (and this caused a lot of heavy discussions at coming congresses) they allowed their varieties to be reducible.

The Chicago congress (May 30th – June 2nd 1955)

Apart from Samuel, a different group of Bourbakis gathered for the ‘second Caucus des Illinois’ at Eckhart Hall, including three founding members Weil (then 49), Dixmier (then 49) and Chevalley (then 46), and two youngsters, Armand Borel (then 32) and Serge Lang (then 28).

Their reaction to the La Ciotat meeting (the ‘congress of the public bench’) was swift:

(page 1) : “The caucus discovered a public bench near Eckhart Hall, but didn’t do much with it.”
(page 2) : “The caucus did not judge La Ciotat’s plan beyond reproach, and proposed a completely different plan.”

They wanted to include the arithmetic case by defining as affine scheme the set of all prime ideals (or rather, the localisations at these prime ideals) of a finitely generated domain over a Dedekind domain. They continue:

(page 4) : “The notion of a scheme covers the arithmetic case, and is extracted from the illustrious works of Nagata, themselves inspired by the scholarly cogitations of Chevalley. This means that the latter managed to sell all his ideas to the caucus. The Pope of Chicago, very happy to be able to reject very far projective varieties and Chow coordinates, willingly rallied to the suggestions of his illustrious colleague. However, we have not attempted to define varieties in the arithmetic case. Weil’s principle is that it is unclear what will come out of Nagata’s tricks, and that the only stable thing in arithmetic theory is reduction modulo $p$ a la Shimura.”

“Contrary to the decisions of La Ciotat, we do not want to glue reducible stuff, nor call them varieties. … We even decide to limit ourselves to absolutely irreducible varieties, which alone will have the right to the name of varieties.”

The insistence on absolutely irreducibility is understandable from Weil’s perspective as only they will have a generic point. But why does he go along with Chevalley’s proposal of an affine scheme?

In Weil’s approach, a point of the affine variety $V$ determined by a generic point $x=(x_1,\dots,x_n)$ determines a prime ideal $Q$ of the domain $R=k[x_1,\dots,x_n]$, so Chevalley’s proposal to consider all prime ideals (rather than only the maximal ideals of an affine algebra) seems right to Weil.

However in Weil’s approach there are usually several points corresponding to the same prime ideal $Q$ of $R$, namely all possible embeddings of the ring $R/Q$ in that huge field $K$, so whenever $R/Q$ is not algebraic over $k$, there are infinitely Weil-points of $V$ corresponding to $Q$ (whence the La Ciotat criticism that points of a variety were not supposed to change at every moment).

According to Ralf Krömer in his book Tool and Object – a history and philosophy of category theory this shift from Weil-points to prime ideals of $R$ may explain Chevalley’s use of the word ‘scheme’:

(page 164) : “The ‘scheme of the variety’ denotes ‘what is invariant in a variety’.”

Another time we will see how internal discussion influenced the further Bourbaki congresses until Grothendieck came up with his ‘hyperplan’.

Leave a Comment

Le Guide Bourbaki : La Ciotat (2)

Published August 4, 2022 by lievenlb

Rereading the Grothendieck-Serre correspondence I found a letter from Serre to Grothendieck, dated October 22nd 1958, which forces me to retract some claims from the previous La Ciotat post.

Serre writes this ten days after the second La Ciotat-congress (La Tribu 46), held from October 5th-12th 1958:

“The Bourbaki meeting was very pleasant; we all stayed in the home of a man called Guérin (a friend of Schwartz’s – a political one, I think); Guérin himself was in Paris and we had the whole house to ourselves. We worked outside most of the time, the weather was beautiful, we went swimming almost every day; in short, it was one of the best meetings I have ever been to.”

So far so good, we did indeed find Guérin’s property ‘Maison Rustique Olivette’ as the location of Bourbaki’s La Ciotat-congresses. But, Serre was present at both meetings (the earlier one, La Tribu 35, was held from February 27th – March 6th, 1955), so wouldn’t he have mentioned that they returned to that home when both meetings took place there?

From La Tribu 35:

“The Congress was held “chez Patrice”, in La Ciotat, from February 27 to March 6, 1955. Present: Cartan, Dixmier, Koszul, Samuel, Serre, le Tableau (property, fortunately divisible, of Bourbaki).”

In the previous post I mentioned that there was indeed a Hotel-Restaurant “Chez Patrice” in La Ciotat, but mistakingly assumed both meetings took place at Guérin’s property.

Can we locate this place?

On the backside of this old photograph

we read:

“Chez Patrice”
seul au bord de la mer
Hotel Restaurant tout confort
Spécialités Provençales
Plage privée Parc auto
Ouvert toute l’année
Sur la route de La Ciota-Bandol
Tel 465
La Ciota (B.-d.-R.)

So it must be on the scenic coastal road from La Ciotat to Bandol. My best guess is that “Chez Patrice” is today the one Michelin-star Restaurant “La Table de Nans”, located at 126 Cor du Liouquet, in La Ciotat.

Their website has just this to say about the history of the place:

“Located in an exceptional setting between La Ciotat and Saint Cyr, the building of “l’auberge du Revestel” was restored in 2016.”

And a comment on a website dedicated to the nearby Restaurant Roche Belle confirms that “Chez Patrice”, “l’auberge du Revestel” and “table de Nans” were all at the same place:

“Nous sommes locaux et avons découverts ce restaurant seulement le mois dernier (suite infos copains) alors que j’ai passé une partie de mon enfance et adolescence “chez Patrice” (Revestel puis chez Nans)!!!”

I hope to have it right this time: the first Bourbaki La Ciotat-meeting in 1955 took place “Chez Patrice” whereas the second 1958-congress was held at ‘Maison Rustique Olivette’, the property of Schwartz’s friend Daniel Guérin.

Still, if you compare Serre’s letter to this paragraph from Schwartz’s autobiography, there’s something odd:

“I knew Daniel Guérin very well until his death. Anarchist, close to Trotskyism, he later joined Marceau Prevert’s PSOP. He had the kindness, after the war, to welcome in his property near La Ciotat one of the congresses of the Bourbaki group. He shared, in complete camaraderie, our life and our meals for two weeks. I even went on a moth hunt at his house and caught a death’s-head hawk-moth (Acherontia atropos).”

Schwartz was not present at the second La Ciotat-meeting, and he claims Guérin shared meals with the Bourbakis whereas Serre says he was in Paris and they had the whole house to themselves.

Moral of the story: accounts right after the event (Serre’s letter) are more trustworthy than later recollections (Schwartz’s autobiography).

Dear Collaborators of Nicolas Bourbaki, please make all Bourbaki material (Diktat, La Tribu, versions) publicly available, certainly those documents older than 50 years.

Perhaps you can start by adding the missing numbers 36 and 49 to your La Tribu: 1940-1960 list.

Thank you!

Leave a Comment

Le Guide Bourbaki : Murol(s)

Published July 23, 2022 by lievenlb

The preparations for the unique Bourbaki-congress in Murols, start already in La Tribu 32 (fall 1953). On page 3:

“Summer 54: To suit Phileas Chevalley, Sammy Fogg and eventual Mexicans and Colombians, this Congress will be held from August 17 to 30. Samuel will look for a hotel in Auvergne, but everyone is asked to also prospect the hotels in his region.”

One should recall that the ICM 1954 was held in Amsterdam from September 2nd-9th. It was convenient for Chevalley and Eilenberg (who were in the US) and for possible more foreigners to have Bourbaki’s summer congress just before the ICM.

(Of course, Phileas Fogg is the main character in Jules Verne’s Around the World in 80 days.)

A lot of people attended the Murols-meeting (La Tribu 34, ‘Congres super-oecumenique du frigidaire et des revetements troues’).

Apart from the regular crowd (Cartan, Chevalley, Delsarte, Dieudonne, Dixmier, Godement, Koszul, Sammy (=Eilenberg), Samuel, Schwartz, Serre and Weil), there was a guinea-pig (Serge Lang), an ‘efficiency expert’ (Saunders MacLane), two ‘foreign visitors’ (Hochschild and John Tate) and two ‘honorable foreign visitors’ (Iyanaga and Kosaku Yosida).

Probably because of this, extremely detailed travel instructions were given in La Tribu 33 (page 2):

“Next congress: will be held at the Hotel des Pins, in Murols (Puy-de-Dome) from August 17 to 30.
There is at least one night train departing from Paris, going to Clermont or Issoire, followed by a bus-ride to Murols; details will be given as soon as we know the summer schedules.
For motorized people not coming from the South by the N.9, nor from the West by the N.89: go to Clermont-Ferrand, leave it by the N.9 (route d’Issoire), turn right about 17 kms further (after the village of Veyre) to take the N.678 towards Champeix; in Champeix take (on the right) the N.496 (direction of St-Nectaire, Murols and Mont-Dore).
For those coming from the South by the N.9: turn left at Issoire to take the N.496 towards Campais, St-Nectaire, Murols. For those coming from the West by the N.89: leave it a little before Lequeille to take (on the right) the N.122, turn left 2 km further to take the N.496 towards Mont-Dore, the Chambon lake and Murols (road continuing towards Champeix and Issoire).”

If you follow this route on the map, you’ll know that the congress was not held in Murols (departement de l’Aveyron), but in Murol (departement du Puy-de-Dome).

This time we do not have to search long for the place of venue as Hotel des Pins a Murol is still in operation.

Note the terras on the first floor, and the impressive line of trees in front of the hotel.

At first I felt frustrated as I couldn’t figure out where this well-known photograph of the Murol-meeting was taken.

From left to right, Godement, Dieudonne, Weil, MacLane, and a smug looking Serre (he knew he would be awarded a Fields medal in a few days time).

Today it is impossible to have this view from the hotel-terras because of the trees in front. Still, the picture was taken from the terras, and the imposing building in the background is the late Turing Hotel in Murol.

Here’s a picture of it with the Hotel des Pins in the background.

We’ve encountered the Murol-congress before on this blog when trying to piece together the history of the Yoneda lemma (Iyanaga was Yoneda’s Ph.D. advisor, and probably on his advice MacLane met with Yoneda in the Gare du Nord to hear about his lemma).

On MacLane’s role as ‘efficiency expert’ we have this in La Tribu 34:

“Frightened by the disorder of the discussions, some members had brought a world-renowned efficiency expert from Chicago. This one, armed with a hammer, tried hard and with good humor, but without much result. He quickly realized that it was useless, and turned, successfully this time, to photography.”

As we’ve seen in Amboise and Pelvoux, Bourbaki likes to have His summer venues close to places of great sentimental value.

Murol is very close to Besse-et-Saint Anastaise, the place of the very first Bourbaki-meeting in 1935.

As always, this asks for a little pilgrimage. From La Tribu 34 (page 2):

“Despite the incessant rain, Bourbaki was attracted by the waters, and went to explore lots of Auvergnian lakes. Besse and its Lac Pavin were naturally entitled to a pilgrimage. Courageous founding-fathers and lower-members, braving the rain and fog, rushed across to the lake of Guery where their dripping pants aroused the suspicions of a bar maid, and beat the motorized elements there by several lengths. Others swam and rowed. Even the Japanese were entitled to their lake.”

Leave a Comment

The (somewhat less) Secret Bourbaki Archive

Published July 14, 2022 by lievenlb

It has been many, many years since I’ve last visited the Bourbaki Archives.

The underground repository of the Bourbaki Secret Archives is a storage facility built beneath the cave of the former Capoulade Cafe. Given its sporadic use by staff and scholars, the entire space – including the Gallery of all intermediate versions of every damned Bourbaki book, the section reserved to Bourbaki’s internal notes, such as his Diktats, and all numbers of La Tribu, and the Miscellania, containing personal notes and other prullaria once belonging to its members – is illuminated by amber lighting activated only when movement is detected by strategically placed sensors, and is guarded by a private security firm, hired by the ACNB.

This description (based on that of the Vatican Secret Archives in the book The Magdalene Reliquary by Gary McAvoy) is far from the actual situation. The Bourbaki Archive has been pieced together from legates donated by some of its former members (including Delsarte, Weil, de Possel, Cartan, Samuel, and others), and consist of well over a hundredth labeled carton and plastic cases, fitting easily in a few standard white Billy Ikea bookcases.

The publicly available Bourbaki Archive is even much smaller. The Association des collaborateurs de Nicolas Bourbaki has strong opinions on which items can be put online. For years the available issues of La Tribu were restricted to those before 1953. I was once told that one of the second generation Bourbaki-members vetoed further releases.

As a result, we only had the fading (and often coloured) memories of Bourbaki-members to rely on if we wanted to reconstruct key events, for example, Bourbaki’s reluctance to include category theory in its works. Rather than to work on source material, we had to content ourselves with interviews, such as this one, the relevant part starts at 51.40 into the clip. See here for some other interesting time-slots.

On a recent visit to the Bourbaki Archives I was happy to see that all volumes of “La Tribu” (the internal newsletter of Bourbaki) are now online from 1940 until 1960.

Okay, it’s not the entire story yet but, for all you Grothendieck aficionados out there, it should be enough as G resigned from Bourbaki in 1960 with this letter (see here for a translation).

Grothendieck was present at just twelve Bourbaki congresses in the period between 1955 and 1960 (he was also present as a ‘cobaye’ at a 1951 congress in Nancy).

The period 1955-60 was crucial in the modern development of algebraic geometry. Serre’s ‘FAC’ was published, as was Grothendieck’s ‘Tohoku-paper’, there was the influential Chevalley seminar, and the internal Bourbaki-fight about categories and the functorial view.

Perhaps the definite paper on the later issue is Ralf Kromer’s La ‘Machine de Grothendieck’ se fonde-t-elle seulement sur les vocables metamathematiques? Bourbaki et les categories au cours des annees cinquante.

Kromer had access to most issues of La Tribu until 1962 (from the Delsarte archive in Nancy), but still felt the need to justify his use of these sources to the ACNB (footnote 9 of his paper):

“L’autorisation que j’ai obtenue par le Comité scientifique des Archives de la création des mathématiques, unité du CNRS qui fut chargée jusqu’en 2003 de la mise à disposition de ces archives, me donne également le droit d’utiliser les sources datant des années postérieures à l’année 1953, que j’avais consultées auparavant aux Archives Jean Delsarte, soit avant que l’ACNB (Association des Collaborateurs de Nicolas Bourbaki) ne rende publique sa décision d’ouvrir ses archives et ne décide des parties qui seraient consultables.

J’ai ainsi bénéficié d’une occasion qui ne se présenterait sans doute plus aujourd’hui, mais c’est en toute légitimité que je puis m’appuyer sur cette riche documentation. Toutefois, la collection des Archives Jean Delsarte étant à son tour limitée aux années antérieures à 1963, je n’ai pu étudier la discussion ultérieure.”

The Association des Collaborateurs de Nicolas Bourbaki made retirement from active B-membership mandatory at the age of 50. One might expect of it to open up all documents in its archives which are older than fifty years.

Meanwhile, we’ll have a go at the 1940-1960 issues of La Tribu.

Leave a Comment

Bourbaki and Grothendieck-Serre

Published April 16, 2021 by lievenlb

This time of year I’m usually in France, or at least I was before Covid. This might explain for my recent obsession with French math YouTube interviews.

Today’s first one is about Bourbaki’s golden years, the period between WW2 and 1975. Alain Connes is trying to get some anecdotes from Jean-Pierre Serre, Pierre Cartier, and Jacques Dixmier.

If you don’t have the time to sit through the whole thing, perhaps you might have a look at the discussion on whether or not to include categories in Bourbaki (starting at 51.40 into the clip).

Here are some other time-slots (typed on a qwerty keyboard, mes excuses) with some links.

8.59 : Canular stupide (mort de Bourbaki)
15.45 : recrutement de Koszul
17.45 : recrutement de Grothendieck
26.15 : influence de Serre
28.05 : importance des ultra filtres
35.35 : Meyer
37.20 : faisceaux
51.00 : Grothendieck
51.40 : des categories, Gabriel-Demazure
57.50 : lemme de Serre, theoreme de Weil
1.03.20 : Chevalley vs. Godement
1.05.26 : retraite Dieudonne
1.07.05 : retraite
1.10.00 : Weil vs. Serre-Borel
1.13.50 : hierarchie Bourbaki
1.20.22 : categories
1.21.30 : Bourbaki, une secte?
1.22.15 : Grothendieck C.N.R.S. 1984

The second one is an interview conducted by Alain Connes with Jean-Pierre Serre on the Grothendieck-Serre correspondence.

Again, if you don’t have the energy to sit through it all, perhaps I can tempt you with Serre’s reaction to Connes bringing up the subject of toposes (starting at 14.36 into the clip).

2.10 : 2e these de Grothendieck: des faisceaux
3.50 : Grothendieck -> Bourbaki
6.46 : Tohoku
8.00 : categorie des diagrammes
9.10 : schemas et Krull
10.50 : motifs
11.50 : cohomologie etale
14.05 : Weil
14.36 : topos
16.30 : Langlands
19.40 : Grothendieck, cours d’ecologie
24.20 : Dwork
25.45 : Riemann-Roch
29.30 : influence de Serre
30.50 : fin de correspondence
32.05 : pourquoi?
33.10 : SGA 5
34.50 : methode G. vs. theorie des nombres
37.00 : paranoia
37.15 : Grothendieck = centrale nucleaire
38.30 : Clef des songes
42.35 : 30.000 pages, probleme du mal
44.25 : Ribenboim
45.20 : Grothendieck a Paris, publication R et S
48.00 : 50 ans IHES, lettre a Bourguignon
50.46 : Laurant Lafforgue
51.35 : Lasserre
53.10 : l’humour

One Comment

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”.

Leave a Comment