partial partial-bar 引理（∂∂-bar lemma）

假設緊凱勒流形上的一個微分形式同時在三種意義下恰當——它是 d-恰當的、partial-恰當的、且 partial-bar-恰當的。自然的問題是：你能否明確地把它寫成來自單一位勢？partial partial-bar 引理說可以，而且方式非常乾淨：任何對這些算子之一恰當（且對其他算子閉）的形式，實際上等於某個整體形式的 partial partial-bar。它是龐加萊引理的整體、複幾何升級版，也是支撐凱勒與卡拉比-丘理論大半的技術主力。

精確地說，在緊凱勒流形上（更一般地在任何此引理成立的流形上），若 (p,q)-形式 alpha 同時是 partial-閉與 partial-bar-閉的（等價於 d-閉）且是 d-恰當的，則存在一個 (p-1,q-1)-形式 beta 使得 alpha = partial partial-bar beta。各種恰當概念於是塌縮：ker(d) 交（partial、partial-bar 或 d 的像）全都重合，並等於 image(partial partial-bar)。一個核心應用是關於凱勒類：同一德拉姆上同調類中的任兩個凱勒形式，相差一個整體實函數 f（相對凱勒位勢）的 partial partial-bar，即 omega' = omega + i partial partial-bar f。這把關於整個度量上同調類的問題化約為單一純量方程——正是卡拉比猜想的設定，其解（丘的定理）化為該位勢 f 的蒙日-安培偏微分方程。

它為何重要：此引理讓你能把曲率條件「積分」成位勢，並把凱勒流形上的幾何偏微分方程化為純量偏微分方程。它也快速證明了多爾博圖像與德拉姆圖像相符（緊凱勒流形的形式性）。誠實要點：partial partial-bar 引理是關於緊凱勒流形（及少數推廣，如藤木的 C 類流形）的定理，而非關於任意緊複流形。在非凱勒複流形上它一般失效，而這失效正是由波特-陳上同調與埃普利上同調所衡量，它們恰恰在那裡與多爾博上同調不同。