我們的位置：從可積的 J 到形式的分裂
本級第一篇交給你一個如假包換的複流形 M：映入 C^n 的坐標卡，其轉換映射皆為全純的；等價地說，存在一個可積的概複結構 J，它可積是因為其 Nijenhuis 張量消失（Newlander-Nirenberg 定理）。我們此刻要兌現的好處，起初純屬線性代數，繼而化為微積分。由於 J 在每個切空間上平方等於負的恆等映射，一旦複化，它便有特徵值 +i 與 −i；單憑這一事實，就把每一個形式空間乾淨地切成兩半。
先誠實說一句，與上一篇相同：這是研究所層級的材料。我們假設你已熟練光滑流形、餘切叢 T*M、微分形式的代數，以及形式那一級的外微分 d——流形、坐標卡、切空間這類詞在此直接使用，不再重新推導。若這些仍不踏實，那便是繼續往下之前該先回頭的一級。
切空間的複化：全純方向與共軛方向
固定一點 p，並把切空間複化：將 T_p M 與 C 作張量積，得到一個複向量空間，J 在其上 C-線性地作用。由於 J^2 = −1，此空間分裂為 +i 特徵子空間（記作 T^(1,0)）與 −i 特徵子空間 T^(0,1)。在以 z^k = x^k + i y^k 為坐標的局部全純坐標卡裡，自然基底是 T^(1,0) 的 del/del z^k 與 T^(0,1) 的 del/del zbar^k，其中 del/del z^k = (1/2)(del/del x^k − i del/del y^k)。第一組是全純方向，第二組是它們的共軛。這正是單複變裡的 Wirtinger 微積分，現在被搬到了流形上。
取對偶。複化後的餘切空間以同樣方式分裂，由 1-形式 dz^k = dx^k + i dy^k（這些消滅共軛方向）與 dzbar^k = dx^k − i dy^k（這些消滅全純方向）所張成。於是一個複化的 1-形式有一個由 dz^k 構成的 (1,0)-部分，與一個由 dzbar^k 構成的 (0,1)-部分。關鍵之處，也是這一切之所以在全局、而非僅在單一坐標卡裡有定義的原因：正因轉換映射全純，某坐標卡裡的 (1,0)-形式在下一張坐標卡裡仍是 (1,0)-形式。可積性，正是讓這個分裂在坐標變換下存活的東西。
(p,q) 雙重次數：清點全純槽與共軛槽
現在來作楔積。一個 (p,q)-形式是一些項的和，每一項恰有 p 個 dz-型因子與恰有 q 個 dzbar-型因子——例如 f 乘上 (dz^1 ^ dz^2) ^ (dzbar^1) 是個 (2,1)-形式，其中 f 是光滑的複值函數。總次數是 p+q，但更精細的記帳把每個複 k-形式空間分解為對所有滿足 p+q = k 的 (p,q) 的直和。這就是 (p,q)-型分解，也是複幾何的結構核心：光滑流形只見到一條次數的階梯，複流形卻見到一整面網格。
complex k-forms = (+) Lambda^(p,q) over all p + q = k
q
2 | (0,2) (1,2) (2,2)
1 | (0,1) (1,1) (2,1)
0 | (0,0) (1,0) (2,0)
-------------------------- p
0 1 2
d = del + del-bar (on a complex manifold)
del : (p,q) -> (p+1,q) del-bar : (p,q) -> (p,q+1)
del^2 = 0 , del-bar^2 = 0 , del del-bar + del-bar del = 0在黎曼曲面（n = 1，最友善的情形）上做個驗算。此時只有一個 z，網格極小：(0,0) 是函數，(1,0)-形式是 f dz，(0,1)-形式是 g dzbar，而 (1,1)-形式是 h dz ^ dzbar——最後這個是最高次數，正是你拿去積分的東西。一個全純 1-形式，也就是亞純函數理論裡出現的那種，恰恰是係數全純的 (1,0)-形式 f dz。雙重次數早已在告訴你，哪些形式「來自複分析」，哪些不是。
拆開 d：算子 del 與 del-bar
微積分的好處在此。對一個 (p,q)-形式施以尋常的外微分 d。在複流形上，結果只落在 (p+1,q) 與 (p,q+1) 兩種雙重次數裡——絕不到別處。於是我們定義這兩個 Dolbeault 算子為 d 的兩半：del 取 (p+1,q) 部分，del-bar 取 (p,q+1) 部分，使得 d = del + del-bar。用坐標來說，del 對係數就 z^k 微分並楔上一個 dz，而 del-bar 對係數就 zbar^k 微分並楔上一個 dzbar。
現在用 d = del + del-bar 把 d^2 = 0 展開，並按雙重次數歸類。(p+2,q) 部分逼出 del^2 = 0，(p,q+2) 部分逼出 del-bar^2 = 0，而混合的 (p+1,q+1) 部分逼出 del del-bar + del-bar del = 0。於是每個 Dolbeault 算子各自平方為零——恰是 d 原本擁有的性質——這正是允許我們用 del-bar 建構一套上同調的條件。那唯一的恆等式 d^2 = 0，暗中竟藏著三條。
最重要的單一特例：一個光滑函數 f 是全純的，恰當 del-bar f = 0。在單變數裡攤開，del-bar f = (del f / del zbar) dzbar，故方程 del-bar f = 0 即 del f / del zbar = 0——這正是喬裝後的柯西-黎曼方程。整座多複變的巍峨大廈，歸根結柢，就是對單一方程 del-bar u = (某物) 的研究。這也是為何 del-bar 這個看似共軛的算子才是主角，而非 del。
為具體看清這點，取 n = 1 並寫 z = x + i y，於是 del/del zbar = (1/2)(del/del x + i del/del y)。對函數而言，Dolbeault 算子是 del-bar f = (del f / del zbar) dzbar，因此 del-bar f = 0 即單一的純量方程 del f / del zbar = 0——而把實部與虛部攤開，便還原出柯西-黎曼方程 u_x = v_y、u_y = −v_x（對 f = u + i v 而言）。Dolbeault 算子，幾乎是逐字逐句地，就是寫在流形上的複分析。
Dolbeault 上同調：被雙重次數精煉的德拉姆
由於 del-bar 平方為零，對每個固定的 p，那些 q = 0,1,2,... 的 (p,q)-形式空間以 del-bar 為微分構成一個複形。它的上同調——del-bar-閉形式對 del-bar-恰當形式取商——就是 Dolbeault 上同調群 H^(p,q)(M)。配方與德拉姆完全類比：一個 (p,q)-形式 alpha 若 del-bar alpha = 0 便是 del-bar-閉的，若 alpha = del-bar beta（對某個 (p,q−1)-形式 beta）便是 del-bar-恰當的，而商則度量閉之未能恰當的程度。德拉姆上同調數的是拓撲孔洞，Dolbeault 數的是全純孔洞，並依那兩個指標精細歸類。
- 固定全純指標 p。只看型別為 (p, *) 的形式，亦即網格中沿 q 向上移動的單一橫列。
- 算子 del-bar 帶你沿該列向上：(p,q) -> (p,q+1)，且 del-bar 自我複合為零，故你擁有一個如假包換的上鏈複形。
- 在 (p,q) 處取核對像取商：del-bar-閉的 (p,q)-形式對 del-bar-恰當者取商。
- 該商即 H^(p,q)(M)。當 M 緊緻時它是有限維的；其維數 h^(p,q) 是一個 Hodge 數，是複結構的一個如假包換的不變量。
這件事極其重要，原因有二，皆留待後續指南，但此刻先望一眼地平線是值得的。其一，Dolbeault 定理把 H^(p,q)(M) 等同於全純 p-形式層的層上同調 H^q(M, Omega^p)——於是這個分析的裝置算出了某個純屬代數幾何的東西，這正是 del-bar 如何與凝聚層、與全純線叢對話。其二，在凱勒流形（本級第三、四篇）上，Hodge 數把德拉姆的 Betti 數組裝成 Hodge 鑽石，並帶有對稱性 h^(p,q) = h^(q,p) 與 Serre 對偶——這是拓撲與複結構之間的橋樑。
誠實的提醒、慣例，以及真正困難之處
其一，慣例各異，且會咬人。有些書寫 d-bar，有些寫 del-bar，有些寫 d''；del/del zbar 裡那個 1/2 的因子是標準的，但少數來源把它藏起來；H^(p,q) 中指標的次序是普世的，但 p 與 q 擺在鑽石軸線上的位置卻不然。更糟的是，在那些把 del-bar 多帶一個符號的參考裡，del del-bar + del-bar del = 0 中的符號會翻轉。挑定一個來源，把它的慣例寫在筆記本扉頁上，並忠誠到底——這裡多數的「錯誤」，都是兩本書相撞。
其二，一個值得徹底破除的常見誤解：H^(p,q) 一般而言並非德拉姆上同調的子群，而且你一般也不能沿 p+q = k 把 Hodge 數加總起來去復原第 k 個 Betti 數。那個乾淨的分解只在緊緻凱勒流形上才是定理——在一般的緊緻複流形上它會失效（Hopf 曲面是標準的告誡範例）。切勿把凱勒的結論輸入到非凱勒的世界；這是攀爬本級時最常見的失足之一。