Skip to content →

Tag: Cartan

From Weil’s foundations to schemes

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

Comments closed

Brigitte Bardot, miniskirts and homological algebra

The papers by Liliane Beaulieu on the history of the Bourbaki-group are genuine treasure troves of good stories. Though I’m mostly interested in the pre-war period, some tidbits are just too good not to use somewhere, sometime, such as here on a lazy friday afternoon …

In her paper Bourbaki’s art of memory she briefly mentions these two pearls of wisdom from the jolly couple Henri Cartan (left) and Sammy Eilenberg (right) in relation to their seminal book Homological Algebra (1956).

Brigitte Bardot and the Hom-Tensor relation

For the youngsters among you, Brigitte Bardot, or merely B.B., was an iconic French actress and sex-goddess par excellence in the 60ties and 70ties. She started her acting career in 1952 and became world famous for her role in Et Dieu… créa la femme from 1956, the very same year Cartan-Eilenberg was first published.

The tensor-hom adjunction in homological algebra (see II.5.2 of Cartan-Eilenberg for the original version) asserts that

$Hom_R(A,Hom_S(B,C))=Hom_S(A \otimes_R B,C)$

when $R$ and $S$ are rings, $A$ a right $R$-module, $C$ a left $S$-module and $B$ an $R-S$-bimodule.

Surely no two topics can be farther apart than these two? Well not quite, Beaulieu writes :

“After reading a suggestive movie magazine, Cartan tried to show the formula

$Hom(B,Hom(B,B)) = Hom(B \otimes B,B)$

in which “B. B.” are the initials of famous French actress and 1950s sex symbol Brigitte Bardot and “Hom” (pronounced ‘om as in homme, the French word for man) designates, in mathematics, the homomorphisms – a special kind of mapping – of one set into another.”

Miniskirts and spectral sequences

I’d love to say that the miniskirt had a similar effect on our guys and led to the discovery of spectral sequences, but then such skirts made their appearance on the streets only in the 60ties, well after the release of Cartan-Eilenberg. Besides, spectral sequences were introduced by Jean Leray, as far back as 1945.

Still, there’s this Bourbaki quote : “The spectral sequence is like the mini-skirt; it shows what is interesting while hiding the essential.”

Comments closed

Seriously now, where was the Bourbaki wedding?

A few days before Halloween, Norbert Dufourcq (who died december 17th 1990…), sent me a comment, containing lots of useful information, hinting I did get it wrong about the church of the Bourbali wedding in the previous post.

Norbert Dufourcq, an organist and student of Andre Machall, the organist-in-charge at the Saint-Germain-des-Prés church in 1939, the place where I speculated the Bourbaki wedding took place, concluded his comment with :

“P.S. Lieven, you _do_ know about the Schola Cantorum, now, don’t you?!?”.

Euh… actually … no, I did not …

La Schola Cantorum is a private music school in Paris. It was founded in 1894 by Charles Bordes, Alexandre Guilmant and Vincent d’Indy as a counterbalance to the Paris Conservatoire’s emphasis on opera. Its alumni include many significant figures in 20th century music, such as Erik Satie and Cole Porter.

Schola Cantorum is situated 69, rue Saint Jacques, Paris, just around the corner of the Ecole Normal Superieure, home base to the Bourbakis. In fact, closer investigation reveals striking similarities and very close connections between the circle of artists at la Schola and the Bourbaki group.

In december 1934, the exact month the Bourbaki group was formed, a radical reorganisation took place at the Schola, when Nestor Lejeune became the new director. He invited several young musicians, many from the famous Dukas-class, to take up teaching positions at the Schola.

Here’s a picture of part of the Dukas class of 1929, several of its members will play a role in the upcoming events :
from left to right next to the piano : Pierre Maillard-Verger, Elsa Barraine, Yvonne Desportes, Tony Aubin, Pierre Revel, Georges Favre, Paul Dukas, René Duclos, Georges Hugon, Maurice Duruflé. Seated on the right : Claude Arrieu, Olivier Messiaen.



