卡拉比猜想及其證明

馮曉華 高 策

(山西大學科學技術哲學研究中心，太原030006)

卡拉比猜想及其證明

馮曉華 高 策

(山西大學科學技術哲學研究中心，太原030006)

卡拉比猜想的證明，引出了許多重要結(jié)果，對于后來數(shù)學和物理的發(fā)展做出了基礎性貢獻。文章依據(jù)原始文獻，詳細考察了卡拉比提出猜想，丘成桐解決卡拉比猜想的工作;同時討論了卡拉比猜想與凱勒-愛因斯坦度量的密切關系以及丘成桐和奧賓在這兩個問題上的工作。

卡拉比 卡拉比猜想 丘成桐 奧賓 凱勒-愛因斯坦度量

數(shù)學猜想，盡管被稱為合情推理，但仍舊令人不可思議，尤其是提出者本人在猜想上持有極強主見這一現(xiàn)象。卡拉比猜想(Calabi Conjecture)就是其中之一，它是一個關于度量的猜測，度量是刻劃空間極其重要的一個特征，人類的生活正是在一個公認的歐氏度量基礎上才像現(xiàn)在這樣展開的?？ɡ炔孪朐?954年被卡拉比(E.Calabi，1923～)提出來后，幾乎全部知道它的數(shù)學家都認為它是錯誤的，一點意義都沒有;連它的最終解決者丘成桐(1949～)一開始也認為它是錯誤的，而且還給出了很多反例。丘成桐后來說：這個命題太漂亮了，漂亮到令人不可能相信它是對的。［1］就是在這樣的情況下，卡拉比始終堅持猜想的正確性。

應該說卡拉比猜想所遇到的丘成桐，與它的提出者具有同樣珍貴的執(zhí)著精神。在卡拉比告訴丘成桐反例推理中的一個錯誤假設之后，丘成桐在兩周之內(nèi)，夜以繼日地思考了幾十種方法想要彌補，最終還是意識到卡拉比猜想應該是正確的。由于當時不具備證明這個猜想的技術條件，丘成桐花了3年時間做了大量準備工作，在1976年終于完成了卡拉比猜想的完整證明。［2］從開始證明到最終證明卡拉比猜想，丘成桐花了6年時間，期間的酸甜苦辣，只有自己明了。在證明卡拉比猜想之后，丘成桐用晏小山在《臨江仙》中的一句宋詞表達了6年中的感受：落花人獨立，微雨燕雙飛。［1］

丘成桐和卡拉比還有一樣相似之處，就是兩人對微分幾何和微分方程都同等重視，這不是大部分微分幾何學家和微分方程家的作風;而這正是卡拉比猜想所具備的特點。

丘成桐對卡拉比猜想的證明，直接與間接地引出了很多結(jié)果，導致了許多著名難題的解決，對于后來微分幾何、微分方程以及代數(shù)幾何的發(fā)展都做出了基礎性貢獻。特別地，其中一個重要結(jié)果卡-丘流形的存在，在8年之后被應用到弦理論中，演繹了數(shù)學與物理學關系史上又一段奇緣。［3］《紐約時報》稱，丘成桐在證明卡拉比猜想之后，成為了數(shù)學和物理學界一顆耀眼的明星，各種獎項和榮譽滾滾而來。［4］同時卡拉比本人以及卡拉比猜想，在沉默20多年以后，因為丘成桐的工作，也終于閃爍出了他們本來的光芒。

1 卡拉比提出的一個猜想

卡拉比［5］是一位意大利籍美國數(shù)學家，在麻省理工讀大學期間，他曾獲普特南獎，這個獎是為美國和加拿大大學生所設立的數(shù)學競賽獎;1950年他在普林斯頓大學獲得了博士學位，他的導師是博赫納(S.Bochner，1899～1982)，一位著名的奧地利-匈牙利籍美國數(shù)學家，他的博士論文是《流形的等距復分析嵌入》。［6］在明尼蘇達大學期間，卡拉比獲得了教授職位;1964年，為了追隨在賓夕法尼亞大學已經(jīng)退休的偉大德國籍美國數(shù)學家拉德馬赫(H.Rademacher，1892～1969)，卡拉比也來到賓夕法尼亞大學數(shù)學系，1967年他獲任托馬斯·斯科特講座教授，1971～1973年任數(shù)學系系主任。［7］1991年因為在微分幾何中的工作，他獲得了美國數(shù)學會斯蒂爾獎，1994年卡拉比退休。

卡拉比主要研究方向是微分幾何、偏微分方程及其應用，尤其對凱勒幾何(K?hler Geometry或者 K?hlerian Geometry)有過很好的研究。［8］單從卡拉比猜想所蘊含的巨大思想就可以看出卡拉比的杰出，只是他的研究常常是那么難以理解，所以他的研究并不是廣為數(shù)學界所知。卡拉比猜想就是這樣的情況，在被丘成桐證明之前的20多年，很多著名幾何學家都對它聞所未聞［9］。相對于卡拉比猜想，卡拉比在1953年開創(chuàng)的凱勒流形之間全純和等距浸入(Holomorphic and Isometric Embeddings of K?hler Manifolds)研究［10］①本是卡拉比以博士論文為基礎而寫的。的境遇就更差。這同樣是一個杰出的研究，但是2倍于卡拉比猜想沉默的時間，仍然不被人們所知，也沒被引用過。［11］即使是面對面地講，卡拉比有時也很難讓聽眾理解自己。據(jù)說在20世紀50年代晚期麻省理工學院的一次論壇上，卡拉比做報告，坐在前排的聽眾之一是傳奇與神奇的數(shù)學家維納(N.Wiener，1894～1964)。當時維納已經(jīng)60多歲了，和他一貫的習慣一樣，一直打瞌睡到演講結(jié)束掌聲響起時才醒來。對于報告內(nèi)容，一些新生在報告開始5分鐘后就聽不懂了。報告結(jié)束后，有個數(shù)學家和卡拉比講了幾句話，氣氛就陷入了緊張的沉默中。最后還是卡拉比曾在麻省理工學院讀書時的老師，60多歲的著名荷蘭數(shù)學家斯特洛伊克(D.Struik，1894～2000;對于年老的斯特洛伊克，劉鈍有過一個珍貴的訪談［12］)打破了僵局，他舉起手對卡拉比說：能不能說些能聽懂的內(nèi)容。于是卡拉比不得不花了5分鐘時間用通俗語言再次講解了報告的要點，聽眾才有所滿意。［13］

