仿佛来自虚空——二十世纪最伟大的天才数学家（之一）Grothendieck的故事

酒哥

悼念
Alexandre Grothendieck（1928-2014）
-- 二十世纪最伟大的数学家（加上“之一”，如果不想说得太满的话）





Le plus grand mathématicien du XXe siècle est mort

Le Monde.fr | 14.11.2014 à 00h10 • Mis à jour le 14.11.2014 à 07h17 |Par Stéphane Foucart et Philippe Pajot

http://www.lemonde.fr/disparitio ... t_4523482_3382.html

被广泛认为的二十世纪最伟大的数学家 亚历山大·格罗腾迪克于周四11月13日，在圣吉龙的医院（阿列日省）去世，终年86岁。
他去世的医院那离拉萨尔不远。拉萨尔是他在20世纪90年代初神秘消失的村庄，自那后他切断了与世界的联系。
他是无国籍人士后于1971年归化法国。
这位独特而传奇的数学家留下可观的科学工作。他也以激进的和平主义者和环保主义者参与著称于世。
他出生于1928年3月28日在柏林，在一个非典型的家庭。
萨沙·夏皮罗，他的父亲是俄罗斯犹太摄影师和无政府主义激进分子。他的母亲汉咔·格罗腾迪克是一名记者。 。。。。。

。。。。。。
。。。。。。
。。。。。。

酒哥

Grothendieck, eccentric maths genius, dies in France
http://phys.org/news/2014-11-gro ... hs-genius-dies.html




This photo provided Friday, Nov.14, 2014 by the IHES (High Scientific Studies Institute) shows mathematician Alexandre Grothendieck, at the blackboard, during a lesson, south of Paris, in the 1960's. Grothendieck, an opinionated and reclusive German-born giant of 20th-century mathematics who shunned accolades and supported pacifist and environmental causes, has died, the French presidency said Friday. He was 86. (AP Photo/IHES)




Alexander Grothendieck, one of the great eccentric geniuses of 20th century mathematics, has died in France at the age of 86.

The maths master reached the very pinnacle of his profession before abandoning the discipline, taking up anti-war activism, retreating into the life of a recluse and refusing to share his research.
He died on Thursday in a hospital in Saint-Girons in southwestern France, staff said, without giving further details.
Born in 1928 in Berlin to a Russian anarchist father and a journalist mother, Grothendieck's parents left him behind in Germany while they went to fight in the Spanish Civil War.


They were reunited in France, where Grothendieck was to spend most of his life, only for his father—a Jew—to be rounded up by the Nazis and killed in Auschwitz.
Grothendieck went on to become a revolutionary mathematician, doing groundbreaking work on algebra and geometry that won him the Fields medal, known as the Nobel prize of the maths world, in 1966.
According to the legend that has built up around Grothendieck, his talents were not immediately obvious when he was a young man.
It was while he was studying at the University of Montpellier that two professors gave him a list of 14 questions, considered to be years' worth of work, and told him to pick one.
Grothendieck came back a few months later having completed them all.
"He was one of the giants of mathematics who transformed mathematics entirely with his work," said Cedric Villani, who won the medal in 2010.
French President Francois Hollande praised the memory of "one of greatest mathematicians" who "was also an extraordinary personality in his philosophy of life".
Grothendieck refused to accept the Fields award and turned down the job offers that poured in from universities around the world. His life was already headed in a more radical direction, given a boost by the 1968 student protests in Paris.
By the 1970s, he had all but abandoned his research, preferring to focus on environmental politics and anti-war activism. He quit the Institute of Higher Scientific Studies near Paris after discovering it took a small part of its financing from the defence ministry.
He also gave up a post at the College de France to join the University of Montpellier where he often found himself on the frontlines of anti-nuclear protests.
"His greatest and unique violence against the scientific community was that he stopped doing mathematics," celebrated mathematician Denis Guedj told France's Sciences et Avenir magazine.
Hidden treasure
Grothendieck did not completely give up on his research, but increasingly refused to share it publicly.
In the early 1990s he handed 20,000 pages of notes and letters to a friend who looked after them for several years before passing them on to the University of Montpellier.
Under strict orders from Grothendieck, they have been kept under lock and key in the university's archives.
In his latter years, there were reports that Grothendieck had descended into religious mania. He had moved to a tiny village in the Pyrenees where he refused all visitors and jealously guarded his privacy.
He tried to wipe away any trace of his past life, writing an angry letter to one of his students in 2010 demanding that his entire back catalogue be removed from libraries and refusing to allow republications.
With his passing, a new generation of mathematics students may get the chance to explore the treasures he left behind and fully appreciate the impact he had on the profession.
"The ideas of Alexander Grothendieck have penetrated the subconscious of mathematicians," his most celebrated student, Fields medal winner Pierre Deligne, told Le Monde newspaper. "He was unique in his way of thinking."

酒哥

谈谈格老大Alexander Grothendieck (3459 bytes)
Posted by: 酒哥
Date: October 19, 2009 06:11PM


聊聊，饭后谈资，不要太当真：）。错漏之处肯定不少，多谢指正。

说Alexander Grothendieck是活着（？）的最伟大的数学家（可不加『之一』两字），
恐怕不会有多少人会站出来挑战，虽然我们会对谁是活着的第二或第三伟大的数 学家有
不同的看法。哥大张寿武教授最崇拜的高傲的G. Faltings （因证明Model猜想获1986
年菲尔兹）被问道谁是最伟大的数学家时，他回答“上帝和Grothendieck”。在数学界有
人将Grotendieck看做上帝！因此我们称Alexander Grothendieck为格老大。格老大是
数学史上最有传奇色彩的人之一。


格老大生于德国伯林的一个犹太家庭，后随全家逃难至法国。他原是神学院学生，25岁
才开始学数学。据说他的数学传奇这样开始的。一次他跑去找数学大佬L.Schwartz（第
二届fields获奖者，广义函数的两独立发明人之一）要求学数学。当时L.Schwartz正与另
一数学大师J.Dieudonne（后成为格老大的好友）在讨论问题。Schwartz对当时的小格有
些不以为然，有点开玩笑地把他们正在讨论的已做了很久未果的 问题给了小格，说如果
你能做出来就收你学数学。没想到小格真的做出了。进入数学界后格老开始发威，据说
独自发现了许多东西，如构造出测度论等。可惜那些都是已知的， 功劳（credit）不算
作他的。后转向最为核心的数学领域之一的代数几何，一人独力基本上从无到有地创立
了概型（Scheme）理论，完全改变了代数几何的面貌，奠定了现代代数几何的基础。
格老大的这个庞大的体系不仅仅是一个正确的体系，它的威力和价值 由于许多杰出数学
家用之解决了一系列重大问题而得到证明。有如下重要的里程碑：

