Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In short, my question is:

Was Grothendieck familiar with Stone's work on Boolean algebras?

Background:

In an answer to Pierre-Yves Gaillard's question Did Zariski really define the Zariski topology on the prime spectrum of a ring? I let myself get carried away and explained a result of Grothendieck that (for me) implies that Grothendieck certainly was familiar with Stone's work on spectra and even proved theorems with it. Qiaochu suggested that I ask a question and answer myself (apparently officially encouraged, see his remark), so I'm doing that in order to avoid an off-topic answer to Pierre-Yves's question.

Qiaochu's accepted answer quotes excerpts from Johnstone's Stone spaces that seem to imply that Grothendieck never quoted Stone. Precisely I'm having the following passage in mind:

But again, one will not find any reference to Stone in the work of Grothendieck, even though his use of the word 'spectrum' is an obvious echo of [Stone 1940], and Grothendieck, with his background in functional analysis, must have been familiar with Stone's work in that field.

I did not seriously try to verify or falsify the first part of the sentence (and please do provide references if you happen to know of them). My own long answer addresses the second part of the sentence and tries to make a point that must have been should be replaced by was.

Now fire away and complain about this being a nitpick, but I'm trying to explain a nice and interesting piece of mathematics and both Jonas Meyer and Qiaochu Yuan said I should post this answer, so: that's what I'm doing here.

share|improve this question
7  
I wasn't kidding about asking and answering your own question being explicitly encouraged! blog.stackoverflow.com/2011/07/… –  Qiaochu Yuan Aug 3 '11 at 18:48
3  
Imagine a site where Theo would answer a question iff it’s not answered by the OP... –  Pierre-Yves Gaillard Aug 11 '11 at 6:43
    
@Pierre-Yves: I fear that there wouldn't be that much actual content, even without the conditional... Thanks anyway! –  t.b. Aug 11 '11 at 9:04
3  
Hi, I saw from your profile that you'd be off for a while. Do enjoy your time off, and I sure hope to see you again here. :) –  J. M. Sep 19 '11 at 15:15
6  
Dear t.b.: You certainly deserve a break! I hope you'll come back to us sometime. In any case, I want to thank you for all you've done for this site, and to wish you the best. –  Pierre-Yves Gaillard Sep 23 '11 at 11:04
show 2 more comments

1 Answer

up vote 40 down vote accepted

[...] Grothendieck, with his background in functional analysis, must have been familiar with Stone's work in that field.

cited by Qiaochu reveals a gap in the knowledge of Grothendieck's work (which is of course nothing to be blamed for, given its vastness and ramifications in so many fields) but it also misses a link to one of Grothendieck's beautiful theorems in functional analysis. I'd like to make the point that

not only was Grothendieck well aware of that work, he even exploited it!

The crucial reference is his article Une caractérisation vectorielle–métrique des espaces $L^{1}$. While Grothendieck does not cite Stone, he relies crucially on Nachbin's paper A theorem of the Hahn–Banach type for linear transformations, improves on that paper and exploits the main results in a serious way. This is only possible if you understand these results profoundly. Nachbin in turn cites three works of Stone, see references 4,5,6 below.

To prevent a possible criticism of that argument, let me note that Nachbin and Grothendieck knew each other well. Grothendieck spent some time in Brazil and even planned to write a book on topological vector spaces with Nachbin:

Grothendieck planned to write a book on topological vector spaces with Leopoldo Nachbin, who was in Rio de Janeiro, but the book never materialized. However, Grothendieck taught a course in São Paulo on topological vector spaces and wrote up the notes, which were subsequently published by the university.

see Allyn Jackson's Notices article on Grothendieck, part 1, p.1044. It could seem conceivable that the results were orally transmitted and that Grothendieck never looked at that paper. However, to such an objection I'd respond: you have to take into account that Grothendieck asserted the main results of that work earlier but he later discovered that his arguments had a serious gap. Given that he had to work rather hard to fix it, it seems quite implausible to me that he never took a closer look at Nachbin's work and missed the work of Stone cited in there entirely.