因為這個原因，更應該感謝丘成桐，是他才使人們認識了卡拉比，才有機會去理解卡拉比猜想。這是一個與凱勒幾何有關的猜想，這個猜想之所以能夠被提出來，首先是源于卡拉比對凱勒幾何一直以來的濃厚興趣;其次是受他的好朋友陳省身(1911～2004)在凱勒幾何中工作的啟發(fā)。陳省身是凱勒幾何的創(chuàng)立者之一，他曾發(fā)現(xiàn)一種用曲率表示陳類(Chern Class)的方式，特別是陳類中最重要的第一陳類，可以完全被里奇曲率(Ricci Curvature)表示出來。這個發(fā)現(xiàn)引出的一個結(jié)果是，凱勒幾何中里奇曲率的行為受到了第一陳類的約束。針對這個結(jié)果，反過來的一個問題是，對于凱勒幾何中的里奇曲率，這是否是唯一的約束?就是對這個問題的討論，卡拉比才會有了他的猜想。①這是2011年9月3日丘成桐教授在通信中給出的解釋。

1.1 首次提出猜想

卡拉比首次提出他的猜想是在對所有典范類(或第一陳類)為零的緊凱勒流形(K?hler Manifold)進行分類的工作中。為了完成分類，卡拉比首先需要知道典范類為零緊凱勒流形的性質(zhì)，依據(jù)這些性質(zhì)才能進行分類。在獲取典范類為零緊凱勒流形性質(zhì)的時候，出現(xiàn)一個問題，就是舊有典范類的定義(即任何非零亞純n次微分約數(shù)的同調(diào)類)不能夠判斷是否可以總是在所有流形中找到這個寬類的一個非平凡亞純n次微分，所以不適合用于對緊復流形的推廣。而陳省身［14］已經(jīng)提出一個交錯的定義，可以允許這種推廣;所以卡拉比引入陳省身的定義，重新定義并引進了一些概念和一些性質(zhì)，從而改進了舊有典范類的定義。這樣，卡拉比就得到了緊凱勒流形的一些拓撲和調(diào)和的性質(zhì)。其中一個重要性質(zhì)，就是他的猜想，即：

Mn是一個緊復流形，在其上允許具有主形式ω和里奇形式Σ的無限可微凱勒度量，如果Σ'是(1，1)型的任意閉實值無限可微形式，且上同調(diào)于Σ，那么存在唯一的一個凱勒度量，它具有主形式ω'，上同調(diào)于ω，且里奇形式與Σ'相等。這個度量總是無限可微的;如果Σ'是解析的，它也是實解析的。

對于這個處于猜想狀態(tài)的性質(zhì)，卡拉比認為，雖然目前還無法被完全證明，但是出于一種綜合的、直覺上的原因，把這個真理以命題的形式寫出來是正當?shù)?，況且他對如何證明這個命題還能提出一些富于啟發(fā)性的建議。

卡拉比認為，要證明這個猜想需要分兩步：

第一步，證明猜想中所說的具有指定里奇形式凱勒度量的唯一性;

第二步，證明這個凱勒度量的存在性。

其中唯一性已經(jīng)有了嚴格證明;對于存在性，卡拉比雖然無法給出嚴格證明，但他有一套切實可行的詳細證明計劃。首先卡拉比已經(jīng)明確存在性的證明，依賴于一個積分微分方程解的存在性假定;接著要做的事可以分兩步操作：

(1)獲得這個積分微分方程。對此卡拉比證明了屬于相同主類不同度量的兩個主形式如果不同，那么它們相應的凱勒形式也是不同的。這是一個重要的結(jié)論，有了它就能夠給出實參數(shù)［0，1］上里奇形式的連續(xù)系統(tǒng)Σ(t)和相應的主形式ω(t)對于t的導數(shù)之間的關系這就是與凱勒度量存在性證明相關的積分可微方程。

(2)求解這個積分可微方程?？紤]函數(shù)?∑(t)/?t可微的充分條件，方程就會有解ω(t)，它的初始值由任意無限可微凱勒度量的主形式ω(0)給出。特別的，如果使初始值與命題中假定的凱勒度量對應，選擇?∑(t)/?t為兩個不同里奇形式的差Σ'-Σ，方程的解是ω(t);那么ω(0)=ω就給出了凱勒度量的主形式，它的里奇形式滿足Σ(t)=Σ +t(Σ'-Σ)，當t=1的時候，具有指定里奇形式Σ'的凱勒度量就是方程的解。

為了嚴格上述討論，首先需要考慮的是，由于t是變量，所以方程保持了它的橢圓性質(zhì)。因為這個原因，方程的解ω(t)就t而言是局部連續(xù)的;但是對于求解ω(t)的t的區(qū)間是否是無界的，卡拉比無法給出答案，而這正是證明他的猜想的一個基本缺口，這個缺口使得后面的分類工作建立在一個猜想基礎上：即緊凱勒流形允許凱勒度量，它具有任意指定的正可微體積元。

跳過這個缺口，卡拉比指出對于?∑/?t=Σ'-Σ(0)，要證明方程解ω(t)的存在性，可以通過求ω(t)的二階導數(shù)的值和求ω(t)以及ω(t)的一階導數(shù)的優(yōu)先估計，然后應用折線逼近的柯西-佩亞諾方法求解。最終，卡拉比無法嚴格求解這個方程，但是經(jīng)過上述對方程求解思路的討論，起碼使這個猜想看起來是可能的。

在所有這些性質(zhì)的基礎上，對典范類為零的緊凱勒流形進行分類就成為可能。首先，卡拉比討論了兩類典范類為零的緊凱勒流形：一類是由n維復環(huán)面給出的，另一類是由非奇異超曲面給出的。其中卡拉比給出了描述第一類凱勒流形性質(zhì)的一個定理，在證明這個定理的一開始，卡拉比就使用了他的猜想，將給定的凱勒度量替換成具有相同主類的另一個里奇張量等于零的新度量，這個新度量是唯一的且實解析的，之后的證明都是在這個新度量上展開的。證明完這個定理之后，卡拉比還給出一個定理，作為對第一個定理的一種新的解釋，以便更加有助于描述第一類特殊凱勒流形的結(jié)構。運用這些結(jié)果，卡拉比完成了對所有典范類為零的緊凱勒流形的分類。

1954年4月8～10日在普林斯頓大學范恩會堂(Fine Hall，數(shù)學系所在大樓)為慶祝數(shù)學家萊夫謝茨(S.Lefschetz，1884～1972)70歲生日而舉辦的代數(shù)、幾何和拓撲會議上，卡拉比以“典范類為零的凱勒流形”［15］為題匯報了上述工作，并于1957年被刊載在該會議論文集上。這個報告被看作是卡拉比在公開場合首次對猜想的表述。

盡管文章已經(jīng)發(fā)表出來了，但是由于卡拉比對緊凱勒流形的分類工作是建立在一個猜想之上，所以這個分類工作還不能算真正完成(從嚴格意義上說，只有在丘成桐完全證明卡拉比猜想之后，這個分類工作才算徹底完成)。正是因為這一點，這個原本只是關于緊凱勒流形一個性質(zhì)的猜想，很快成為令卡拉比無比重視的一個問題，于是在同一年國際數(shù)學家大會上，卡拉比專門討論了這個猜想，希望引起人們的注意，來實現(xiàn)對猜想的完整證明。

