複素微分形式

複素微分形式の概要

複素微分形式（complex differential form）は、複素数を係数に持つ多様体、特に複素多様体上での微分形式を指します。この分野は、微分幾何学を中心に広範囲で応用されており、特に代数幾何学やケーラー幾何学、ホッジ理論などの研究において重要な役割を果たしています。また、複素多様体でない場合でも、複素微分方程式は概複素構造やスピノル理論、CR構造の研究において欠かせない要素です。複素微分形式は、その分解特性からも注目されており、複素多様体上の任意のk-形式は、(p,q)-形式に一意に分解可能です。

複素多様体上の微分形式

考慮する対象が複素多様体Mである場合、n個の複素変数からなる局所座標変換が可能です。これにより、異なる点の近傍同士の正則函数による座標変換が成立します。このような背景のもと、複素微分形式の空間は豊かな構造を持ち、基本的にはその変換が滑らかであることよりも正則性に依存しています。

1-形式の詳細

複素微分形式の最も基本的な形である1-形式は、複素数を実部と虚部に分けて扱います。具体的には、各jに対して複素数座標zを次のように分解します：

$$
dz^{j} = dx^{j} + i dy^{j}, \\ dar{z}^{j} = dx^{j} - i dy^{j}.
$$

この表記を用いることで、任意の複素数係数を持つ微分形式は、和の形で次のように表現できます：

$$
extstyle extstyle rac{j=1}{n} f_{j} dz^{j} + g_{j} dar{z}^{j}.
$$

ここで、Ω1,0は単に$dz$から成る複素微分形式の空間、Ω0,1は$dar{z}$のみを含む空間として定義され、コーシー・リーマンの方程式によって、これらは正則座標変換の下で不変であることが示されています。このため、Ω0,1とΩ1,0は、複素多様体上の複素ベクトル場を定義する基盤を形成しています。

高次の形式

複素微分形式のウェッジ積は、実形式と同様に定義されます。ここで、pとqがn以下の非負整数のペアであるとすると、(p,q)-形式の空間Ωp,qは、Ω1,0のp個の元素とΩ0,1のq個の元素のウェッジ積の線形結合として定義されます。これにより、全次数kの複素微分形式の空間Ekは、各元が一意にp+q=kとなるΩp,qの元の線形結合であることが示されます。例えば、次のような直和分解が成り立ちます：

$$
E_k = igoplus_{p+q=k} extstyle extstyle rac{p}{ ext{ ext{子}}} ig(Ω^{p,q}.
$$

このように、正則座標変換の下で安定な直和分解は、ベクトルバンドルの特性をも定めます。

ドルボー作用素の定義

通常の外微分は、写像$d: E_k
ightarrow E_{k+1}$を定義し、これをΩp,qの切断に限定すると、実際に$d:Ωp,q
ightarrow Ωp+1,q + Ωp,q+1$となります。ドルボー作用素は次のように定義できます：

$$
extstyle extstyle rac{∂}{∂}6 = π^{p+1,q} ∘ d: Ω^{p,q}
ightarrow Ω^{p + 1,q},
\\ ext{そして} \\ extstyle extstyle ar{D} = π^{p,q+1} ∘ d: Ω^{p,q}
ightarrow Ω^{p,q + 1}.
$$

これらの作用素により、ドルボーコホモロジーの基礎やホッジ理論の多面性への洞察が得られます。さらに、正則形式としてのp-形式は、バンドルΩp,0の正則切断であり、局所座標において正則p-形式は一般化されます。

結論

複素微分形式の理論は、複素多様体における微分幾何学の深遠な理解を提供します。これにより、数学の多くの分野、特に代数的及び幾何的トピックにおける重要な構造が明らかになります。

もう一度検索