Secondly Grothendieck refers to two works of Kakutani (references 8 and 9) below, which in turn refer to Stones works 4 and 5 and rely on it, too.

In conclusion I think it is safe to say that Grothendieck not only "must have been" but actually "was" aware of Stone's work (Edit: As Didier Piau pointed out in a comment this is still inconclusive, but please see the update at the end of this post).

I'm now parting from the historical ramblings and make an attempt at a description of Grothendieck's result in a way that I hope is appealing to algebraists. For the actual work, please consult the MathSciNet review and the paper itself.

Further References: It don't know of many self-contained expositions of the results I mention below. The classification of "injective" Banach spaces (called $P_1$-spaces in the classical literature) can be found in Day's booklet Normed Linear Spaces as well as in H. Elton Lacey's The isometric theory of classical Banach spaces. For a categorical view on Banach spaces please consult the Book Banach modules and functors on categories of Banach spaces by Cigler–Losert–Michor. I take the liberty and refer to Part 2 (Chapter IV) of my thesis for further facts, references and details.


Recall that Grothendieck's thesis was called Produits tensoriels topologiques et espaces nucléaires which is a masterpiece of its own and even mentioning its ramifications to the theory of distributions would lead us too far astray—the first line of the MathSciNet review reads: Le grand nombre de résultats importants contenus dans ce mémoire (Thèse), rend difficile d'en mettre en évidence les lignes essentielles, même si l'on a recours au résumé des résultats publié auparavant [...]. Incidentally, one characteristic of that work is that quite often the statement of theorems span more than a page while the proofs only take a couple of lines or are dismissed with a mere "Preuve: évidente."

The simplest instance of a topological tensor product is due to Murray (and von Neumann)'s student Schatten and is called the projective tensor product $\otimes$ of Banach spaces (usually denoted $\hat{\otimes}$ or $\hat{\otimes}_{\pi}$). Given two Banach spaces, the space of bounded linear operators equipped with the operator norm yields an (internal) Hom-bifunctor and by design the projective tensor product is its left adjoint. From that point of view this is the most algebraically sane tensor product of Banach spaces to look at. (Yes, it is part of a monoidal closed structure etc etc)