1.2 對猜想的專門討論

1954年9月2～9日在荷蘭阿姆斯特丹國際數(shù)學家大會上，卡拉比做了一個簡短的報告《凱勒度量空間》［16］，專門討論在《典范類為零的凱勒流形》報告中提出的猜想。兩次報告相距不到5個月，在這段時間中，卡拉比為猜想做了兩個工作：

首先，更加清晰地闡述猜想。

卡拉比發(fā)現(xiàn)如果事先給出一個有關凱勒度量空間的性質(zhì)，人們理解猜想就會容易得多，這個性質(zhì)就是：在緊復流形Mn上，假定至少可以允許存在一個具有里奇形式Σ的凱勒度量gαβ*，度量的主類是ω;那么對于Mn中所有具有上述主類的凱勒度量的空間Ω，存在一個事實：空間Ω中任意的凱勒度量的里奇形式Σ是一個閉實(1，1)型，并且它的上同調(diào)類等于2πC(1)。

對于這個事實，人們反過來自然會問的一個問題是：對于任意閉實(1，1)型，什么樣的才能成為Mn上凱勒度量的里奇形式，［17］卡拉比猜想就是在回答這個問題。雖然卡拉比沒有明確指出這一點，但他重新陳述猜想的內(nèi)容卻體現(xiàn)了這一點：

給定Mn中(1，1)型的任意實閉無窮次可微外形式Σ，且上同調(diào)于2πC(1)，那么在Ω中一定存在唯一的凱勒度量，它的里奇形式等于Σ。其次，進一步討論證明猜想的思路。

在從不同角度賦予猜想更加清晰的數(shù)學意義之后，卡拉比重新給出了證明猜想的思路，還是分兩步：第一步證明猜想中凱勒度量的存在性，主要是通過在各種型的相同線性空間中的可微參數(shù)化弧，其中要涉及Ω中具有Σ的度量的里奇形式，來構建Ω中一個相應的參數(shù)化路徑;第二步證明猜想中凱勒度量的唯一性，并且要它的終點獨立于路徑。

在這種證明思路的基礎上，卡拉比討論了一個特例。在給定Mn某些限制性質(zhì)的情況下，Ω中存在一個度量，它最小化成(Σ，Σ)，除了Mn的解析變換，這個度量是唯一的，而且通過這個性質(zhì)的刻畫，標量曲率是常量。其中，標量曲率是常量表明空間是愛因斯坦的，度量是愛因斯坦的［18］。

對于卡拉比來說，這些證明思路是多么清楚與流暢，可就是差些什么，使得整個證明過程無法連貫寫出來。這種只差一步的感覺是令人沮喪的。更加沮喪的是，幾乎沒有數(shù)學家相信這個猜想是對的。不過，卡拉比無需對此沮喪，因為貌似的一小步，實則蘊含了很多數(shù)學內(nèi)容，而這些數(shù)學內(nèi)容在當時還未被寫出來，丘成桐花了3年時間才將這些空缺的數(shù)學內(nèi)容填補上，沿著卡拉比提出的思路，實現(xiàn)了猜想的完整證明。

2 丘成桐對卡拉比猜想的證明

要討論丘成桐對卡拉比猜想的證明，是不能直入主題的，因為丘成桐本人就沒這樣做。只有重新回顧丘成桐所走的道路，才能真正理解這位數(shù)學家和這個猜想在6年間所建立的深厚情感，才能深刻理解丘成桐對卡拉比的崇敬之情。

2.1 證明猜想的曲折經(jīng)歷

陳省身比卡拉比年長12歲，兩人研究領域互有交叉，經(jīng)常一起參加一些討論班和會議［19］。作為陳省身的學生，丘成桐對卡拉比的研究工作自然比別人接觸要多。在伯克利的第一年(1969～1970)，丘成桐［20］就曾推廣和改進了卡拉比［21］關于緊致平坦黎曼流形的工作。在伯克利的第二年，丘成桐就開始考慮凱勒幾何中的卡拉比猜想了［22］，不過當時他的這個選擇，并沒有被看好。因為幾乎所有人甚至包括丘成桐的導師陳省身都認為這個猜想是錯誤的;不僅如此，陳省身還認為這個研究方向的意義不大。這些意見并沒有影響丘成桐求解卡拉比猜想的決心，他固執(zhí)地認為對卡拉比猜想總要找出一個水落石出的答案。能這樣做，是不容易的。其中有一個重要的學術原因，就是當時丘成桐極其鐘愛里奇曲率，他認為里奇曲率對于理解宏觀幾何是特別重要的。但是直到看到卡拉比在1954年關于里奇曲率猜想的文章時，他才第一次找到了研究里奇曲率的切入點。［23］既然如此，又如何能放棄呢。

早在20世紀60年代晚期，一些懷疑卡拉比猜想正確性的人曾使用齊杰(J.Cheeger，1943～)和格羅莫爾(D.Gromoll，1938～2008)［24］的還原理論來構造卡拉比猜想的反例，都沒有成功。丘成桐一開始也是沿襲了前人的這種研究方法與觀點，試圖證明卡拉比猜想是錯的，最終都以失敗告終。從伯克利畢業(yè)后，丘成桐到了拓撲學中心普林斯頓高等研究院任職(1971～1972)，在那里丘成桐仍舊對卡拉比猜想很有興趣［9］，曾對卡拉比猜想構造過一系列的反例，并在私下里解釋他的構造，或在會議上做一個非正式的演講，但是最后在他的構造里總能找出漏洞。［2］

1973年暑假，在微分幾何中心紐約州立大學石溪(Stony Brook)分校數(shù)學系作助理教授的丘成桐參加了美國數(shù)學會在斯坦福大學舉行的微分幾何大會，年輕的丘成桐當時在微分幾何領域已經(jīng)處于領先水平，他在會上作了3個學術報告。在這次大會上，物理學家杰拉奇(R.Geroch)向數(shù)學家們講演了廣義相對論，解說了正質(zhì)量猜測(即愛因斯坦猜想)，并牽扯出了與之相關的卡拉比猜想。［25］卡拉比猜想在這種場合的再次出現(xiàn)，激發(fā)了丘成桐解決它的強烈愿望。就在會議期間，他使用還原理論并采用反證法來考察卡拉比猜想。在假定猜想正確的情形下，他得到了一個分裂理論：每一個里奇曲率等于零的緊凱勒流形，能夠被圓環(huán)面和具有里奇平坦凱勒度量的單連通流形的度量積所覆蓋。［26］使用這個理論，他獲得了卡拉比猜想的一個反例，由此證明卡拉比猜想是錯誤的。他把得出的結(jié)果告訴了幾個朋友，朋友們要求他在大會上把他的工作講出來。于是丘成桐就在大會上當眾討論了他的想法并宣布了他的結(jié)果，沒有人表示反對。

