第2章 概複素構造と可積分性

前章で「複素構造を入れることは自明でない」と述べました。ではそれを厳密に捉えましょう。複素数 $i$ を掛ける という操作は、$\mathbb C=\mathbb R^2$ の上では「$90°$ 回転」でした。この回転を、多様体の各点の接空間に用意した ものが概複素構造 $J$ です。$J$ があれば「$i$ を掛ける」真似ができる。でも、それが本物の複素多様体 （正則座標が取れる）を与えるとは限らない。$J$ が“可積分”であることが必要で、それを測るのが ニューランダー–ニーレンバーグの定理です。局所と大域、線形代数と解析の橋渡しを見ます。

概複素構造：各点での「iを掛ける」

$\mathbb C^n$ の正則構造は、接空間で「$i$ を掛ける」線形写像として現れます。$i$ を二回掛けると $-1$。これを 一般の多様体に移植します。

$J^2=-1$ は「$i^2=-1$」の接空間版です。$J$ があれば、実接空間を「複素ベクトル空間」とみなせる（$J$ を $i$ の作用とする）。ただし、これは各点でのバラバラな線形代数のデータにすぎません。これらが近くの点どうしで うまく噛み合って、共通の正則座標を生むかどうかは、まったく別の問題です。

(1,0) と (0,1)：J の固有空間分解

$J$ の情報を扱いやすくするため、接空間を複素化して $J$ で対角化します。$J^2=-1$ なので $J$ の固有値は $\pm i$。

この分解が、以降すべての「$(p,q)$ 型」（第3章）の源です。$\mathbb C^n$ では $T^{1,0}$ が $\partial/\partial z_1,\dots,\partial/\partial z_n$、$T^{0,1}$ が $\partial/\partial\bar z_1,\dots$ で張られ、 「正則方向」と「反正則方向」がきれいに分かれます。概複素構造 $J$ は、この分解を各点で用意する装置だと 思えます。問題は、この分解が局所的に $\mathbb C^n$ の標準的な分解と一致する座標を取れるか、です。

可積分性：J が本物の複素構造になる条件

各点での $J$（線形代数）から、近傍全体で通用する正則座標（解析）へ——この飛躍が可能なのはいつか。障害を測るのが ナイエンハウス・テンソルで、それが消えることが条件です。

ナイエンハウス・テンソルは、多様体論のフロベニウスの定理（分布が積分可能 ⟺ 括弧で閉じる）と 同じ精神です。「反正則方向 $T^{0,1}$ が括弧で閉じているか」——閉じていれば、その方向に沿って“葉”が張れ、 正則座標が取れる。閉じていなければ、$J$ は各点では $i$ の真似をできても、近傍で整合する正則座標を持てません。

これは深い定理です。「各点での線形データ（$J$）が滑らかに繋がっている」という一見弱い条件から、「大域的に 正則な座標系が存在する」という強い結論を引き出す。証明は偏微分方程式（$\bar\partial$ 方程式、第3章）の 可解性に帰着し、決して易しくありません。ですが結論は明快です——複素多様体とは、可積分な概複素構造を持つ 多様体にほかならない。$J$ という代数的データと、正則座標という解析的データが、可積分性を橋として結ばれます。

この章のまとめ

• 概複素構造 $J$（$J^2=-1$）＝各点の接空間で「$i$ を掛ける（$90°$ 回転）」操作。実 $2n$ 次元多様体に 用意する。
• 複素化した接空間は $J$ の固有空間に分解 $T\otimes\mathbb C=T^{1,0}\oplus T^{0,1}$（正則・反正則方向、固有値 $\pm i$）。以降の $(p,q)$ 型の源。
• 可積分性：ナイエンハウス・テンソル $N_J=0$ ⟺ $T^{0,1}$ がリー括弧で閉じる。ニューランダー– ニーレンバーグにより、これが $(M,J)$ が本物の複素多様体であることと同値。
• 概複素多様体は複素多様体より広い（$S^6$ の可積分性は未解決）。$J$（代数）と正則座標（解析）を可積分性が結ぶ。

次章は、この $T^{1,0}/T^{0,1}$ 分解を微分形式に持ち上げ、形式を $(p,q)$ 型に細分します。外微分 $d$ が $\partial$ と $\bar\partial$ に分かれ、正則性が $\bar\partial f=0$ という一本の方程式に凝縮されます。