1973年格老大的学生P.Deligne用它来证明了占据代数几何中心30年之久 Weil猜想,因此
获1978年菲尔兹;
1983年,G.Faltings证明了Mordell猜想，因此获1986年菲尔兹;
1995年,A.Wiles证明了谷山-志村 (Taniyama-Shimura)猜想,进而解决了有三百五十多年
历史的费尔马大定理(Fermat's Last Theorem)，因此获1998年菲尔兹特别奖。
还有许多其它的较小的结果。

格老后来成为一位（绿色）和平主义者。他注意到数学用于军事，便坚决地在顶峰状态
时退出了数学界，选择了务农及在小学校教微积分维持生活。有件格老大在小学校找教
职的趣闻。该校不知道来找教职的是位超大牛，看到简历上提到在普林斯顿教过书，便
写信了解格老教书情况。普林斯顿回信说：“Alexander Grothendieck我们是知道的，
贵校我们没听说过”。法兰西学院递补格老大为院士，格老大提出要求，他做院士是可以的
但必须算作生物学家，若算作数学家他不做。

一九八八年，瑞典皇家科学院把克拉弗奖 (Crafoord Prize，与 菲尔兹、沃尔夫、 阿贝尔
等同为最高数学奖项) 颁给格老大。 格老大拒绝接受这个奖，他写信感谢皇家科学院同时
说明拒绝的理由∶

第一，他的教授薪水（甚至是即将开始的退休金）已经超过自己与家人物质生活
所 需。至于他工作的成就，时间才是最好的裁判，眼前的荣誉不是。
第二，「克拉弗奖的所有对象已经有了足够的物质报酬与科学声望，以及随附而
来的权力与优惠，而这些过额的奖励不也是对于其他人的剥夺吗？」
第三，虽然他「对于科学的热情没有改变，但越来越远离学术圈子，而学术圈的
伦理日益走下坡，以至学术剽窃越来越平常」。如果他「参与了给奖的游戏」，
就代表他认可了科学界这种不健康的走向。
格老大强调第三点理由是最重要的理由。

格老大还有许多逸事，他是一个执着可爱的“愤青” “愤老”，一个天才。

再转几篇网文，大多是别人写的，我可能加了些评论。

一篇『说说为什么Jacob Lurie会受到热捧』说的是哈佛刚聘的二十多岁的教授，与格老有关。

一篇是讲普及格老体系的研究生教材GTM 52（graduate texts in mathematics vol. 52）：
Algebraic Geometry by R. Hartshorne  。

一篇是土拨鼠写的介绍格老的网文。据明年在国际数学家做45钟报告的某数学家
猜测，土拨鼠可能就是今年拿到哈佛师资博后的浙大博士hao xu。

一篇是台大物理系教授高涌泉写的介绍格老的文章。以前在别处转过。

另有一些相关评论。

酒哥

介绍一位极具传奇色彩的隐逸之士：
------数学Fields奖得主及和平主义者Alexander Grothendieck（转，略有改动）

作者：土拨鼠

20世纪的代数几何学涌现了许多天才和菲尔兹奖，但是上帝只有一个，就是
Grothendieck。

（一）
Grothendieck，1928年出生于德国柏林的一个犹太人家庭。他的父亲在二战
时被纳粹杀害。战争结束后，Grothendieck去法国学习数学，先后师从Bourbaki
学派的分析大师Dieudonne和著名的泛函分析大师Laurent Schwartz,20几岁时
Grothendieck就成为当时研究很热的拓扑向量空间理论的权威了。

但是1957开始，Grothendieck的研究主要转向了代数几何和同调代数，1959
年他成为了刚成立的巴黎高等科学研究所的主席。他的工作把Leray,Serre等人的
代数几何的同调方法和层论发展到了一个崭新的高度。他创立的Scheme理论奠定
了现代代数几何的基础。由于他的许多开创性的工作，使得代数几何这个古老的
数学分支焕发出了新的活力，最终导致Deligne完全证明了Weil猜测，这被认为是
20世纪纯粹数学最重大的成就之一。由于Grothendieck的领导，那段时期巴黎高
等研究所是公认的世界代数几何研究中心，他也为此获得了1966年国际数学最高奖Fields奖。

可能由于他年少时的战时经历，Grothendieck是一个激进的和平主义者，他
可以为了战争而放弃自己从事的数学研究。越战期间，他在河内的森林里为当地
的学者讲授范畴论。1970年，只有42岁，正值研究顶峰的的他彻底放弃了数学，
也离开了巴黎高等研究所。后来在法国的Montpellier大学教书，直到60岁退休。
他还说过要去欧洲西南部的比利牛斯山做个隐居的佛教徒。

1988年正值他60大寿时，Grothendieck出人意料的谢绝了瑞典皇家科学院的
向他颁发的Crafoord奖和25万美元的奖金。理由是他认为应该把这些钱花在年轻
有为的数学家身上。

尽管Grothendieck已经远离学术圈很久了，但他依然是公认的现代最伟大和
最有影响力的数学家之一。他创立的现代代数几何博大精深的理论体系所带来的
巨大变革，在几乎所有的核心数学分支中都能感受到。

翻开任何一本现代代数几何教材或专著，都会频繁的看到如Groth. topology
Groth. cohomology，Groth. ring 等名词。每当这时，我都会想Grothendieck，
这位最令我钦佩的大数学家，也许他此刻正默默无闻的生活在欧洲哪个很小的城镇里，
但他留给人类的巨大财富无疑将永载史册！

（二）
“对于这些“纯粹”数学家来说,物质世界仅仅是幻象,只有精神世界才是
永恒的。他们只需要一支铅笔、几张白纸,就可以凭着自己聪明的头脑, 在纯粹数
学的象牙塔中雕镂出一个辉煌的天地。”

六十年代是一个颇不安分的年代。这个时候的青年学生崇拜的偶像是毛泽东
和切 格瓦拉。他们会戴着红袖箍,抬着格瓦拉的像,走上街头同荷枪实弹的军警对
垒。这个时候的大学教授,似乎由于和学生接触比较多的缘故,也不太听话。 比如
美国数学家、1966年Fields奖得主S Smale就曾多次公开抨击美苏的霸权主义政
策。因为这,他受到了CIA的“关照”。而1966年莫斯科国际数学家大会期间,克格
勃干脆把他“请”到了一辆小汽车里呆了一段时间。不过和Grothendieck比起
来,Smale的所作所为倒还不算太出格。
Bourbaki是三十年代时由一批法国青年数学家建立的学派。它的首批成员都毕
业于高等师范学校(Ecole Normale Supérieure)，包括A.Weil、H.Cartan、
J.Dieudonné、C.Chevalley、J.Delsarte等人。Grothendieck加入这个学派的时
候,正值它的全盛时期。当时的Bourbaki学派除了老一辈的大师外,还有
L.Schwartz、J.-P.Serre这样才华横溢的青年。在这里,Grothendieck接触到了数
学的前沿,进而成长为新一代数学家中的佼佼者。

Grothendieck起初研究泛函分析,他深刻地改变了这门学科的面貌。
Dieudonné称Grothendieck的工作和S.Banach的工作一样,在泛函分析中留下了最
强的印记。不过,Grothendieck最重要的工作还是代数几何。代数几何研究的是代
数方程(组)的解所表示的图形。从R Descartes发明解析几何算起,这门学科已经
有将近四百年的历史了。二十世纪三十年代,O.Zariski和B.L.van der Waerden把
交换代数引进了代数几何。四十年代中期,Weil将代数几何彻底地建立在抽象代数
的基础上,并提出了著名的Weil猜想。后来的小平邦彦(Kodaira)、F.Hirzebruch、
J.-P.Serre等人也曾在这门学科中作出重大突破。

五六十年代,Grothendieck对代数几何进行了彻底的革命,发表了十几本巨著,
建立了一套宏大而完整的“概型理论”。Grothendieck的工作堪称代数几何的颠峰,
他的著作被誉为“Grothendieck圣经”。Grothendieck的理论就发挥了价值。
在概型理论的基础上,数学家们取得了一个又一个令人瞠目的成就:

Grothendieck第一次给出了著名的Riemann-Roch定理的代数证明。
它导致了如下事件：

1973年,P.Deligne证明了Weil猜想;
1983年,G.Faltings证明了Mordell猜想;
1995年,A.Wiles证明了谷山-志村(Taniyama-Shimura)猜想,进而解决了有三百五
十多年历史的费尔马大定理(Fermat's Last Theorem)。

这些成就代表着当代数学的最高水平,足以光彪千古。

20世纪的代数几何学涌现了许多天才和菲尔兹奖，但是上帝只有一个，就是
Grothendieck。他的系列专著EGA是公认的代数几何圣经。

Grothendieck是一个彻底的无政府主义者及和平主义者。他经常向那些来找
他请教数学问题的人作他的那一套政治宣传。六十年代,他被聘为法国高等科学研
究所(Institut des Hautes Etudes Scientifiques)的教授,但当他发现这个机构
是由NATO(北大西洋公约组织)出资支持的时候,便毅然辞职回乡务农去了。1970年
的国际数学家大会上,苏联盲人数学家L Pontrjagin作关于“微分对策”的报告,
其中谈到了用导弹追踪飞机的问题。Grothendieck愤然走上台夺下话筒,抗议他在
数学会议上提到军事。

G Hardy曾说过:“真正的数学对战争毫无影响,……是一门‘无害而清白’的职
业”。或许Grothendieck就是因为这个原因才选择了数学。但是Grothendieck逐
渐失望地发现数学往往被用在军事上,象他所研究的代数几何就被用来编制密码,
而且数学研究大多直接或间接得到军方支持。这显然与他的理想背道而驰。于是
在1970年,他便永久地离开了他所喜爱的数学事业,转向了裁军活动和经营农场。
到80年代,他干脆消失在这个肮脏的世界上,只有他的少数朋友知道他的住址,
但这些朋友们都守口如瓶。至今,Grothendieck依然不知所终。

隐逸之士古已有之,但如Grothendieck这般,不恋荣华,功成身退,则亘古罕有。

（三）听来的东东
Grothendieck在做Dieudonne和L.Schwartz的学生之前已经非常有名气，
因此他们都拿自己没做出来的问题考他，结果被Grothendieck很快解决了。那时他25岁。

听说Grothendieck两年前曾发表文章，措
辞严厉地批评现在数学研究很浮躁，水平不高。

向20世纪最伟大的代数几何学家及和平主义者Grothendieck致敬！

酒哥

格罗森迪克(Grothendieck) 作者:高涌泉

物理学家理查费曼 (R. P. Feynman，1918-1988) 的传记《天才的轨迹 (Genius)》
一书作者格雷克 (James Gleick) 从没见过费曼本人。格雷克自述他之所以对于
费曼感到兴趣，起因于他在撰写《混沌 (Chaos)》时接触了很多物理学家，这些人
常提到费曼，而且语气充满崇敬之意，显示费曼对于这些内行人来说，才真是过
人一等的高手。我也曾有过和格雷克類似的經驗─我與數學家朋友聊天時，每當
他們提到格羅森迪克 (Alexander Grothendieck，192eye rolling smiley 的名字，也是無限崇敬
的神情，所以这显然也是个值得一探究竟的人物。但谁是格罗森迪克？

格罗森迪克是代数几何 (algebraic geometry) 大师，曾在一九六六年获得数学界
至高荣耀的费尔兹奖 (Fields Medal)。依据很多人的看法，格罗森迪克改变了数学
的风貌，尤其是他把代数几何带上更为一般性，更抽象，也更壮观的境地，他所引
进的很多概念、语言、工具已经深深的嵌入在数学里。他曾雄据数学中最艰深的
代数几何领域长达十余年，影响了好几代的数学家，这样的人物一世纪不超过十个。

格罗森迪克的父亲出身乌克兰犹太家庭，是无政府主义者，二十世纪初曾参与
推翻沙皇的革命；他的母亲出身德国汉堡中产家庭，父母二人相遇于柏林─这也
是格罗森迪克诞生之地。纳粹崛起之后，他的父母从柏林逃到巴黎，将五岁的他
托付给别人扶养。他后来回忆，那段突然与父母分离的时间很不好捱。后来反犹
太人的浪潮越来越大，格罗森迪還是透過管道被送到巴黎與父母重聚。大戰期間
他的父親被法國當局送到奧許維茲集中營，死在那裡。格羅森迪克與母親也經歷
了一些集中营的日子直到二次大战结束。

战争结束后，格羅森迪克回到學校，很快地顯露他的數學天份。在沒有人指導的
情況下，他居然能獨自建構出測度理論，於是他他的老師推薦到巴黎高等師範學院
從學於名师卡当 (H. Cartan)。他在卡当著名的讨论会中结识了当时顶尖的数学家，
如雪伐雷 (C. Chevalley)、维尔 (A. Weil)、许瓦兹 (L Schwartz) 等人。他从此如鱼
得水，尽情地发挥他的数学天份。不过他以一个外国人（事实上是无国籍）的身分，
很难在法国找到永久教职，但如果入了法国籍，却得去服兵役，这是他万万不愿意
的，所以只好到巴西与美国从事研究，担任访问教授。最后，格罗森迪克到了
一九五九年才刚设立的「高等科学研究院 (IHES)」担任教授。这是私人创建的单位，
所以容得下格罗森迪克。从那时到一九七零年的十二年间，格羅森迪克把IHES
變成引領風騷的代數幾何中心。他在那裡寫出了名著《代數幾何原理》（初稿
由他執筆，後由好友度東內 (J. Dieudonne) 润饰完成）。这本（套）书长达
一千八百余页，非常难读，但是内行人都知道真正的宝贝在这里。

可是格罗森迪克在那意气风发的十二年过后，忽然辞职退出数学圈，原因据说是
他发现了IHES也受到军方的支助。对于一位正值盛年的顶尖数学家来说，他这样
的作为可说是前所未见，也必然引发人们的好奇。格罗森迪克后来到较不知名的
大学任教，一九九一年后就隐居到不知名的地方去了。

　他在一九八六年以法文發表了回憶錄《收穫與播種 (Reapings and Sowings)》，
私下送給圈內朋友，並沒有正式出版。近來網路上出現了回憶錄的部分非正式英
文翻译（见[www.grothendieckcircle.org]），一些根据回忆录所撰写的文章
也发表了（例如[www.ams.org]）。
一般读者可以看到格罗森迪克除了数学之外，对于写作也相当用心，是位有独特
风格的写手。

《收获与播种》里头多处谈到数学的内涵，很值得年轻学子参考。例如格罗森迪克
谈到两种数学风格∶如果把证明数学定理比喻成敲开坚果，一种方法用是榔头与
凿子直接攻坚；另一种方式是「把坚果浸在让其软化的液体中，何不就用水？然后
不时地去搓它，或是将让它浸在那里。几个月下来，壳就会变软，当时间到了，
稍微用手一压就就夠了。」他說這正是自己的方法。他的學生德林 (P. Deligne)
说格罗森迪克的证明常是一大串微不足道的小步所组成的，「看起来什么事也
没做出来，但是最后却出现了一个非常不简单的定理。」

一九八八年，瑞典皇家科学院把克拉弗奖 (Crafoord Prize) 颁给格罗森迪克与德林。
没想到格罗森迪克拒绝接受这个奖，他写信感谢皇家科学院同时说明拒绝的理由∶
第一，他的教授薪水（甚至是即将开始的退休金）已经超过自己与家人物质生活所
需。至于他工作的成就，时间才是最好的裁判，眼前的荣誉不是。
第二，「克拉弗奖的所有对象已经有了足够的物质报酬与科学声望，以及随附而来
的权力与优惠，而这些过额的奖励不也是对于其他人的剥夺吗？」
第三，虽然他「对于科学的热情没有改变，但越来越远离学术圈子，而学术圈的
伦理日益走下坡，以至学术剽窃越来越平常」。如果他「参与了给奖的游戏」，
就代表他认可了科学世界这种不健康的走向。格罗森迪克强调第三点理由是
最重要的理由。

酒哥

说说为什么Jacob Lurie会受到热捧 (5713 bytes)
Posted by: 酒哥
Date: October 19, 2009 06:17PM


ZT
事实上，Lurie DAG和B.Toen的homotopical algebraic geometry是一个体系的，是
higher world version of Grothendieck machine.比如Lurie 发展了higher topos theory.
曾经听过Toen的一个所谓F_un geometry的lecture.他们发展了so called n-geometric sheaf
, 有一些higher version of separateness的刻画n geometric sheaf几何性质的概念。

我觉得Jacob Lurie比较火的原因有这么几个，projective说的“这年头靠忽悠”我在
一些程度上比较赞同。

IHES和Max-Plank这些机构中Grothendieck's school的人以及受Grothendieck哲学影响
比较深 的highly qualified mathematician对Grothendieck的Framework的广泛有效性具有很
大的信心(这也得到了历史的证明），因此或许其他版本的Grothendieck style ***algebraic
geometry就比较容易受到这些人的重视。而事实上也是如此，据我所知，Lurie的draft
出来的时候,IHES&MaxPlank的大佬们就persuade Grothendieck的fellow,以及徒子徒孙关注
（阅读）Lurie的工作。我想Lurie的这种性质的工作算的上所谓"Correct Move in
algebraic geometry" (Grothendieck machine "should" exist in higher world, and
then, it indeed exists)

我觉得似乎有一些之前的例子支持我这种臆测，也就是说“继承”Grothendieck style
的或者是完成他老人家未完成的事业的工作比较会引起大佬们重视。

比如Beilinson,Bernstein,Deligne的perverse sheaf.

Beilinson and Bernstein的一个重要的工作是localization of g-modules,where g
is f.d Lie algebra. 事实上D-modules 可以看成是一种projective scheme.这样上面的代数
几何
（such as affine covers,localization and globalization）就可以for free地由
Grothendieck Machine produce.而Beilinson-Bernstein localization就把
representation theory of Lie algebra变成了AG的问题。这样就有D-scheme version的
Grothendieck
machine。当然，这里他们用的实际上是Derived noncommutative algebraic geometry
的想法，也就是说他们把Derived category of D-modules看成是一个"space"，而BBD中核
心的一部分工作便是t-structures，借此我们可以从derived setting恢复到original space
。另外，事实上，D-modules theory是和Grothendieck crystalline cohomology theory是
有很密切的关系的。众所周知的是crystalline cohomology theory和其他重要的cohomology
theory such as algebraic deRham cohomology and motivic cohomology是有密切关系的，
而BB-chark=0是可以看成是这个工作的一个starting point.(reduction的起点）（
Berthelot并没有well develop crystalline cohomology），而现在Berstein又转向了p-adic
representations. 另外他的一些很厉害的学生，such as Edward Frenkel, Dennis
Gaitsgory and Roman,Bezrukavnkov开始了localization of Lie algebra of
positive character的工作，而这些工作我以为可以看成是Crystalline cohomology for
character p，（比如不久前，Bezrukavnikov,Ivan Mirkovic and Dmitry Rumynin的使用so
called Crystalline differential operator来处理Lie algebra for positive character>
coxter number）
而大佬们普遍认为这部分工作是比较难的，所以如果谁搞出了统一处理这种问题的
Grothendieck style的Framework，我想肯定会引起关注的。

PS：忘记提Deligne了--_____---, 据说perverse sheaf的一些关键观点来源于
Crystalline
cohomology and weil conjecture.

另外Grothendieck 做的machine大多是quasi compact的，他对于infinite
dimensional的representation theory并没有太多关注，因此他的Fellow们，对于non quasi
compact上的
machine就很关心，比如Kashiwara 1988的Flag manifold for Kac-Moody algebra就试
图建立non quasi compact(infinite dimensional Lie algebra)上的代数几何，尽管他的工
作很厉害，也证出了上面的Kazhdan-Lusztig conjecture.但是一直受到大佬们的怀疑，原因
是那上面没有诱导出相应版本的localization theorem。因此大家一致期望有真正的完全
Grothendieck style的工作，因此现在Edward Frenkel, Dennis Gaitsgory这方面的工
作都比较受到关注，我想，这也是传出Bezrukavnikov, Gaitsgory也要拿Fields的原因之一吧
（臆测的）（为什么Kashiwara没能解决呢，一说是，Kashiwara用的是algebraic analysis的
哲学和想法，而这个不能解决云云）
我想这些或许能回答这个版上以前有人问为什么Yun Zhiwei的工作比较重要的问题

啊，瞎扯了这么多，扯远了，现在返回来说Jacobi Lurie的工作，或许正如一些版油所
说，他这个Framework还没有解决什么大猜想（似乎解决了John Baze和Mike Hopkins提出的两
个关于TQFT的猜想？），不过由于大佬们相信在higher world,Grothendieck philosiphy应该
也是广泛有效的，因此Lurie造出这个庞大的Gro-style的machine就自然引起很大重视了。另
外一个相关的原因是，Grothendieck Machine是由EGA SGA FGA等其他一些工作组成的（比如
K-theory)，而Lurie做了higher version的以上很多对应工作

SGA1 ---Lurie's derive Beck theorem(although not only his)
SGA4 --- Higher topos theory
Quillen's K theory---- Lurie's paper(Commutative algebra and so on）
Deligne's Category Tannakian(actually SGA1)---Lurie's paper(Tanakian duality
for geometric stacks)
等等，Grothendieck Machine是需要各部分gadget协调，然后就Bombombom：）开始运
转的机器。而Lurie的Machine几乎涵盖了Machine需要运转的各个部件和”传动带”。因此这
个工作对于一个很年轻的人来说可能被认为是很不容易的工作（因为要弄清楚Grothendieck
machine在higher的情形到底是什么样子，做出来的东西应该要和经典情形完全相容，要有一
切性质）
（上千页?)

我想基于以上原因，Jacob Lurie受到大佬们的热捧。而同时他的文章全部挂到arxiv上
，因此非大佬们也来凑热闹，口口相传，就造成了现在的局面。。。。

最近，G.Faltings的一个学生也写了600多页的paper，也是一个巨大的Framework(New
approach to Arakelov Geometry)，也是Grothendieck style的Frame,所谓
generalized scheme theory,包括了经典的AG,Arithmetic Geometry, Tropical geometry等
等，定义了F_un上的geometry。也引起了一些大佬们的关注，比如A.Connes（想干Riemman
Hypothesis)，Luc Illise(?), P.Cartier等等。A.Connes和两个女人(Consani and
Marcoli），Soule等人又开始搞F_un geometry gadgets，也是Grothendieck style的
Framework。加上O.Gabber也搞了一个Grothendieck style的Framework，generalized ring
theory等

总之，现在是Framework热啊，当然正如版油所说，最后还是看这些东西能不能解决一些重要
的问题。而在短期内，这是个很难说的问题。不过大佬们或许对这种有大潜力的工作还
是很看好的

酒哥

朱海洋与GTM 52 (4511 bytes)


朱海洋与GTM 52 (4511 bytes)
Posted by: 酒哥
Date: October 19, 2009 06:44PM

这朱海洋真成了“朱”“害”“杨”。对杨及其家人所遭3不幸深表同情。
建议同学们都念念GTM 52。念不懂没关系，这样对世界的态度
和认识会平和humble些。
从MITBBS转几个讨论朱杨案的贴。

朱海洋与GTM 52
发信人: guvest (我爱你老婆Anna), 信区: Mathematics
标 题: 从朱海洋说到GTM 52......
国内的教育缺失太严重
很多小孩不知道天有无限高,地有无限厚
从朱海洋的qq blog大概可以看到
朱海洋同学大学几年一头扎在英语里头
还不容易拿了几个来美念书的offer
就自称自己是个牛人
混不知命运的复杂和多变
远未做好受到挫折的准备
我想
如果这些年轻人出国前念念GTM 52
研究下格老大这样的神仙的命运
想必会对未来有更好的准备
知识，尤其是数学知识
是生命的重要营养

发信人: BSB (ert), 信区: Mathematics
我问下格老大是谁？ 有些什么命运？
楼主科普下

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
4625
【 在 BSB (ert) 的大作中提到: 】
: 我问下格老大是谁？ 有些什么命运？
: 楼主科普下

发信人: Aciclovir (笨笨), 信区: Mathematics
我觉得应该是拿买 gtm52的钱去发廊剪头发顺便洗个脚
世界是丰富多彩的啊

发信人: netghost (Up to Isomorphism), 信区: Mathematics
和GTM没关系把。国内的教育问题是不教真正有用的东西。
他英语应该也挺稀松的，否则也不会应为一个女人而开杀戒.
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 国内的教育缺失太严重
: ...................
: 如果这些年轻人出国前念念GTM 52
: ...................

发信人: ilovell (多带点), 信区: Mathematics
我kao, 赞发散思维!

发信人: ilovell (多带点), 信区: Mathematics
国内大学情杀的多得是.
我知道我们那的大学 基本上一两年内 总会有情杀他杀,跳楼自杀的!一个两万多学生的
大学,根据规律这也是正常的.
问题是,大学普遍缺乏相关的教育引导.比如教导大家要珍爱自己的生命,珍爱别人的生
命!

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
那点钱总不能天天洗吧？
但是一旦你学了GTM 52,刺激可是很长远持久的。
【 在 Aciclovir (笨笨) 的大作中提到: 】
我觉得应该是拿买 gtm52的钱去发廊剪头发顺便洗个脚
世界是丰富多彩的啊

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
大学生英语竞赛一等奖。肯定不错了。
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
和GTM没关系把。国内的教育问题是不教真正有用的东西。
国内大学的环境弄的很多年轻人心态有问题。
一头扎进英语里头，四年下来心里成熟度连中学生也不如。
他英语应该也挺稀松的，否则也不会应为一个女人而开杀戒.
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 国内的教育缺失太严重
: ...................

发信人: cityant (cityant), 信区: Mathematics
拿命案开数学玩笑，不太妥当吧。

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
我谈得不是情杀问题。
是他这个大学几年，
其实没学过什么东西，然而又觉得自己是个牛人的问题。
这样的人，对困难无准备，对生活无准备,
容易心里失去平衡。

想想看，如果他学过GTM 52,那他还会觉得自己是个牛人吗？
还会这么脆弱吗？
【 在 ilovell (多带点) 的大作中提到: 】
国内大学情杀的多得是.
我知道我们那的大学 基本上一两年内 总会有情杀他杀,跳楼自杀的!一个两万多学生的
大学,根据规律这也是正常的.
问题是,大学普遍缺乏相关的教育引导.比如教导大家要珍爱自己的生命,珍爱别人的生
命!

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
我没有开玩笑。
【 在 cityant (cityant) 的大作中提到: 】
: 拿命案开数学玩笑，不太妥当吧。

发信人: netghost (Up to Isomorphism), 信区: Mathematics
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 大学生英语竞赛一等奖。肯定不错了。
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
不好说，这东西肯定是考试的方式。就像数学竞赛和做数学一样。
: 和GTM没关系把。国内的教育问题是不教真正有用的东西。
: 国内大学的环境弄的很多年轻人心态有问题。
: 一头扎进英语里头，四年下来心里成熟度连中学生也不
如。
: 他英语应该也挺稀松的，否则也不会应为一个女人而开杀戒.

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
这倒也是。不过肯定花了很多时间在英语。

发信人: Aciclovir (笨笨), 信区: Mathematics
洗了一次就知道这年头长得好不如技术好
长得帅不如包里有钱的
杀人那是弱智

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 那点钱总不能天天洗吧？
: 但是一旦你学了GTM 52,刺激可是很长远持久的。
: 我觉得应该是拿买 gtm52的钱去发廊剪头发顺便洗个脚
: 世界是丰富多彩的啊

发信人: Aciclovir (笨笨), 信区: Mathematics
脑子花茶了，来这里的wsn讲难听点就是脑力民工
英语好顶屁用啊

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 这倒也是。不过肯定花了很多时间在英语。
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
: 不好说，这东西肯定是考试的方式。就像数学竞赛和做数学一样。
: 如。

发信人: BSB (ert), 信区: Mathematics
楼主，我还是找不到格老大的文章
我web上的，你给个连接吧

发信人: guvest (我爱你老婆Anna), 信区: Mathematics
就前头一篇，看到了吧
【 在 BSB (ert) 的大作中提到: 】
: 楼主，我还是找不到格老大的文章
: 我web上的，你给个连接吧

酒哥

[size=14.3999996185303px]标  题:
作者：floer (floer)

GTM 52 应该是 GTM 系列里面比较难念的一本书。 很多数学系研究生耗费很多时间念
没念好。我知道的例子里面， 有MIT代数几何大牛 MICHAEL ARTING 以前一个中国学生，
奥赛金牌， 因为念这本书一年多没多少进展， 过不了QUALIFY。
因此和ARTING 关系日渐恶化， 最后离开了MIT。

这本书难念， 原因之一是需要一定准备知识。要念懂GTM52，至少需要一个交换代数一
学期的本科高年级内容， 另外对同调代数有点最基本的训练， 对它的的思维方式起码
不至于陌生。这些准备内容， 在大陆一般院校的本科教学里面并没有COVER。

这本书难念更重要的原因是第2，3章介绍的HUGE MACHINNERY of high tech。
GTM52 第一章处理VARIETY， 优点是简明扼要，缺点是材料太少，
不足以给学生足够的几何直觉， 支撑第2，3章的学习。
GTM 52 的精华是第2，3章， 介绍SCHEME 和 它上面的COHOMOLOGY THEORY。
SCHEME的概念已经高度抽象， 初学者会觉得学习很多概念时HIGHLY UNMOTIVIATED。
SCHEME 上的COHOMOLOGY 理论的建立更需要很多技术上的准备。
初学者很容易陷入技术细节的推导上，一叶障目，不见森林。  

我个人认为GTM52 其实不应该做为代数几何FIRST COURSE 的教材， 虽然它PRETEND 读
者没有代数几何的任何基础。(数学成熟度比较高或者有天才的读者另当别论。)  要是
你不准备今后从事代数几何研究， 但是希望学好代数几何最基本的知识， 我个人觉得
SHAFAREVICH  的BASIC ALGEBRAIC GEOMETRY 那样的课本肯定是更好的选择。它的优点
是有大量具体的例子， 另外处理DIVISOR,DIFFERENTIAL FORM, INTERSECTION THEORY，
都是对最简单的PROJECTIVE VARIETY 做 的。 这样处理，几何意义反而最明晰。
SHAFAREVICH  里面对SCHEME 上的 COHOMOLOGY 应该没有讲透。
但是念了它以后，读者再念gtm 52 的第2，3章 就应该很容易了。

念懂GTM 52 的研究生， 应该还是有一定数学能力的。 不过这个标准充其量也就是衡
量研究生低年级阶段数学能力的标准。 衡量数学家的能力， 当然还是要看他工作是否
重要，而不是念懂了什么难念的书。 对GROTHENDICK 是20世纪后半叶最重要的极少数
几个数学家之一， 我完全赞同。 但是GROTHENDICK 之所以伟大， 是因为他基本从无
到有，把GTM 52 的基本框架建构起来， 而不是他把 他以前的数学家的教材或者论文
念得特别好。 就是这个GROTHENDICK，当他朋友访问他抱怨当时新建立的EHS 没什么数
学书籍时， 他的回答是： We do not read books; we write books.

没有人否认GROTHENDICK 的伟大。 但要把这种个人崇拜推到只有GROTHENDICK 风格的
数学才是好数学， 那就荒唐可笑了。 就拿复数域上的代数几何来说， 本来就有纯粹
代数的和超越的两种APPROACH，这本来是数学的幸事。 对深刻的东西， 我们自然希望
可以从不同的角度理解。要把超越的复代数几何赶出代数几何，对代数几何本身肯定是
灾难。

其实不管数学的分支是什么， 有好的思想，有原创力的数学就是好数学。
应用数学家里面也有PETER LAX 那样伟大的数学家，他对数学的贡献超过绝大多数的纯粹数学家。
而内容空洞，没什么新意的数学， 即使打着抽象代数几何的旗帜，也是坏数学。

酒哥

ZT

仿佛来自虚空——代数几何教皇Grothendieck的故事

前言：本文是Notices2004年10月和11月份Allyn Jackson关于Alexandre Grothendieck文章的翻译。
仿佛来自虚空(1)

　　每一门科学，当我们不是将它作为能力和统治力的工具，而是作为我们人类世代以来努力追求的对知识的冒险历程，不是别的，就是这样一种和谐，从一个时期到另一个时期，或多或少，巨大而又丰富：在不同的时代和世纪中，对于依次出现的不同的主题，它展现给我们微妙而精细的对应，仿佛来自虚空。

　　 ——《收获与播种》，第20页

　　亚历山大－格洛腾迪克是一位对数学对象极度敏感，对它们之间复杂而优美的结构有着深刻认识的数学家。他生平中的两个制高点——他是高等科学研究院（IHES）的创始成员之一，并在1966年荣获菲尔兹奖——就足以保证他在二十世纪数学伟人殿里的位置。但是这样的叙说远不足以反映他工作的精华，它深深植根于某种更有机更深层的东西里面。正如他在长篇回忆录《收获与播种》中所说: “构成一个研究人员的创造力和想象力的品质的东西，正是他聆听事情内部声音能力”（原书第27页）。今天格洛腾迪克自己的声音，蕴含在他的著作中，到达我们耳中，就如来自虚空：如今76岁的高龄，他已经在法国南部的一个小村落里隐居十多年了。

　　用密歇根大学海曼－巴斯的话来说，格洛腾迪克用一种“宇宙般普适”的观点改变了整个数学的全貌。如今这种观点已经如此深入吸收到数学研究里面，以至于对新来的研究者来说，很难想象以前并不是这样的。格洛腾迪克留下最深印迹的是代数几何学，在其中他强调通过发现数学对象间的联系来理解数学对象本身。他具有一种极其强大、几乎就是来自另外一个世界的抽象能力，让他能够从非常普适的高度来看待问题，而且他使用这种能力又是完美无缺的精确。事实上，从二十世纪中叶开始，在整个数学领域里不断加深的一般化和抽象化的潮流，在很大程度上归功于格洛腾迪克。同时，那些为一般化而一般化，以至于去研究一些毫无意义或者没有意思的数学问题，是他从来不感兴趣的。

　　格洛腾迪克在二次世界大战期间的早期生活充满混乱和伤害，并且他的教育背景并不是最好的。他如何从这样缺乏足够教育的开始脱颖而出，成为世界上的领袖数学家之一，是一出精彩的戏剧——同样，在1970年，正当他最伟大的成就在数学研究领域开花结果，而且数学研究正深受他非凡个性影响的时候，他突然离开了数学研究，也是富有戏剧性。

　　早期生活

　　对于我来说，我们高中数学课本最令人不满意的地方，是缺乏对长度、面积和体积的严格定义。我许诺自己，当我有机会的时候，我一定得填补这个不足。

　　 ——《收获与播种》，第3页

　　2003年八月以八十岁高龄过世的普林斯顿高等研究院的阿曼德－波莱尔回忆起他在1949年11月在巴黎一次布尔巴基讨论班上第一次见到格洛腾迪克的情形。在讲座的空歇时间，当时二十多岁的波莱尔正与时年45岁，法国数学界那时的一位领袖人物查尔斯－爱尔斯曼聊天。波莱尔回忆说，此时一个年轻人走到爱尔斯曼面前，不作任何介绍，当头就问：“你是拓扑群方面的专家吗？”为了显示自己的谦虚，爱尔斯曼回答说是的，他知道一点点关于拓扑群的知识。年轻人坚持说：“可我需要一个真正的专家！”这就是亚历山大－格洛腾迪克，时年21岁——性急，热情，确切说不是无礼，但对社交礼仪差不多一无所知。波莱尔记得格洛腾迪克当时问了一个问题: 每个局部拓扑群是否是整体拓扑群的芽？波莱尔自己恰好知道一个反例。这个问题表明格洛腾迪克那个时候就已经考虑用很普适的观点还考虑问题了。

　　1940年代末在巴黎度过的时期是格洛腾迪克首次和数学研究世界的真正接触。在此之前，他的生活——至少就我们所知道的情况而言——几乎没有什么可以预示他注定成为这个世界一位具统治地位的人物。大多关于格洛腾迪克的家庭背景和早期生活的情节都是粗略或者未知的。穆斯特大学的温弗雷德－沙劳正在撰写一部格洛腾迪克的传记，因而对他的这段历史作了详细研究。下面我对格洛腾迪克生平的简略描述的大部分信息来自于对沙劳的一次访谈或者来自于他收集的关于格洛腾迪克生平的资料。

　　格洛腾迪克的父亲，其名字或许叫亚历山大－沙皮诺，于1889年10月11日生于乌克兰诺夫兹博科夫的一个犹太人家庭。沙皮诺是一个无政府主义者，参加过20世纪早期沙皇俄国多次暴动。在17岁的时候他被捕，尽管成功逃脱死刑的判决，但是数次越狱又被抓获，让他一共在狱中呆了大约10年时间。格洛腾迪克的父亲，有时候常常被人混淆为另外一个更有名的亚历山大－沙皮诺，他也参加过了多次政治运动。那位沙皮诺，曾在约翰－里德的名著《震撼世界的10天》里面出现过，移民去了纽约并于1946年去世，那时候，格洛腾迪克的父亲已经过世4年了。另外一个关于格洛腾迪克父亲的显著特征是他只有一只手。根据贾斯汀－巴姆比（她在1970年代曾经与格洛腾迪克生活过一段时间，并且和他育有一个儿子）的话来说，他的父亲是在一次逃避被警察抓获而尝试自杀的行动中丢失他的一只胳膊的。格洛腾迪克本人可能不知情地帮助造成这两个沙皮诺的混淆：举个例子，高等科学研究院的皮埃尔－卡迪耶尔提到格洛腾迪克坚持里德的书里面一个人物是他父亲。


仿佛来自虚空(2)

　　小朋友时代结束。下面牛人们将一个个登场。

　　1921年，沙皮诺离开俄国，从那时起，终其一生他都是一个无国籍人。为了隐瞒他的政治过去，他获得了一份名叫亚历山大－塔纳洛夫的身份证明，从此他就用这个新的名字。他在德国，法国和比利时都呆过一段时间，和无政府主义者和其他革命团体均有联系。在1920年代中期一个激进份子圈子里面，他认识了格洛腾迪克的母亲，琼娜（汉卡）－格洛腾迪克。她于1900年8月21日出生在汉堡一个中产阶级路德教徒家庭里。出于对她所受的传统教育的反叛，她被吸引来到柏林，当时那里是先锋派和社会革命运动的温床。她和沙皮诺都渴望成为作家。他从没有发表过什么东西，而她在报纸上发表过一些文章；特别的，在1920年到1922年间她为一家左翼报纸Der Pranger写稿，当时它正在调查生活在汉堡社会底层的妓女们卖淫的真正原因。很久以后，在1940年代，她写了一本自传小说Eine Frau（《一个小女人》），不过从未发表。在他一生的大部分时间，塔纳洛夫是一位街头摄影师，这项工作让他可以独立生活，又不用违背自己的无政府主义信仰去被人雇佣。他和汉卡曾经都结婚过，而且都各有一个前次婚姻所生的孩子，她有个女儿而他有个儿子。亚历山大－格洛腾迪克于1928年3月28日出生于柏林，其时他们家由汉卡，塔纳洛夫，汉卡的女儿、比亚历山大大四岁的麦娣组成。他被家人和后来的密友们叫做舒瑞克；他父亲的昵称叫萨沙。尽管他从来没有见到过他的同父异母哥哥，格洛腾迪克将他在1980年代完成的手稿A La Poursuite des Champs（《探索Stacks》）献给了他。

　　1933年，纳粹上台后，沙皮诺从柏林逃到了巴黎。同年12月，汉卡决定追随丈夫，于是她将儿子留在汉堡附近布兰肯尼斯的一个寄养家庭里面；麦娣则留在柏林一个收养残疾人的机构里，尽管她并不是残疾人（《收获与播种》，472－473页）。这个寄养家庭的家长是威尔海姆－海铎，他的不平凡的一生在他的传记Nur Mensch Sein里面得到详细描述；同书里面有格洛腾迪克1934年的一张照片，而且在书中他被简要提起。海铎曾经是路德教会牧师和军官，随后他离开教会，成为小学教师，同时是一位Heipraktiker（这个词现在可以粗略翻译为“另类医学的从业者”， 江湖医生）。1930年他创立了理想主义政党人道主义党，此党后来被纳粹认定为非法。海铎自己有4个孩子，他和妻子代格玛，出于他们信仰的基督教义务，又收养了好几个孩子，他们都由于在二战前那段混乱日子不得不与自己的家庭分开。

　　格洛腾迪克从5岁到11岁，在海铎家里呆了5年多，并且开始上学。代格玛－威尔海姆在回忆录里面说小亚历山大是一位非常自由，特别诚实，毫无顾忌的小孩。在他生活在海铎家这几年里，格洛腾迪克只从他母亲那里收到几封信，他父亲根本就没有给他写过信。尽管汉卡仍然还有些亲戚在汉堡，从没有人来看过他。突然和父母分离，对格洛腾迪克是非常伤心的事情，这可以从《收获与播种》书中看出（473页）。沙劳认为小亚历山大可能在海铎家里过得并不愉快。从两个无政府主义者作家长的不受拘束的家里出来，海铎家里的比较严肃的氛围可能比较让他觉得郁闷。事实上，他和海铎家附近其他一些家庭更亲近些，成年以后他仍然多年坚持给他们写信。他也给海铎家写信，并且数次回来拜访汉堡，最后一次是在1980年代中期。

　　1939年，战争迫在眉睫，海铎夫妇所承受政治压力也越来越大，他们不能够再抚养这些孩子了。格洛腾迪克这个情况更困难些，因为他看上去就象犹太人。尽管他父母的确切地址不为人知，但是代格玛－海铎写信给法国驻汉堡领事馆，设法给时在巴黎的沙皮诺和时在尼姆兹的汉卡带去消息。联系到他父母以后，11岁的格洛腾迪克被送上从汉堡到巴黎的火车。1939年5月他和父母团聚，他们在一起度过了战前的短暂时光。

　　目前我们并不确切知道当格洛腾迪克在汉堡的时候，他的父母干了些什么的细节，但可以肯定他们政治上仍然很活跃。他们跑到西班牙参加了西班牙内战，当佛朗哥获胜后又逃回法国。由于他们的政治活动，汉卡和她的丈夫在法国被当作危险的外国人。格洛腾迪克回到他们身边不久，沙皮诺就被送入Le Vernet的国际集中营，此地是所有法国集中营中最糟糕的。很可能从那以后他再也没有看到他的妻子和儿子了。1942年8月，他被法国政府驱逐到奥斯维辛，在那里他被杀害。麦娣那段时期如何度过我们并不清楚，但最终她和一位美国士兵结婚，并移居美国；她于几年前过世。

　　1941年汉卡和她的儿子被送入Mende附近Rieucros的战俘收容所。就战俘收容所而言，Rieucros的这个算比较好的，格洛腾迪克被允许到Mende去读高中。然而，这种生活被剥夺了自由，又很不确定。他告诉巴姆比说，他和他母亲时常被那些不知道汉卡是反对纳粹的法国人故意躲开。有一次他从收容所跑了出去，想去刺杀希特勒，但他很快就被抓获，送了回来。“这很可能让他丢了性命的”，巴姆比说。格洛腾迪克一生以来都很强壮，是一个很优秀的拳击手，他将此归功于这段时期，因为他常常是被伏击的对象。2年后，母子俩又分开了：汉卡被送到另一个战俘收容所，而她的儿子则最终送到小镇Chambon－sur－Lignon。安德烈－特洛克姆，一位新教徒牧师，将这个山区休假胜地Chambon镇变成了反抗纳粹占领的据点和犹太人及其他被战争危及生命的人们的避难所。在那里格洛腾迪克被送到由一个瑞士组织成立的儿童之家。他在Chambon镇专门为年轻人的教育而设立的Cevenol学院上学并得到业士学位（即通过中学毕业会考）。Chambon人的英雄行为给了逃难者安全，但是生活却是很不稳定的。在《收获与播种》里，格洛腾迪克提到当时周期性的抓捕犹太人的行动迫使他和其他同学在森林里躲藏好几天（第2页）。

　　在此书中，他也提到些对Mende和Chambon上学情况的回忆。很显然，尽管少年时遇到的诸多困难和混乱，他从很小的时候起就有很强的内在理解能力。在他的数学课上，他不需要老师的提示就能区分什么东西是深层的、什么是表面的，什么是正确的、什么是错误的。他发现课本上的数学问题老是重复，而且经常和那些可以赋予它意义的东西隔离开。“这是这本书的问题，不是我的问题”，他写道。当有问题引起他注意时，他就完全忘我的投入到问题中去，以至于忘记时间（第3页）。


仿佛来自虚空（3）

从蒙彼利尔到巴黎到南锡

　　我的微积分老师舒拉先生向我保证说数学上最后一个问题已经在二三十年前就被一个叫勒贝格的人解决了。确切地说，他发展了一套测度和积分的理论（真是很令人惊讶的巧合！），而这就是数学的终点。

《收获与播种》，第4页

　　1945年5月欧战结束的时候，亚历山大－格洛腾迪克17岁。他和母亲居住在一蒙彼利尔郊外盛产葡萄地区的一个叫Maisargues的村子里。他在蒙彼利尔大学上学，母子俩靠他的奖学金和葡萄收获季节打零工来生活；他母亲也做些清扫房屋的工作。不久以后他呆在课堂的时间就越来越少，因为他发现老师全是照本宣科。根据让－丢多涅的话来说，那是的蒙彼利尔是"法国大学里面教授数学最落后的地区之一"。

　　在这种不那么令人激昂的环境下，格洛腾迪克将他在蒙彼利尔三年的大部分时间放在弥补他曾经觉察到的高中教科书上的缺陷，即给出令人满意的长度、面积和体积的定义。完全靠自己的努力，他实际上重新发现了测度论和勒贝格积分的概念。这个小故事可以说是格洛腾迪克和阿尔伯特－爱因斯坦两个人生平中几条平行线之一：年轻的爱因斯坦根据自己的想法发展了统计物理理论，后来他才知道这已经由约舒亚－维拉德－吉布斯发现了！

　　1948年，在蒙彼利尔完成理学学士课程后，格洛腾迪克来到了巴黎，法国数学的主要中心。1995年，在一篇发表于一法文杂志上关于格洛腾迪克的文章中，一位名叫安德烈－马格尼尔的法国教育官员回忆起格洛腾迪克的去巴黎求学的奖学金申请。马格尼尔让他说明一下在蒙彼利尔干了些什么。"我大吃一惊，"文章引用马格尼尔的话说，"本来我以为20分钟会面就足够了，结果他不停的讲了两个小时，向我解释他如何利用'现有的工具'，重新构造前人花了数十年时间构建的理论。他显示出来非凡的聪慧。"马格尼尔接着说："格洛腾迪克给了我这样的印象：他是一位才气惊人的年青人，但是所受的苦痛和自由被剥夺的经历让他的发展很不均衡。"马格尼尔立刻推荐格洛腾迪克得到这个奖学金。

　　格洛腾迪克在蒙彼利尔的数学老师，舒拉先生推荐他到巴黎去找他以前的老师嘉当。不过到底是父亲，时年快八十的埃里－嘉当，还是他的儿子，四十多岁的亨利－嘉当，格洛腾迪克并不知道（《收获与播种》，第19页）。在1948年秋天到达巴黎后，他给那里的数学家看在蒙彼利尔自己做的工作。正如舒拉所说，那些结果已经为人所知，不过格洛腾迪克并不觉得沮丧。事实上，这段早期孤独一人的努力可能对他成为数学家起了至关重要的作用。在《收获与播种》中，格洛腾迪克谈到这段时期时说："在根本不知情的情况下，我在孤独工作中学会了成为数学家的要素--这些没有一位老师能够真正教给学生的。不用别人告诉我，然而我却从内心就知道我是一位数学家：也就是说，完全从字面上理解，"做数学的人就好像人们'做'爱一样。"

　　他开始参加亨利－嘉当在高等师范学校开设的传奇性的讨论班。这个讨论班采用了一种格洛腾迪克在以后的职业生涯更严格化的模式：每一年所有的讨论围绕一个选定的主题进行，讲稿要系统的整理出来并最终出版。1948－1949年嘉当讨论班的主题是单形代数拓扑和层论--当时数学的前沿课题，还没有在法国其他地方讲授过。事实上，那时离让－勒雷(Jean Leray)最初构想层的概念并没有多久。在嘉当讨论班上，格洛腾迪克第一次见到了许多当时数学界的风云人物，包括克劳德－夏瓦雷(Claude Chevalley)，让－德尔萨(Jean Delsarte)，让－丢多涅(Jean Dieudonne)，罗杰－苟德曼(Roger Godement)，洛朗－施瓦兹(Laurent Schwartz)和安德烈－韦依(Andre Weil)。其时嘉当的学生有让－皮埃尔－塞尔(Jean-Pierre Serre)。参加嘉当讨论班以外，他还去法兰西学院听勒雷开设的一门介绍当时很新潮的局部凸空间理论的课程。

　　作为几何学家埃里－嘉当的儿子，自己本人又是一位杰出的数学家，并且又是巴黎高师的教授，从多个方面来看亨利－嘉当都是巴黎精英数学家的中心。而且他还是战后少数几位努力创造条件与德国同行们交流的法国数学家之一，尽管他自己很清楚战争带给的惨痛：他的弟弟参加了抵抗德国占领的地下运动，结果被德国人抓获并斩首。嘉当和当时的许多一流数学家--比如爱尔斯曼，勒雷，夏瓦雷，德尔萨，丢多涅和韦依--都有一个共同的背景，他们是"高师人"，即为法国高等教育的最高学府巴黎高等师范学校的毕业生。

　　当格洛腾迪克加入嘉当讨论班的时候，他还是个外来人：这不仅仅是说他居住在战后法国而又讲德语，而且因为他与其他参加者比较起来显得特别贫乏的教育背景。然而在《收获与播种》里，格洛腾迪克说他并不觉得象是圈子里面的陌生人，并且叙述了他对在那受到的"善意的欢迎"的美好回忆（第19－20页）。他的坦率直言很快就引起大家的注意：在给嘉当100岁生日的颂词中，Jean Cerf回忆说，当时在嘉当讨论班上看到"一个陌生人（即格洛腾迪克），此人从屋子后部随意向嘉当发话，就如同和他平起平坐一样"。格洛腾迪克问问题从不受拘束，然而，他在书上写道，他也发现自己很难明白新的东西，而坐在他旁边的人似乎很快就掌握了，就象"他们从摇篮里就懂一样"（第6页）。这可能是其中一个原因，促使他在嘉当和韦依的建议下，于1949年10月离开巴黎的高雅氛围去了节奏缓慢的南锡。另外，如丢多涅所言，格洛腾迪克那时候对拓扑线性空间比对代数几何更感兴趣，因此他去南锡恰当不过了。

仿佛来自虚空（4）

　　南锡的学习生涯

　　（我在这里受到的）欢迎弥漫开来… 从1949年首次来到南锡的时候我就受到这样的欢迎，不管是在Laurent 和Helene Schwartz的家（那儿我就好像是一个家庭成员一样），还是在Dieudonne的或者Godement的家（那里也是我经常出没的地方之一）。在我初次步入数学殿堂就包容在这样挚爱的温暖中，这种温暖虽然我有时易于忘记，对我整个数学家生涯非常重要。

《收获与播种》，第42页

　　1940年后期，南锡是法国最强的数学中心之一；事实上，虚构人物尼古拉－布尔巴基据说是“Nancago大学”的教授，就是指在芝加哥大学的韦依和在南锡大学的他的布尔巴基同伴。此时南锡的教员包括德尔萨，Godement，Dieudonne和Schwartz。格洛腾迪克的同学包括Jacques－Louis Lions和Bernard Malgrange，他们和格洛腾迪克一样均是Schwartz的学生；以及Paulo Ribenboim，时年20岁，差不多与格洛腾迪克同时来到南锡的巴西人。

　　根据现在是（加拿大）安大略省Queens大学名誉教授Ribenboim的话来说，南锡的节奏不象巴黎那么紧张，教授们也有更多时间来指导学生。Ribenboim说他感觉格洛腾迪克来到南锡的原因是因为他基础知识缺乏以致很难跟上Cartan的高强度讨论班。这不是格洛腾迪克出来承认的，“他不是那种会承认自己也会不懂的人！”Ribenboim评论说。然而，格洛腾迪克的超凡才能是显而易见的，Ribenboim记得自己当时将他作为完美化身来景仰。

　　格洛腾迪克可能会变得非常极端，有时候表现得不太厚道。Ribenboim回忆说：“他不是什么卑鄙的人，只是他对自己和别人都要求很苛刻.”格洛腾迪克只有很少几本书；他不是从读书中去学习新的知识，而宁愿自己去重新建构这些知识。而且他工作得很刻苦。Ribenboim还记得Schwartz告诉他：你看上去是个很友善、均衡发展的年轻人；你应该和格洛腾迪克交个朋友，一起出去玩玩，这样他就不会整天工作了。

　　其时Dieudonne和Schwartz在南锡开设了关于拓扑线性空间的讨论班。如Dieudonne在[D1]所说，那时候Banach空间及其对偶已经理解得很清楚了，不过局部凸空间的概念当时刚刚引入，而关于他们的对偶的一般理论还没有建立起来。在这个领域工作一段时间后，他和Schwartz遇到了一系列的问题，他们决定将这些问题交给格洛腾迪克。数月之后，他们大吃一惊地得知格洛腾迪克已经将所有的问题都解决了，并在继续研究泛函分析的其他问题。“1953年，应当给予他博士学位的时候，有必要在他写的六篇文章中选取一篇做博士论文，可每一篇都有好的博士论文的水准，”丢多涅写道。最后选定作为论文的是“拓扑张量积和核空间”，这篇文章显示出他的一般性思考的初次征兆，而这将刻划格洛腾迪克的整个数学生涯。核空间的概念，在目前已经得到了广泛应用，就是首先在这篇文章里面提出的。Schwartz在巴黎一次讨论班上宣传了格洛腾迪克的结果, 其讲稿“格洛腾迪克的张量空间”发表于1954年[Schwartz]。此外，格洛腾迪克的论文作为专著1955年在美国数学会的Memoir系列出版；此书[GThesis]在1990年第七次重印。

　　格洛腾迪克在泛函分析方面的工作“相当出色”，加州大学洛山矶分校的Edwards E. Effors评论说。“他可能是第一个意识到二战后迅猛发展的代数和范畴工具可以用来研究如此高度解析的数学分支泛函分析的人了。”从某些方面来说，格洛腾迪克走在他的时代的前面，Effors注意到至少花了15年时间，格洛腾迪克的工作才结合到主流的Banach空间理论中去，这其中部分原因是大家对采用他的更代数的观点不积极。Effors还说道，近年来由于Banach空间理论的“量子化”，而格洛腾迪克的范畴论的方法特别适用于这种情况，他的工作的影响进一步得到加强。

　　尽管格洛腾迪克的数学工作已经得到很有前途的开始，他的个人生活还没有安定下来。在南锡他和母亲住在一起，根据Ribenboim的回忆，她由于肺结核偶尔会卧床不起。她是在收容所染上这种疾病的。就在这时候她开始写自传《小女人》的。格洛腾迪克和管理他和他母亲寄住的公寓的一位年老妇人的关系让他有了第一个孩子，一个名叫塞吉的儿子：塞吉主要由母亲抚养。完成他的博士学位后，格洛腾迪克找到永久职位的希望很小：他是无国籍人，而那时在法国非公民很难找到永久工作。想成为法国公民就得去参军，而格洛腾迪克拒绝这样做。从1950年起他通过国家科学研究中心（CNRS）有个职位，不过这个职位更象奖学金，而不是永久性的。有段时间他甚至考虑去学做木匠来赚钱谋生（《收获与播种》，第1246页）。

　　Laurent Schwartz于1952年访问了巴西，给那里的人说起他这个才华横溢的学生在法国找工作遇到的麻烦。结果格洛腾迪克收到圣保罗大学提供给他的访问教授职位的提议，他在1953年和1954年保持了这个职位。根据当时为圣保罗大学学生、现在是Rutgers大学名誉教授的Jose Barros－Neto的话来说，格洛腾迪克（和大学）做了特别安排，这样他可以回巴黎参加那里秋天举行的讨论班。由于巴西数学界的第二语言是法语，教学和与同事交流对格洛腾迪克来讲是件很容易的事情。通过去圣保罗，格洛腾迪克延续了巴西和法国的科学交流的传统：Schwartz之外，韦依、丢多涅和德尔萨都在1940和1950年代访问过巴西。韦依1945年一月到圣保罗，在那里一直呆到1947年秋天、他转赴芝加哥大学的时候。法国和巴西的数学交流一直延续到现在。里约热内卢的纯粹与应用数学研究所（IMPA）就有一个促成许多法国数学家到IMPA去的法－巴合作协议。

　　在《收获与播种》一书中，格洛腾迪克将1954年形容为“令人疲倦的一年”（163页）。整整一年时间，他不成功地试图在拓扑线性空间上的逼近问题上获得一些进展，而这个问题要到整整20年后才被一种和格洛腾迪克尝试的办法完全不同的方法解决。这是“我一生唯一一次感觉做数学是如此繁重！”他写道。这次挫折给了他一个教训：不管何时，要有几个数学“铁器在火中”，这样如果一个问题被发现很难解决，就可以在别的问题上下功夫。

　　现在为圣保罗大学教授的Chaim Honig，当格洛腾迪克在那儿的时候是数学系的助教，他们成了好朋友。Honig说格洛腾迪克过着一种斯巴达式的孤独生活，靠着牛奶和香蕉过日子，将自己完全投入到数学中。Honig有次问格洛腾迪克他为什么选择了数学。格洛腾迪克回答说他有两个爱好，数学和音乐，他选择了数学是因为他觉得这样可能更容易谋生些。他的数学天赋是如此显而易见，Honig说，“我当时相当惊讶他竟然在数学和音乐间犹豫不决。”

　　格洛腾迪克计划和当时在里约热内卢的Leopoldo Nachbin一起合写一本拓扑线性空间的书，不过这本书从来没有实质化过。然而，格洛腾迪克在圣保罗教授了拓扑线性空间这门课程，并撰写了讲义，这个讲义后来由大学出版了。Barros－Neto是班上的学生，他写了讲义上的一个介绍性章节，讲述一些基本的必需知识。Barros－Neto回忆说当格洛腾迪克在巴西的时候说起过要转换研究领域。他“很雄心勃勃，”Barros－Neto说道，“你可以感觉到这个行动——他应该做些很根本、重要而又基础的东西。”

仿佛来自虚空（5）


　　新星升起

　　这个最本质的东西就是每次塞尔会强烈感觉到某个陈述下隐含着的丰富意义，而这个陈述在字面意义上讲，无疑让我既不感到兴奋，也不觉得无味——而且他可以“传输”这种对如此内蕴丰富、实在而又神秘的实质的感知——这种感知在同一时候就是理解这个实质的渴望，以至看透它的本质。

《收割与播种》，第556页

　　格勒诺贝尔大学的Bernard Malgrange 回忆起当格洛腾迪克写完论文后，他宣称自己不再对拓扑线性空间感兴趣了。“他告诉我，‘这里面不再有东西可做了，这个学科已经死了，’”Malgrange回忆道。当时学生按要求需要准备一份“第二论文”，此文不必包含原创性的工作，其用意在于让学生展示对和自己博士论文研究相隔很远的一门数学领域的理解深度。格洛腾迪克的第二论文是关于层论的，这个工作或许埋下了他对代数几何的兴趣的种子，而这将是他做出最伟大成就的地方。在巴黎完成格洛腾迪克的论文答辩后，Malgrange记得他自己、格洛腾迪克和亨利－嘉当挤在一辆出租车上去Laurent施瓦兹家里吃午饭。他们坐出租是因为Malgrange在滑雪的时候摔断了腿。“在车上，嘉当告诉格洛腾迪克他叙述层论时犯的一些错误，”Malgrange回忆说。

　　离开巴西后，格洛腾迪克1955年在堪萨斯大学度过，可能是受到N. Aronzajn的邀请[Corr]。在那里格洛腾迪克开始投入到同调代数研究中去。正是在堪萨斯他写了“关于同调代数的若干问题”这篇文章，此文在专家圈子里面被非正式地称为“Tohoku文章”，由于此文发表在The Tohoku Mathematical Journal(《东北数学期刊》)上。此文是同调代数的经典，发展了嘉当和Eilenberg关于模的工作。也是在堪萨斯的时候，格洛腾迪克写了“带结构层的纤维空间的一般理论’一文，此文作为国家科学基金(National Science Foundation, NSF)的一个报告发表。这个报告发展了他关于非交换上同调的初步想法，此领域在后来他会在代数几何的架构下再次触及。

　　就是在这时候，格洛腾迪克开始和法兰西学院的让－皮埃尔－塞尔通信。他起初和塞尔在巴黎相识，而后来在南锡时又见过面。他们信件的精选在2001年出版了法文原版，在2003年出版了法英对照版[Corr]。这是一段长期而又硕果累累的交流的开始。这些信件显示了两个非常不同的数学家的深厚而又充满活力的数学联系。格洛腾迪克表现出天马行空般的想象力，而它又常常被塞尔的深刻理解和渊博知识带回到地面。有时候在信中格洛腾迪克会表现出很令人惊讶的无知：比如说，有一次他询问塞尔黎曼zeta函数是否有无穷多零点（[Corr],第204页）。“他的经典代数几何知识实质上等于零，”塞尔回忆说，“我自己的经典代数几何知识比他稍微好点，但好得不多，但是我试着去帮助他。可是…有这么多未解决的问题，所以这不是很重要。”格洛腾迪克不是那种了解最新文献的人，很大程度上他依靠塞尔来了解目前数学界正在干些什么。在《收获与播种》里，格洛腾迪克写道，他学习到的大部分几何知识，除去他自学的外，全学自于塞尔（第555－556页）。不过塞尔不仅仅是教给格洛腾迪克知识；他能够将要点融会贯通，然后用一种格洛腾迪克发现非常具有说服力的方法叙述出来。格洛腾迪克将塞尔叫着“引爆器”，一个提供火花，将导火索点燃，促使观点大爆炸的人。

　　确实，格洛腾迪克将他工作的许多中心主题都归因于塞尔。比如说，就是塞尔在1955年将韦依猜想用上同调的语言介绍给格洛腾迪克——这种语言在韦依最初提出猜想的时候是没有明显给出的，而它却正是可以吸引格洛腾迪克的地方（《收获与播种》，840页）。通过对韦依猜想做“凯莱”类比的想法，塞尔也促使了格洛腾迪克的所谓“标准猜想”的提出，此猜想更加一般化，而韦依猜想只是其中一个推论（《收获与播种》，第210页）。

　　在堪萨斯呆了一年后，格洛腾迪克在1956年回到法国的时候，在CNRS谋得了一个位置，大部分时间里他呆在巴黎。他和塞尔继续通信，并且经常通电话讨论问题。就在此时格洛腾迪克开始更深入地研究拓扑和代数几何。他脑子里“充溢着想法，”阿曼德－波莱尔回忆说，“我很确定某些一流的工作必将出自于他。不过最后（从他那里）出来的比我想象的甚至还要高出很多。这就是他的Riemann－Roch定理，一个相当美妙的定理。它真是数学上的一个杰作。”

　　经典形式的Riemann－Roch定理在19世纪中叶得到证明。它讨论的问题是：在一个紧致黎曼曲面上，由那些极点在给定的有限多个点上，且具有最多给定次数的阶的亚纯函数构成的空间的维数是多少？问题的答案就是Riemann－Roch公式，它将维数用曲面的不变量来表达——从而提供了曲面的解析性质和拓扑性质的丰富联系。弗里德里希－赫兹布鲁克(Friedrich Hirzebruch)在1953年做出了一个巨大的进展，其时他将Riemann－Roch定理推广到不仅适用于紧致曲面，而且适用于复数域上的射影非奇异簇的情况。整个数学界都在欢呼这项伟业，它可能是这个问题的盖棺之语了。

　　“此时格洛腾迪克走了出来，说道：‘不，黎曼－洛赫定理不是一个关于簇的定理，而是一个关于簇间态射的定理’，”普林斯顿大学的尼克莱斯－卡兹说，“这是一个根本性的新观点…整个定理的陈述完全改变了。”范畴论的基本哲学，也就是大家应该更加注意的是对象间的箭头（态射），而不是对象自身，才刚刚开始在数学上取得一点影响。“格洛腾迪克所做的事情就是将这种哲学应用到数学上很困难的一个论题上去，”波莱尔说，“这真的很符合范畴和函子的精神，不过人们从没有想过在如此困难的论题上使用它… 如果人们已经知道这个陈述，并且明白它在说什么，可能别的某个人可以证明这个陈述。不过单单这个陈述本身就已经领先别的任何人10年时间。”

　　这个定理，其后也被Gerard Washnitzer[Washnitzer]在1959年证明，不仅适用于复代数簇——基域特征零的情况——而且也适用于任何本征光滑代数簇而不必在乎基域是什么。赫兹布鲁克－黎曼－洛赫定理即作为特殊情况推出。1963年黎曼－洛赫定理一个影响深远的推广出现了，它就是Michael Atiyah和Isadore Singer证明的Atiyah－Singer指标定理。在证明的过程中，格洛腾迪克引入了现在叫作格洛腾迪克群的概念，这些群本质上提供了一类新型拓扑不变量。格洛腾迪克自己将它们叫做K－群，他们提供了由Atiyah和Hirzebruch所发展的拓扑K理论的起点。拓扑K理论接着又提供了代数K理论的源动力，这两个领域从此均是研究很活跃的领域。

　　Arbeitstagung，字面意思即是“工作会议”，是由赫兹布鲁克在波恩大学所发起的，其作为数学前沿研究的论坛已经有四十多年历史了。正是在1957年7月首次Arbeitstagung上格洛腾迪克讲述了他在黎曼－洛赫问题上的工作。不过令人好奇的是，这个结果从没有在他名字下发表；它出现在波莱尔和塞尔的一篇文章[BS]上（这个证明作为一个报告，后来也出现在SGA6中）。正当他在1957年秋访问IAS（高等研究院）的时候，塞尔收到格洛腾迪克的一封信，里面包含了格洛腾迪克证明的概要（[Corr]中日期为1957年11月1日的信）。他和波莱尔组织了一个讨论班来试着理解这个定理。因为格洛腾迪克正在忙很多别的事情，他建议他的同事们将讨论班记录下来发表。不过波莱尔推测可能有别的原因让格洛腾迪克对将证明写下来不感兴趣。“格洛腾迪克主要的哲学思想是数学应该被简化为一系列很小而又很自然的步骤，”波莱尔说，“只要你还不能这么做，就说明你还没有理解里面真正的含义…他的黎曼－洛赫证明使用了一个小窍门，une atuce。因此他不喜欢这个证明，所以也就不想发表它。正好他有别的很多事情要做，他对将这个窍门写下来没有兴趣。”

　　这并不是格洛腾迪克最后一次革命化一个学科研究问题的观点。“这样的事情是一次又一次不停地发生，他会去考虑有些别人已经花了很久时间、在某些情况下甚至是100年的时间研究过的问题… 最后他完全转变了人们当初认定的这个学科告诉我们的东西。”卡兹评论道。格洛腾迪克不仅会去解决很困难的问题，他还会去继续研究引起这些问题的问题。

酒哥

仿佛来自虚空（6）

　　新世界大门开启

　　（我最后终于）意识到这种“我们，伟大而高贵的精神”思维方式，在一种特别极端和恶意的形式下，从我母亲的孩提时代开始，就让她情绪易于激动，并支配着她和别人的关系，让她总是居高临下，带着常常是倨傲甚至于轻蔑的怜悯来看待别人。

　《收获与播种》，第30页

　　根据Honig的说法，格洛腾迪克的母亲在他呆在巴西的时候，至少有部分时间也在那里，尽管Honig说自己从没有见过她。我们不清楚她是否跟随儿子去了堪萨斯。当1956年格洛腾迪克回到法国的时候，他们可能就没有住在一起了。在1957年11月于巴黎写给塞尔的信中，格洛腾迪克询问塞尔他是否可以租下塞尔正要搬出的一间巴黎公寓。“我想给我母亲租住这个公寓，她在Bois-Colombes过得不怎么好，而且觉得特别孤独，”格洛腾迪克这样解释[Corr]。事实上，他母亲在这年底就去世了。

　　格洛腾迪克的朋友们和同事们都说当他谈及父母双亲的时候总是充满景仰，几乎到了吹捧的地步。在《收获与缝补》一书中，格洛腾迪克也表达了对他们的深厚的孺慕之情。多年里他在办公室里挂了张很醒目的他父亲的肖像，此画是Le Vernet集中营里的难友描绘的。据Pierre Cartier的描述，这幅肖像画描绘了一个剃着光头、双目“炯炯有神”的男人[Cartier1]；很多年里格洛腾迪克自己也剃光头。根据Ribenboin的话，汉卡－格洛腾迪克对她的杰出儿子感到非常骄傲，反过来他也有一种对母亲特别深厚的依赖。

　　她过世后，格洛腾迪克经历了一段时间来寻找自我，期间他停止了所有的数学活动，还想过去成为一位作家。数月后，他决定重返数学，去完成和一些他已经开始发展的想法相关联的工作。这一年是1958年，根据格洛腾迪克的话，这一年“可能是我数学生涯最多产的一年。”（《收获与播种》，第24页）这个时候他开始和一位叫Mireille的妇女同居，他将在数年后与她结婚，并育有三个孩子：乔安娜, 马修和亚历山大。Mireille和格洛腾迪克的母亲曾经过往甚密，并且据熟悉他俩的人说，她比他大了不少。

　　得克萨斯大学奥斯汀分校的约翰－特德（John Tate）和他当时的妻子凯伦－特德(Karen Tate)1957－1958学年在巴黎度过，在那儿他们首次见到格洛腾迪克。格洛腾迪克根本就没有表现过那种他归因于母亲的倨傲。“他很友好，同时相当天真和孩子气，”John Tate回忆道，“很多数学家都相当孩子气，有时不通世务，不过格洛腾迪克犹有甚之。他看上去就那么无辜——不工于心计，不伪装自己，也不惺惺作态。他想问题的时候相当清晰，解释问题的时候非常有耐心，没有自觉比别人高明的意思。他没有被任何文明、权力或者高人一等的作风所污染。”Karin Tate回忆说格洛腾迪克乐于享受快乐，他很有魅力，并喜欢开怀大笑。但他也可以变得很极端，用非黑即白的眼光来看待问题，容不得半点灰色地带。另外他很诚实:“你和他在一起的时候总知道他要说的是什么，”她说，“他不假装任何事情。他总是很直接。”她和她的弟弟，麻省理工学院的迈克尔－阿廷（Michael Artin）都觉察到格洛腾迪克的个性和他们的父亲埃米尔－阿廷（Emil Artin）很相似。

　　格洛腾迪克有着“令人难以置信的理想主义想法”，Karin Tate回忆说。比如说，他不允许在他屋子里有地毯，因为他坚信地毯只是装饰用的奢侈品罢了。她还记得他穿着轮胎做的凉鞋。“他认为这妙极了，”她说，“这些都是他所尊敬的事务的象征——人需要量体裁衣，量力而行。”在他的理想主义原则下，有时候他可能变得特别不合世宜。在格洛腾迪克和Mireille1958年首次访问哈佛之前，他给了Mireille一本他喜欢的小说让她来提高她相当贫乏的英语水平。这本小说就是Moby Dick。

　　新几何的诞生

　　按照三十年后的后见之明，现在我可以说就是在1958年，伴随着两件主要工具，概型（scheme，它代表旧概念“代数簇”的一个变形）和拓扑斯（toposes，它代表空间概念的变体，尽管更加复杂）的苏醒，新几何的观点真正诞生了。

《收获与播种》，第23页

　　1958年8月，格洛腾迪克在爱丁堡举行的国际数学家大会上作了一个大会报告[Edin]。这个报告用一种非凡的先见之明，简要描述了许多他将在未来12年里工作的主题。很清楚这个时候他的目标就是要证明Andre Weil的著名猜想，其揭示了代数簇构成的离散世界和拓扑形成的连续世界的丰富联系。

　　在这个时候，代数几何的发展非常迅猛，很多未知问题并不需要很多背景知识。起初的时候这个学科主要是研究复数域上的簇。在20世纪初叶，这个领域是意大利数学家，诸如Guido Casternuovo，Federigo Enriques和Francesco Severi等的专长。尽管他们发展了很多的独创思想，但他们的结果不都是通过严格证明得来的。在1930和1940年代，其他一些数学家，包括范德瓦尔登、安德烈－韦依和奥斯卡－察里斯基，打算研究任意数域上的簇，特别是特征p域上的簇，其在数论上很重要。但是，由于意大利代数几何学派严谨性的匮乏，有必要在此领域建筑新的基础。这就是韦依在他1946年出版的《代数几何基础》中所做的事情(Foundations of Algebraic Geometry, [Weil1])。

　　韦依的猜想出现在他1949年的文章[Weil2]中。由数论中某些问题的启发，韦依研究了一类其一些特殊情况是由Emil Artin引进的zeta函数；它被叫做zeta函数则是因为它是通过和黎曼zeta函数作类比定义得来的。给定定义于特征p的有限域上的一个代数簇V，则可以计算V上在此域上有理点的个数，以及在其每个有限扩域上有理点的个数。将这些数放入一个生产函数中，就得到V的zeta函数。韦依证明了在曲线和Abel簇两种情况下，zeta函数满足三条性质：它是一个有理函数；它满足函数方程；它的零点和极点有某种特定的形式。这种（特定的）形式，经过换元后，恰好和黎曼假设相对应。韦依更进一步观察到，如果V是由某个特征零簇W模p得到的，那么当V的zeta函数表示为有理函数时，W的Betti数就可以从V的zeta函数上读出。韦依猜想就是问，如果在射影非奇异代数簇上定义这样的zeta函数，是否同样的性质还是正确的。特别地，象Betti数这样的拓扑量是否会在zeta函数里面出现？这种猜想中的代数几何和拓扑的联系，暗示当时的一些新工具，比如说为研究拓扑空间而发展出来的上同调理论，可能适用于代数簇。由于和经典黎曼假设的类似，韦依猜想的第三条有时也叫作“同余黎曼假设”；这个猜想后来被证实是三个中最难证明的。

　　“韦依猜想一经问世，很显然它们会由于某种原因而将扮演一个中心角色，”Katz说道,“这不仅因为它们就是作为‘黑盒子’式的论断也是令人惊异的，而且因为看上去很清楚要解决它们将需要发展很多不可思议的新工具，这些工具它们自身将由于某种原因具有不可思议的价值——这些后来都被证明是完全正确的。”高等研究院的皮埃尔－德林（Pierre Deligne）说（韦依猜想）吸引格洛腾迪克的地方正是代数几何和拓扑的猜测联系。

　　他喜欢这种“将韦依的这个梦想变成强大的机器”的想法，Deligne评论道。

　　格洛腾迪克不是由于韦依猜想很有名、或者由于别人认为它们很难而对韦依猜想感兴趣的。事实上，他并不是靠对困难问题的挑战来推动自己。他感兴趣的问题，是那些看上去会指向更大而又隐藏着的结构。“他目标在于发现和创造问题的自然栖息之家，”Deligne注意到，“这个部分是他感兴趣的，尤甚于解决问题。”这种方式和同时代另外一位伟大数学家约翰－纳什（John Nash）的方式形成鲜明对照。在他的数学黄金时代，Nash喜欢找那些被他同事们认为是最重要、最有挑战性的问题来做。“Nash象一个奥运会的运动员，”密歇根大学的Hyman Bass评论道。“他对众多的个人挑战感兴趣。”如果Nash不算是一个善于解决问题的理想范例，格洛腾迪克绝对算是建构理论的完美范例。Bass说，格洛腾迪克“有一种关于数学可能是什么的高屋建瓴般的观点。”

　　1958年秋，格洛腾迪克开始了他到哈佛大学数学系的多次访问的第一次。Tate其时正是那里的教授，而系主任是奥斯卡－察里斯基。那时候格洛腾迪克已经用新发展的上同调的方法，重新证明了连通性定理，Zariski最重要的成果之一，于1940年代首次被其证明。根据当时是Zariski学生，现在布朗大学的大卫－曼福德（David Mumford）的话，Zariski自己从没有学会这些新方法，但是他明白它们的能力，希望他的学生们受到新方法的熏陶，因此他邀请格洛腾迪克来访问哈佛。

　　Mumford注意到察里斯基和格洛腾迪克他们相处得很好，尽管作为数学家他们是完全不同的。据说察里斯基如果被一个问题难住的时候，就会跑到黑板前，画一条自相交曲线，这样可以帮助他将各种想法条理化。“谣传他会将这画在黑板的一个角落里，然后他会擦掉它，继续做代数运算。”Mumford解释说，“他必须通过创造一个几何图像、重新建构从几何到代数的联系来使自己思维清晰。”根据曼福德的话，这种事格洛腾迪克是绝对不会做的；他似乎从不从例子开始研究，除那些特别简单、几乎是平凡的例子外。除去交换图表外，他也几乎不画图。

　　当格洛腾迪克首次应邀到哈佛的时候，他和察里斯基在访问前通过几次信，曼福德回忆道。这时离众议院非美活动委员会的时代不久，得到签证的一个要求是访问者宣誓自己不会从事推翻美国政府的活动。格洛腾迪克告诉察里斯基他拒绝做这样的宣誓。当被告知他可能会因此进监狱时，格洛腾迪克说进监狱可以接受，只要学生们可以来探访他而且他有足够多的书可用。

　　在格洛腾迪克哈佛的讲座上，曼福德发现到抽象化的跃进相当惊险。有一次他询问格洛腾迪克某个引理如何证明，结果得到一个高度抽象的论证作为回复。曼福德开始时不相信如此抽象的论证能够证明如此具体的引理。“于是我走开了，将它想了好几天，结果我意识到它是完全正确的。”曼福德回忆道,“他比我见到的任何人都更具有这种能力，去完成一个绝对令人吃惊的飞跃到某个在度上更抽象的东西上去…他一直都在寻找某种方法来叙述一个问题，看上去很明显地将所有的东西都从问题里抛开，这样你会认为里面什么都没有了。然而还有些东西留了下来，而他能够在这看上去的真空里发现真正的结构。”


仿佛来自虚空（7）

　　英雄岁月

　　在IHES（高等科学研究所）的英雄岁月里，Dieudonne和我是所里仅有的成员，也是仅有的可以给它带来信誉和科学世界听众的人… 我觉得自己和Dieudonne一起，有点象是我任职的这个研究所的“科学”共同创始人，而且我期望在那里结束我的岁月！我最终强烈地认同IHES…

《收获与播种》，第169页

　　1958年6月，在巴黎索邦举行的发起人会议上，高等科学研究所（Institut des Hautes Scientifiques, IHES）正式成立。IHES的创始人Leon Motchane，一位具有物理博士学位的商人，设想在法国成立一个和普林斯顿的高等研究院类似的独立的研究型学院。IHES的最初计划是集中做三个领域的基础研究：数学，理论物理和人类科学方法论。尽管第三个领域从来没有在那立足过，在10年时间里，IHES已经建设成为世界上最顶尖的数学和理论物理中心之一，拥有一群为数不多但素质一流的成员和一个很活跃的访问学者计划。根据科学史家David Aubin的博士论文[Aubin]，就是在1958年爱丁堡数学家大会或者可能更前的时候，Motchane说服Dieudonne和格洛腾迪克接受新设立的IHES的教授职位。Cartier在[Cartier2]中说Motchane起初希望聘用Dieudonne，而Dieudonne则将格洛腾迪克的聘请作为他接受聘请的一个条件。因为IHES从一开始就是独立于国家的，聘请格洛腾迪克不是一个问题，尽管他是无国籍人。两位教授在1959年3月正式上任，格洛腾迪克在同年5月开始他的代数几何讨论班。Rene Thom，1958年大会菲尔兹奖章获得者，在1963年10月加入，而IHES的理论物理部随着1962年Louis Michel和1964年David Ruelle的任命开始进行活动。就这样到1960年代中期，Motchane就已经为他的新研究所招募了一群杰出的研究人员。

　　到1962年的时候，IHES还没有永久的活动场所。办公场所是从Thiers基金会租用的，讨论班也在那里或巴黎的大学里举行。Aubin报道说一位叫Arthur Wightman的IHES早期访问学者就被希望在他的旅馆房间里工作。据说，当一位访问学者告之图书馆资料不足的时候，格洛腾迪克回答说：“我们不读书的，我们是写书的！”的确在最初几年里，研究所的很多活动是围绕“Publications Mathematiques de l’IHES”进行的，它的起初几卷包括奠基性著作Elements de Geometrie Algebrique，其以起首字面缩写EGA而闻名于世。事实上EGA的撰写在Dieudonne和格洛腾迪克正式于IHES上任前半年就已经开始了；[Corr]里提及最初写作的日期是1958年的秋天。

　　EGA的著述者通常认为是格洛腾迪克，“与Jean Dieudonne的合作”。格洛腾迪克将笔记和草稿写好，这些然后由Dieudonne充实和完善。根据Armand Borel的解释，格洛腾迪克是把握EGA全局的人，而Dieudonne只是对此有逐行的理解。“Dieudonne将它写得相当繁琐，”Borel评论说。同时，“Dieudonne当然又有令人难以置信的高效。没有别的人可以将它写好而不严重影响自己的工作。”对于当时那些想进入这个领域的人来说，从EGA中学习是一件令人望而生畏的挑战。目前它很少作为这个领域的入门书，因为有其他许多更容易入门的教材可供选择。不过那些教材并没有做EGA打算做的事，也就是完全而系统地解释清楚研究概型所需要的一些工具。现在在波恩的马克斯－普朗克数学研究所的Gerd Faltings，当他在普林斯顿大学的时候，就鼓励自己的博士研究生去学EGA。对很多数学家而言，EGA仍然是一本有用而全面的参考书。IHES的现任所长Jean－Pierre Bourguignon说每年研究所仍然要卖掉超过100本的EGA。

　　格洛腾迪克计划中EGA要包括的东西十分多。在1959年8月给塞尔的信中，他给了个简要的大纲，其中包括基本群，范畴论，留数，对偶，相交数，Weil上同调，加上“如果上帝愿意，一点同伦论”。“除非有不可预知的困难或者我掉入泥沼里去了，这个multiplodocus应该在三年内或最多四年内完成，”格洛腾迪克很乐观地说，此处他应用了他和塞尔的玩笑用语multiplodocus，其意是指一篇很长的文章。“我们接下去就可以开始做代数几何了！”格洛腾迪克欢呼道。后来的情况表明，EGA在经过近乎指数式增长后失去了动力：第一章和第二章每章一卷，第三章两卷，而最后一章第四章则达到了四卷。它们一共有1800多页。尽管EGA没有达到格洛腾迪克计划的要求，它仍然是一项里程碑式的著作。

　　EGA这个标题仿效Nicolas Bourbaki的《数学原理》系列的标题不是偶然的，正如后者仿效欧几里得的《几何原本》也不偶然一样。格洛腾迪克从1950年代后期开始，数年内曾经是布尔巴基学派的成员，而且他和学派内很多成员关系密切。布尔巴基是一群数学家的笔名，其大多数是法国人，他们在一起合作撰写数学方面一系列基础性的著作。Dieudonne和Henri Cartan, Claude Chevalley, Jean Delsarte, Andre Weil一起，是布尔巴基学派的创始成员。一般情况下学派有10名成员，其组成随着岁月而演化。布尔巴基最早的书出版于1939年，而它的影响在1950年代和1960年代达到了顶峰。这些书籍的目的是对数学的中心领域提供公理化的处理，使其一般性程度足以对最大数目的数学家有用处。这些著作都是经过成员间激烈甚至火爆的辩论的严格考验才诞生的，而这些成员中的许多都有很强的人格和非常个性化的观点。曾是布尔巴基成员25年的波莱尔写道这个合作可能是“数学史上的独特事件”[Borel]。布尔巴基汇聚了当时许多的顶尖数学家的努力，他们无私的匿名奉献自己的大量时间和精力来撰写教材，使得这个领域的一大部分容易让大家理解。这些教材有很大的影响，到1970和1980年代，有人埋怨布尔巴基的影响太大了。还有人也批评这些书的形式过于抽象和一般化。

　　布尔巴基和格洛腾迪克的工作有一些相似之处，此表现在抽象化和一般化的程度上，也表现在其目的都是基本、细致而有系统。他们间的主要区别是布尔巴基包括了数学研究的一系列领域，而格洛腾迪克主要关注在代数几何上发展新的思想，以韦依猜想作为其主要的目标。格洛腾迪克的工作差不多集中在他自己的内在观点上，而布尔巴基则是铸造他的成员们的不同观点的结合的合作努力。波莱尔在[Borel]中描述了1957年3月布尔巴基的聚会，他称之为“顽固的函子大会”，因为格洛腾迪克提议一篇关于范畴论的Bourbaki草稿应该从一个更范畴论的观点来重写。布尔巴基没有采用这个想法，认为这将导致无穷无尽的基础建设的循环往复。格洛腾迪克“不能够真正和布尔巴基合作，因为他有他自己的庞大机器，而布尔巴基对他而言，还不够一般化，”塞尔回忆说。另外，塞尔评论道：“我认为他不是很喜欢布尔巴基这样的体系，在此我们可以真正详细讨论草稿并且批评它们…这不是他做数学的方式。他想自己单干。”格洛腾迪克在1960年离开布尔巴基，尽管他继续和其中很多成员关系密切。

　　有些故事传说格洛腾迪克离开布尔巴基是因为他和韦依的冲突，实际上他们在布尔巴基时间上仅仅有很短的重合：根据惯例，成员必须在50岁的时候退休，所以韦依在1956年离开了学派。然而，格洛腾迪克和韦依作为数学家很不一样倒的确是事实。根据Deligne的说法：“韦依不知为何觉得格洛腾迪克对意大利几何学家们的工作和对经典文献阐明的结果太无知了，而且韦依不喜欢这种建造巨大机器的工作方式…他们的风格相当不一样。

　　除去EGA以外，格洛腾迪克代数几何全集的另外一个主要部分是Seminaire de Geometrie Algebrique du Bois Marie，简称SGA，其中包括他的IHES讨论班的演讲的讲义。它们最初由IHES分发。SGA2由North Holland和Masson合作出版的，而其他几卷则是由Springer-Verlag出版。SGA1整理自1960－1961年讨论班，而这个系列最后的SGA7则来自1967－1969年的讨论班。与目的是为了奠基的EGA不一样，SGA描述的是出现在格洛腾迪克讨论班上的正在进行的研究。他也在巴黎布尔巴基讨论班上介绍了很多结果，它们被合集为FGA，即Fondements de la Geometrie Algebrique,其出版于1962年。EGA，SGA和FGA加起来大约有7500页。


仿佛来自虚空（8）

　　魔术扇子

　　如果说数学里有什么东西让我比对别的东西更着迷的话（毫无疑问，总有些让我着迷的），它既不是“数”也不是“大小”，而是型。在一千零一张通过其型来展示给我的面孔中，让我比其他更着迷的而且会继续让我着迷下去的，就是那隐藏在数学对象下的结构。

《收获与播种》，第27页

　　在《收获与播种》第一卷里，格洛腾迪克对他的工作作了一个解释性的概括，意在让非数学家能够理解（第25－48页）。在那儿他写道，从最根本上来讲，他的工作是寻找两个世界的统一：“算术世界，其中（所谓的）‘空间’没有连续性的概念，和连续物体的世界，其中的‘空间’在恰当的条件下，可以用分析学家的方法来理解”。韦依猜想如此让人渴望正是因为它们提供了此种统一的线索。胜于直接尝试解决韦依猜想，格洛腾迪克大大地推广了它们的整个内涵。这样做可以让他感知更大的结构，这些猜想所凭依于此结构，却只能给它提供惊鸿一瞥。在《收获与播种》这一节里，格洛腾迪克解释了他工作中一些主要思想，包括概型、层和拓扑斯。

　　基本上说，概型是代数簇概念的一个推广。给定一组素特征有限域，一个概型就可以产生一组代数簇，而每一个都有它自己与众不同的几何结构。“这些具有不同特征的不同代数簇构成的组可以想象为一个‘由代数簇组成的无限扇面的扇子’（每个特征构成一个扇面），”格洛腾迪克写道.“‘概型’就是这样的魔术扇子，就孺扇子连接很多不同的‘分支’一样，它连接着所有可能特征的‘化身’或‘转世’。”到概型的推广则可以让大家在一个统一方法下，研究一个代数簇所有的不同“化身”。在格洛腾迪克之前，“我认为大家都不真正相信能够这样做，”迈克－阿廷评论说，“这太激进了。没有人有勇气哪怕去想象这个方法可能行，甚至可能在完全一般的情况下都行。这个想法真的太出色了。”

　　从19世纪意大利数学家Enrico Betti的远见开始，同调和它的对偶上同调那时候已经发展成为研究拓扑空间的工具。基本上说，上同调理论提供一些不变量，这些不变量可以认为是衡量空间的这个或那个方面的‘准尺’。由韦依猜想隐含着的洞察力所激发的巨大期望就是拓扑空间的上同调方法可以适用于簇与概型。这个期望在很大程度上由格洛腾迪克及其合作者的工作实现了。“就象夜以继日一样将这些上同调技巧带到代数几何中”，曼福德注意到。“它完全颠覆了这个领域。这就象傅立叶分析之前和之后的分析学。你一旦知道傅立叶分析的技巧，突然间你看一个函数的时候就有了完全深厚的洞察力。这和上同调很类似。”

　　层的概念是由让－勒雷所构想而后由亨利－嘉当和让-皮埃尔－塞尔进一步发展的。在他的奠基性文章FAC（“Faisceaux algebriques coherents”,“代数凝聚层”，[FAC]）中，塞尔论证了如何将层应用到代数几何中去。格洛腾迪克在《收获与播种》中描述了这个概念如何改变了数学的全貌：当层的想法提出来后，就好象原来的五好标准上同调“准尺”突然间繁殖成为一组无穷多个新“准尺”，它们拥有各种各样的大小和形状，每一个都完美地适合它自己独特的衡量任务。更进一步说，一个空间所有层构成的范畴包含了如此多的信息，本质上人们可以“忘记”这个空间本身。所有这些的信息都包括在层里面——格洛腾迪克称此为“沉默而可靠的向导”，引领他走向发现之路。

　　拓扑斯的概念，如格洛腾迪克所写，是“空间概念的变体”。层的概念提供了一种办法，将空间所依附的拓扑设置，转化为层范畴所依附的范畴设置。拓扑斯则可以描述为这样一个范畴，它尽管无需起因于普通空间，然而却具有所有层范畴的“好”的性质。拓扑斯的概念，格洛腾迪克写道，突出了这样的事实：“对于一个拓扑空间而言真正重要的根本不是它的‘点’或者点构成的子集和它们的亲近关系等等，而是空间上的层和层构成的范畴”。

　　为了提出拓扑斯的概念，格洛腾迪克“很深入地思考了空间的概念”，Deligne评价道。“他为理解韦依猜想所创立的理论首先是创立拓扑斯的概念，将空间概念推广，然后定义适用于这个问题的拓扑斯，”他解释说。格洛腾迪克也证实了“你可以真正在其上面工作，我们关于普通空间的直觉在拓扑斯上仍然适用…这是一个很深刻的想法。”

　　在《收获与播种》中格洛腾迪克评论道，从技术观点而言，他在数学上的大多工作集中在发展所缺乏的上同调理论。平展上同调（Etale cohomology）就是这样一种理论，由格洛腾迪克、迈克－阿廷以及其他一些人所发展，其明确意图是应用于韦依猜想，而它确实是最终证明的主要因素之一。但是格洛腾迪克走得更远，发展了motive的概念，他将此描述为“终极上同调不变量”，所有其他的上同调理论都是它的实现或者化身。Motive的完整理论至今还没有发展起来，不过由它产生了大量好的数学。比如，在1970年代，高等研究院的Deligne和Robert Langlands猜想了motives和自守表示间的精确关系。这个猜想，现在是所谓Langlands纲领的一部分，首次以印刷形式出现在[Langlands]一文中。多伦多大学的James Arthur认为彻底证明这个猜想将是数十年后的事情。但他指出，Andrew Wiles的Fermat大定理的证明，本质上就是证明了这个猜想在椭圆曲线所产生的2维motives的特殊情况。另外一个例子是高等研究院的Vladimir Voevodsky在motivic上同调的工作，由此他获得2002年菲尔兹奖章。这个工作发展了格洛腾迪克关于motive的一些原始想法。

　　在此关于他数学工作的简短回顾中，格洛腾迪克写道，构成它的精华和力量的，不是大的定理，而是“想法，甚至梦想”（第51页）。

仿佛来自虚空（9）

　　格洛腾迪克学派

　　直到1970年第一次“苏醒”的时候，我和我的学生们的关系，就如我和自己工作的关系一样，是我感到满意和快乐－这些是我生活的和谐感知的切实而无可指责的基础之一－的一个源泉，至今仍有它的意义…

《收获与播种》，第63页

　　在1961年秋访问哈佛时，格洛腾迪克致信给塞尔：“哈佛的数学气氛真是棒极了，和巴黎相比是一股真正的清新空气，而巴黎的情况则是一年年里越来越糟糕。这里有一大群学生开始熟悉概型的语言，他们别无所求，只想做些有趣的问题，我们显然是不缺有趣的问题的”[Corr]。迈克－阿廷，其于1960年在察里斯基指导下完成论文，此时正是哈佛的Benjamin Pierce讲师。完成论文之后，阿廷马上开始学习新的概型语言，他也对平展上同调的概念感兴趣。当格洛腾迪克1961年来哈佛的时候，“我询问他平展上同调的定义，”阿廷笑着回忆说。这个定义当时还没有明确给出来。阿廷说道：“实际上整个秋天我们都在辩论这个定义。”

　　1962年搬到麻省理工学院后，阿廷开了个关于平展上同调的讨论班。接下去两年大部分时间他在IHES度过，和格洛腾迪克一起工作。平展上同调的定义完成后，仍然还有许多工作要做来驯服这个理论，让它变成一个可以真正使用的工具。“这个定义看上去很美，不过它不保证什么东西是有限的，也不保证可计算，甚至不保证任何东西，”曼福德评论道。这些就是阿廷和格洛腾迪克要投入的工作；其中一个结果就是阿廷可表定理。与让-路易－沃迪耶尔（Jean－Louis Verdier）一起，他们主持了1963－1964年的讨论班，其主题即平展上同调。这个讨论班写成为SGA4的三卷书，一共差不多1600页。

　　可能有人不同意格洛腾迪克对1960年代早期巴黎数学氛围“糟糕”的评价，但毫无疑问，当他在1961年回到IHES，重新开始他的讨论班时，巴黎的数学氛围得到了相当大的加强。那里的气氛“相当棒”，阿廷回忆说。这个讨论班参加者人数众多，包括巴黎数学界的头面人物以及世界各地来访的数学家。一群出色而好学的学生围绕在格洛腾迪克周围，在他的指导下写论文（由于IHES不授予学位，名义上说他们是巴黎市内外一些大学的学生）。

　　1962年，IHES搬到它的永久之家，位于巴黎郊区Bures-sur-Yvette一个叫Bois-Marie，宁静而树木丛生的公园里。那个举行讨论班的舞台式建筑，及其大绘图窗户和所赋予的开放而通透的感觉，给这里提供了一种不凡而生动的背景。格洛腾迪克是所有活动的激情四射的中心。“这些讨论班是非常交互式的，”Hyman Bass回忆说，他于1960年代访问过IHES，“不过不管格洛腾迪克是不是发言人，他都占着统治地位。”他特别严格而且可能对人比较苛求。“他不是不善心，但他也不溺爱学生。”Bass说道。格洛腾迪克发展了一套与学生工作的固定模式。一个典型例子是巴黎南大学的Luc Illusie（老耶律），他于1964年成为格洛腾迪克的学生。老耶律曾参加了巴黎的亨利－嘉当和洛朗－施瓦兹讨论班，正是嘉当建议老耶律或许可以跟随格洛腾迪克做论文。老耶律其时还只学习过拓扑，很害怕去见这位代数几何之“神”。后来表明，见面的时候格洛腾迪克相当友善，他让老耶律解释自己已经做过的事情。老耶律说了一小段时间后，格洛腾迪克走到黑板前，开始讨论起层、有限性条件、伪凝聚层和其他类似的东西。“黑板上的数学就象海一样，象那奔流的溪流一样，”老耶律回忆道。最后，格洛腾迪克说下一年他打算将讨论班主题定为L-函数和l-adic上同调，老耶律可以帮助记录笔记。当老耶律抗议说他根本不懂代数几何时，格洛腾迪克说没关系：“你很快会学会的。”

　　老耶律的确学会了。“他讲课非常清楚，而且他花大力气去回顾那些必需的知识，包括所有的预备知识，”老耶律评价道。格洛腾迪克是位优秀的老师，非常有耐心而且擅于清楚解释问题。“他会花时间去解释非常简单的例子，来证明这个机器的确可以运行，”老耶律说。格洛腾迪克会讨论一些形式化的性质，那些常常被人归结到“平凡情况”因而太明显而不需要讨论的性质。通常“你不会去详述它，你不会在它上面花时间，”老耶律说，但这些东西对于教学非常有用。“有时有点冗长，但是它对理解问题很有帮助。”格洛腾迪克给老耶律的任务是记录讨论班一些报告的笔记——准确说，是SGA5的报告I,II和III。笔记完成后，“当我将它们交给他时全身都在发抖，”老耶律回忆道。几个星期后格洛腾迪克告诉老耶律到他家去讨论笔记；他常常与同事和学生在家工作。格洛腾迪克将笔记拿出来放在桌子上后，老耶律看到笔记上涂满了铅笔写的评语。两个人会坐在那里好几个小时来让格洛腾迪克解释每一句评语。“他可能评论一个逗号、一个句号的用法，可能评论一个声调的用法，也可能深刻评论关于一个命题的实质并提出另一种组织方法——各种各样的评论都有，”老耶律说道，“但是他的评语都说到点子上。”这样逐行对笔记做评论是格洛腾迪克指导学生很典型的方法。老耶律回忆起有几个学生因为不能忍受这样近距离的批评，最终在别人指导下写了论文。有个学生一次见过格洛腾迪克后差点流眼泪了。老耶律说：“我记得有些人很不喜欢这样的方式。你必须照这样做…但这些批评不是吹毛求疵。”

　　Nicholas Katz在他以博士后身份于1968年访问IHES时也被给了个任务。格洛腾迪克建议Katz可以在讨论班上做个关于Lefschetz pencils的报告。“我曾听说过Lefschetz pencils，但除去听说过它们之外我对它们几乎一无所知，”Katz回忆说。“但到年底的时候我已经在讨论班上做过几次报告了，现在这些作为SGA7的一部分留传了下来。我从这里学到了相当多的东西，这对我的未来起了很多影响。”Katz说格洛腾迪克一周内可能会去IHES一次去和访问学者谈话。“绝对令人惊讶的是他不知怎么可以让他们对某些事情感兴趣，给他们一些事情做，”Katz解释说，“而且，在我看来，他有那种令人惊讶的洞察力知道对某个人而言什么问题是个好问题，可以让他去考虑。在数学上，他有种很难言传的非凡魅力，以至于大家觉得几乎是一项荣幸被请求在格洛腾迪克对未来的远见卓识架构里做些事情。

　　哈佛大学的Barry Mazur至今仍然记得在1960年代早期在IHES和格洛腾迪克最初一次谈话中，格洛腾迪克给他提出的问题，那个问题起初是Gerard Washnitzer问格洛腾迪克的。

　　问题是这样的：定义在一个域上的代数簇能否由此域到复数域的两个不同嵌入而得到不同的拓扑微分流形？塞尔早前曾给了些例子说明两个拓扑流形可能不一样，受这个问题的激发，Mazur后来和阿廷在同伦论上做了些工作。但在格洛腾迪克说起这个问题的时候，Mazur还是个全心全意的微分拓扑学家，而这样的问题本来他是不会碰到的。“对于格洛腾迪克，这是个很自然的问题，”Mazur说道，“但对我而言，这恰好是让我开始从代数方面思考的动力。”格洛腾迪克有种真正的天赋来“给人们搭配未解决问题。他会估量你的能力而提出一个问题给你，而它正是将为你照亮世界的东西。这是种相当奇妙而罕见的感知模式。”

　　在和IHES的同事及学生工作外，格洛腾迪克和巴黎外一大群数学家保持着通信联系，其中有些正在别的地方在部分他的纲领上进行工作。例如，加州大学伯克莱分校的Robin Hartshorne1961年的时候正在哈佛上学，从格洛腾迪克在那所做的讲座里，他得到关于论文主题的想法，即研究希尔伯特概型。论文完成后Hartshorne给已经回到巴黎的格洛腾迪克寄了一份。在日期署为1962年9月27日的回信中，格洛腾迪克对论文做了些简短的正面评价。“接下去3到4页全是他对我可能可以发展的更深定理的想法和其他些关于这个学科大家应该知道的东西，”Hartshorne说。他注意到信中建议的有些事情是“不可完成的困难”，而其他一些则显示了非凡的远见。倾泄这些想法后，格洛腾迪克又回来谈及论文，给了3页详细的评语。

　　在他1958年爱丁堡数学家大会的报告中，格洛腾迪克已经概述了他关于对偶理论的想法，但由于他在IHES讨论班中正忙着别的一些主题，没有时间来讨论它。于是Hartshorne提出自己在哈佛开一个关于对偶的讨论班并将笔记记录下来。1963年夏天，格洛腾迪克给了Hartshorne大约250页的教案（prenote），这将成为Hartshorne这年秋天开始的讨论班的基础。听众提出的问题帮助Hartshorne发展和提炼了对偶理论，他并开始将它系统记录下来。他会将每一章都寄给格洛腾迪克来接受批评，“它回来的时候整个都布满了红墨水，”Hartshorne回忆道，“于是我将他说的都改正了并即给他寄新的版本。它被寄回时上面的红墨水更多。”意识到这可能是个无穷尽的过程后，Hartshorne有天决定将手稿拿去出版；此书1966年出现在Springer的Lecture Notes系列里[Hartshorne]。

　　格洛腾迪克“有如此多的想法以至基本上他一个人让那时候世界上所有在代数几何上认真工作的人都很忙碌，”Hartshorne注意到。他是如何让这个事业一直运行下来的呢？“我认为这没有什么简单答案，”迈克－阿廷回答说。不过显然格洛腾迪克的充沛精力和知识宽度是一些原因。“他非常的精力充沛，而且他涵盖很多领域，”阿廷说。“他能够完全控制这个领域达12年之久真是太不寻常了，这可不是个懒人集中营。”

　　在他IHES的岁月里，格洛腾迪克对数学的奉献是完全的。他的非凡精力和工作能力，以及对自身观点的顽强坚持，产生了思维的巨浪，将很多人冲入它的奔涌激流中。他没有在自己所设的令人畏惧的计划面前退缩，反而勇往直前地投入进去，冲向大大小小的目标。“他的数学议程比起一个人能做的要多出很多，”Bass评价道。他将其中很多工作发包给他的学生们和合作者们来做，而自己也做了很大一部分的工作。给予他动力的，如他在《收获与播种》里所解释，就只是理解事情的渴望，而确实，那些知道他的人证明他不是由于什么形式的竞赛来推动自己的。“在那时，从没有过这样要在别人之前证明某个东西的想法，”塞尔解释道。而且在任何时候，“他不会和别的任何人竞赛，一个原因是他希望按他自己的方式来做事情，而几乎没有别的人愿意也这样做。完成它需要太多工作了。”

　　格洛腾迪克学派的统治地位有些有害的效果。甚至格洛腾迪克IHES的杰出同事，Rene Thom也感到有压力。在[Fields]中，Thom写道与其他同事的关系比较起来，他与格洛腾迪克的关系“不那么愉快”。“他的技术优势太有决定性了，”Thom写道。“他的讨论班吸引了整个巴黎数学界，而我则没有什么新的东西可供给大家。这促使我离开了严肃数学世界而去处理更一般的概念，比如组织形态的发生，这个学科让我更感兴趣，引导我走向一个很一般形式的‘哲学’生物学。”

　　在他1988年的教材《本科生代数几何》最后的历史性评论中，Miles Reid写道：“对格洛腾迪克的个人崇拜有些严重的副作用：许多曾经花了一生很大一部分时间去掌握韦依的代数几何基础的人觉得受到了拒绝和羞辱…整整一代学生（主要是法国人）被洗脑而愚蠢地认为如果一个问题不能放置于高效能的抽象框架里就不值得去研究。”如此“洗脑”可能是时代时尚无法避免的副产品，尽管格洛腾迪克自己从来不是为抽象化而追求抽象化的。

　　Reid也注意到，除去少数可以“跟上步伐并生存下来”的格洛腾迪克的学生，从他的思想里得益最多的是那些在一段距离外受影响的人，特别是美国，日本和俄国的数学家。Pierre Cartier在俄国数学家，如Vladimir Drinfeld，Maxim Kontsevich，Yuri Manin和Vladimir Voevodsky的工作中看到了格洛腾迪克思想的传承。Cartier说：“他们抓住了格洛腾迪克的真正精神，但他们能够将它和其他东西结合起来。”


仿佛来自虚空（10）

　　一种不同的思考方式对发现工作而言,特别的关注和激情四射的热情是一种本质的力量,就如同阳光的温暖对于埋藏在富饶土壤里的种子的蛰伏成长和它们在阳光下柔顺而不可思议的绽放所起的作用一样。

《收获与播种》，第49页

格洛腾迪克有他自己一套研究数学的方式。正如麻省理工学院的Michael Artin所言，在1950年代晚期和1960年代“数学世界需要适应他，适应他抽象化思维的力量”。现在格洛腾迪克的观点已经如此深入地被吸收到代数几何里面，以至于对现在开始这个领域研究的研究生而言它是再正常不过的了，他们中很多人没有意识到以前的情形是相当不一样的。普林斯顿大学的Nicholas Katz说在他作为一个年青数学家首次接触到格洛腾迪克思考问题的方式时，这种方式在他看来是与以前完全不同的全新的方式。如Katz所指出，这种观念的转换是如此的根本和卓有成效，而且一旦得到采用后是如此完全的自然以至于“很难想象在你这样考虑问题之前的时代是什么样子的”。

尽管格洛腾迪克从一个非常一般化的观点来研究问题，他并不是为了一般化而这样做的，而是因为他可以采用一般化观点而成果丰硕。“这种研究方式在那些天赋稍缺的人手里只会导致大多少人所谓的毫无意义的一般化，”Katz评价说，“而他不知何故却知道应该去思考哪样的一般问题。”格洛腾迪克一直是寻找最恰好的一般情形，它正好能够提供正确的杠杆作用来领悟问题。“一次接一次地，他看上去就有一个诀窍，（在研究问题时）去掉恰当多的东西，而留存下来的不是特殊情况，也不是真空，”得克萨斯大学奥斯汀分校的John Tate评论道，“它如同行云流水，不带累赘。它就是恰如其分的好。”

格洛腾迪克思考问题模式的一个很显著的特征是他好像几乎从不依赖例子。这个可以从所谓的“格洛腾迪克素数”的传说中看出。在一次数学讨论中，有人建议格洛腾迪克他们应该考虑一个特殊素数。“你是说一个具体的数？”格洛腾迪克问道。那人回答说是的，一个具体的素数。格洛腾迪克建议道：“行。就选57。”那格洛腾迪克一定知道57不是一个素数，对吧？完全错了，布朗大学的David Mumford说道。“他不从具体例子来思考问题。”与他对照的是印度数学家Ramanujan，他对很多数的性质非常熟悉，其中有些相当巨大。那种类型的思考方式代表了和格洛腾迪克的方式正相对应的数学世界。“他真的从没有在特例里下功夫，”Mumford观察到，“我只能从例子中来理解事情，然后逐渐让它们更抽象些。我不认为这样先看一个例子对格洛腾迪克有一丁点帮助。他真的是从绝对最大限度的抽象方式中思考问题来掌握局势的。这是很奇怪

　　，但他的脑袋是如此工作的。”巴塞尔大学的Norbert A’Campo有次问及格洛腾迪克关于柏拉图体的一些情况，格洛腾迪克建议他小心点。他说，柏拉图体是如此漂亮而特殊，人们不应该设想如此特别的美好东西在更一般情形下仍然会保持。

　　格洛腾迪克曾经这样说过，一个人从来就不应该试着去证明那些几乎不显然的东西。这句话意思不是说大家在选择研究的问题时不要有抱负。而是，“如果你看不出你正在工作的问题不是几乎显然的话，那么你还不到研究它的时候，”加州大学伯克莱分校的Arthur Ogus如此解释：“在这个方向再做些准备吧。而这就是他研究数学的方式，每样东西都应该如此自然，它看上去是完全直接的。”很多数学家会选择一个描述清晰的问题来敲打它，这种方式格洛腾迪克很不喜欢。在《收获与播种》一段广为人知的段落里，他将这种方式比喻成拿着锤子和凿子去敲核桃。他自己宁愿将核桃放在水里将壳泡软，或者将它放在阳光和雨下，等待核桃自然爆裂的恰当时机（第552－553页）。“因此格洛腾迪克所做的很多事情就象是事情的自然面貌一样，因为它看上去是自己长出来的，”Ogus注意到。

　　格洛腾迪克有着给新的数学概念选取印象深刻、唤起大家注意力的名字的才能；事实上他将给数学对象命名这种行为作为它们的发现之旅的一个有机组成部分，作为一种掌握它们的方式，甚至在它们还没有被完全理解之前（《收获与播种》，第24页）。一个这样的术语是etale（平展），在法语里面它原是用来表示缓潮时候的海，也就是说，此时既不涨潮，也不退潮。在缓潮的时候海面就象展开的床单一样，这就会让人唤起覆盖空间的概念。如格洛腾迪克在《收获与播种》中所解释的，他选用topos这个词，其在希腊文里的原意即“空间”，来暗示“拓扑直觉适用的‘卓越对象’”这样一个想法（第40－41页）。

　　和这个想法相配，topos就暗示了最根本，最原始的空间概念。“motif”（英文里的“motive”）这个概念意在唤起这个词的双重意思：一个反复出现的主题和造成行动的原因。格洛腾迪克对取名的关注意味着他厌恶那些看上去不合适的术语：在《收获与播种》中，他说自己在第一次听到perverse sheaf这个概念时感到有种“本能的退缩”。“真是一个糟糕的想法，去将这样一个名字给予一个数学对象！”他写道，“或者给予任何事务或者生物，除去在苛责一个人的时候——因为显而易见，对于宇宙里所有‘东西’来说，我们人类是唯一这个术语可以适用的”(第293页)。

　　尽管格洛腾迪克拥有伟大的技术能力，这一直都是第二位的；这只是他执行他的更大的观点的方式而已。众所周知，他证明了某些结果和发展了某些工具，但他最大的遗产是创立了数学的一个新的观点。从这方面来说，格洛腾迪克和Evariste Galois（伽罗瓦）相似。的确，在《收获与播种》很多处，格洛腾迪克写道他很强烈地认同Galois。他也提到年青时候读过一本由Leopold Infeld撰写的Galois的传记[Infeld]（第63页）。

　　最终来说，格洛腾迪克在数学上的成就的源泉是某种相当谦卑的东西：他对他所研究的数学对象的爱。