但有一個人存疑，他就是一直堅信猜想正確的卡拉比本人。會后他花2個月時間仔細分析了丘成桐的論證，發(fā)現(xiàn)在推理中丘成桐錯誤的假定：具有大量非負反典范約數(shù)的流形允許點態(tài)非負的第一陳類。［26］卡拉比寫信將此告訴了丘成桐，丘成桐說這是他研究生涯中最痛苦的經(jīng)歷了，雖然當時只是在大會上宣布了他的想法和結(jié)果，并沒有將此成文發(fā)表，但是這也足以使名譽因為所犯的錯誤毀于一旦。他說那些日子輾轉(zhuǎn)反側(cè)，不能成眠，不斷反復考察每一步推理，不斷嘗試各種證明，想了很多辦法來彌補這個錯誤假定，但是每次都是眼看快要成功的時候，卻在最后一個很小的地方推不下去，這種狀況一直持續(xù)了2個星期。在經(jīng)歷幾十次證明的失敗后，丘成桐發(fā)現(xiàn)，在為卡拉比猜想尋找反例的過程中，首先是假設卡拉比猜想是對的，然后考慮其后果。而卡拉比的來信表明這個反證法是行不通的，他意識到問題反過來是對的。于是他向卡拉比寫信，承認反例是錯的，根本沒有辦法彌補，他要反過來證明猜想的正確性。不僅如此，丘成桐還撤銷了他在斯坦福大學會議上所做的有關猜想反例的報告，開始轉(zhuǎn)變思路著手證明猜想的正確性。［2］

很快，丘成桐就將卡拉比在“典范類為零的凱勒流形”中提到的與猜想密切相關的積分可微方程進一步明確成一個復蒙日-安培方程。蒙日-安培方程是一類很古老的二次非線性偏微分方程，它經(jīng)常出現(xiàn)在微分幾何里。巧合的是，這個方程中的蒙日(G.Monge，1746～1818)，也是18世紀少有的對幾何和分析予以同等重視的數(shù)學家。［27］

丘成桐要求解的這個復蒙日-安培方程是一個很難的非線性偏微分方程，他花了將近3年的時間，做了大量準備工作：和好友鄭紹遠(與丘成桐同為陳省身的學生)合作研究蒙日-安培方程、仿射幾何和極大曲面等相關問題;和舍恩(R.Schoen，丘成桐的第一個博士生)合作研究調(diào)和映照;和舍恩、西蒙(L.Simon，1945～;在斯坦福大學的澳大利亞數(shù)學家，曾和丘成桐共同指導舍恩)研究極小曲面。［2］通過這些準備工作，丘成桐發(fā)展了強有力的偏微分方程技巧，使用先驗估計方法，在1976年6月終于求解了這個非線性復蒙日-安培方程，從而給出了卡拉比猜想的完整證明。

盡管說一個問題的解決不會只限定在一個人身上，但對于卡拉比猜想的證明，是有丘成桐本人的特質(zhì)在里面的。丘成桐在伯克利剛學幾何學的時候，流行的是度量幾何，所有工具都是從三角比較定理來的;作為一名年輕的研究生，丘成桐通過大量的聽課與習題，感覺到微分幾何的工具很多是從微分方程方面來的，所以他覺得當時研究幾何的做法對幾何的刻畫不夠深刻。于是本來就樂此不疲聽各種課的丘成桐去跟近代偏微分方程的奠基者莫里(C.Morrey，1907～1984)學習了微分方程，巧的是莫里常常用微分方程來做一些微分幾何的問題，于是丘成桐也和幾個朋友以及學生做一系列用微分方程做工具的幾何研究。對于莫里的研究，當時的微分幾何學家并不是很清楚，因為在當時做幾何的人有一個共同的想法，他們認為微分方程跟微分幾何無關，而且認為微分方程不是主流，所以做微分幾何的一般不去注意微分方程。［28］如果說在伯克利，對微分方程的接觸使丘成桐萌生了研究微分幾何的某種想法，那么在斯坦福大學，這種在微分幾何上的新想法則有機會得到進一步發(fā)展。尤其在斯坦福大學期間證明卡拉比猜想之后，丘成桐開始響亮地提出對于研究微分幾何的新想法。1978年8月15～28日，在芬蘭首都赫爾辛基舉行的18屆國際數(shù)學家大會上，29歲的丘成桐作為重要受邀報告者作了題為“偏微分方程在幾何中的作用”［29］的報告。1982年3月31日～4月2日，在34屆英國數(shù)學研討會上，丘成桐作了題為“微分幾何中的非線性方程”的報告，這次研討會全體出席的大會報告只有3個，丘成桐的報告就屬于其中之一。［30］正是這個微分幾何學家對微分方程重要性的深刻認識，才使他能花3年工夫求解與卡拉比猜想有關的復蒙日-安培方程。

非線性復蒙日-安培方程的求解，直接表明卡拉比猜想的可證性。對于沉浸其中達6年之久的丘成桐，迫切想要與更多的人分享這個結(jié)果。在受美國斯隆基金資助的情況下，丘成桐將思路系統(tǒng)整理成兩頁，于1977年1月31日由陳省身將其遞交到世界著名的《美國科學院院刊》，1977年5月便被迅速刊載出來，題為“卡拉比猜想以及代數(shù)幾何中的一些新結(jié)果”［31］，其中丘成桐對卡拉比在猜想什么，卡拉比解決了什么問題，遺留了什么問題，作了簡潔清楚的解釋。有理由說丘成桐是對卡拉比猜想理解最深刻的人，他的解釋是理解卡拉比猜想最好的陳述。在此基礎上，丘成桐給出一個定理，首次宣稱對卡拉比猜想的證明。1977年6月，丘成桐在訪問紐約大學數(shù)學科學科朗研究院的時候終于完成了長達73頁的卡拉比猜想詳細完整的證明，1978年5月被刊載出來，題為“關于緊凱勒流形的里奇曲率和復蒙日-安培方程，Ⅰ”［32］，直接醒目地將證明卡拉比猜想的核心都體現(xiàn)在了一起，并且文中對卡拉比猜想有了更加深刻簡明地闡釋。

2.2證明猜想的數(shù)學過程

在討論丘成桐如何證明卡拉比猜想之前，還需要交代一下他對卡拉比猜想的理解。卡拉比猜想到底在說什么，找出卡拉比的兩篇論文讀一下，都未必清楚，這也是它一度被認為毫無意義的原因之一。對于這個猜想，丘成桐在1977年5月和1978年5月兩篇論文中，分別做過兩次不同表述，這表明就是到最后，丘成桐對卡拉比猜想的理解都在不斷升華。

