我們在階梯上的位置
你來到這裡時，已能流利地操作光滑流形：一份映入 R^n 的坐標卡圖冊，其重疊部分皆光滑，外加切叢 TM、微分形式，以及向量場的李括號 [X, Y]。本級提出一個更尖銳的問題。倘若我們要求坐標卡落入的不是 R^n 而是 C^n，且重疊部分不只是光滑、而是全純——複可微、滿足柯西-黎曼方程——又會如何？這單單一項升級，便是光滑世界與複世界的分野，它從此改變了下游幾乎一切：上同調會分裂、度量會獲得一種隱藏的對稱、而光滑時的鬆軟之處將浮現出剛性。
開始前先誠實一句。這些是研究所層級的主題，我們假設你帶著線性代數、多變數微積分、點集拓撲，以及第一冊光滑流形概覽的熟稔而來。流形、微分同胚、切叢、李括號這類詞在此直接使用，不再重新推導——凡第一冊的對象出現，我們連結回去，而非重新講授。我們也會輕輕倚賴一條複分析事實：多複變函數為全純，恰當它對每個變數皆複可微，等價地說，恰當它滿足柯西-黎曼方程。若這一點仍不踏實，回頭複習單變數會是個好起點。
「複」的兩種定義，以及兩者之間的縫隙
把複結構放上流形，其實可以指兩件本質不同的事，而整篇指南講的正是這兩者間的縫隙。第一種是整體而苛刻的：複流形指的是擁有一份映入 C^n、且轉移映射皆全純的坐標卡圖冊。第二種是逐點而廉價的：概複結構是一個光滑的叢映射 J: TM -> TM，滿足 J^2 = −1，亦即在每個切空間 T_p M 上逐纖維地「乘上 i」，而點與點之間不要求任何相容性。每個複流形都自帶一個顯然的 J（在任一全純坐標卡裡把切向量乘以 i），但反過來——給定的 J 是否來自某組全純坐標卡？——才是那個深刻的問題。
為什麼 J^2 = −1 竟能捕捉「乘以 i」？想想最簡單的情形：以坐標 z = x + i y 把 R^2 看成 C。把一個複數乘以 i，就是把它逆時針轉九十度：1 變成 i，i 變成 −1。化為實數語言，沿 x 的基底向量映到沿 y 的，沿 y 的映到沿 x 的相反向量。寫成矩陣即 J = [0, -1; 1, 0]，平方便得 −1，亦即帶負號的單位。所以概複結構恰恰是一套「把這個切空間照 i 的方式轉九十度」的光滑變化配方——而玄機在於，目前還沒有任何東西逼使這些旋轉拼合成真正的複坐標。
切空間的複化：(1,0) 與 (0,1) 的分裂
為了剖析 J，我們玩線性代數的標準把戲：允許複係數。把實切空間與 C 張量積，得到複化的切空間，J 在其上如今是一個道地的複線性算子，仍滿足 J^2 = −1。一個平方為 −1 的算子，其特徵值為 +i 與 −i；又因 J 是實的，它把複化空間乾淨地分裂成 +i 特徵空間（記作 T^(1,0)）與 −i 特徵空間（記作 T^(0,1)）。前者裝著全純方向（不嚴格地說，是 d/dz 方向），後者裝著反全純方向（d/dz-bar 方向）。這個特徵空間的分裂，正是整門學問的引擎；下一篇中形式的(p,q)-型分解，不過是它對偶到餘切空間楔冪上的版本。
On C^1 with z = x + i y : d/dz = (1/2)( d/dx - i d/dy ) spans T^(1,0) d/dz-bar = (1/2)( d/dx + i d/dy ) spans T^(0,1) J(d/dz) = +i d/dz , J(d/dz-bar) = -i d/dz-bar A function f is holomorphic <=> d f / d z-bar = 0 (Cauchy-Riemann)
這個分裂在誠實命名上的回報如下。若 J 確實來自全純坐標卡，那麼在這些卡裡，坐標向量場 d/dz^1, ..., d/dz^n 都是 T^(1,0) 的截面，而且它們對易：李括號為零，因為偏導數彼此對易。於是叢 T^(1,0) 在李括號下封閉——兩個全純型場的括號仍是全純型。這個封閉性，恰恰就是我們即將檢驗的可積性條件，也正是從逐點的小裝置 J 通往全純坐標整體存在的橋樑。
尼倫伯格張量：那唯一的障礙
上一段交給我們一個具體的檢驗：取 T^(1,0) 的兩個截面 X、Y，問它們的括號 [X, Y] 是否仍是 T^(1,0) 的截面，抑或有某個被禁止的 (0,1)-部分洩漏出來。那洩漏出來的量，經過適當打包使其不依賴於我們如何把 X、Y 延拓成向量場，便是尼倫伯格張量 N_J。它純由 J 與李括號依下方公式構造而成，而奇蹟在於：儘管牽涉向量場的導數，N_J(X, Y) 在一點的值卻只依賴於 X、Y 在該點的值——它是一個道地的張量，而非微分算子。因此尼倫伯格張量是一個逐點的場，在每一點精確地量度 J 距離可積性有多遠。
N_J(X, Y) = [X, Y] + J[JX, Y] + J[X, JY] - [JX, JY]
N_J = 0 identically
<=> T^(1,0) is closed under the Lie bracket
<=> J is integrable
<=> (Newlander-Nirenberg) J comes from holomorphic charts兩個合理性檢查讓這個張量更親切些。其一，N_J 是反對稱的，N_J(X, Y) = −N_J(Y, X)，因此在實二維曲面上——一旦定下方向，TM 只剩一個獨立方向——便沒有空間容納非零的反對稱表達式，N_J 自動消失。這正是實曲面上每個概複結構都可積的結構性理由：每個帶度量的可定向曲面，骨子裡都是一張黎曼曲面，這一點我們會在曲線那條線重新探訪。其二，在任何複流形上 N_J = 0 是構造使然，因為 d/dz 坐標場彼此對易。這條定理真正的內容，在於反方向，在四維及更高維。
紐蘭德-尼倫伯格定理：可積性恰是 N_J = 0
現在來看定理本身。紐蘭德-尼倫伯格定理斷言：光滑流形上的概複結構 J 來自某個（必然唯一的）複流形圖冊，若且唯若它的尼倫伯格張量恆等於零。換言之，逐點的小裝置 J 能積分成真正的全純坐標，恰當那唯一的張量障礙 N_J 為零之時。當此成立，我們稱 J 為可積的，而流形便是道地的複流形。這正是廉價的逐點資料與昂貴的整體資料之間那本精確的字典——它告訴你，你唯一非檢驗不可的東西是什麼。
把兩半說誠實是值得的。一個方向是初等代數：若 J 是複的（來自坐標卡），則 N_J = 0，因為偏導數對易，這我們已見過。困難而優美的方向是反過來——僅憑 N_J 的消失，無中生有地造出全純坐標。在實解析的情形，這可由經典的弗羅貝尼烏斯定理應用到對合分佈 T^(1,0) 而得，正如弗羅貝尼烏斯可積性把一個括號封閉的分佈化成一族子流形的葉狀結構。但對僅為光滑的 J，那個對合分佈住在複化的叢裡，實的弗羅貝尼烏斯定理無法直接套用，證明因而需要嚴肅的線性偏微分方程——以審慎的估計求解一個柯西-黎曼型的系統。正是這份分析上的深度，使得這條定理冠著兩個人名與一個年份。
為何這道閘門要緊，以及接下來是什麼
一旦 N_J = 0、流形成為道地的複流形，本級的一切便都亮了起來。特徵空間的分裂 T^(1,0) 加 T^(0,1) 對偶化成形式的雙分次分解，亦即第二篇的 (p,q)-形式，而外微分 d 分裂成兩塊，杜爾博算子 del 與 del-bar，各自平方為零。這便給出杜爾博上同調——德拉姆上同調的全純精煉版——正是它讓複幾何「算得動」。這整套機制在可積性閘門通過之前，甚至連定義都還不良；del-bar 之所以平方為零，恰恰因為 N_J = 0。
往上爬時，請把兩則誠實的告誡放在眼前。其一，擁有複結構嚴格弱於擁有一個與之相容的好度量：複流形未必是凱勒的，而凱勒條件（第三、四篇）是對相伴 2-形式所加的一個額外、確實具限制性的閉性要求。別讓這些詞混作一談。其二，存在性問題微妙而往往未解——回想我們至今不知 S^6 是否為複流形，儘管它承載著概複結構。紐蘭德-尼倫伯格定理告訴你檢驗法，N_J = 0，卻不保證任何給定的流形容許一個通過該檢驗的 J。
把這篇指南記在心裡有個乾淨的辦法：複世界就是光滑世界外加一條張量方程。光滑性給你 J，一個逐纖維的 i；可積性——那唯一張量 N_J 的消失——把這個逐纖維的 i 升格為真正的全純坐標，而由此出發，全純線叢、埃爾米特度量，以至第五篇的卡拉比-丘幾何，便逐一展開。一條方程，N_J = 0，便是通往本級其餘部分的門扉。