Let us call a Banach space flat if $F \otimes {-}$ preserves short exact sequences of Banach spaces (here short exact means isometric inclusion of subspace + corresponding quotient map—we're working in the category of Banach spaces and linear contractions).

A Banach space $I$ will be called injective if every contractive map $E \to I$ from a subspace $E \leq F$ extends to a contractive map $F \to I$.

Note: The scalar field is of course flat (it is the tensor unit) and it is injective (that's equivalent to Hahn–Banach).

Using this language we have:

Theorem (Grothendieck). A Banach space $F$ is flat if and only if $F$ is isomorphic to a space $L^1(\Omega)$ where $\Omega$ is some measure space.

Now how does Grothendieck prove that? In his thesis he observed that $L^1(\Omega)$ is flat. This is not very hard to prove, as from an analytic perspective the projective tensor product $L^1(\Omega) \otimes E$ really is the space of Bochner integrable functions $L^1(\Omega, E)$ and from that identification (due to Grothendieck as well, as far as I know) the exactness of $L^1(\Omega) \otimes {-}$ is rather obvious .

The other direction needed much more insight. I won't elaborate on precisely what Grothendieck did, but here's what it comes down to morally, from the skewed perspective I adopted in this part of the answer so far:

  1. "Lambek's theorem": A Banach space is flat if and only if its dual space $F^{\ast}$ is injective (rather trivial, see see also Lam Theorem 4.9, p.125).
  2. A Banach space is injective if and only if it is isomorphic to a space of the form $C(K)$ with $K$ Stonean (compact Hausdorff and extremally disconnected).
  3. Grothendieck's theorem can now be phrased as: An injective Banach space is a dual space if and only if it is of the form $L^{\infty}(\Omega)$; its pre-dual $L^1(\Omega)$ is unique (contrary to general Banach spaces).

The theorem in 2. (due to various efforts by Akilov-Goodner-Kelley-Nachbin) is seriously deep. A feeling for this can be obtained by noting that the easiest example of an infinite Stonean space is $K = \beta \mathbb{N}$, the Stone–Čech compactification of the natural numbers. Suffice it to say that the space $K$ arises from the geometry of the unit ball of an injective Banach space, which is strongly related to lattice theory and Boolean algebras, hence the link. Note also that Stonean spaces are called thus because they arose from Stones study of spectra of Boolean algebras.

Note that by the Riesz-Kakutani representation theorem the space $C(K)^\ast$ is the space of measures on $K$. Now given a flat Banach space $F$ it embeds into $F^{\ast\ast} = C(K)^{\ast}$ and Grothendieck needed to recover it from the fact that he knew only that $C(K)$ is a dual space. He did that by identifying the space $F$ with the normal measures on $K$ and this does involve a deep understanding of the Stonean spaces.


Added: I forgot to mention one further punchline: Grothendieck also proves and makes use of the fact that a $C(K)$ space which is a dual space can be realized as a von Neumann algebra (in the spatial definition, of course). In remarque 3 he states:

On peut se demander si le théorème 2 se généralise à toute $C^{\ast}$-algèbre (non nécessairement abélienne comme dans notre énoncé): Si une telle algèbre $C$ est isomorphe (avec sa norme) au dual d'un sous-espace $L$ de $C$, est-il vrai que $C$ est isomorphe à une algèbre de von Neumann, et que $L$ est exactement l'ensemble des formes normales sur $C$? [...] La seule difficulté est dans la question si $L$ est engendré par sa partie positive, le raisonnement donné dans le cas commutatif ne vaut pas tel quel. Il semble probable cependant que la technique des $C^{\ast}$-algèbres jointe au théorème de Banach-Dieudonné doive permettre de donner une réponse affirmative à notre question.

Of course, this is nothing but giving the outline of the proof of the celebrated Sakai theorem that characterizes von Neumann algebras as precisely those $C^{\ast}$-algebras which are dual spaces as a Banach space. Those acquainted with Sakai's theorem will of course recognize that this is exactly how Sakai proceeded and indeed the "seule difficulté" in the proof... but I digressed enough. Let me stop by remarking that Sakai's paper was submitted while Grothendieck proofread his paper and I'll finish by quoting him:

Ajouté pendant la correction des épreuves. Monsieur Lowdenslager m'a fait observer les faits suivants. La généralisation du théorème 2 conjecturée dans la remarque 3 a été prouvée récemment par Sakai, dans un papier qui sera publié dans le Pacific Journal of Mathematics. Le théorème de Nachbin cité au début de ce travail a été prouvé indépendamment par D. B. Goodner; la plus jolie preuve connue semble être celle de Kelley (Banach spaces with the extension property, Trans. Amer. Math. Soc, 72 (1952), 323-326), qui ne suppose pas que la boule unité admette un point extremal.


References:

  1. MR0075539: Grothendieck, Alexandre, Produits tensoriels topologiques et espaces nucléaires. Mem. Amer. Math. Soc. (1955), no. 16, 140 pp.
  2. MR0076301: Grothendieck, A. Une caractérisation vectorielle-métrique des espaces $L^1$. Canad. J. Math.7 (1955), 552–561.
  3. MR0032932: Leopoldo Nachbin, A theorem of the Hahn-Banach type for linear transformations, Trans. Amer. Math. Soc. 68 (1950), 28-46.
  4. MR1501905: Stone, M. H., Applications of the theory of Boolean rings to general topology. Trans. Amer. Math. Soc. 41 (1937), no. 3, 375–481.
  5. MR2023: Stone, M. H., A general theory of spectra. I., Proc. Nat. Acad. Sci. U. S. A. 26, (1940). 280–283.
  6. MR4092: Stone, M. H., A general theory of spectra. II. Proc. Nat. Acad. Sci. U. S. A. 27, (1941). 83–87.
  7. MR29091: M. H. Stone, Boundedness properties in function-lattices, Canadian Journal of Mathematics vol. 1 (1949) pp. 176-186.
  8. MR0004095: Kakutani, Shizuo. Concrete representation of abstract $(L)$-spaces and the mean ergodic theorem. Ann. of Math. (2) 42, (1941). 523--537.
  9. MR0005778: Kakutani, Shizuo. Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.) Ann. of Math. (2) 42, (1941). 994--1024.
  10. MR0084115: Sakai, Shôichirô, A characterization of $W^{\ast}$-algebras. Pacific J. Math. 6 (1956), 763–773.
  11. MR0007568: Robert Schatten, On the direct product of Banach spaces, Trans. Amer. Math. Soc. 53 (1943), 195-217.
  12. T. Bühler, On the algebraic foundation of bounded cohomology, Mem. Amer. Math. Soc., posted on March 11, 2011, PII S 0065-9266(2011)00618-0 (to appear in print). Also available here.
  13. MR533819: Cigler, Johann; Losert, Viktor; Michor, Peter Banach modules and functors on categories of Banach spaces. Lecture Notes in Pure and Applied Mathematics, 46. Marcel Dekker, Inc., New York, 1979. xv+282 pp.
  14. MR0344849: Day, Mahlon M. Normed linear spaces. Third edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 21. Springer-Verlag, New York-Heidelberg, 1973. viii+211 pp.
  15. MR0493279: Lacey, H. Elton. The isometric theory of classical Banach spaces. Die Grundlehren der mathematischen Wissenschaften, Band 208. Springer-Verlag, New York-Heidelberg, 1974. x+270 pp.
  16. MR1653294: T. Y. Lam, Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189, Springer-Verlag, New York, 1999.
  17. MR58866: A. Grothendieck, Sur les applications linéaires faiblement compactes d'espaces du type $C(K)$., Canadian J. Math.5,(1953). 129–173.

Update:

In the paper Sur les applications linéaires faiblement compactes d'espaces du type $C(K)$ we find Stone's paper Applications of the theory of Boolean rings to general topology listed as reference 14. It is mentioned only once as a mere reference for the Stone–Čech compactification at the very end of the proof of Proposition 6 (b):

Grothendieck: Citation of Stone

Here's the bibliography of that paper:

Grothendieck: Reference list

I'd like to emphasize that my intention of this post was by no means to debunk anything Johnstone writes (and as a matter of fact: I didn't!): the excerpt provided by Qiaochu explicitly speaks of Grothendieck's work on Algebraic Geometry a bit before. I merely wanted to point out that there was an interesting link that may not be as widely known as it deserves to be.