在第二次表述中，丘成桐先將卡拉比在“凱勒度量空間”一開始給出的凱勒度量空間的性質(zhì)，描述成這樣一件事：(1，1)型能夠成為某個凱勒度量里奇形式的必要條件是它必須是閉的，并且它的上同調(diào)類必須表示M的第一陳類;在此基礎上，丘成桐提出卡拉比所猜想的就是：上述必要條件也是充分條件。

理解清楚卡拉比猜想之后，丘成桐依循卡拉比提出的證明思路，開始構造與卡拉比猜想等價的非線性偏微分方程。主要有兩步：

第一步：從上述必要條件出發(fā)構造方程。如果(1，1)型是閉的并且是M的第一陳類，那么它可以成為某個凱勒度量的里奇形式;再根據(jù)已知，能夠找到M上的一個光滑函數(shù)F，就會有一個方程(0.1)經(jīng)過兩次等價變換，最后方程(0.1)等價變換為方程(0.4)

這樣，丘成桐就找到了與卡拉比猜想等價的方程(0.4)。對于方程(0.4)，卡拉比已經(jīng)證明了它的解的唯一性;并且還證明了方程(0.4)等式右邊非常接近于一個常量時，方程(0.4)存在一個光滑解。遺留的問題是：在沒有任何限制條件下，證明方程(0.4)解的存在性。丘成桐全面討論了方程(0.4)，不僅解決了卡拉比遺留的問題;同時還推廣了卡拉比猜想，將方程(0.4)推廣到了更一般的情形復蒙日-安培方程(0.6)：

只是，這種推廣存在一個問題，就是與方程(0.4)相比，方程(0.6)相當難解。怎么辦呢?丘成桐發(fā)現(xiàn)當方程(0.6)的右邊特殊成形式exp{ φ+F(x)}時，方程(0.6)不僅比方程(0.4)容易求解，而且還能夠簡化成具有豐富典范線叢的緊凱勒流形上典范凱勒-愛因斯坦度量的存在性和唯一性問題。受此啟發(fā)，丘成桐從方程(0.6)的特殊情況開始，通過使用連續(xù)性方法，最后求解了方程(0.6)。

求解方程(0.4)和(0.6)的過程說起來簡單，做起來是相當復雜的，尤其是其中所使用的大量先驗估計，有的文字評價其為眼花繚亂與驚心動魄。

第一步，丘成桐為證明建立一套術語。

第二步，丘成桐就迅速開始了他高超的先驗估計技術。在C=1的情況下對方程(0.4)的解φ進行二階估計和三階估計。具體的數(shù)學過程是相當技術性的，丘成桐首先對方程連續(xù)作了兩次微分，并且引進正規(guī)化拉普拉斯算子的表示，得到一個新的方程。為了便于計算，他使用了一套新的坐標系，引進了13個常量，應用了一些性質(zhì)，進行了13次估計，使用了歸納假設，另外還在測地球上使用了很多假設討論φ解。進行了幾乎14頁的運算，丘成桐終于給出了方程φ解的二階估計。為了獲得方程φ解的三階估計，丘成桐考慮了卡拉比［33］在 1958 年曾研究過的函數(shù) S= Σ g'iˉrg'ˉjsg'kˉtφiˉjkφˉrsˉt的拉普拉斯算子，通過多次估值之后，得到了φ解的三階估計。

第三步，丘成桐開始目標方程的求解，證明卡拉比猜想。在上述φ解二階和三階估計的基礎上，丘成桐找到了一個φ解。根據(jù)這個結(jié)果，可以找到卡拉比猜想所等價方程(0.4)的一個光滑φ解，這樣卡拉比所猜想的凱勒度量的存在性就得到了證明。

第四步，丘成桐討論了方程(0.6)。這個方程無法直接求解，丘成桐采取了從特殊到一般的方法，先求解這個方程右邊退化成4種特殊情形的方程，這個過程還給出了許多好的數(shù)學結(jié)果。

第二種情形是方程(0.6)右邊退化為exp{ F(x，φ)}。丘成桐首先證明了這個方程解的唯一性，接著使用迭代法，通過大量技術性很強的估值、計算，使用了大量常量，最終求解了這個方程。這個方程的求解，同時引出了一個結(jié)果：在具有豐富典范線叢的凱勒流形上，存在唯一的凱勒-愛因斯坦度量。

完成上述4種特殊情形的求解工作之后，方程(0.6)就很好求解了，丘成桐最終求解了這個一般的復蒙日-安培方程。至此對于與卡拉比猜想等價的方程(0.4)以及其推廣后更一般的方程(0.6)，丘成桐都進行了全面的研究，不僅完美地完成了卡拉比猜想的首次完整證明，而且還首次推廣了卡拉比猜想。這篇論文可以說將丘成桐在數(shù)學上的才華展露無遺。

丘成桐解決卡拉比猜想之后，在論文還沒有正式發(fā)表出來之前，就立刻受到卡拉比邀請到賓夕法尼亞大學做報告，聽眾中有賓夕法尼亞大學的著名數(shù)學家卡茲丹(J.L.Kazdan)，他的主要研究領域也是微分幾何和偏微分方程。幾個月之后，卡茲丹［34］進一步簡化了丘成桐在二維情況下卡拉比猜想的證明(這個簡化與丘成桐的文章刊載在同一期上)。得知此事，法國朱西厄(Jussieu)數(shù)學中心的奧賓(T.Aubin，1942～2009)，邀請卡茲丹介紹了丘成桐在二維情況下對卡拉比猜想的證明以及卡茲丹本人的簡化。1977年年底，奧賓和博規(guī)農(nóng)(J.P.Bourguignon，1947～)在布爾巴基討論班正式介紹了丘成桐的工作，并且二人獨立地將丘成桐在二維情況下對卡拉比猜想的證明推廣到了高維。［32］

丘成桐在完成卡拉比猜想證明以后的心情，不是僅僅用激動、欣喜這些詞語能夠表達的。六年的時間，那是一種成長，那份心情也深深地鐫刻在了這個研究中一直給予他鼓勵的人中：卡拉比、陳省身、鄭紹遠、小林昭七(S.Kobayashi，1932～)、科恩(J.J.Kohn，1932～)、勞森(B.Lawson)、尼倫伯格(L.Nirenberg，1925～)和蕭蔭堂(1943～)。陳省身就丘成桐的論文專門組織了報告會，丘成桐認為這對論文在表述方面的改進有重要意義，無論怎樣表達陳省身的幫助與鼓勵都毫不夸張。丘成桐認為和鄭紹遠合作的文章對論文有非常明確的影響。丘成桐認為和尼倫伯格就復蒙日-安培方程進行過多次很有幫助的交談，特別是有關卡拉比計算的復類比。丘成桐將該研究獻給了他的母親梁若琳，并以此紀念他的父親丘鎮(zhèn)英。他說父親生前研究領域包括哲學、經(jīng)濟和中國文化，父親的深刻洞察力對他有很大的影響。父親早早去世了，母親挑起了貧窮的家庭重擔，撫養(yǎng)和教育了7個孩子。丘成桐說沒有父母長久以來的教育，他不可能成為一個數(shù)學家。［32］