The mid-1930s in Paris saw the emergence of two closely-related groups with a membership which overlapped : La Spirale and La Jeune France. La Spirale was founded in 1935 under the leadership of Georges Migot; its other committee members were Paul Le Flem, his pupil André Jolivet, Edouard Sciortino, Claire Delbos, her husband Olivier Messiaen, Daniel-Lesur and Jules Le Febvre. The common link between almost all of these musicians was their connection with the Schola Cantorum.

On the left : Les Jeunes Musiciens Français : André Jolivet on the Piano. Standing from left to right :
Olivier Messiaen, Yves Baudrier, Daniel-Lesur.

Nigel Simeone wrote this about Messiaen and La Jeune France :
“The extremely original and independent-minded Messiaen had already shown himself to be a rather unexpected enthusiast for joining groups: in December 1932 he wrote to his friend Claude Arrieu about a letter from another musician, Jacques Porte, outlining plans for a new society to be called Les Jeunes Musiciens Français.
Messiaen agreed to become its vice-president, but nothing seems to have come of the project. Six months later, in June 1933, he had a frustrating meeting with Roger Désormière on behalf of the composers he described to Arrieu as ‘les quatre’, all of them Dukas pupils: Elsa Barraine, the recently-deceased Jean Cartan, Arrieu and Messiaen himself; during the early 1930s Messiaen and Arrieu organised concerts featuring all four composers.”

Finally, we’re getting a connection with the Bourbaki group! Norbert Dufourcq mentioned it already in his comment “Messiaen was also a good friend of Jean Cartan (himself a composer, and Henri’s brother)”. Henri Cartan was one of the first Bourbakis and an excellent piano player himself.

The Cartan family picture on the right : standing from left to right, father Elie Cartan (one of the few older French mathematicians respected by the Bourbakis), Henri and his mother Marie-Louise. Seated, the younger children, from left to right : Louis, Helene (who later became a mathematician, herself) and the composer Jean Cartan, who sadly died very young from tuberculoses in 1932…

The december 1934 revolution in French music at the Schola Cantorum, instigated by Messiaen and followers, was the culmination of a process that started a few years before when Jean Cartan was among the circle of revolutionados. Because Messiaen was a fiend of the Cartan family, they surely must have been aware of the events at the Schola (or because it was merely a block away from the ENS), and, the musicians’ revolt may very well have been an example to follow for the first Bourbakis…(?!)

Anyway, we now know the intended meaning of the line “with lemmas sung by the Scholia Cartanorum” on the wedding-invitation. Cartanorum is NOT (as I claimed last time) bad Latin for ‘Cartesiorum’, leading to Descartes and the Saint-Germain-des-Pres church, but is in fact passable Latin (plur. gen.) of CARTAN(us), whence the translation “with lemmas sung by the school of the Cartans”. There’s possibly a double pun intended here : first, a reference to (father) Cartan’s lemma and, of course, to La Schola where the musical Cartan-family felt at home.

Fine, but does this brings us any closer to the intended place of the Bourbaki-Petard wedding? Well, let’s reconsider the hidden ‘clues’ we discovered last time : the phrase “They will receive the trivial isomorphism from P. Adic, of the Order of the Diophantines” might suggest that the church belongs to a a religious order and is perhaps an abbey- or convent-church and the phrase “the organ will be played by Monsieur Modulo” requires us to identify this mysterious Mister Modulo, because Norbert Dufourcq rightfully observed :

“note however that in 1939, it wasn’t as common to have a friend-organist perform at a wedding as it is today: the appointed organists, especially at prestigious Paris positions, were much less likely to accept someone play in their stead.”

The history of La Schola Cantorum reveals something that might have amused Frank Smithies (remember he was one of the wedding-invitation-composers) : the Schola is located in the Convent(!) of the Brittish Benedictines…

