代數幾何

　　現代數學的一個重要分支學科。它的基本研究物件是在任意維數的（仿射或射影）空間中，由若幹個代數方程的公共零點所構成的集合的幾何特性。這樣的集合通常叫做代數簇，而這些方程叫做這個代數簇的定義方程組。

　　一個代數簇V的定義方程中的係數以及V中點的座標通常是在一個固定的域k中選取的，這個域就叫做>V的基域。當V為不可約時（即如果V不能分解為兩個比它小的代數簇的並），V上所有以代數式定義的函數全體也構成一個域，叫做V的有理函數域，它是k的一個有限生成擴域。通過這樣的一個對應關系，代數幾何也可以看成是用幾何的語言和觀點進行的有限生成擴域的研究。

　　代數簇V關於基域k的維數可以定義為V的有理函數域在k上的超越次數。一維的代數簇叫做代數曲線，二維的代數簇叫做代數曲面。

　　代數簇的最簡單的例子是平面中的代數曲線。例如，著名的費馬猜想（又稱費馬大定理）就可以歸結為下面的問題：在平面中，由方程

定義的曲線（稱為費馬曲線）當 n≥3時沒有坐標都是非零有理數的點。

　　另一方面，下面的齊次方程組

在復數域上的射影空間中定義瞭一條曲線。這是一條橢圓曲線。

　　人們對代數簇的研究通常分為局部和整體兩個方面。局部方面的研究主要是用交換代數方法討論代數簇中的奇異點以及代數簇在奇異點周圍的性質。

　　作為奇異點的例子，可以考察由方程x²y³所定義的平面曲線中的原點(0，0)。這是一個歧點。

　　不帶奇異點的代數簇稱為非奇異代數簇。數學傢広中平祐在1964年證明瞭基域k的特征為0時的奇點解消定理：任意代數簇都是某個非奇異代數簇在雙有理映射下的像。

　　一個代數簇V₁到另一個代數簇V₂的映射稱為雙有理映射，如果它誘導有理函數域之間的同構。兩個代數簇V₁，V₂稱為雙有理等價的，如果在V₁中有一個稠密開集同構於V₂的一個稠密開集。這個條件等價於V₁和V₂的有理函數域同構。由於這個等價關系，代數簇的分類常常可以歸結為對代數簇的雙有理等價類的分類。

　　當前代數幾何研究的重點是整體問題，主要是代數簇的分類以及給定的代數簇中的子簇的性質。同調代數的方法在這類研究中起著關鍵的作用。

　　代數幾何中的分類理論是這樣建立的：對每個有關的分類對象（這樣的分類對象可以是某一類代數簇，例如非奇異射影代數曲線，也可以是有關的代數簇的雙有理等價類），人們可以找到一組對應的整數，稱為它的數值不變量。例如在射影代數簇的情形，它的各階上同調空間的維數就都是數值不變量。然後試圖在所有具有相同的數值不變量的分類對象組成的集合上建立一個自然的代數結構，稱為它們的參量簇，使得當參量簇中的點在某個代數結構中變化時，對應的分類對象也在相應的代數結構中變化。目前建立有較完整的分類理論的隻有代數曲線、代數曲面的一部分，以及少數特殊的高維代數簇。厰在研究得最深入的是代數曲線和阿貝爾簇的分類。

　　與子簇問題密切相關的有著名的霍奇猜想：設X是復數域上的一個非奇異射影代數簇，p為小於X的維數的一個正整數。則X上任一型為(p，p)的整上同調類中都有代數代表元。

　　代數幾何的起源很自然地是從關於平面中的代數曲線的研究開始的。對於一條平面曲線，人們首先註意到的一個數值不變量是它的次數，即定義這條曲線的方程的次數。由於次數為一或二的曲線都是有理曲線（即在代數幾何的意義下同構於直線的曲線），人們今天一般認為，代數幾何的研究是從19世紀上半葉關於三次或更高次的平面曲線的研究開始的（早期人們研究的代數簇都是定義在復數域上的）。例如，N.H.阿貝爾在1827～1829年關於橢圓積分的研究中，發現瞭橢圓函數的雙周期性，從而奠定瞭橢圓曲線（它們都可以表示成平面中的三次曲線）理論基礎。另一方面，C.G.J.雅可比考慮瞭橢圓積分反函數問題，他的工作是今天代數幾何中許多重要概念的基礎（如曲線的雅可比簇、θ函數等）。

　　B.黎曼1857年引入並發展瞭代數函數論，從而使代數曲線的研究獲得瞭一個關鍵性的突破。黎曼把他的函數定義在復數平面的某種多層復迭平面上，從而引入瞭所謂黎曼曲面的概念。用現代的語言，緊致的黎曼曲面就一一對應於抽象的射影代數曲線。運用這個概念，黎曼定義瞭代數曲線的一個最重要的數值不變量：虧格。這也是代數幾何歷史上出現的第一個絕對不變量（即不依賴於代數簇在空間中的嵌入的不變量）。黎曼還首次考慮瞭虧格g相同的所有黎曼曲面的雙有理等價類的參量簇問題，並發現這個參量簇的維數應當是3g-3，雖然黎曼未能嚴格證明它的存在性。

　　黎曼還應用解析方法證明瞭黎曼不等式：l（D）≥d(D)-g+1，這裡D是給定的黎曼曲面上的除子。隨後他的學生G.羅赫在這個不等式中加入一項，使它變成瞭等式。這個等式就是著名的F.希策佈魯赫和A.格羅騰迪克的黎曼-羅赫定理的原始形式（見代數函數域）。