3 卡拉比猜想與凱勒-愛因斯坦度量的密切關系

解決卡拉比猜想的榮譽毫無爭議的屬于丘成桐，但是在20世紀70年代還有一個比丘成桐大7歲的年輕人，他在卡拉比猜想上的工作需要提及，即法國數(shù)學家奧賓。奧賓生前就職于法國朱西厄數(shù)學中心，1990年當選法國科學院通訊院士，2003年成為法國科學院院士，主要研究方向是微分幾何和非線性偏微分方程，他被稱為法國幾何分析的一個重要先驅(qū)，他廣為人知的兩個研究是山邊問題［35］和卡拉比猜想。［36］

對于奧賓在卡拉比猜想上的工作，主要體現(xiàn)在3篇論文中：一篇是1970年的《黎曼度量和曲率》［37］，有42頁;一篇是1976年的《緊凱勒流形的復蒙日-安培方程》［38］，有 3 頁;還有一篇是與1976年論文同名的1978年的論文［39］，這個論文主要是對1976年論文的詳細論述，有33頁。

在1970年的論文中，奧賓在第一陳類為負，且假定凱勒流形具有非負全純雙截曲率情況下，求解了類似丘成桐的右邊為exp(F)的復蒙日-安培方程［31］;在1976年的論文中，奧賓充分論證了第一陳類為負的情況，并且在第一陳類為正的情況下，求解了類似丘成桐的右邊為exp(cφ+F)的復蒙日-安培方程［31］;從而給出了卡拉比猜想的一個部分證明。在1978年的論文中，奧賓對1976年論文進行了更加詳細的論述［36］，論文頁數(shù)由3頁變?yōu)?3頁。

阿布德塞拉姆(A.B.Abdesselem)［36］在紀念奧賓的文字中指出：奧賓最后幾乎完全證明了卡拉比猜想。在丘成桐之前，奧賓的這些工作確實是一個巨大的貢獻，但是數(shù)學界并未因此而震驚。丘成桐認為原因有兩個：一是奧賓是在假定凱勒流形具有非負全純雙截曲率的情況下，給出的卡拉比猜想的證明，這種具有非負全純雙截曲率的凱勒流形的類是相當有限制性的;二是在證明中，奧賓使用了變分法，這種方法不是很容易理解的。［32］就是奧賓(［40］，139頁)本人在后來的著作中也提到了這一點，他說連續(xù)性方法更簡單(這是丘成桐使用的方法);而且在討論卡拉比猜想時，他使用了連續(xù)性方法，而不是變分法。

后人常常將奧賓與卡拉比猜想聯(lián)系在一起討論;奧賓本人則更傾向于將他的這些工作與凱勒-愛因斯坦度量聯(lián)系起來，在他后來的文字中可以看到這一點。

從這個角度，奧賓的上述工作又可以闡述為：在1970年的論文中，奧賓首次研究了緊凱勒流形上凱勒-愛因斯坦度量存在性問題，并將其轉(zhuǎn)化成奧賓方程logM(φ)=-λφ+f的求解問題。在1976年的論文中，奧賓證明了第一陳類為負的緊凱勒流形上存在凱勒-愛因斯坦度量。［41］對于奧賓的工作，博規(guī)農(nóng)［42，43］做了很好的解釋。(［44］，251 頁)

凱勒-愛因斯坦度量是里奇形式與凱勒形式成比例的度量，也就是要求復流形上的度量不僅是凱勒度量，而且也是愛因斯坦度量。其中愛因斯坦度量是里奇形式與度量形式成比例的度量，之所以稱為愛因斯坦度量，是為了紀念愛因斯坦，因為這個條件也相當于說這個度量是真空愛因斯坦方程的一個解。允許愛因斯坦度量的黎曼流形稱作愛因斯坦流形;這類流形與很多重要論題有聯(lián)系，包括楊-米爾斯理論。在已知的愛因斯坦流形的例子中，非常好的一類就是凱勒的。(［45］，96～97頁)

緊凱勒流形上凱勒-愛因斯坦度量存在性問題與卡拉比猜想有密切關系，奧賓(［40］，139～156頁;［44］，251～288頁)、貝斯(A.L.Besse)(［45］，318～339頁)、莫羅亞努(A.Moroianu，1971～)［46］等人的著作都有專門章節(jié)論述，總的來說，有四個方面：

(1)從二者提出問題的角度分析。凱勒-愛因斯坦度量存在性問題是：已知緊凱勒流形上存在凱勒-愛因斯坦度量的必要條件是第一陳類為負、零和正;那么這是否也是充分條件。換句話說就是，緊凱勒流形上是否存在凱勒-愛因斯坦度量?？ɡ炔孪氲膯栴}是：已知緊凱勒流形上每一個(1，1)型成為其上某些凱勒度量里奇形式的必要條件是這些形式表示第一陳類;那么這是否也是充分條件。換句話說就是，緊凱勒流形上每一個表示第一陳類的形式是否都是其上某些凱勒度量的里奇形式。(［44］，254～255頁)

(2)從二者所等價的方程分析。凱勒-愛因斯坦度量存在性問題等價于求解奧賓方程，當λ為負、零或正時，這個方程的解分別給出第一陳類為負、零和正的凱勒流形上的凱勒-愛因斯坦度量。特別的當λ=0的時候，這個問題就是卡拉比猜想：即第一陳類為零的緊凱勒流形上，允許里奇平坦凱勒度量。［41］后來卡拉比曾通過口頭交流，將猜想推廣成第一陳類是負定的且愛因斯坦度量具有符號-1(即λ=-1)。(［45］，8頁)到丘成桐的時候，卡拉比猜想可以分為三種情況，即第一陳類為負、零或正。在這三種情況下，凱勒-愛因斯坦度量的存在性問題就等價于求解右邊為exp(cφ+F)的復蒙日-安培方程。［31］

(3)從卡拉比、丘成桐和奧賓的論文分析。本文前邊有關卡拉比和丘成桐論文的論述是側(cè)重于卡拉比猜想的，而事實上，在他們的論文中都可以看到有關凱勒-愛因斯坦度量的論述。卡拉比在《凱勒度量空間》一文中，實際上也隱含著猜想了凱勒流形上存在凱勒-愛因斯坦度量，其中凱勒流形的第一陳類為負、零和正，并且它不允許任何全純向量場。［31］丘成桐在《卡拉比猜想以及代數(shù)幾何中的一些新結(jié)果》一文中給出凱勒-愛因斯坦度量這個名稱以及對其的闡釋，在《關于緊凱勒流形的里奇曲率和復蒙日-安培方程，Ⅰ》中，定理5就給出了第一陳類為負時的凱勒-愛因斯坦度量。奧賓在《黎曼度量和曲率》一文中就明確提到了愛因斯坦度量，該文第十節(jié)就是有關“愛因斯坦度量存在性的充分條件”。

