我們的立足點，以及本篇要回答的問題
至此，本級已把虧格 g 的緊黎曼曲面 X 交到你手中，作為一個對象、三張面孔。第三篇教你用除子 D——點的有限形式整係數組合——記帳零點與極點，並在兩個除子之差為某亞純函數的除子時，宣告它們線性等價。第三篇也把全純微分空間的維數釘在恰好 g：即全純微分，並把指定極點之函數的計數封裝進黎曼-羅赫定理。這最後一篇把這些線索綁起來：它把「哪些除子線性等價」從一個逐例檢查的問題，變成一個射入環面的單一映射，接著再為「所有虧格 g 曲面構成的空間」開門。
整篇都把你那兩個常用例子握在手裡。在球面 CP^1（虧格 0）上根本沒有全純微分，故下文的構造塌縮成一個點——一個有用的理智底線。在環面 C/L（虧格 1）上恰有一個全純微分，即 dz，整套機器便化約成你幾乎能用眼睛看見的東西：環面的雅可比簇就是環面自身。虧格 1 的情形不是玩具；它是道地的模型，由它出發，一般圖像便是自然的推廣。每當高虧格的陳述令你覺得抽象，就先回到它。
週期格與雅可比簇
從全純 1-形式構成的 g 維複向量空間出發，記作 H = H^0(X, Omega)。取它的一組基 omega_1, ..., omega_g。再回想代數拓樸：虧格 g 曲面的一階同調 H_1(X) 是秩為 2g 的自由阿貝爾群，帶有把手的標準生成元 a_1, b_1, ..., a_g, b_g。連接解析面（形式）與拓樸面（迴圈）的橋，是積分：一條閉迴圈 gamma 與一個全純形式 omega 產生複數 integral over gamma of omega，稱為週期。把每個基形式沿每條基迴圈積分，填滿一個 2g 乘 g 的週期陣列，它在 C^g 中所張成的列向量構成一個格 L，即週期格。
決定性的事實——而且這是一條定理，不是定義——在於這 2g 個週期向量在實數上線性無關，故 L 是 C^g 中道地的滿秩格（實維為 2g）。這建基於黎曼雙線性關係，它源於把斯托克斯定理施於切開曲面上的形式之楔積；反對稱的關係禁止退化，正定的關係釘住定向。我們在此不予證明——老實說那是幾頁仔細的拓樸剪貼，外加你在形式那條線見過的斯托克斯定理——但結論乾淨，且正是你必須記住的。
把向量空間對格取商，便得到 X 的雅可比簇，即雅可比簇 J(X) = C^g / L。它是維數 g 的緊複環面，而黎曼關係將它升格為阿貝爾簇——一個確實嵌入射影空間、帶有極化的複環面。對虧格 1 的環面 C/L，形式空間為一維（由 dz 張成），週期格就是 L 自身，於是 J(X) = C/L = X：環面是自己的雅可比簇。這巧合是虧格 1 所特有的；一般而言 J(X) 是由一維的 X 造出的 g 維對象，二者斷然不相等。
阿貝爾-雅可比映射：給每個點一個地址
現在來造那個讓這一切站得住腳的映射。固定一個基點 p_0 屬於 X。對任何另一點 p，指派基形式沿一條從 p_0 到 p 的路徑之積分所成的向量。麻煩顯而易見：答案依賴你走哪條路，而兩條路徑相差一個迴圈，那會使值移動一個週期。但週期恰恰是 L 的一個元素——所以一旦你把答案模 L 來讀，含混便消失。這就是阿貝爾-雅可比映射 u: X -> J(X) 的全部構想，而對週期格取商，所做的正是消除路徑依賴這件事。
Fix basepoint p_0. Basis of holomorphic 1-forms: omega_1, ..., omega_g.
u(p) = ( integral_{p_0}^{p} omega_1 , ... , integral_{p_0}^{p} omega_g ) mod L
Different path -> differs by a loop gamma in H_1(X)
shift = ( integral_gamma omega_1 , ... , integral_gamma omega_g ) in L
So u(p) is well defined in J(X) = C^g / L.
Extend additively to divisors: u( sum n_i p_i ) = sum n_i u(p_i).藉可加性把 u 從點延拓到除子：除子 sum n_i p_i 的 u 就是 sum n_i u(p_i)。這個線性延拓是主力，因為真正有趣的問題——兩個除子何時線性等價？——是關於除子而非單點的問題。限制在零次除子（係數和為零者）上，延拓後的映射不依賴所選基點，這正是為何最乾淨的陳述落在零次部分。要牢記 u 是全純映射，且當虧格至少為 1 時，它把 X 嵌入其雅可比簇——曲線安坐於環面之中，宛如一座 g 維展廳裡那唯一一面彎曲的牆。
阿貝爾定理與雅可比反演問題
回報在此，而它是這門學問中最美的定理之一。阿貝爾定理：一個零次除子 D 是某亞純函數的除子——即 D 為主除子——若且唯若 u(D) = 0 於雅可比簇中。結合可加性，這便說：兩個同次除子線性等價，恰當它們在阿貝爾-雅可比映射下有相同的像。第三篇那含糊的關係「線性等價」由此化為環面中一個明確的方程：D_1 ~ D_2 若且唯若 u(D_1) = u(D_2)。一切逐例的檢查都溶解成讀出 J(X) 的一個點。
阿貝爾定理告訴你 u 的纖維——哪些除子映到同一點。互補的問題是滿射性：J(X) 的每一點是否真的都出現？這就是雅可比反演問題，答案為是——把無序的 g 個點（一個次數為 g 的有效除子）送到它在 J(X) 中之像的映射是滿射的，且一般而言是一對一的。所以雅可比簇不僅是個容器；它恰好由次數 g 的除子類所參數化。阿貝爾（纖維）與雅可比反演（滿射性）合在一起，把 J(X) 等同於零次除子類之群，即代數幾何學家所稱的 Pic^0(X)。
你實際上要如何反演——給定雅可比簇的一點，找出除子？古典的答案是黎曼 theta 函數，那是建於週期矩陣之上、C^g 上一個顯式的全純函數，其零集（theta 除子）經平移就位後便可讀出那 g 個點。我們要誠實，在此不展開 theta 函數；它們自成一篇，公式錯綜複雜。眼下結構性的要點已足夠：雅可比簇把曲線線性化。關於亞純函數與除子的非線性問題，化為環面中的線性（可加）問題，這正是阿貝爾-雅可比映射成為整套理論之組織核心的緣由。
模空間一瞥：所有虧格 g 曲面如何拼合
再上一層樓。我們一直在研究單一曲面 X。現在問：虧格 g 的黎曼曲面有多少個，它們又如何變化？虧格是離散的拓樸標籤，但兩個同虧格的曲面，作為複流形可以不等價——它們帶著不同的複結構。其點為虧格 g 緊黎曼曲面之同構類的空間，便是模空間 M_g，即曲線模空間。計算它的維數是黎曼一項著名的算計：M_0 是單一點（每個虧格 0 曲面都是 CP^1），M_1 是一複維（環面 C/(Z + Z*tau) 的參數 tau，模掉 SL(2,Z) 的作用），而當 g 至少為 2 時，維數為 3g - 3。
3g - 3 從何而來？一條誠實的路徑是把黎曼-羅赫定理施於典範類：複結構的形變由一個上同調群所掌控，黎曼-羅赫算出其維數在 g 至少為 2 時為 3g - 3。另一條更幾何的路徑用第四篇的單值化定理：虧格至少 2 的曲面是雙曲曲面，是圓盤對某離散群之商，你可把它切成若干「褲子」再重新組裝——計數黏合參數（芬切爾-尼爾森的長度與扭轉）得 6g - 6 實參數，即 3g - 3 複參數。兩種計數一致，是把本級綁在一起的小小奇蹟：第三篇的分析與第四篇的幾何看見了同一個數。
有個微妙處你不可含糊帶過：M_g 在素樸意義下並非流形，因為某些曲面有額外的自同構（對稱），模空間在那些點處有輕微的奇異點——它是一個軌形，用代數的語言說是一個疊。一個更乾淨的樓上對象是泰希米勒空間 T_g，即泰希米勒空間，它記錄一個曲面連同一個標記（pi_1 之生成元的一種選擇，模掉同倫）。T_g 是道地的複流形，與一個複維 3g - 3 的球微分同胚，而 M_g 是它對映射類群——即改換標記之群——的商。所以 M_g 的軌形雜亂，恰恰是遺忘標記所付的代價——一個乾淨的球被一個帶不動點的群所除。
誠實的告誡，以及階梯由此通向何方
幾則誠實要帶著上行。其一，此處幾乎一切都需要緊性以及不低於所述界限的虧格——雅可比簇的構造要曲面是緊的，維數 3g - 3 適用於 g 至少為 2，而低虧格情形（g = 0, 1）是道地的例外，不是事後補綴。要陳述假設，絕不只說口號。其二，本篇是概覽：阿貝爾定理我們陳述並給了動機卻未證明（其證明貫穿黎曼雙線性關係與互逆律），而 theta 函數、托雷利定理（曲線可由其極化雅可比簇復原）、肖特基問題（哪些阿貝爾簇是雅可比簇）皆在此點名而未證。它們中任何一個的真正證明都是一章或一門課，假裝不然便是不誠實。
最後談慣例：週期矩陣、極化、theta 函數都帶著因書而異的符號與正規化選擇，Griffiths-Harris、Farkas-Kra、Mumford 三者各不相同；有些作者把格放成列，有些放成行；2 pi i 這個因子潛伏在不同的位置。挑定一個出處，把它的慣例抄在封面內頁，並忠誠到底——正是第一篇所勸的同一份紀律。模空間維數 3g - 3、雅可比簇維數 g、阿貝爾的 u(D) = 0 都與慣例無關、可安心背下；那些顯式的矩陣則不然。
回望整級。緊黎曼曲面以拓樸、分析、代數三者融合之姿登場（第一篇）；曲面之間的映射服從黎曼-赫爾維茨（第二篇）；除子與典範類由黎曼-羅赫計數（第三篇）；單值化把三種幾何分門別類（第四篇）；如今阿貝爾-雅可比映射已把除子類線性化進雅可比簇，而模空間則把所有固定虧格的曲面組織起來。由此階梯向上分岔：通往凱勒流形與霍奇理論的高維複幾何，通往曲線只成一章的浩瀚概形代數幾何，以及通往觸及雙曲三維流形與物理的映射類群與泰希米勒理論。你如今已把虧格 1 的圖像握得夠牢，使得接下來每一層樓都讀來像是推廣，而非奧祕。