【這一階段的課程主要講黎曼-羅赫定理，阿貝爾定理，全純線叢理論，以及相關算法。每周六下午1：30-4：30pm，清華近春園西樓，三樓報告廳，敬請批評指正。】
暑假期間，老顧在清華大學丘成桐數學中心講學，在周邊參加了一些學術活動，感慨良多。前幾日，老顧在中科院數智講壇給了一次有關計算共形幾何的演講，旁徵博引，傾情投入，聽眾也聚精會神，熱情高漲，大家共同體驗了一次數學之美。聽眾中有一位三十年未見的朋友，子睿教授。他不辭辛勞，橫越京城，前來捧場。記得分別那年，大家都是青蔥少年，玉樹臨風，豪氣萬丈；重逢時都已年屆不惑，雙鬢斑白，閱盡滄桑。當年我們的代數老師常若蘭認為我們兩人具有數學潛質，為我們傾盡心血，苦心栽培。多年之後，我們依然在學術界孜孜以求，絲毫不敢辜負師恩。數十年後不期重逢，子睿兄依照學者的最高禮儀，送給我一本他的近期學術著作。子睿兄嘔心瀝血十數載，才得以完成。書中寫盡他的人生感悟和思想精髓，捧讀他的大作，宛如直面他的靈魂，從中可以體悟他所經歷的驚濤駭浪和愛恨情仇。我們彼此凝視著對方飽受歲月摧殘的面龐和身軀，似乎努力尋找一些彼此寬慰的言語，又似乎沒有必要，一切盡在不言中。
一天傍晚，老顧和朋友們參加一個拓撲研討會。教室外狂風大作，暴雨傾盆。教室內擠滿了年輕學生，有的少年憨厚率真，用家鄉話不時地進行點評；有的少年精靈古怪，問著刁鑽深奧的問題。從講者到學生，大家都沉浸在三維流形的拓撲世界，如醉如痴，酣暢淋漓。空氣中洋溢著純粹而亢奮的氣氛，少年人的才氣恣肆汪洋。講到精妙之處，所有人都情難自禁地爆笑不已，少年人更是興奮地敲擊或者蹬踹課桌。望著滿教室青春洋溢的面龐，老顧難抑深深的羨慕，同時更加堅信中國的數學充滿希望！
暑期老顧和學生們重溫了經典黎曼面理論，包括全純線叢、陳類、黎曼-羅赫定理、阿貝爾-雅可比定理等等。數十年前，老顧在哈佛大學和丘先生學習過這些理論，那時年少輕狂，對這些理論不求甚解，淺嘗則止。數十年後，積累了豐富的人生閱歷之後，老顧漸漸領悟了這些理論的深意，對這些前輩數學家肅然起敬。
阿貝爾（Niels Henrik Abel）是挪威的驕傲，但個人際遇卻極度悽慘，堪稱數學界的梵谷。從某種角度而言，阿貝爾是幸運的，他在少年時代遇到了恩師霍姆伯（Holmboe）。霍姆伯洞察到阿貝爾的數學天賦，引導他學習了牛頓、歐拉、拉格朗日和高斯的原著，後來無私資助阿貝爾遊學歐洲，拜訪名家，在阿貝爾去世後，收集整理他的數學工作，使其光輝的思想得以留存於世。阿貝爾的另一位朋友克雷勒（Crelle）是位土木工程師，對數學極有熱誠，雖然不懂阿貝爾的工作，但卻慷慨解囊，出版阿貝爾的論文，使得阿貝爾的才華昭著於世。阿貝爾也是不幸的，雖然他在十九歲就證明了高於四次的代數方程沒有一般形式的代數解，但是高斯不相信這個其貌不揚的少年能夠解決困擾人類上千年的難題，從而從未閱讀過阿貝爾寄來的論文；在巴黎，來自窮鄉僻壤的阿貝爾外表靦腆、衣著寒酸，受到了勒讓德和柯西的冷落。生活的貧困，學術的失意，令阿貝爾染上當時的不治之症，肺結核，不幸英年早逝，年僅27歲。阿貝爾死後兩天，克雷勒的一封信寄到，告知柏林大學決定聘任他擔任數學教授。依照世俗的價值標準來衡量，阿貝爾無疑是一個徹頭徹尾的失敗者，沒有社會地位，一文不名，情感生活坎坷；但是在人類文明史上，阿貝爾是一顆璀璨的明星，極大地推動了數學思想的歷史進程。
與阿貝爾時代相比，老顧所處的現代無疑進步了許多，但是一如阿貝爾這般具有原始獨創性的思想未必很多。這一時代的根本性標誌是計算機工業的蓬勃發展。作為一名計算機科學和數學科研人員，老顧經常思考的問題就是：1）計算機科學家和數學家各自用自身的語言，依照自身的美學標準，在各自的王國，自圓其說地講述著自己的故事。那麼他們是否在說同樣的事情？2）如果計算機科學家和數學家是對同一事物進行不同表述，他們是在同義反覆，還是風馬牛不相及？誰說得更加嚴密而精準，誰說得更加深刻而本質？例如多年以來，老顧經常困惑的一個問題是：天下所有的數學家都知道黎曼面的概念，都知道阿貝爾微分和阿貝爾定理，那麼在現實生活中，黎曼面和阿貝爾微分究竟在哪裡？物理學家有超弦理論，每根弦都是一張黎曼面。那麼在觸手可及的日常生活中，是否存在如此抽象概念的實在對應呢？
由陳省身先生關於等溫參數的存在性證明，我們已經知道現實生活中所有的曲面都是黎曼面，從嶙峋的巉巖到精緻的面龐，都是黎曼面，因而都有共形結構；但是阿貝爾微分究竟對應著現實生活中的什麼事物、阿貝爾定理究竟如何影響日常生活，這個問題一直沒有圓滿的解釋，直至最近的一次頓悟。老顧每天開車上下班，在長島高速公路上飛馳近一個半小時，因此對於機械工程中的計算機輔助幾何設計（CAGD）有著切身體會。在和很多機械領域的學者朋友深入交往之後，老顧突然意識到機械設計方法的理論基礎之一就是阿貝爾微分。從這個角度而言，阿貝爾定理無時不刻在控制著人類的日常生活，只是我們缺乏慧眼，無法直接洞察到而已。數十年後，大夢初醒的老顧急忙將這一心得和朋友與學生分享，大家都無比激動，立刻投入到鑽研阿貝爾理論的熱潮之中！我們期待這一新穎視角會給工程應用帶來突破。
這裡，我們概述黎曼面的阿貝爾定理，在後繼的文章中我們會介紹為什麼阿貝爾定理是現代機械幾何輔助設計的理論基礎之一。很多基本的概念，可以參看前面的文章：計算共形講義：纖維叢和陳類。
假設是一張緊緻黎曼曲面，虧格為g。選定基點和一族基本群的典範基底：
，
代數相交數滿足條件：
，
圖1. 基本群的基底和一個基本域。
我們選擇全純微分空間的對偶典型基底 ，滿足條件：
。
黎曼面的周期矩陣定義成：
在這裡周期陣為單位矩陣。周期矩陣是黎曼面的全系不變量，其係數並不獨立，由Teichmuller理論，周期矩陣的自由度為。周期矩陣具有一些特殊性質。
我們考察亞純微分的雙線性關係。
定理（亞純微分的雙線性關係） 令是緊黎曼面上的全純微分；是亞純微分，具有單極點，並且假設基本群基底不經過這些極點，記這些微分的周期為
,
則有雙線性關係：
進一步
，
這裡是亞純微分在極點處的留數，積分路徑在基本域內選取。
證明：在基本域內，我們定義函數
,
由此，我們有
，
由留數定理，
。
另一方面，在基本域的邊界上，我們有
這裡和對應著黎曼面上的同一個點。由於是閉的，
,
由此，我們得到
,
同理可得
,
兩個等式合起來就推出
。
證明完畢。
推論（周期矩陣的對稱正定性）：如果亞純微分也是全純的，那麼沒有極點，等式右側為0，我們有全純微分的雙線性關係，
。
將帶入上式，我們得到
,
即周期矩陣是對稱陣。令，這裡係數為實數，由
和雙線性關係
，
因此周期矩陣的虛部為正定矩陣。
亞純微分的雙線性關係可以推廣成一般閉微分形式的雙線性關係。假設和是光滑閉微分形式，則我們有等式：
。
圖2. 曲面上的全純二次微分，和對應的因子。
黎曼面上的亞純函數可以由其零極點來刻畫，給定亞純函數的因子，基本上就已經確定了亞純函數本身。亞純函數的因子被稱為是主要因子。但是黎曼面上任給次數為0的因子，未必是主要因子，即未必存在相應的亞純函數。阿貝爾定理給出了主要因子的充分必要條件。
Abel-Jacobi 映射定義如下，給定黎曼面上的任意一點，任選一條從基點到的路徑，進行積分：,
。
如果我們選擇兩條不同的路徑來連接和，
,
則。由此，我們定義格點群，從而定義Jacobi簇 。Abel-Jacobi映射實際上是從黎曼面到Jacobi簇的映射：。
我們需要證明Abel-Jacobi映射是非退化的。這可以由下面的引理得出。
引理 對於任意，存在基底全純微分，使得。
證明：反之，則存在，對於一切全純微分，都有，那麼全純微分空間
,
從而 。由黎曼-羅赫公式，
,
這說明和球面同構，矛盾。證明完畢。
引理：給定黎曼面上的相異兩點，則存在唯一的亞純微分，滿足：
以p,q為單極點，沒有其他極點，且在p處的留數為+1，在q處的留數為-1；
的A-周期為0，
。
證明：考慮因子-p-q，由黎曼-羅赫定理（Riemann-Roch）：
,
這裡亞純函數空間為空，因此亞純微分空間的維數。全純微分空間的維數為，存在為全純的亞純微分，它只能以p或者q為極點，且只能為單極點。由亞純微分的留數之和必為0知道，必然同時以p和q為極點，並且在p點和q點處的留數相反。通過歸一化，不妨設在p點和q點處的留數分別為+1和-1。不妨設
，
減去全純微分，則為符合條件的唯一亞純微分。證明完畢。
引理：上述亞純微分滿足條件
這裡積分路徑在基本域中選取。
證明：對全純微分和亞純微分運用雙線性關係：
更進一步，我們有：
。
引理：設是閉曲線，為附近有定義的處處非零的光滑複函數，則積分
為整數。
證明：設的萬有覆迭空間，將閉曲線提升為，函數提升為。萬有覆迭空間單連通，處處非零，因而可以求對數，，g為覆迭空間上的光滑函數，滿足
,
同理，由此。我們得到：
,
因此為整數。證明完畢。
定理（Abel）給定次數為零的因子，則因子為主要因子若且唯若。
證明：當是次數為0的因子時，可以寫成
，
構造引理中的亞純微分，這裡。
如果是主要因子，令
亞純微分和具有相同的極點和留數，從而
為全純微分，我們得到
另外，我們有
,
整理後得到：
，
即
得到等式
這裡
換言之，。
反之，如果，則存在整數，，使得
。
構造亞純微分
，
則有
,
同理有
,
這裡右側第一項
並且右側第二項
,
由此得到
。
因此，對於所有不經過的封閉曲線, 我們都有，同時所有極點的留數都是整數。我們可以恰當地定義亞純函數：
,
那麼我們有。證明完畢。
阿貝爾定理斷言，黎曼面上的一個次數為零的因子是主要因子的充要條件是其Abel-Jacobi的像為零。理論上，我們可以從主要因子反解出相應的亞純函數，這對於很多工程問題起到了決定性的作用。但是，迄今為止，一般高虧格曲面上亞純函數、亞純微分的構造性算法依然沒有被發明出來。我們希望有志青年投身到這個問題中去，早日取得實質性突破。請長按下方二維碼，選擇 「識別圖中二維碼」，即可關注。
【老顧談幾何】邀請國內國際著名純粹數學家，應用數學家，理論物理學家和計算機科學家，講授現代拓撲和幾何的理論，算法和應用。