For me the above settles the matter whether Grothendieck was aware of Stone's work. Whether he was familiar with it, particularly with the aspect of spectra, it is probably something he alone could answer, unless a more specific reference is provided. However, I hope I have succeeded in making the point that he was familiar enough with the contents that he could prove a beautiful theorem with it.

share|improve this answer
    
Jonas M. and Rasmus: The Added bit is intended especially for you... –  t.b. Aug 3 '11 at 20:25
1  
Is there a BiBTeX extension here as well? :-) –  Asaf Karagila Aug 3 '11 at 21:44
3  
Theo: Super!--- –  Jonas Meyer Aug 4 '11 at 2:14
1  
Theo: The heart of your argument, if I read you correctly, is that G knew Stone's work because (1) G had had to study Nachbin's work, (2) G referred to two Kakutani's papers, and (3) both Nachbin and Kakutani cited Stone (is that correct?). Hmmm... In view of G's peculiar relationship to the existing literature, please allow me to consider the matter still unsettled... :-) One source of my agnosticism on this is the fact that G himself complains (or boasts) several times in Récoltes et semailles that he is almost unable to read others' works and that he often rediscovers the results himself. –  Did Aug 4 '11 at 10:26
2  
I think it would be nice if you would accept your own answer. That way we have less open questions :). –  Jonas Teuwen Aug 20 '11 at 15:11
show 13 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.