In 1640 some Benedictine monks, on the run after the religious schism in Britain, found safety in Paris under the protection of Cardinal Richelieu and Anne of Austria at Val-de-Grace, where the Schola is now housed.

As is the case with most convents, the convent of the Brittish Benedictines did have its own convent church, now called l’église royale Notre-Dame du Val-de-Grâce (remember that one of the possible interpretations for “of the universal variety” was that the name of the church would be “Notre-Dame”…).

This church is presently used as the concert hall of La Schola and is famous for its … musical organ : “In 1853, Aristide Cavaillé-Coll installed a new organ in the Church of Sainte-geneviève which had been restored in its rôle as a place of worship by Prince President Louis-Napoléon. In 1885, upon the decision of President Jules Grévy, this church once again became the Pantheon and, six years later, according to an understanding between the War and Public Works Departments, the organ was transferred to the Val-de-Grâce, under the supervision of the organ builder Merklin. Beforehand, the last time it was heard in the Pantheon must have been for the funeral service of Victor Hugo.
In 1927, a raising was carried out by the builder Paul-Marie Koenig, and the inaugural concert was given by André Marchal and Achille Philippe, the church’s organist. Added to the register of historic monument in 1979, Val-de-Grâce’s “ little great organ ”, as Cavaillé-Coll called it, was restored in 1993 by the organ builders François Delangue and Bernard Hurvy.
The organ of Val-de-Grâce is one the rare parisian surviving witnesses of the art of Aristide Cavaillé-Coll, an instrument that escaped abusive and definitive transformations or modernizations. This explain why, in spite of its relatively modest scale, this organ enjoys quite a reputation, and this, as far as the United States.”

By why would the Val-de-Grace organiste at the time Achille Philip, “organiste titulaire du Val-de-Grâce de 1903 à 1950 et professeur d’orgue et d’harmonie à la Schola Cantorum de 1904 à 1950”, be called ‘Mister Modulo’ in the wedding-invitations line “L’orgue sera tenu par Monsieur Modulo”???

Again, the late Norbert Dufourcq comes to our rescue, proposing a good candidate for ‘Monsieur Modulo’ : “As for “modulo”, note that the organist at Notre-Dame at that time, Léonce de Saint-Martin, was also the composer of a “Suite Cyclique”, though I admit that this is just wordplay: there is nothing “modular” about this work. Maybe a more serious candidate would be Olivier Messiaen (who was organist at the Église de la Trinité): his “modes à transposition limitée” are really about Z/12Z→Z/3Z and Z/12Z→Z/4Z. “

Messiaen’s ‘Modes of limited transposition’ were compiled in his book ‘Technique de mon langage musical’. This book was published in Paris by Leduc, as late as 1944, 5 years after the wedding-invitation.

Still, several earlier works of Messiaen used these schemes, most notably La Nativité du Seigneur, composed in 1935 : “The work is one of the earliest to feature elements that were to become key to Messiaen’s later compositions, such as the extensive use of the composer’s own modes of limited transposition, as well as influence from birdsong, and the meters and rhythms of Ancient Greek and traditional Indian music.”

More details on Messiaen’s modes and their connection to modular arithmetic can be found in the study Implementing Modality in Algorithmic Composition by Vincent Joseph Manzo.

Hence, Messiaen is a suitable candidate for the title ‘Monsieur Modulo’, but would he be able to play the Val-de-Grace organ while not being the resident organist?

Remember, the Val-de-Grace church was the concert hall of La Schola, and its musical organ the instrument of choice for the relevant courses. Now … Olivier Messiaen taught at the Schola Cantorum and the École Normale de Musique from 1936 till 1939. So, at the time of the Bourbaki-Petard wedding he would certainly be allowed to play the Cavaillé-Coll organ.

Perhaps we got it right, the second time around : the Bourbaki-Pétard wedding was held on June 3rd 1939 in the church ‘l’église royale Notre-Dame du Val-de-Grâce’ at 12h?

Comments closed