(4)從卡拉比、丘成桐和奧賓論文給出的結(jié)論分析。1976年，丘成桐在給出卡拉比猜想完整證明的同時，也證明了第一陳類為負和零的情況下，緊凱勒流形上凱勒-愛因斯坦度量的存在性。丘成桐在卡拉比猜想上的工作與卡拉比的工作一起被稱為卡-丘定理，這是一個有關卡拉比猜想的定理。丘成桐和奧賓在凱勒-愛因斯坦度量存在性上的工作與卡拉比的工作一起被稱為奧賓-卡-丘定理，這是有關凱勒-愛因斯坦度量存在性的定理;進一步，第一陳類為零情況下的凱勒-愛因斯坦度量被稱為卡-丘度量，第一陳類為負情況下的凱勒-愛因斯坦度量稱為奧賓-卡-丘度量。(［45］，322～323頁)

部分的因為奧賓和丘成桐的這些工作，再次引發(fā)了對愛因斯坦流形的研究。1979年9月，在法國的埃斯帕利永就召開了關于愛因斯坦流形的討論會。(［45］，5頁)

盡管卡拉比猜想與凱勒流形上凱勒-愛因斯坦度量存在性問題密切相關，但二者畢竟是兩個獨立的問題?？ɡ炔孪朐?976年由于丘成桐的工作，已告完全解決;而凱勒流形上凱勒-愛因斯坦度量存在性問題，當時奧賓和丘成桐解決了第一陳類為負、丘成桐解決了第一陳類為零的情形，對于第一陳類為正的情形，至今仍未解決。不過對于數(shù)學和物理，第一陳類為正情形的重要性遠遠不及前兩種情形。后來，丘成桐［47，48］曾提出一個穩(wěn)定性原則來研究這個問題，這個想法被稱為丘成桐猜想。對此丘成桐的學生們，包括田剛(1958～)［49—51］，作了諸多努力，給出了一些有意義的結(jié)果。最近，在這個問題上，唐納森(S.K.Donaldson，1957 ～ )［52—54］和陳秀雄［55］又給出了一些進展。①對于第一陳類為正情形的了解，來自2011年5月14日與丘成桐教授和季理真教授的通信。

致 謝這個主題的文章能夠?qū)懗鰜?，要感謝很多人的幫助，他們給了我勇氣、很多重要文獻以及修改建議。謝謝您們：徐浩(Hao Xu)、Chen-Yu Chi、Rui-Fang Song和李逸(Yi Li)博士，李文林研究員，丘成桐(Shing-Tung Yau)、季理真(Li-Zhen Ji)、劉克峰(Ke-Feng Liu)和陶布斯(C.Taubes)教授。

1 在“卡拉比猜想”時空里神游—華人數(shù)學家丘成桐訪談錄［J］.百年潮，2007，(3)：22～27.

2 季理真，劉克峰.丘成桐—站在數(shù)學之巔的科學巨匠［M］∥劉克峰，季理真.丘成桐的數(shù)學人生.杭州：浙江大學出版社，2006.135～136.

3 馮曉華，高策.弦理論與卡-丘流行的結(jié)合［J］.科學技術哲學研究，2011，(4)：68～77.

4 Scientist at Work：Shing-Tung Yau The Emperor of Math［N］.NYTIMES，2006-10-22.

5 Eugenio Calabi［DB/OL］.［2010-10-12］.http：∥www.worldlingo.com/ma/enwiki/en/Eugenio_Calabi/1.

6 Eugenio Calabi.［DB/OL］.［2010-10-12］http：∥genealogy.math.ndsu.nodak.edu/id.php?id=8111.

7 Department Chairs.Department of Mathematics.University of Pennsylvania.［DB/OL］.［2010-10-25］.http：∥www.math.upenn.edu/History/dept_chairs.html.

8 Bourguignon J P.Eugenio Calabi and K?hler metrics［M］∥Manifolds and Geometry，Proceedings of the Symposium on Mathematics．Cambridge：Cambridge Univ.Press，1996.61 ～85.

9 鄭紹遠.我的老朋友丘成桐［M］∥劉克峰，季理真.丘成桐的數(shù)學人生.杭州：浙江大學出版社，2006.封頁.

10 Calabi E.Isometric imbeddings of complex manifolds［J］.Ann．of Math，1953，58(2)：1 ～23.

11 Berger M.Encounter with a geometer：Eugenio Calabi［M］∥Manifolds and Geometry，Proceedings of the Symposium on Mathematics．Cambridge：Cambridge Univ.Press，1996.20 ～60.

12 劉鈍.數(shù)學、歷史和馬克思主義——介紹美國數(shù)學史家 D.J.斯特洛伊克［J］.科學技術與辯證法，2002，(2)：72 ～76.

13 Rota G C.Ten lessons I wish had been taught［J］.Notices of AMS，1997，44(1)：22 ～25.

14 Chern S S.Characteristic classes of Hermitian manifolds［J］.Ann．Math，1946，47(2)：85 ～121.

15 Calabi E.On Kahler manifolds with vanishing canonical class［M］.∥Fox R H，Spencer D C，Tucker A W.Algebraic Geometry and Topology：a Symposium in Honor of S．Lefschetz．Princeton：Princeton University Press，1957.78 ～89.

16 Calabi E.The space of K?hler metrics［M］.∥Erven P，Noordhoff N V.Proceedings of the International Congress of Mathematicians(Amsterdam，1954).Vol.2.Amsterdam：North-Holland，1957.206～207.

17 Joyce D D.Compact Manifolds with Special Holonomy［M］.Oxford：Oxford University Press，2004.98.

18 Kobayashi S.Hypersurfaces of complex projective space with constant scalar curvature［J］，J．Differential Geometry，1967，1(3 ～4)：369 ～370.

19 On the Photo：Chern Shiing-Shen.Oberwolfach Photo Collection.［DB/OL］.［2010-11-02］.http：∥owpdb.mfo.de/detail?photo_id=7484.

20 Yau S T.Compact flat Riemannian manifolds［J］.J．Diff．Geom，1972，6(3)：395 ～402.

21 Calabi E.Closed locally Euclidean 4-dimensional manifolds［J］.Bull．Amer．Math．Soc，1957，63(2)：135.

22 劉克峰，徐浩.丘成桐先生學術成就［M］∥劉克峰，季理真.丘成桐的數(shù)學人生.杭州：浙江大學出版社，2006.163.