　　在黎曼之後，德國數學傢M.諾特等人用幾何方法獲得瞭代數曲線的許多深刻的性質。諾特還對代數曲面的性質進行瞭研究。他的成果給以後意大利學派的工作建立瞭基礎。

　　從19世紀末開始，出現瞭以G.卡斯特爾諾沃，F.恩裡奎斯和F.塞維裡為代表的意大利學派以及以H.龐加萊、(C.-)É.皮卡和S.萊夫謝茨為代表的法國學派。他們對復數域上的低維代數簇的分類作瞭許多非常重要的工作，特別是建立瞭被認為是代數幾何中最漂亮的理論之一的代數曲面分類理論。但是由於早期的代數幾何研究缺乏一個嚴格的理論基礎，這些工作中存在不少漏洞和錯誤，其中個別漏洞直到目前還沒有得到彌補。

　　20世紀以來代數幾何最重要的進展之一是它在最一般情形下的理論基礎的建立。20世紀30年代，O.紮裡斯基和B.L.范·德·瓦爾登等首先在代數幾何研究中引進瞭交換代數的方法。在此基礎上，A.韋伊在40年代利用抽象代數的方法建立瞭抽象域上的代數幾何理論，然後通過在抽象域上重建意大利學派的代數對應理論，成功地證明瞭當k是有限域的時候，關於代數曲線ζ函數具有類似於黎曼猜想的性質。

　　50年代中期，法國數學傢J.P.塞爾把代數簇的理論建立在層的概念上，並建立瞭凝聚層的上同調理論，這個為格羅騰迪克隨後建立概型理論奠定瞭基礎。概型理論的建立使代數幾何的研究進入瞭一個全新的階段。概型的概念是代數簇的推廣，它允許點的坐標在任意有單位元的交換環中選取，並允許結構層中存在冪零元。

　　概型理論的另一個重要意義是把代數幾何和代數數域的算術統一到瞭一個共同的語言之下，這使得在代數數論的研究中可以應用代數幾何中大量的概念、方法和結果。這種應用的兩個典型的例子就是：①P.德利涅於1973年把韋伊關於ζ函數的定理推廣到瞭有限域上的任意代數簇，即證明瞭著名的韋伊猜想，正是利用瞭格羅騰迪克的概型理論。②G.法爾廷斯在1983年證明瞭莫德爾猜想。這個結果的一個直接推論是費馬方程xⁿ+yⁿ=1在n≥4時最多隻有有限多個非零有理解，從而使費馬猜想的研究獲得瞭一個重大突破。

　　在另一方面，20世紀以來復數域上代數幾何中的超越方法也得到瞭重大的進展，例如G.-W.德·拉姆的解析上同調理論，W.V.D.霍奇的調和積分論的應用，以及小平邦彥和D.C.斯潘塞的變形理論以及P.格裡菲思的一些重要工作等。

　　周煒良對20世紀前期的代數幾何發展作出瞭許多重要的貢獻。他建立的周環、周簇、周坐標等概念對代數幾何的許多領域的發展起瞭重要的作用。他還證明瞭著名的周定理：若一個緊致復解析流形是射影的，則它必定是代數簇。

　　20世紀後期，在古典的復數域上低維代數簇的分類理論方面也取得瞭許多重大進展。在代數曲線的分類方面，由於D.B.芒福德等人的工作，人們現在對代數曲線參量簇 M_g已經有瞭極其深刻的瞭解。芒福德在60年代把格羅騰迪克的概型理論用到古典的不變量理論上，從而創立瞭幾何不變量理論，並用它證明瞭M_g的存在性以及它的擬射影性。人們已經知道 M_g是一個不可約代數簇，而且當g≥24時是一般型的。目前對M_g的子代數簇的性質也開始有所瞭解。

　　代數曲面的分類理論也有很大的進展。例如，60年代中期小平邦彥徹底弄清瞭橢圓曲面的分類和性質；1976年，丘成桐和宮岡洋一同時證明瞭一般型代數曲面的一個重要不等式：с₁²≤3с₂，其中с₁²和с₂是曲面的陳數。同時，三維或更高維代數簇的分類問題也開始引起人們越來越大的興趣。

　　代數幾何與數學的許多分支學科有著廣泛的聯系。除瞭上面提到的數論之外，還有如解析幾何、微分幾何、交換代數、代數群、K理論、拓撲學等。代數幾何的發展和這些學科的發展起著相互促進的作用。同時，作為一門理論學科，代數幾何的應用前景也開始受到人們的註意，其中的一個顯著的例子是代數幾何在控制論中的應用。

　　近年來，人們在現代粒子物理的最新的超弦理論中，已廣泛應用代數幾何工具，這預示古老的代數幾何學將對現代物理學的發展發揮重要的作用。

　　

參考書目

　I.R.Shafarevich，basic Algebraic Geometry，Grundlehren der MatheMatischen Wissenschaften，213，SpringerVerlag，Berlin，1974.

　D.Mumford，Algebraic Geometry I.Complex Projective varieties，Springer-Verlag，Berlin，1976.

　R.Hartshorne，Algebraic Geometry，Springer-Verlag，Berlin，1977.

　S.Litaka，Algebraic Geometry，Springer-Verlag，Berlin，1982.