23 丘成桐.研學之樂［N］.光明日報，2011-01-10.

24 Cheeger J，Gromoll D.The splitting theorem for manifolds of nonnegative Ricci curvature［J］.J．Differential Geometry，1971，6(1)：119～128.

25 丘成桐——數(shù)學界的“凱撒大帝”［N］.中國教育報，2009-10-23.

26 Yau S T.Calabi-YauManifold.2009［DB/OL］.［2010-11-07］.http：∥www.scholarpedia.org/article/Calabi-Yau_manifold.

27 李文林.數(shù)學史教程［M］.北京：高等教育出版社，2001.198.

28 丘成桐.我研究數(shù)學的經(jīng)驗［M］∥劉克峰，季理真.丘成桐的數(shù)學人生.杭州：浙江大學出版社，2006.18.

29 Yau S T.The role of partial differential equations in differential geometry［M］∥Olli Lehto.Proceedings of the International Congress of Mathematics(Helsinki，1978)Vol.1.Helsinki：Acad.Scient.Fennica，1980.237 ～ 250.

30 Connor.J.and Robertson E F.Yau Biography.［DB/OL］.［2010-11-15］http：∥www-history.mcs.st-and.ac.uk/Mathematicians/Yau.html

31 Yau S T.Calabi's conjecture and some new results in algebraic geometry［J］.Proceedings of the National Academy of Science，1977，74(5) ：1798 ～1799.

32 Yau S T.On the Ricci curvature of a compact K?hler manifold and the complex Monge-Ampère equation I［J］.Communications on Pure and Applied Mathematics，1978，31(3)：339 ～411.

33 Calabi E.Improper affine hyperspheres of convex type and a generalization of a theorem by K.J?rgens［J］.Mich．Math．J，1958，5(2)：105～126.

34 Kazdan J L.A remark on the preceding paper of yau［J］.Communications on Pure and Applied Mathematics，1978，31(3)：413～414.

35 Aubin T.Equations differentielles non lineaire et probleme de Yamabe concernant la courbure curvature［J］.J．Math．Pures es Appl，1976，55(9)：269～296.

36 En hommage a Thierry Aubin［J］.SMF，Gazette，2009，(121)：71 ～85.

37 Aubin T.Metriques riemanniennes et courbure［J］.J．Diff．Geom，1970，4(4)：383 ～ 424.

38 Aubin T.Equations du type Mongi-Ampere sur les varietes kahleriennes compactes［J］.C．R．Acad．Sci．Hebd．Seances，A-B，1976，283(3)：A119～A121.

39 Aubin T.Equations du type Monge-Ampere sur les varietes kahleriennes compactes［J］.Bull．Sc．Math，1978，102(1)：63 ～95.

40 Aubin T.Nonlinear Analysis on Manifolds，Monge-Ampère Equations［M］.Berlin and New York ：Springer-Verlag，1982.

41 Aubin T.Einstein-K?hler metrics［J］.Rend．Sem．Mat．Univ．Pol．Torino．Fascicolo Speciale，1989：39 ～45.

42 Bourguignon J P.Premiere Classe de Chern et Courbure de：Ricci'Preuve de la Conjecture de Calabi(Seminaire，Palaiseau，1978) ［M］.Asterisque，no.58.Paris：Soc.Math.France，1978.

43 Bourguignon J P.Premieres formes de Chern des varietes kahleriennes compactes［J］.Seminaire N．Bourbaki ，1979，1977/1978，exp.507～524：1～21.

44 Aubin T.Some Nonlinear Problems in Riemannian Geometry［M］.Berlin Heidelberg：Springer，1998.

45 Besse A L.Einstein Manifolds［M］.Berlin，Heidelberg，New York，London，Paris，Tokyo：Springer-Verlag，1987.3，96～97.

46 Moroianu A.Lectures on K?hler Geometry［M］.Cambridge：Cambridge Univ.Press，2007.125 ～134.

47 Yau S T.Nonlinear analysis in geometry［J］.Enseignement Math，1987，33(1 ～2) ，109 ～158.

48 Yau S.T.Open problems in geometry［M］∥Greene R，Yau S T.Proc．Sympos．Pure Math．Vol 54，Part 1.Providence：Amer.Math.Soc，1993.1～28(第65個問題).

49 Tian G.On K?hler-Einstein metrics on certain K?hler manifolds with C， ＞ 0 ［J］.Invent．Math，1987，(89)，225～240.

50 Tian G.On Calabi's conjecture for complex surfaces with positive first Chern class［J］.Invent．Math，1990，101(1)：101～172.

51 Tian G.K?hler-Einstein metrics with positive scalar curvature［J］.Invent．Math，1997，130(1)：1 ～137.

52 Donaldson S K.b-stability and blow-ups［DB/OL］.［2011-09-02］.http：∥arxiv.org/PS_cache/arxiv/pdf/1107/1107.1699v1.pdf

53 Donaldson S K.Stability，birational transformations and the K?hler-Einstein problem［DB/OL］.［2011-09-02］.http：∥arxiv.org/PS_cache/arxiv/pdf/1007/1007.4220v1.pdf.

54 Donaldson S K.K?hler metrics with cone singularities along a divisor［DB/OL］.［2011-09-02］.http：∥arxiv.org/PS_cache/arxiv/pdf/1102/1102.1196v2.pdf.

55 Chen X X，Donaldson S K.Volume estimates for K?hler-Einstein metrics：the three dimensional case［DB/OL］.［2011-09-02］.http：∥arxiv.org/PS_cache/arxiv/pdf/1104/1104.0270v2.pdf.

Abstract The proof of the Calabi Conjecture by Shing-Tung Yau in 1976 has generated a number of important results.These results are fundamental for the subsequent development of mathematics as well as that of physics.Based on the original literature，this paper outlines the origin of the Calabi conjecture and its final proof by Yau.The paper also discusses the close relation between the Calabi Conjecture and K?hler-Einstein metric through the work of Shing-Tung Yau and that of Thierry Aubin.

Key words Eugenio Calabi，Calabi Conjecture，Shing-Tung Yau，Thierry Aubin，K?hler-Einstein metric

The Calabi Conjecture and Its Proof

FENG Xiaohua，GAO Ce
(Research Center for Philosophy of Science and Technology，Shanxi University ，Taiyuan 030006，China)

N091∶O11

A

1000-0224(2012)02-0233-14

2011-05-13;

2012-02-10

馮曉華，女，1977年生，山西原平人，講師，主要研究方向為近現(xiàn)代數(shù)學史，kinggirlss2001@sohu.com;高策，1958年生，山西太原人，教授，主要研究方向為科技史。

國家哲學社會科學基金(項目編號：08BZX020);教育部人文社科基金(項目編號：08JC0010)