# 概複素構造と Dolbeault コホモロジー：(p,q) 形式・可積分性・∂̄ の Poincaré の補題 > 概複素構造から (p,q) 形式と作用素 ∂・∂̄ を定義し、可積分性の同値条件を証明する。Cauchy–Pompeiu の公式で 1 変数の ∂̄ 方程式を解き、Dolbeault–Grothendieck の補題と多重円板の Dolbeault コホモロジーの消滅、コンパクト台の ∂̄ 方程式による Hartogs の延長を導く。 > https://rikai.mugen-giken.com/mathematics/complex-geometry/almost-complex-dolbeault ## 0. この記事の要点 平面 $\mathbb{R}^2$ の点に「$i$ を掛ける」ことは、原点のまわりに $90$ 度回すことと同じです。この記事は、この回転だけを取り出して、複素数に頼らずに「複素的な構造」を調べ直します。すると、微分形式が二つの型に分かれ、関数が正則であることが「ある微分が $0$ になる」という一つの式で書けます。読み終えると、その微分の方程式 $\bar\partial u=f$ をいつ解けるかを判定でき、Hartogs の延長定理が方程式の解から出てくることが分かります。 - 実ベクトル空間の**複素構造** $J$（$J^2=-1$）は、複素化（実ベクトル空間の係数を複素数まで広げたもの）を $\pm i$ [固有空間](/mathematics/linear-algebra/eigenvalues#def-eigenspace) $V^{1,0}\oplus V^{0,1}$ に分け、複素数値の $k$ 形式を **$(p,q)$ 型**に分解します。多様体の各接空間に滑らかに $J$ を与えたものが**概複素構造**で、複素多様体は正則座標から決まる概複素構造をもちます。 - 外微分を型で分けて $\partial$（$(p+1,q)$ 成分）と $\bar\partial$（$(p,q+1)$ 成分）を定めます。$d=\partial+\bar\partial$ が成り立つこと、$T^{0,1}$ が括弧積で閉じること、$\bar\partial^2=0$、Nijenhuis テンソル（$J$ と括弧積の食い違いを測る量。§4）が $0$ であることはすべて同値で、これを**可積分性**といいます。複素多様体の概複素構造は可積分で、逆（Newlander–Nirenberg の定理）は主張だけを述べます。 - 可積分なとき $\bar\partial^2=0$ なので、$\bar\partial$ 閉形式を $\bar\partial$ 完全形式で割った **Dolbeault コホモロジー** $H^{p,q}(X)$ が定義できます。$H^{p,0}(X)$ は正則 $p$ 形式の空間です。 - 1 変数の方程式 $\partial u/\partial\bar z=f$ は、**Cauchy 核との[畳み込み](/mathematics/real-analysis/product-measures-fubini#def-convolution)**で解けます。根拠は滑らかな関数に対する Cauchy–Pompeiu の公式（Cauchy の積分公式を、正則とは限らない関数に広げたもの）です。 - これを変数ごとに使うと **$\bar\partial$ の Poincaré の補題**（Dolbeault–Grothendieck の補題）が得られ、多重円板と $\mathbb{C}^n$ では $q\ge1$ で $H^{p,q}=0$ となります。 - $n\ge2$ では、[コンパクト](/mathematics/real-analysis/metric-spaces#def-compactness-metric)台の $\bar\partial$ 閉 $(0,1)$ 形式に**コンパクト台の解**があります。これから、コンパクト集合の[補集合](/mathematics/foundations/sets-and-logic#def-operations)上の正則関数が全体に延びるという Hartogs の定理の一般形（穴の外の正則関数は、穴の中まで一通りに延びる）が出ます。 ## 1. 動機 前章で、複素多様体を「変換関数が正則なアトラスをもつ多様体」として定義しました。この章では同じ対象を、滑らかな多様体の上の付加構造として捉え直します。複素多様体の各接空間は複素ベクトル空間で、「$i$ を掛ける」という線型変換 $J$ をもっています。この $J$ だけを取り出したものが概複素構造です。 $J$ があると、複素数値の微分形式が型 $(p,q)$ に分解され、外微分 $d$ が $\partial$ と $\bar\partial$ に分かれます。関数 $f$ が正則であることは $\bar\partial f=0$ と書けます。そうすると、[de Rham コホモロジー](/mathematics/manifolds/de-rham-cohomology#def-de-rham)が「$d$ 閉だが $d$ 完全でない形式」を測ったのと同じように、「$\bar\partial$ 閉だが $\bar\partial$ 完全でない形式」を測るコホモロジーを考えたくなります。これが Dolbeault コホモロジーです。de Rham コホモロジーが多様体の位相だけで決まるのに対して、Dolbeault コホモロジーは複素構造に依存し、たとえば $H^{0,1}$ は「局所的には解ける Cauchy–Riemann 型の方程式 $\bar\partial u=\alpha$ が大域的に解けるか」の障害を表します。 de Rham 理論の土台が Poincaré の補題（星形領域では閉形式は完全）であったのと同じく、Dolbeault 理論の土台は $\bar\partial$ の Poincaré の補題です。その証明は 1 変数の方程式 $\partial u/\partial\bar z=f$ を解くことに帰着します。この章の後半はそのための解析です。 この章では層を使いません。Dolbeault コホモロジーと[層コホモロジー](/mathematics/algebraic-geometry-2/sheaf-cohomology#def-sheaf-cohomology) $H^q(X,\Omega^p)$ の同一視は第 6 章で、調和形式による計算は第 5 章で行います。 ## 2. 複素構造の線型代数 まず線型代数だけで考えます。$\mathbb{R}^2$ で $J$ を $90$ 度の回転とすると $Je_1=e_2$、$Je_2=-e_1$ で、$J^2=-1$ です。この $J$ の固有値は実数の範囲には無く、複素係数まで広げて初めて固有ベクトルが現れます。以下の定義と補題は、この観察を一般の次元で整理したものです。 $V$ を有限次元実ベクトル空間とする。線型写像 $J:V\to V$ で $J^2=-\mathrm{id}$ を満たすものを $V$ の**複素構造**という。$(a+ib)v=av+bJv$ により $V$ は複素ベクトル空間になる。$V$ の複素化を $V_{\mathbb{C}}=V\otimes_{\mathbb{R}}\mathbb{C}$ と書き、$J$ を複素線型に延ばす。$V_{\mathbb{C}}$ 上の複素共役を $\overline{v\otimes c}=v\otimes\bar c$ で定める。 $$ V^{1,0}=\{w\in V_{\mathbb{C}}:Jw=iw\},\qquad V^{0,1}=\{w\in V_{\mathbb{C}}:Jw=-iw\} $$ とおく。また、実線型写像 $V\to\mathbb{C}$ の全体を $V^{*}_{\mathbb{C}}$ と書き（$V_{\mathbb{C}}$ の複素双対と同一視される）、 $$ V^{*1,0}=\{\alpha\in V^{*}_{\mathbb{C}}:\alpha(Jv)=i\alpha(v)\},\qquad V^{*0,1}=\{\alpha\in V^{*}_{\mathbb{C}}:\alpha(Jv)=-i\alpha(v)\} $$ とおく。 複素数値の交代 $k$ 重線型形式の全体を $\Lambda^kV^{*}_{\mathbb{C}}$ と書きます。これは実数値の交代形式の空間（）の複素化 $\Lambda^kV^{*}\otimes\mathbb{C}$ で、ウェッジ積（）を複素双線型に延ばします。結合律と次数付き可換性（）はそのまま成り立ちます。多重指数 $I=(i_1<\dots e₁ e₂ J Je₁ = e₂, Je₂ = −e₁ w = e₁ − i e₂ のとき Jw = e₂ + i e₁ = i w w̄ = e₁ + i e₂ のとき Jw̄ = e₂ − i e₁ = −i w̄ $V$ を複素構造 $J$ をもつ実ベクトル空間とする。 1. $\dim_{\mathbb{R}}V$ は偶数である。これを $2n$ とすると、$V_{\mathbb{C}}=V^{1,0}\oplus V^{0,1}$、$\overline{V^{1,0}}=V^{0,1}$、$\dim_{\mathbb{C}}V^{1,0}=n$ で、$v\mapsto\frac12(v-iJv)$ は $(V,J)$ から $V^{1,0}$ への複素線型同型である。 2. $V^{*}_{\mathbb{C}}=V^{*1,0}\oplus V^{*0,1}$、$\overline{V^{*1,0}}=V^{*0,1}$ で、$\alpha\in V^{*}_{\mathbb{C}}$ の $V^{*1,0}$ 成分は $\alpha^{1,0}=\frac12(\alpha-i\,\alpha\circ J)$ である。$V^{*1,0}$ は $V^{0,1}$ の上で $0$ になる形式の全体に等しい。 3. $\theta^1,\dots,\theta^m$ が $V^{*}_{\mathbb{C}}$ の $\mathbb{C}$ 上の基底（$m=2n$）ならば、$\{\theta^I:|I|=k\}$ は $\Lambda^kV^{*}_{\mathbb{C}}$ の $\mathbb{C}$ 上の基底である。 (1) $(\det J)^2=\det(J^2)=\det(-\mathrm{id})=(-1)^{\dim V}$ で、左辺は正なので $\dim V$ は偶数です。$w\in V_{\mathbb{C}}$ に対し $w=\frac12(w-iJw)+\frac12(w+iJw)$ で、$J\bigl(\frac12(w\mp iJw)\bigr)=\frac12(Jw\pm iw)=\pm i\cdot\frac12(w\mp iJw)$ なので、第 1 項は $V^{1,0}$、第 2 項は $V^{0,1}$ に入ります。$V^{1,0}\cap V^{0,1}$ の元は $iw=-iw$ を満たすので $0$ です。$J$ は実の写像なので $\overline{Jw}=J\bar w$ で、$Jw=iw$ なら $J\bar w=-i\bar w$ です。共役は実線型な全単射なので $\dim_{\mathbb{C}}V^{1,0}=\dim_{\mathbb{C}}V^{0,1}=n$ です。$\iota(v)=\frac12(v-iJv)$ は $\iota(Jv)=\frac12(Jv+iv)=i\,\iota(v)$ を満たすので複素線型で、実部が $v/2$ なので単射、次元が等しいので同型です。 (2) $\alpha=\frac12(\alpha-i\alpha\circ J)+\frac12(\alpha+i\alpha\circ J)$ で、$\alpha^{1,0}(Jv)=\frac12(\alpha(Jv)+i\alpha(v))=i\,\alpha^{1,0}(v)$ です。第 2 項も同様に $V^{*0,1}$ に入ります。共通部分が $0$ であること、共役で入れ替わることは (1) と同じです。$\alpha\in V^{*}_{\mathbb{C}}$ を $V_{\mathbb{C}}$ に複素線型に延ばすと、$w=v+iJv\in V^{0,1}$（$v\in V$。$V^{0,1}$ の元はすべてこの形）について $\alpha(w)=\alpha(v)+i\alpha(Jv)$ なので、これが $0$ であることは $\alpha(Jv)=i\alpha(v)$ と同値です。 (3) $V^{*}$ の実基底 $e^1,\dots,e^m$ を取ると、$\{e^I\}$ は $\Lambda^kV^{*}$ の実基底（）なので、$\Lambda^kV^{*}_{\mathbb{C}}$ の複素基底で、次元は $\binom mk$ です。$e^j=\sum_lB_{jl}\theta^l$（$B$ は可逆な複素行列）と書き、$e^I$ を多重線型性で展開すると、$\theta^{l_1}\wedge\dots\wedge\theta^{l_k}$ の線型結合になります。添字に重複があれば $0$、なければ並べ替えて $\pm\theta^L$ なので、$\{\theta^L:|L|=k\}$ は $\Lambda^kV^{*}_{\mathbb{C}}$ を張ります。個数が $\binom mk$ なので基底です。 $V$ を複素構造をもつ $2n$ 次元実ベクトル空間とする。$\alpha_1,\dots,\alpha_p\in V^{*1,0}$ と $\beta_1,\dots,\beta_q\in V^{*0,1}$ のウェッジ積 $\alpha_1\wedge\dots\wedge\alpha_p\wedge\beta_1\wedge\dots\wedge\beta_q$ の全体が張る $\Lambda^{p+q}V^{*}_{\mathbb{C}}$ の複素部分空間を $\Lambda^{p,q}V^{*}$ と書き、その元を **$(p,q)$ 型**の形式という。 $\theta^1,\dots,\theta^n$ を $V^{*1,0}$ の基底とすると、 の 2 により $\theta^1,\dots,\theta^n,\bar\theta^1,\dots,\bar\theta^n$ は $V^{*}_{\mathbb{C}}$ の基底で、同じ補題の 3 により $\{\theta^I\wedge\bar\theta^J:|I|+|J|=k\}$ は $\Lambda^kV^{*}_{\mathbb{C}}$ の基底です。$\Lambda^{p,q}V^{*}$ は $\{\theta^I\wedge\bar\theta^J:|I|=p,|J|=q\}$ で張られるので、 $$ \Lambda^kV^{*}_{\mathbb{C}}=\bigoplus_{p+q=k}\Lambda^{p,q}V^{*},\qquad\overline{\Lambda^{p,q}V^{*}}=\Lambda^{q,p}V^{*},\qquad\Lambda^{p,q}V^{*}\wedge\Lambda^{p',q'}V^{*}\subseteq\Lambda^{p+p',q+q'}V^{*} $$ が成り立ちます。$p>n$ または $q>n$ なら $\Lambda^{p,q}V^{*}=0$ です。$(p,q)$ 成分への射影を $\pi^{p,q}$ と書きます。 1. $V$ を複素構造 $J$ をもつ $2n$ 次元実ベクトル空間とする。$(V,J)$ の複素基底 $e_1,\dots,e_n$ から作った実基底 $(e_1,Je_1,\dots,e_n,Je_n)$ が定める $V$ の向きは、複素基底の取り方によらない。 2. 概複素多様体（）は偶数次元で、向き付け可能である。1 が各接空間に定める向きを**標準的な向き**という。 3. $n$ 次元複素多様体 $X$ の正則アトラスは向きの合ったアトラスで、正則座標 $z_j=x_j+iy_j$ について $$ dx_1\wedge dy_1\wedge\dots\wedge dx_n\wedge dy_n=\Bigl(\frac i2\Bigr)^ndz_1\wedge d\bar z_1\wedge\dots\wedge dz_n\wedge d\bar z_n $$ は標準的な向きについて正である。 (1) もう一つの複素基底を $e_j'=\sum_kA_{kj}e_k$（$A\in GL_n(\mathbb{C})$）とします。実基底 $(e_1,Je_1,\dots)$ から $(e_1',Je_1',\dots)$ への変換行列は、複素線型写像 $A$ を実線型写像と見たものの行列 $A_{\mathbb{R}}$ で、その行列式は $|\det A|^2>0$ です（）。よって二つの実基底は同じ向きを定めます。 (2) 各接空間が複素構造をもつので、 の 1 により次元は偶数 $2n$ です。$M$ を連結なチャート $(U_\alpha,x_\alpha)$ で覆い、$\mu_\alpha=dx_\alpha^1\wedge\dots\wedge dx_\alpha^{2n}$ とします。点 $p\in U_\alpha$ で $(T_pM,J_p)$ の複素基底 $e_1,\dots,e_n$ を取り、座標について成分が定数のベクトル場 $E_1,\dots,E_n$ に延ばすと、$(E_1,JE_1,\dots,E_n,JE_n)$ は $p$ の近傍で実基底のままで（一次独立性は開条件）、$\mu_\alpha(E_1,JE_1,\dots,E_n,JE_n)$ は $0$ にならない連続関数です。よってその符号 $\varepsilon_\alpha$ は局所定数で、(1) により複素基底の取り方によらず、連結な $U_\alpha$ 上で定数です。$\varepsilon_\alpha\mu_\alpha$ は、標準的な向きの基底の上で正の値を取る $U_\alpha$ 上の $2n$ 形式です。被覆に従属する 1 の分割 $\{\rho_j\}$（）を取り、$\mu=\sum_j\rho_j\,\varepsilon_{\alpha(j)}\mu_{\alpha(j)}$ とおくと、各点で、標準的な向きの基底の上の値は非負の数の和で少なくとも一つは正です。よって $\mu$ はどこでも $0$ にならず、$M$ は向き付け可能（）です。 (3) 正則な変換関数の実 Jacobi 行列式は正です（ の 1 と、変換関数が可逆であること）。よって正則アトラスは向きの合ったアトラス（）です。$dz_j\wedge d\bar z_j=(dx_j+i\,dy_j)\wedge(dx_j-i\,dy_j)=-2i\,dx_j\wedge dy_j$ なので $\frac i2dz_j\wedge d\bar z_j=dx_j\wedge dy_j$ で、2 形式どうしは可換なので等式が従います。$J\,\partial/\partial x_j=\partial/\partial y_j$（ の後の説明）なので、$(\partial/\partial x_1,\partial/\partial y_1,\dots)$ は (1) の形の実基底で、その上で左辺の値は $1$ です。 ## 3. 概複素多様体と (p,q) 形式 $M$ を滑らかな多様体とする。接束（）の滑らかな束準同型 $J:TM\to TM$ で、各点で $J_p^2=-\mathrm{id}$ を満たすものを**概複素構造**といい、組 $(M,J)$ を**概複素多様体**という。各点で $T_pM\otimes\mathbb{C}=T^{1,0}_pM\oplus T^{0,1}_pM$ と分解し、$T^{1,0}M$ を**正則接束**という。複素数値の $k$ 形式（$\Lambda^kT^{*}M\otimes\mathbb{C}$ の滑らかな切断）の全体を $A^k(M)$ と書き、各点での値が $(p,q)$ 型であるものの全体を $A^{p,q}(M)$ と書く。 $A^k(M)=\Omega^k(M)\oplus i\,\Omega^k(M)$ です（$\Omega^k$ は実の $k$ 形式、）。外微分 $d$（）、引き戻し、積分は実部と虚部に分けて複素線型に延ばし、Leibniz 則、$d^2=0$、局所性（）、Stokes の定理がそのまま成り立ちます。複素数値のベクトル場（$TM\otimes\mathbb{C}$ の切断）の括弧積も複素双線型に延ばします。 **複素多様体の概複素構造。** $X$ を複素多様体とし、正則チャート $(U,\varphi)$、$\varphi=(z_1,\dots,z_n)$、$z_j=x_j+iy_j$ を取ります。$d\varphi_p:T_pX\to\mathbb{C}^n$ は実線型同型なので、$J_p=d\varphi_p^{-1}\circ(i\,\cdot)\circ d\varphi_p$ と定めます。別の正則チャート $\psi$ については $d\psi_p=d(\psi\circ\varphi^{-1})\circ d\varphi_p$（）で、正則な変換関数の微分は複素線型（ の 1）なので $i$ 倍と可換であり、$J_p$ はチャートによりません。座標で書くと $$ J\frac{\partial}{\partial x_j}=\frac{\partial}{\partial y_j},\qquad J\frac{\partial}{\partial y_j}=-\frac{\partial}{\partial x_j} $$ で、成分が定数なので $J$ は滑らかです。Wirtinger 微分（）に対応するベクトル場と 1 形式 $$ \frac{\partial}{\partial z_j}=\frac12\Bigl(\frac{\partial}{\partial x_j}-i\frac{\partial}{\partial y_j}\Bigr),\quad\frac{\partial}{\partial\bar z_j}=\frac12\Bigl(\frac{\partial}{\partial x_j}+i\frac{\partial}{\partial y_j}\Bigr),\quad dz_j=dx_j+i\,dy_j,\quad d\bar z_j=dx_j-i\,dy_j $$ を使うと、$J\,\partial/\partial z_j=\frac12(\partial/\partial y_j+i\,\partial/\partial x_j)=i\,\partial/\partial z_j$ なので $\partial/\partial z_j$ は $T^{1,0}X$ の、$\partial/\partial\bar z_j$ は $T^{0,1}X$ の枠です。$dz_j(\partial/\partial z_k)=\delta_{jk}$、$dz_j(\partial/\partial\bar z_k)=0$ なので、$dz_j$ は $(1,0)$ 型、$d\bar z_j$ は $(0,1)$ 型で、互いに双対な枠です。複素数値関数 $f$ について $$ df=\sum_j\frac{\partial f}{\partial z_j}dz_j+\sum_j\frac{\partial f}{\partial\bar z_j}d\bar z_j $$ が成り立ちます（両辺を $\partial/\partial x_k$、$\partial/\partial y_k$ で評価して確かめられます）。 1. $(M,J)$ を概複素多様体とする。各点のまわりに、$(1,0)$ 型の 1 形式の組 $\theta^1,\dots,\theta^n$ で各点で $T^{*1,0}$ の基底になるもの（局所枠）がある。$\alpha\in A^k(M)$ の各点での $(p,q)$ 成分 $\pi^{p,q}\alpha$ は滑らかな形式で、 $$ A^k(M)=\bigoplus_{p+q=k}A^{p,q}(M),\qquad\overline{A^{p,q}(M)}=A^{q,p}(M),\qquad A^{p,q}(M)\wedge A^{p',q'}(M)\subseteq A^{p+p',q+q'}(M) $$ が成り立つ。 2. $X$ を複素多様体とする。$\alpha\in A^{p,q}(X)$ であることは、任意の正則座標 $(z_1,\dots,z_n)$ について $$ \alpha=\sum_{|I|=p,\ |J|=q}\alpha_{IJ}\,dz_I\wedge d\bar z_J $$ （$\alpha_{IJ}$ は滑らかな複素数値関数、和は増加する多重指数を動く）と書けることと同値である。 3. $F:X\to Y$ を複素多様体の間の正則写像とすると、$F^{*}A^{p,q}(Y)\subseteq A^{p,q}(X)$ である。 (1) $p\in M$ のまわりの実座標 $x^1,\dots,x^{2n}$ を取ります。$(dx^k)^{1,0}=\frac12(dx^k-i\,dx^k\circ J)$ は滑らかな $(1,0)$ 型の 1 形式です（ の 2）。$dx^k$ は $T_p^{*}M\otimes\mathbb{C}$ を張るので、その射影 $(dx^k)^{1,0}$ は $T_p^{*1,0}$ を張り、そのうち $n$ 個が $p$ で基底になります。一次独立性は開条件なので、$p$ の近傍でも基底です。これを $\theta^1,\dots,\theta^n$ とします。$\theta^j,\bar\theta^j$ は $T^{*}M\otimes\mathbb{C}$ の滑らかな枠なので、$\alpha=\sum_{I,J}\alpha_{IJ}\theta^I\wedge\bar\theta^J$ と書いたときの係数は滑らかで（実座標の枠 $dx^K$ についての係数から、滑らかな可逆行列で変換されます）、$\pi^{p,q}\alpha=\sum_{|I|=p,|J|=q}\alpha_{IJ}\theta^I\wedge\bar\theta^J$ は滑らかです。分解と、共役・ウェッジ積との関係は、各点での対応する主張（ の後の式）から従います。 (2) 正則座標では $\theta^j=dz_j$ が $(1,0)$ 型の局所枠なので、(1) の証明から従います。 (3) $F$ の微分は、正則チャートで複素線型写像（ の 1）なので、$dF\circ J_X=J_Y\circ dF$ です。$\alpha$ が $Y$ の $(1,0)$ 型の 1 形式なら $(F^{*}\alpha)(J_Xv)=\alpha(dF(J_Xv))=\alpha(J_YdF(v))=i\,(F^{*}\alpha)(v)$ なので $F^{*}\alpha$ は $(1,0)$ 型で、同様に $(0,1)$ 型は $(0,1)$ 型に引き戻されます。引き戻しはウェッジ積を保つ（）ので、$(p,q)$ 型は $(p,q)$ 型に引き戻されます。 ## 4. 作用素 ∂・∂̄ と可積分性 $(M,J)$ を概複素多様体とする。$\alpha\in A^{p,q}(M)$ に対して $$ \partial\alpha=\pi^{p+1,q}(d\alpha),\qquad\bar\partial\alpha=\pi^{p,q+1}(d\alpha) $$ と定め、複素線型に $A^k(M)$ 全体に延ばす。実ベクトル場 $X,Y$ に対して $$ N_J(X,Y)=[X,Y]+J[JX,Y]+J[X,JY]-[JX,JY] $$ を **Nijenhuis テンソル**という。 $d$ は実の作用素なので $\overline{d\alpha}=d\bar\alpha$ で、型の共役（ の 1）と合わせて $\overline{\partial\alpha}=\bar\partial\bar\alpha$ です。関数 $f$ については $df=\partial f+\bar\partial f$ がつねに成り立ちます（1 形式は $(1,0)$ 型と $(0,1)$ 型の和だからです）。複素多様体の正則座標では $\partial f=\sum_j(\partial f/\partial z_j)dz_j$、$\bar\partial f=\sum_j(\partial f/\partial\bar z_j)d\bar z_j$ で、$f$ が正則であること（各変数について Cauchy–Riemann の関係式を満たすこと。、）は $\bar\partial f=0$ と同値です。 一般の $(p,q)$ 形式については、$d\alpha$ は 4 つの型 $(p+2,q-1)$、$(p+1,q)$、$(p,q+1)$、$(p-1,q+2)$ の成分をもちえます（局所枠で $\alpha=\sum f_{IJ}\theta^I\wedge\bar\theta^J$ と書いて Leibniz 則を使うと、$d\theta^j$ が $(0,2)$ 成分を、$d\bar\theta^j$ が $(2,0)$ 成分をもちうるからです）。
A(p, q) A(p+1, q) A(p, q+1) A(p−1, q+2) A(p+2, q−1) ∂ ∂̄
次の定理のねらいは、「$J$ が複素座標から来るか」を判定する、座標を使わない条件を集めることです。直感的には、$T^{0,1}$ の切断どうしの括弧積がまた $T^{0,1}$ に入る（条件 3）ことが要で、これは Frobenius の定理で「部分束が積分できる」ための条件と同じ形です。条件 4 の Nijenhuis テンソルは、これを実ベクトル場だけで書き直したものです。証明の (3) ⇔ (4) では、実ベクトル場 $X$ から $T^{0,1}$ の切断 $X+iJX$ を作ることで、複素の条件を実の式に翻訳します。 $(M,J)$ を概複素多様体とする。次の条件は同値である。 1. すべての $k$ で、$A^k(M)$ 上 $d=\partial+\bar\partial$ が成り立つ。 2. $(1,0)$ 型の 1 形式 $\alpha$ について、$d\alpha$ の $(0,2)$ 成分はつねに $0$ である。 3. $T^{0,1}M$ の切断 $Z,W$ について、$[Z,W]$ は $T^{0,1}M$ の切断である。 4. Nijenhuis テンソル $N_J$ は恒等的に $0$ である。 5. すべての関数 $f\in A^0(M)$ について $\bar\partial\bar\partial f=0$ である。 これらが成り立つとき $J$ は**可積分**であるといい、$\partial^2=0$、$\bar\partial^2=0$、$\partial\bar\partial+\bar\partial\partial=0$ が $A^k(M)$ 上で成り立つ。複素多様体の概複素構造は可積分である。 **準備。** 2 形式 $\beta$ の $(0,2)$ 成分が点 $p$ で $0$ であることは、すべての $Z,W\in T^{0,1}_pM$ で $\beta(Z,W)=0$ となることと同値です。実際、$(1,0)$ 型の 1 形式は $T^{0,1}$ の上で $0$ なので（ の 2）、$(2,0)$ 成分と $(1,1)$ 成分は $T^{0,1}\times T^{0,1}$ の上で $0$ です。一方、$(0,2)$ 型の形式 $\sum_{j を複素双線型に延ばしたもの）と $\alpha(Z)=\alpha(W)=0$ から $$ d\alpha(Z,W)=Z(\alpha(W))-W(\alpha(Z))-\alpha([Z,W])=-\alpha([Z,W]) $$ です。$T^{0,1}$ の任意の元は局所的な切断の値として実現でき、複素接ベクトルが $T^{0,1}$ に入ることはすべての $(1,0)$ 型の 1 形式で $0$ になることと同値です（$(1,0)$ 型の局所枠 $\theta^j$ の双対を考える）。準備と合わせて、(2) は「すべての $\alpha,Z,W$ で $\alpha([Z,W])=0$」、つまり (3) と同値です。 **(3) ⇔ (4)。** まず $N_J$ が関数について線型であること、つまり $N_J(fX,Y)=fN_J(X,Y)$ を確かめます。括弧積の性質（ の 3）から $$ \begin{aligned} {[fX,Y]}&=f[X,Y]-(Yf)X, & J[J(fX),Y]&=fJ[JX,Y]-(Yf)J^2X=fJ[JX,Y]+(Yf)X,\\ J[fX,JY]&=fJ[X,JY]-((JY)f)JX, & -[J(fX),JY]&=-f[JX,JY]+((JY)f)JX \end{aligned} $$ で、4 つを足すと $fN_J(X,Y)$ です。$N_J(X,Y)=-N_J(Y,X)$ なので第 2 変数についても同じです。 実ベクトル場 $X$ に対し $Z_X=X+iJX$ とおくと、$JZ_X=JX-iX=-iZ_X$ なので $Z_X$ は $T^{0,1}M$ の切断で、$T^{0,1}M$ の切断は局所的にこの形の切断の関数係数の結合です（ の 1 の共役）。実ベクトル場 $X,Y$ について $$ [Z_X,Z_Y]=\bigl([X,Y]-[JX,JY]\bigr)+i\bigl([JX,Y]+[X,JY]\bigr) $$ です。実ベクトル $a,b$ について $a+ib\in T^{0,1}$ は $J(a+ib)=-i(a+ib)$、つまり $Ja=b$ と同値です（虚部の等式 $Jb=-a$ は $Ja=b$ に $J$ を施したものです）。よって $[Z_X,Z_Y]\in T^{0,1}$ は $J([X,Y]-[JX,JY])=[JX,Y]+[X,JY]$ と同値で、両辺に $J$ を施して移項すると $N_J(X,Y)=0$ です。したがって (3) から (4) が出ます。逆に (4) を仮定すると、$Z_X$ の形の切断どうしの括弧積は $T^{0,1}$ に入り、一般の切断 $\sum f_jZ_{X_j}$、$\sum g_kZ_{Y_k}$ については $[fZ,gW]=fg[Z,W]+f(Zg)W-g(Wf)Z$ により $T^{0,1}$ に入ります。 **(1) ⇒ (2)** は (1) を $(1,0)$ 形式に使うだけです。**(2) ⇒ (1)。** (2) の共役を取ると、$(0,1)$ 型の 1 形式 $\beta$ について $d\beta$ の $(2,0)$ 成分は $0$ です。$(p,q)$ 形式は局所的に $f\,\theta^{i_1}\wedge\dots\wedge\theta^{i_p}\wedge\bar\theta^{j_1}\wedge\dots\wedge\bar\theta^{j_q}$ の和です（ の 1）。Leibniz 則で $d$ を計算すると、$df$ は $(1,0)+(0,1)$ 型、$d\theta^i$ は $(2,0)+(1,1)$ 型、$d\bar\theta^j$ は $(1,1)+(0,2)$ 型なので、どの項も $(p+1,q)$ 型と $(p,q+1)$ 型の和です。$d$ は局所的な作用素なので、$d\alpha\in A^{p+1,q}\oplus A^{p,q+1}$、つまり $d\alpha=\partial\alpha+\bar\partial\alpha$ です。 **(1) ⇒ (5) と最後の等式。** (1) のもとで、$\alpha\in A^{p,q}$ について $0=d^2\alpha=\partial^2\alpha+(\partial\bar\partial+\bar\partial\partial)\alpha+\bar\partial^2\alpha$ で、3 つの項は型 $(p+2,q)$、$(p+1,q+1)$、$(p,q+2)$ なので、それぞれ $0$ です。 **(5) ⇒ (2)。** 関数 $f$ について $df=\partial f+\bar\partial f$ なので、$0=d^2f=d(\partial f)+d(\bar\partial f)$ の $(0,2)$ 成分を取ります。$d(\bar\partial f)$ の $(0,2)$ 成分は定義により $\bar\partial\bar\partial f$ なので、 $$ \pi^{0,2}\bigl(d(\partial f)\bigr)=-\bar\partial\bar\partial f=0 $$ です。写像 $\alpha\mapsto\pi^{0,2}(d\alpha)$ は $A^{1,0}$ 上で関数について線型です。実際 $d(g\alpha)=dg\wedge\alpha+g\,d\alpha$ で、$dg\wedge\alpha$ は $(2,0)+(1,1)$ 型です。 の 1 の証明で見たように、各点のまわりに $\partial x^k=(dx^k)^{1,0}$ の形の $(1,0)$ 型の局所枠があるので、任意の $(1,0)$ 形式は局所的に $\sum g_k\,\partial x^k$ と書け、$\pi^{0,2}(d\alpha)=\sum g_k\,\pi^{0,2}(d\,\partial x^k)=0$ です。 **複素多様体の場合。** 正則座標で $(1,0)$ 形式は $\alpha=\sum_jf_j\,dz_j$ と書け、$d(dz_j)=0$ なので $d\alpha=\sum_jdf_j\wedge dz_j$ は $(2,0)+(1,1)$ 型です。よって (2) が成り立ちます。 複素多様体では、正則座標で $\alpha=\sum\alpha_{IJ}\,dz_I\wedge d\bar z_J$ について $$ \partial\alpha=\sum_{I,J}\sum_k\frac{\partial\alpha_{IJ}}{\partial z_k}dz_k\wedge dz_I\wedge d\bar z_J,\qquad\bar\partial\alpha=\sum_{I,J}\sum_k\frac{\partial\alpha_{IJ}}{\partial\bar z_k}d\bar z_k\wedge dz_I\wedge d\bar z_J $$ です（$d(dz_I\wedge d\bar z_J)=0$ と $d\alpha_{IJ}$ の分解から）。$d$ が Leibniz 則を満たすので、型を比べて $\bar\partial(\alpha\wedge\beta)=\bar\partial\alpha\wedge\beta+(-1)^k\alpha\wedge\bar\partial\beta$（$\alpha\in A^k$）も成り立ちます。$\partial$ についても同じです。 $(M,J)$ を可積分な概複素多様体とする。このとき $M$ 上の複素多様体の構造で、その概複素構造が $J$ に一致するものがただ一つ存在する。すなわち、各点のまわりに、複素数値の滑らかな関数 $z_1,\dots,z_n$ で $\bar\partial z_j=0$ を満たし、$(z_1,\dots,z_n)$ が $\mathbb{C}^n$ の開集合の上への微分同相になるものがある。 この定理は主張のみとし、このテーマでは使いません（以下で扱う概複素構造はすべて複素多様体から来るものです）。一意性は簡単で、二つの構造の正則座標は互いに $\bar\partial$ で消える関数なので、変換関数の微分が複素線型になり、 の 3 から正則です。存在の証明は、$J$ が滑らかなだけの場合、非線型の楕円型方程式の解の存在と正則性の評価を必要とし、この章の道具の範囲を超えます。原論文は A. Newlander, L. Nirenberg, "Complex analytic coordinates in almost complex manifolds", *Annals of Mathematics* 65 (1957) で、$\bar\partial$ 方程式の $L^2$ 評価による証明が Hörmander の教科書（参考文献）の第 5 章にあります。$J$ が実解析的な場合は、座標を複素化して $T^{0,1}$ を複素解析的な対合的分布と見なし、Frobenius の定理（）の正則版で積分多様体の葉を定数にする関数を取ることで示せます。 次の例は、可積分でない概複素構造が実際にあることを示すものです。必要なのは下で定める積 $\times$ の性質だけで、八元数を知らなくても、定義した積の表を使って計算を追えます。 $\mathbb{R}^7$ の標準基底 $e_1,\dots,e_7$ について、$e_i\times e_{i+1}=e_{i+3}$、$e_{i+1}\times e_{i+3}=e_i$、$e_{i+3}\times e_i=e_{i+1}$（添字は 7 を法として読む）と定め、反対称かつ双線型に延ばした積 $\times$ を考えます（八元数の虚部の積です）。この積は $u\times v\perp u,v$、$|u|=1$ かつ $v\perp u$ のとき $u\times(u\times v)=-v$ を満たします。そこで $S^6\subseteq\mathbb{R}^7$ の点 $p$ と接ベクトル $v\in T_pS^6=p^\perp$ に対して $J_pv=p\times v$ と定めると、$J_pv\perp p$ で $J_p^2=-\mathrm{id}$ なので、$J$ は $S^6$ の概複素構造です。 Nijenhuis テンソルを計算します。$S^6$ の接ベクトル場 $X,Y$ を $\mathbb{R}^7$ の近傍に延ばし、$\mathbb{R}^7$ の方向微分を $D$ と書くと $[X,Y]=D_XY-D_YX$ です。$JY=x\times Y$ を $X$ 方向に微分すると $D_X(JY)=X\times Y+J(D_XY)$ です。これを $N_J$ の定義に代入し、$J^2w=-w+\langle p,w\rangle p$ を使って整理すると、$D$ を含む項はすべて打ち消し合い、 $$ N_J(X,Y)=2\,p\times(X\times Y)-(p\times X)\times Y-X\times(p\times Y) $$ となります。$p=e_1$、$X=e_2$、$Y=e_3$ とすると、$X\times Y=e_2\times e_3=e_5$、$p\times e_5=e_1\times e_5=e_6$、$p\times X=e_4$、$e_4\times e_3=-e_6$、$p\times Y=e_1\times e_3=e_7$、$e_2\times e_7=-e_6$ なので $$ N_J(e_2,e_3)=2e_6+e_6+e_6=4e_6\ne0 $$ です。 により $J$ は可積分ではなく、複素多様体の構造から来ません。$S^6$ が複素多様体の構造を一つでももつかどうかは未解決問題です。 偶数次元で向き付け可能でも、概複素構造をもつとは限りません。球面 $S^{2n}$ が概複素構造をもつのは $n=1,3$ のときだけです（A. Borel, J.-P. Serre, "Groupes de Lie et puissances réduites de Steenrod", *American Journal of Mathematics* 75 (1953)）。とくに $S^4$ は概複素構造をもちません。これは特性類の計算で示され、この章の範囲外です。 ## 5. Dolbeault コホモロジー 以下、$X$ は $n$ 次元複素多様体とします。 $\bar\partial^2=0$（）なので、各 $p$ について複体 $$ 0\to A^{p,0}(X)\xrightarrow{\ \bar\partial\ }A^{p,1}(X)\xrightarrow{\ \bar\partial\ }\cdots\xrightarrow{\ \bar\partial\ }A^{p,n}(X)\to0 $$ が得られる。 $$ H^{p,q}(X)=\frac{\ker\bigl(\bar\partial:A^{p,q}(X)\to A^{p,q+1}(X)\bigr)}{\operatorname{im}\bigl(\bar\partial:A^{p,q-1}(X)\to A^{p,q}(X)\bigr)} $$ を **Dolbeault コホモロジー**といい、$h^{p,q}(X)=\dim_{\mathbb{C}}H^{p,q}(X)$ を **Hodge 数**という。$\bar\partial\alpha=0$ を満たす $\alpha\in A^{p,0}(X)$ を**正則 $p$ 形式**といい、その全体を $\Omega^p(X)$ と書く。 1. $H^{p,0}(X)=\Omega^p(X)$ である。$\alpha\in A^{p,0}(X)$ が正則 $p$ 形式であることは、正則座標で $\alpha=\sum_{|I|=p}f_I\,dz_I$ と書いたとき係数 $f_I$ がすべて正則関数であることと同値である。 2. 正則写像 $F:X\to Y$ による引き戻しは $\bar\partial$ と可換で、線型写像 $F^{*}:H^{p,q}(Y)\to H^{p,q}(X)$ を引き起こす。 3. ウェッジ積は双線型写像 $H^{p,q}(X)\times H^{p',q'}(X)\to H^{p+p',q+q'}(X)$ を引き起こす。 4. $X$ がコンパクトのとき、積分は線型写像 $\int_X:H^{n,n}(X)\to\mathbb{C}$ を定め、これは全射である。とくに $H^{n,n}(X)\ne0$。 5. $X$ がコンパクトで、$\alpha$ が恒等的に $0$ ではない正則 $n$ 形式のとき、$\alpha$ は $d$ 完全ではなく、$\bar\alpha\in A^{0,n}(X)$ は $\bar\partial$ 閉で $\bar\partial$ 完全ではない。とくに $H^{0,n}(X)\ne0$ である。 (1) $A^{p,-1}=0$ なので $H^{p,0}=\ker\bar\partial$ です。$\bar\partial\alpha=\sum_I\sum_k(\partial f_I/\partial\bar z_k)\,d\bar z_k\wedge dz_I$ で、$d\bar z_k\wedge dz_I$ は一次独立なので、$\bar\partial\alpha=0$ はすべての $\partial f_I/\partial\bar z_k=0$、つまり $f_I$ が各変数について正則であること（、）と同値です。 (2) $F^{*}$ は $d$ と可換（）で型を保つ（ の 3）ので、$\alpha\in A^{p,q}(Y)$ について $d(F^{*}\alpha)=F^{*}(\partial\alpha)+F^{*}(\bar\partial\alpha)$ の $(p,q+1)$ 成分を取って $\bar\partial F^{*}\alpha=F^{*}\bar\partial\alpha$ です。よって $F^{*}$ は $\bar\partial$ 閉形式を $\bar\partial$ 閉形式に、$\bar\partial$ 完全形式を $\bar\partial$ 完全形式に写します。 (3) $\bar\partial\alpha=0$、$\bar\partial\beta=0$ なら Leibniz 則から $\bar\partial(\alpha\wedge\beta)=0$ です。$\alpha=\bar\partial\gamma$ なら $\alpha\wedge\beta=\bar\partial(\gamma\wedge\beta)$、$\beta=\bar\partial\gamma$ なら $\alpha\wedge\beta=(-1)^{p+q}\bar\partial(\alpha\wedge\gamma)$ なので、類の積は代表元によりません。 (4) $X$ は標準的な向き（）で向き付けられています。$\beta\in A^{n,n-1}(X)$ について $\partial\beta\in A^{n+1,n-1}=0$ なので $\bar\partial\beta=d\beta$ で、Stokes の定理（）により $\int_X\bar\partial\beta=0$ です。よって積分は $H^{n,n}(X)$ 上で定まります。座標近傍にコンパクトな台をもつ非負で $0$ でない関数 $\chi$ を取ると、$\chi\,(i/2)^ndz_1\wedge d\bar z_1\wedge\dots\wedge dz_n\wedge d\bar z_n$ の積分は正なので、全射です。 (5) 正則座標で $\alpha=f\,dz_1\wedge\dots\wedge dz_n$（$f$ は正則）と書くと、 $$ \alpha\wedge\bar\alpha=|f|^2\,dz_1\wedge\dots\wedge dz_n\wedge d\bar z_1\wedge\dots\wedge d\bar z_n=(-1)^{n(n-1)/2}|f|^2\prod_j(dz_j\wedge d\bar z_j) $$ です（$d\bar z_j$ を $dz_j$ の隣まで移すのに、$j=1,\dots,n$ の順に $n-j$ 回ずつ、合計 $n(n-1)/2$ 回の入れ替えをします）。$dz_j\wedge d\bar z_j=-2i\,dx_j\wedge dy_j$ と $(-1)^{n(n-1)/2}(-i)^n\cdot i^{n^2}=1$（$i^{n^2}=i^{n(n-1)}i^n=(-1)^{n(n-1)/2}i^n$ による）から $$ i^{n^2}\alpha\wedge\bar\alpha=2^n|f|^2\,dx_1\wedge dy_1\wedge\dots\wedge dx_n\wedge dy_n $$ で、これは標準的な向きについて非負、$f\ne0$ の点で正です。$\alpha$ は恒等的に $0$ でないので $i^{n^2}\int_X\alpha\wedge\bar\alpha>0$ です。 $\alpha=d\gamma$ と仮定します。$\bar\alpha$ は $d$ 閉です（$\bar\partial\bar\alpha\in A^{0,n+1}=0$、$\partial\bar\alpha=\overline{\bar\partial\alpha}=0$）。よって $\alpha\wedge\bar\alpha=d(\gamma\wedge\bar\alpha)$ で、Stokes の定理から積分が $0$ となり矛盾です。次に $\bar\alpha=\bar\partial\beta$（$\beta\in A^{0,n-1}$）と仮定します。$\alpha\wedge\beta\in A^{n,n-1}$ なので $d(\alpha\wedge\beta)=\bar\partial(\alpha\wedge\beta)=(-1)^n\alpha\wedge\bar\partial\beta=(-1)^n\alpha\wedge\bar\alpha$（$\bar\partial\alpha=0$ を使う）で、やはり積分が $0$ となり矛盾です。$\bar\partial\bar\alpha=0$ はすでに見ました。 (1) により、$H^{0,0}(X)$ は正則関数の空間 $\mathcal{O}(X)$ です。$X$ が連結でコンパクトなら $h^{0,0}=1$ です（）。 ## 6. 1 変数の ∂̄ 方程式 $\mathbb{C}$ 上の Lebesgue 測度を $dA=dx\,dy$ と書きます。$1/|\zeta|$ は原点のまわりで可積分です（極座標で $\int_0^R\int_0^{2\pi}\frac1r\,r\,d\theta\,dr=2\pi R$。）。 $D=D(a,R)$ を円板、$f$ を $\overline{D}$ の近傍で定義された $C^1$ 級の複素数値関数とする。$z\in D$ について $$ f(z)=\frac{1}{2\pi i}\oint_{\partial D}\frac{f(\zeta)}{\zeta-z}\,d\zeta-\frac1\pi\iint_D\frac{\partial f}{\partial\bar\zeta}(\zeta)\,\frac{dA(\zeta)}{\zeta-z} $$ が成り立つ。とくに $f$ が $\mathbb{C}$ 上の $C^1$ 級関数でコンパクトな台をもてば、すべての $z\in\mathbb{C}$ で $$ f(z)=-\frac1\pi\iint_{\mathbb{C}}\frac{\partial f}{\partial\bar\zeta}(\zeta)\,\frac{dA(\zeta)}{\zeta-z} $$ である。 複素線積分に対する Green の公式（）は、$g=u+iv$ について $(u_x-v_y)+i(v_x+u_y)=g_x+ig_y=2\,\partial g/\partial\bar\zeta$ なので $$ \oint_{\partial\Omega}g(\zeta)\,d\zeta=2i\iint_\Omega\frac{\partial g}{\partial\bar\zeta}\,dA $$ と書けます。$z\in D$ を固定し、$\varepsilon>0$ を $\overline{D(z,\varepsilon)}\subseteq D$ となるように取って、$\Omega_\varepsilon=D\setminus\overline{D(z,\varepsilon)}$、$g(\zeta)=f(\zeta)/(\zeta-z)$ に使います。$1/(\zeta-z)$ は $\Omega_\varepsilon$ の閉包の近傍で正則なので $\partial g/\partial\bar\zeta=(\partial f/\partial\bar\zeta)/(\zeta-z)$ で、境界は正の向きの $\partial D$ と負の向きの円周 $|\zeta-z|=\varepsilon$ からなるので $$ \oint_{\partial D}\frac{f(\zeta)}{\zeta-z}\,d\zeta-\oint_{|\zeta-z|=\varepsilon}\frac{f(\zeta)}{\zeta-z}\,d\zeta=2i\iint_{\Omega_\varepsilon}\frac{\partial f}{\partial\bar\zeta}\,\frac{dA(\zeta)}{\zeta-z} $$ です。$\varepsilon\to0$ とします。左辺第 2 項は $\zeta=z+\varepsilon e^{i\theta}$ とおくと $i\int_0^{2\pi}f(z+\varepsilon e^{i\theta})\,d\theta$ で、$f$ の連続性から $2\pi if(z)$ に収束します。右辺は、被積分関数の絶対値が可積分関数 $\max_{\overline D}|\partial f/\partial\bar\zeta|\cdot|\zeta-z|^{-1}$ で押さえられ、$D(z,\varepsilon)$ 上の積分は $\max|\partial f/\partial\bar\zeta|\cdot2\pi\varepsilon$ 以下なので、$D$ 上の積分に収束します。よって $$ \oint_{\partial D}\frac{f(\zeta)}{\zeta-z}\,d\zeta-2\pi if(z)=2i\iint_D\frac{\partial f}{\partial\bar\zeta}\,\frac{dA(\zeta)}{\zeta-z} $$ で、$2\pi i$ で割れば主張の式です。後半は、$z$ と $f$ の台を含む大きな円板に前半を使うと、境界上で $f=0$ なので線積分の項が消えることによります。 $f$ が正則なら第 2 項が消えて Cauchy の積分公式に戻ります。第 2 項は「正則でない分の補正」で、$\partial f/\partial\bar\zeta$ から $f$ を復元する式になっています。そこで、与えられた $f$ に対して同じ形の積分で $u$ を作れば $\partial u/\partial\bar z=f$ が解けると期待できます。 $T$ を $\mathbb{R}^m$ の開集合とし、$f:\mathbb{C}\times T\to\mathbb{C}$ を $C^\infty$ 級関数で、あるコンパクト集合 $K\subseteq\mathbb{C}$ について $z\notin K$ ならば $f(z,t)=0$ となるものとする。 $$ u(z,t)=-\frac1\pi\iint_{\mathbb{C}}\frac{f(\zeta,t)}{\zeta-z}\,dA(\zeta)=-\frac1\pi\iint_{\mathbb{C}}\frac{f(z+w,t)}{w}\,dA(w) $$ とおくと、$u$ は $\mathbb{C}\times T$ 上で $C^\infty$ 級で、 $$ \frac{\partial u}{\partial\bar z}=f $$ を満たす。$z$ と $t$ についての任意の偏微分は積分記号の下で $f$ に施してよい。とくに $T$ が $\mathbb{C}^l\times\mathbb{R}^{m-2l}$ の開集合で、$f$ が $t$ の複素座標 $t_j$ について正則ならば、$u$ も $t_j$ について正則である。 二つの積分は $\zeta=z+w$ という平行移動で移り合います。$(z_0,t_0)\in\mathbb{C}\times T$ とし、有界な開近傍 $B\times T_0$ を、閉包がコンパクトで $\mathbb{C}\times T$ に含まれるように取ります。$R$ を、$z\in B$、$z+w\in K$ ならば $|w|\le R$ となるように取ります。$s$ を $(z,t)$ の実座標の一つ（$x=\operatorname{Re}z$、$y=\operatorname{Im}z$、または $t$ の成分）とすると、被積分関数 $f(z+w,t)/w$ の $s$ についての偏導関数は $(\partial_sf)(z+w,t)/w$ で、$(z,t)\in B\times T_0$ のとき絶対値が $$ \Bigl(\sup_{K\times\overline{T_0}}|\partial_sf|\Bigr)\cdot\frac{\mathbf{1}_{\{|w|\le R\}}}{|w|} $$ で押さえられます。これは $(z,t)$ によらない $w$ の可積分関数です。積分記号下の微分（ を実部と虚部に使う）により、$u$ は $s$ について偏微分可能で、 $$ \frac{\partial u}{\partial s}(z,t)=-\frac1\pi\iint_{\mathbb{C}}\frac{(\partial_sf)(z+w,t)}{w}\,dA(w) $$ です。右辺は $f$ を $\partial_sf$ に替えた同じ形の積分で、$\partial_sf$ は $f$ と同じ仮定を満たすので、帰納的に $u$ のすべての偏導関数が存在して同じ形の積分で表されます。各偏導関数の連続性は、被積分関数が $(z,t)$ について連続で上の可積分関数で押さえられることから、優収束定理（）によって従います。よって $u$ は $C^\infty$ 級です。 $\partial/\partial\bar z=\frac12(\partial_x+i\partial_y)$ を積分記号の下で施し、$\zeta=z+w$ に戻すと $$ \frac{\partial u}{\partial\bar z}(z,t)=-\frac1\pi\iint_{\mathbb{C}}\frac{\partial f}{\partial\bar\zeta}(\zeta,t)\,\frac{dA(\zeta)}{\zeta-z}=f(z,t) $$ です。最後の等号は、$t$ を止めた $\zeta\mapsto f(\zeta,t)$ がコンパクトな台をもつ $C^1$ 級関数であることと の後半によります。$f$ が $t_j$ について正則なら $\partial f/\partial\bar t_j=0$ なので、$\partial u/\partial\bar t_j=-\frac1\pi\iint(\partial f/\partial\bar t_j)(z+w,t)\,w^{-1}dA(w)=0$ で、$u$ は $t_j$ について $C^1$ 級で Cauchy–Riemann の関係式を満たし、正則です（）。 解 $u$ は一般にはコンパクトな台をもちません。$|z|\to\infty$ で $u(z)\approx\frac{1}{\pi z}\iint f\,dA$ なので、$\iint f\,dA\ne0$ なら $u$ は無限遠で $1/z$ の速さでしか減衰しません。この点が 2 変数以上との違いで、§8 で使います。 ## 7. ∂̄ の Poincaré の補題と多重円板の Dolbeault コホモロジー 半径 $r=(r_1,\dots,r_n)$（$0 $P=P(0,r)\subseteq\mathbb{C}^n$ を多重円板、$q\ge1$、$\alpha\in A^{p,q}(P)$、$\bar\partial\alpha=0$ とする。有限な半径 $r' $0\le k\le n$ について、次の主張 $(S_k)$ を $k$ についての帰納法で示します。 $(S_k)$：任意の多重円板 $P$、有限な $r'k$ のとき、$\alpha$ は $d\bar z_l$ を含まないので、$d\bar z_l$ を含む基底の形式 $d\bar z_l\wedge dz_I\wedge d\bar z_J$ は第 $l$ 項にしか現れません。$\bar\partial\alpha=0$ から、$l>k$ について $d\bar z_l\wedge\partial_{\bar l}\alpha=0$、したがって $\partial_{\bar l}\alpha=0$ です。つまり $\gamma$ と $\delta$ の係数はすべて $z_{k+1},\dots,z_n$ について正則です。 **$z_k$ について解く。** $r'）により、$\chi\in C^\infty(\mathbb{C})$ で、$\overline{D(0,r''_k)}$ 上で $\chi=1$、台が $D(0,r_k)$ に含まれるコンパクト集合であるものが取れます（$r''_k<\rho により $$ g_{IJ}(z)=-\frac1\pi\iint_{\mathbb{C}}\frac{\chi(z_k+w)\,\gamma_{IJ}(z_1,\dots,z_k+w,\dots,z_n)}{w}\,dA(w) $$ は滑らかで、$\partial g_{IJ}/\partial\bar z_k=\chi(z_k)\gamma_{IJ}$、かつ $z_{k+1},\dots,z_n$ について正則です。$G=\sum g_{IJ}\,dz_I\wedge d\bar z_J\in A^{p,q-1}(P)$ とおくと、$P''$ 上で $$ \bar\partial G=\sum_{l\le k}d\bar z_l\wedge\partial_{\bar l}G=d\bar z_k\wedge\gamma+\sum_{lk$ の項は正則性から消え、$l=k$ の項は $P''$ 上で $\chi=1$ なので $d\bar z_k\wedge\gamma$ です）。したがって $\alpha-\bar\partial G=\delta-\sum_{l $P=P(0,r)\subseteq\mathbb{C}^n$（$0 有限な半径の多重円板の増大列 $P_1\subseteq P_2\subseteq\cdots$ を、$P_j=P(0,r^{(j)})$、$r^{(j)} を $P$ と $P_{j+1}$ に使って、$\beta_j'\in A^{p,q-1}(P_{j+1})$ で $P_{j+1}$ 上 $\bar\partial\beta_j'=\alpha$ となるものを各 $j$ について取っておきます。これらを修正して貼り合わせます。 **$q\ge2$ の場合。** $\beta_j\in A^{p,q-1}(P_j)$（$j\ge2$）で、$P_j$ 上 $\bar\partial\beta_j=\alpha$、$P_{j-2}$ 上 $\beta_{j+1}=\beta_j$ となるものを帰納的に作ります（$P_0=\emptyset$ とします）。$\beta_2=\beta_1'|_{P_2}$ とします。$\beta_j$ があるとき、$\beta_j'-\beta_j$ は $P_j$ 上の $\bar\partial$ 閉な $(p,q-1)$ 形式で、$q-1\ge1$ なので、 を $P_j$ と $P_{j-1}$ に使って、$\gamma\in A^{p,q-2}(P_{j-1})$ で $P_{j-1}$ 上 $\beta_j'-\beta_j=\bar\partial\gamma$ となるものが取れます。$\chi$ を、$\overline{P_{j-2}}$ 上で $1$、台が $P_{j-1}$ に含まれるコンパクト集合である滑らかな関数（）とし、$\chi\gamma$ を $P_{j-1}$ の外で $0$ として $P_{j+1}$ 上の滑らかな形式と見なします。$\beta_{j+1}=\beta_j'-\bar\partial(\chi\gamma)$ とおくと、$P_{j+1}$ 上 $\bar\partial\beta_{j+1}=\alpha$ で、$P_{j-2}$ 上では $\beta_{j+1}=\beta_j'-\bar\partial\gamma=\beta_j$ です。各 $P_k$ の上で $\beta_j$ は $j\ge k+2$ で $j$ によらないので、その共通の値を $\beta$ とすれば、$\beta\in A^{p,q-1}(P)$ で $\bar\partial\beta=\alpha$ です。 **$q=1$ の場合。** $\beta_j\in A^{p,0}(P_j)$ で、$P_j$ 上 $\bar\partial\beta_j=\alpha$、かつ $\beta_{j+1}-\beta_j$ の各係数の $\overline{P_{j-1}}$ 上の絶対値の上限が $2^{-j}$ 未満であるものを帰納的に作ります。$\beta_1=\beta_1'|_{P_1}$ とします。$\beta_j$ があるとき、$\beta_j'-\beta_j$ は $P_j$ 上の $\bar\partial$ 閉な $(p,0)$ 形式なので、係数は $P_j$ 上の正則関数です（ の 1）。各係数は原点を中心とするべき級数に展開され、それは $P_j$ のコンパクト部分集合 $\overline{P_{j-1}}$ 上で一様収束する（）ので、多項式係数の $(p,0)$ 形式 $\pi_j$ で、$\beta_j'-\beta_j-\pi_j$ の各係数の $\overline{P_{j-1}}$ 上の上限が $2^{-j}$ 未満のものが取れます。$\beta_{j+1}=\beta_j'-\pi_j$ とおくと、$\pi_j$ の係数は正則なので $P_{j+1}$ 上 $\bar\partial\beta_{j+1}=\alpha$ で、$\beta_{j+1}-\beta_j=\beta_j'-\beta_j-\pi_j$ です。 $k\ge1$ を固定します。$j\ge k+1$ のとき、$\beta_{j+1}-\beta_j$ の係数は $P_j\supseteq P_k$ 上の正則関数で、$\overline{P_k}\subseteq\overline{P_{j-1}}$ 上の上限が $2^{-j}$ 未満です。よって $\sum_{j\ge k+1}(\beta_{j+1}-\beta_j)$ は $P_k$ 上で係数ごとに一様収束し、極限 $h_k$ の係数は正則関数です（ の 2）。$P_k$ 上で $\beta=\beta_{k+1}+h_k=\lim_j\beta_j$ とおくと、これは $k$ によらず $P$ 上の滑らかな $(p,0)$ 形式を定め、$\bar\partial\beta=\bar\partial\beta_{k+1}+\bar\partial h_k=\alpha$ です。 $q=1$ の場合だけ、差を完全形式で調整する余地（$A^{p,q-2}$）がないので、正則関数を多項式で近似して収束させる必要があります。この種の議論（Mittag-Leffler 型の論法）は、領域を取り尽くして大域的な解を作るときの定石です。任意の領域で同じ結論が成り立つわけではなく、$\mathbb{C}^2\setminus\{0\}$ では $H^{0,1}$ が $0$ になりません（）。 ## 8. コンパクト台の ∂̄ 方程式と Hartogs の延長 $n\ge2$ とする。$\alpha\in A^{0,1}(\mathbb{C}^n)$ がコンパクトな台をもち $\bar\partial\alpha=0$ を満たせば、コンパクトな台をもつ $u\in C^\infty(\mathbb{C}^n)$ で $\bar\partial u=\alpha$ となるものがただ一つ存在する。$u$ は $\mathbb{C}^n\setminus\operatorname{supp}\alpha$ の非有界な連結成分の上で $0$ である。 $\alpha=\sum_ja_j\,d\bar z_j$ と書きます。$\bar\partial\alpha=0$ は $\partial a_j/\partial\bar z_k=\partial a_k/\partial\bar z_j$（すべての $j,k$）ということです。$z'=(z_2,\dots,z_n)$ を径数として $$ u(z)=-\frac1\pi\iint_{\mathbb{C}}\frac{a_1(z_1+w,z')}{w}\,dA(w) $$ とおきます。$a_1$ の台はコンパクトなので が使え、$u$ は滑らかで $\partial u/\partial\bar z_1=a_1$ です。$j\ge2$ について、積分記号の下で微分し、閉形式の条件と の後半（$\zeta\mapsto a_j(\zeta,z')$ はコンパクトな台をもつ）を使うと $$ \frac{\partial u}{\partial\bar z_j}(z)=-\frac1\pi\iint_{\mathbb{C}}\frac{\partial a_1}{\partial\bar z_j}(z_1+w,z')\frac{dA(w)}{w}=-\frac1\pi\iint_{\mathbb{C}}\frac{\partial a_j}{\partial\bar\zeta}(\zeta,z')\frac{dA(\zeta)}{\zeta-z_1}=a_j(z) $$ です。よって $\bar\partial u=\alpha$ です。 $\operatorname{supp}\alpha\subseteq\overline{B(0,R)}$ となる $R$ を取ります。$\mathbb{C}^n\setminus\operatorname{supp}\alpha$ の上で $\bar\partial u=0$ なので $u$ は正則です。$|z'|>R$ のとき、$a_1(\cdot,z')$ は恒等的に $0$ なので $u(z)=0$ です。ここで $n\ge2$ を使いました（$z'$ という変数があること）。$\mathbb{C}^n\setminus\operatorname{supp}\alpha$ の非有界な連結成分 $\Omega_\infty$ は、連結集合 $\mathbb{C}^n\setminus\overline{B(0,R)}$ を含み、$u$ はその空でない開部分集合 $\{|z'|>R\}$ 上で $0$ なので、一致の定理（）により $\Omega_\infty$ 上で $u=0$ です。とくに $u$ の台は $\overline{B(0,R)}$ に含まれコンパクトです。 一意性。コンパクトな台をもつ二つの解の差 $v$ は $\mathbb{C}^n$ 上の正則関数で、大きな球の外で $0$ なので、一致の定理により恒等的に $0$ です。 $n\ge2$、$\Omega\subseteq\mathbb{C}^n$ を開集合、$K\subseteq\Omega$ をコンパクト集合とし、$\Omega\setminus K$ が連結であるとする。$\Omega\setminus K$ 上の任意の正則関数は、$\Omega$ 上の正則関数にただ一通りに延長される。 $K=\emptyset$ なら示すことはないので $K\ne\emptyset$ とし、$f\in\mathcal{O}(\Omega\setminus K)$ とします。$\chi\in C^\infty(\mathbb{C}^n)$ を、$K$ の近傍で $1$、台 $L=\operatorname{supp}\chi$ が $\Omega$ に含まれるコンパクト集合であるように取ります（ を、$K$ のコンパクトな近傍に使う）。$f_0=(1-\chi)f$ を $K$ 上で $0$ として延ばすと、$\Omega$ 上の滑らかな関数です。$\alpha=\bar\partial f_0=-f\,\bar\partial\chi$ は $\Omega$ 上の $\bar\partial$ 閉な $(0,1)$ 形式で、台は $L$ に含まれるので、$\Omega$ の外で $0$ として $\mathbb{C}^n$ 上のコンパクト台の $\bar\partial$ 閉形式に延びます。 により、コンパクト台の $u$ で $\bar\partial u=\alpha$ となるものがあり、$u$ は $\mathbb{C}^n\setminus L$ の非有界な連結成分 $\Omega_\infty$（$\mathbb{C}^n\setminus\operatorname{supp}\alpha$ の非有界成分に含まれる）の上で $0$ です。$F=f_0-u$ は $\Omega$ 上で $\bar\partial F=0$ なので正則です。 $L$ の点のうち $|z|$ が最大のもの $z_0$ を取ります（$L$ は空でない $K$ の近傍を含むので 1 点ではなく、$z_0\ne0$ です）。$\varepsilon>0$ が小さいとき、$(1+\varepsilon)z_0$ の近傍は $\Omega$ に入り（$z_0\in\Omega$ で $\Omega$ は開）、$L$ と交わらず、$L$ を避けて無限遠まで動径方向に結べるので $\Omega_\infty$ に入ります。したがって $\Omega_\infty\cap\Omega$ は空でない開集合で、その上で $u=0$、$\chi=0$ なので $F=f$ です。この集合は $\Omega\setminus K$ に含まれ、$\Omega\setminus K$ は連結なので、一致の定理により $\Omega\setminus K$ 上で $F=f$ です。一意性は、$\Omega\setminus K$ が $\Omega$ の各連結成分と交わる開集合であることと一致の定理から従います（$\Omega$ の連結成分が $K$ に含まれることは、$K$ がコンパクトで成分が開集合なのでありえません）。 これは前章の の 2 を、多重円板から一般の開集合に広げたものです。証明の構造は「滑らかに延ばしてから、正則になるように $\bar\partial$ 方程式の解で補正する」というもので、複素解析で大域的な正則関数を作るときの基本的な方法です。第 7 章の Kodaira の埋め込み定理でも、同じ方法で切断を作ります。 ## 9. 例 $X=\mathbb{C}^2\setminus\{0\}$、$U_1=\{z_1\ne0\}$、$U_2=\{z_2\ne0\}$ とし、被覆 $\{U_1,U_2\}$ に従属する 1 の分割から、滑らかな関数 $\rho_1,\rho_2\ge0$ で $\rho_1+\rho_2=1$、$\operatorname{supp}\rho_i\subseteq U_i$（$X$ の中での閉包）となるものを作ります。$U_1\cap U_2$ 上の正則関数 $g$ に対して、 $$ \alpha_g=\bar\partial(\rho_2g)\ \ (U_1\text{ 上}),\qquad\alpha_g=-\bar\partial(\rho_1g)\ \ (U_2\text{ 上}) $$ と定めます。$\rho_2g$ は $\operatorname{supp}\rho_2$ の外で $0$ として $U_1$ 上の滑らかな関数に延び、$U_1\cap U_2$ 上では $\rho_2g-(-\rho_1g)=g$ が正則なので二つの定義は一致します。$\alpha_g$ は $X$ 上の $\bar\partial$ 閉な $(0,1)$ 形式です。 $\alpha_g=\bar\partial u$（$u\in C^\infty(X)$）と仮定すると、$h_1=\rho_2g-u$ は $U_1$ 上、$h_2=-\rho_1g-u$ は $U_2$ 上で正則で、$U_1\cap U_2$ 上 $h_1-h_2=g$ です。整数 $a,b\ge1$ について線型汎関数 $$ L_{ab}(h)=\frac{1}{(2\pi i)^2}\oint_{|z_1|=1}\oint_{|z_2|=1}h(z_1,z_2)\,z_1^{a-1}z_2^{b-1}\,dz_2\,dz_1 $$ を考えます。$h_1$ は $z_1\ne0$ を止めるごとに $z_2\in\mathbb{C}$ 全体で正則なので、内側の積分が Cauchy の積分定理で $0$ になり $L_{ab}(h_1)=0$ です。$h_2$ については積分の順序を入れ替えて（連続関数の累次積分）同様に $L_{ab}(h_2)=0$ です。よって $L_{ab}(g)=0$ がすべての $a,b\ge1$ で必要です。 $g_{ab}=z_1^{-a}z_2^{-b}$ については $L_{a'b'}(g_{ab})=\delta_{aa'}\delta_{bb'}$ です。有限和 $g=\sum c_{ab}g_{ab}$ について $\alpha_g=\sum c_{ab}\alpha_{g_{ab}}$ が $\bar\partial$ 完全なら、$c_{ab}=L_{ab}(g)=0$ です。したがって類 $[\alpha_{g_{ab}}]$（$a,b\ge1$）は $H^{0,1}(X)$ の中で一次独立で、$H^{0,1}(\mathbb{C}^2\setminus\{0\})$ は無限次元です。$\mathbb{C}^2\setminus\{0\}$ 上の正則関数は $\mathbb{C}^2$ に延びる（Hartogs）ので関数の側からは原点の穴が見えませんが、$H^{0,1}$ は穴を検出しています。 $\mathbb{P}^1=U_0\cup U_1$、$U_0$ の座標を $w$、$U_1$ の座標を $v=1/w$ とします。$h^{0,0}=1$ です。 $H^{1,0}$：正則 1 形式は $U_0$ 上で $f(w)\,dw$（$f$ は整関数）で、$U_1$ では $dw=-dv/v^2$ から $-f(1/v)v^{-2}dv$ です。これが $v=0$ で正則であるには $|f(w)|\le C|w|^{-2}$（$|w|$ が大きいとき）が必要で、Liouville の定理から $f=0$ です。よって $h^{1,0}=0$。 $H^{0,1}$：$\alpha\in A^{0,1}(\mathbb{P}^1)$ とします（$\bar\partial\alpha\in A^{0,2}=0$）。$U_0\cong\mathbb{C}$、$U_1\cong\mathbb{C}$ なので、 により $u_i\in C^\infty(U_i)$ で $\bar\partial u_i=\alpha$ となるものがあります。$u_0-u_1$ は $U_0\cap U_1=\{w\ne0\}$ 上の正則関数で、Laurent 展開 $\sum_{k\in\mathbb{Z}}c_kw^k$ をもちます。$h_0=\sum_{k\ge0}c_kw^k$ は $U_0$ 上、$h_1=-\sum_{k<0}c_kw^k=-\sum_{k>0}c_{-k}v^k$ は $U_1$ 上で正則で、$u_0-h_0=u_1-h_1$ が $U_0\cap U_1$ 上で成り立ちます。これは $\mathbb{P}^1$ 上の関数 $u$ を定め、$\bar\partial u=\alpha$ です。よって $h^{0,1}=0$。 $H^{1,1}$：$\alpha\in A^{1,1}(\mathbb{P}^1)$ に対し、同様に $\beta_i\in A^{1,0}(U_i)$ で $\bar\partial\beta_i=\alpha$ となるものを取ります。$\beta_0-\beta_1=g(w)\,dw$、$g=\sum c_kw^k$ は $U_0\cap U_1$ 上の正則 1 形式です。$k\ge0$ の項は $U_0$ に、$k\le-2$ の項は $w^k\,dw=-v^{-k-2}dv$ なので $U_1$ に正則に延びます。残るのは $c_{-1}\,dw/w$ だけです。一方、1 次元では $(1,0)$ 形式について $d\beta_i=\bar\partial\beta_i=\alpha$ なので、Stokes の定理から $$ \int_{\mathbb{P}^1}\alpha=\int_{|w|\le1}d\beta_0+\int_{|w|\ge1}d\beta_1=\oint_{|w|=1}(\beta_0-\beta_1)=2\pi i\,c_{-1} $$ です（$\{|w|\ge1\}$ の境界としての円周は逆向きです）。したがって $\int\alpha=0$ なら $c_{-1}=0$ で、上と同じ貼り合わせで $\alpha$ は $\bar\partial$ 完全です。 の 4 と合わせて、積分は同型 $H^{1,1}(\mathbb{P}^1)\cong\mathbb{C}$ を与え、$h^{1,1}=1$ です。 まとめると $h^{0,0}=h^{1,1}=1$、$h^{1,0}=h^{0,1}=0$ で、$h^{1,0}+h^{0,1}=0=b_1(S^2)$、$h^{0,0}=b_0$、$h^{1,1}=b_2$ となっています。これは第 5 章の Hodge 分解の最初の例です。 複素トーラス $\mathbb{C}^n/\Lambda$ の上では、$\mathbb{C}^n$ の形式 $dz_I\wedge d\bar z_J$ が平行移動で不変なので、トーラス上の形式を定めます。これらは $d$ 閉で、したがって $\bar\partial$ 閉です。とくに $dz_1,\dots,dz_n$ は一次独立な正則 1 形式で、$h^{1,0}\ge n$ です。逆に、正則 1 形式 $\sum f_j\,dz_j$ の係数 $f_j$ はトーラス上の正則関数なので定数で、$h^{1,0}=n$ です。一般に $[dz_I\wedge d\bar z_J]$（$|I|=p$、$|J|=q$）が $H^{p,q}$ の基底になること、したがって $h^{p,q}=\binom np\binom nq$ であることは、第 5 章で調和形式を使って示します。 ## 10. 演習 $\mathbb{C}^2$ 上の関数 $f=|z_1|^2z_2$ について $\partial f$、$\bar\partial f$、$\partial\bar\partial f$ を求めよ。また実 1 形式 $\eta=x_1\,dy_1-y_1\,dx_1$ を $(1,0)$ 成分と $(0,1)$ 成分に分け、$d\eta$ の型を答えよ。 $f=z_1\bar z_1z_2$ なので $\partial f=\bar z_1z_2\,dz_1+|z_1|^2dz_2$、$\bar\partial f=z_1z_2\,d\bar z_1$ です。$\partial\bar\partial f=\partial(z_1z_2)\wedge d\bar z_1=z_2\,dz_1\wedge d\bar z_1+z_1\,dz_2\wedge d\bar z_1$ です。 $x_1=(z_1+\bar z_1)/2$、$y_1=(z_1-\bar z_1)/(2i)$、$dx_1=(dz_1+d\bar z_1)/2$、$dy_1=(dz_1-d\bar z_1)/(2i)$ を代入すると $$ \eta=\frac{1}{2i}\bigl(\bar z_1\,dz_1-z_1\,d\bar z_1\bigr) $$ です（$x_1dy_1-y_1dx_1=\operatorname{Im}(\bar z_1dz_1)$）。$(1,0)$ 成分は $\bar z_1dz_1/(2i)$、$(0,1)$ 成分は $-z_1d\bar z_1/(2i)$ で、互いに複素共役です。$d\eta=2\,dx_1\wedge dy_1=i\,dz_1\wedge d\bar z_1$ は $(1,1)$ 型です。 $\mathbb{R}^4=\mathbb{C}^2$ 上で、$\theta^1=dz_1$、$\theta^2=dz_2-\bar z_2\,d\bar z_1$ とおく。(a) 各点で $\theta^1,\theta^2,\bar\theta^1,\bar\theta^2$ が複素余接空間の基底であることを示し、$\theta^1,\theta^2$ を $(1,0)$ 型の枠とする概複素構造 $J$ が定まることを説明せよ。(b) $J$ が可積分でないことを示せ。 (a) $\bar\theta^2=d\bar z_2-z_2\,dz_1$ です。$(dz_1,dz_2,d\bar z_1,d\bar z_2)$ から $(\theta^1,\theta^2,\bar\theta^1,\bar\theta^2)$ への変換は、$dz_2=\theta^2+\bar z_2\bar\theta^1$、$d\bar z_2=\bar\theta^2+z_2\theta^1$ と逆に解けるので可逆です。よって基底です。各点で $W=\operatorname{span}(\theta^1,\theta^2)$ は $W\oplus\overline{W}=T^{*}\otimes\mathbb{C}$ を満たす $2$ 次元部分空間です。$W$ の上で $i$、$\overline W$ の上で $-i$ となる複素線型変換は複素共役と可換なので実の余接空間を保ち、その転置として $J$（$\alpha\circ J=i\alpha$ が $\alpha\in W$ で成り立つ実線型変換）が定まり、$J^2=-1$ です。係数が滑らかなので $J$ は滑らかです。 (b) $d\theta^2=-d\bar z_2\wedge d\bar z_1=d\bar z_1\wedge d\bar z_2$ です。$d\bar z_1=\bar\theta^1$、$d\bar z_2=\bar\theta^2+z_2\theta^1$ を代入すると $$ d\theta^2=\bar\theta^1\wedge\bar\theta^2+z_2\,\bar\theta^1\wedge\theta^1 $$ で、$(0,2)$ 成分 $\bar\theta^1\wedge\bar\theta^2$ が $0$ ではありません。 の条件 2 が破れているので、$J$ は可積分ではありません。 $\varphi:[0,\infty)\to\mathbb{C}$ を滑らかな関数、$\Phi(s)=\int_0^s\varphi(t)\,dt$ とする。(a) $u(z)=\Phi(|z|^2)/z$（$z\ne0$）、$u(0)=0$ は $\mathbb{C}$ 上で滑らかで $\partial u/\partial\bar z=\varphi(|z|^2)$ を満たすことを示せ。(b) $\varphi$ がコンパクトな台をもち $\int_0^\infty\varphi(t)\,dt\ne0$ のとき、$\partial v/\partial\bar z=\varphi(|z|^2)$ のコンパクト台の解 $v$ は存在しないことを示せ。 (a) $\Phi(s)=s\,\psi(s)$、$\psi(s)=\int_0^1\varphi(ts)\,dt$ と書け、$\psi$ は滑らかです。よって $u(z)=\bar z\,\psi(|z|^2)$ は $\mathbb{C}$ 上で滑らかです。$z\ne0$ で、$1/z$ は正則なので $\partial u/\partial\bar z=z^{-1}\Phi'(|z|^2)\,\partial(z\bar z)/\partial\bar z=z^{-1}\varphi(|z|^2)z=\varphi(|z|^2)$ です。両辺は連続なので $z=0$ でも成り立ちます。 (b) $v$ がコンパクト台の解なら、$u-v$ は整関数です。$\varphi$ の台が $[0,R^2]$ に含まれるとすると、$|z|>R$ で $u(z)=c/z$、$c=\Phi(R^2)=\int_0^\infty\varphi\ne0$ です。$|z|$ が大きいとき $v=0$ なので $u-v=c/z$ で、これは $|z|\to\infty$ で $0$ に収束します。有界な整関数は定数（Liouville）で、無限遠で $0$ に収束するので $u-v=0$ です。すると大きな $|z|$ で $c/z=0$ となり、$c\ne0$ に矛盾します。$n\ge2$ では によりコンパクト台の解がつねにあるので、これは 1 変数に特有の障害です。 岩澤多様体（）の上の 1 形式 $\omega_3=dz_3-z_1\,dz_2$ について、(a) $\omega_3$ が $\Gamma$ の作用で不変な正則 1 形式であること、(b) $d\omega_3\ne0$ であること、(c) $\omega_1\wedge\omega_2\wedge\omega_3$（$\omega_1=dz_1$、$\omega_2=dz_2$）が零点をもたない正則 3 形式であり、岩澤多様体の $h^{0,3}$ が $1$ 以上であることを示せ。 (a) $a=(a_1,a_2,a_3)$ による左からの積は $L_a(z)=(z_1+a_1,z_2+a_2,z_3+a_3+a_1z_2)$ です。$L_a^{*}dz_1=dz_1$、$L_a^{*}dz_2=dz_2$、$L_a^{*}dz_3=dz_3+a_1dz_2$ なので $$ L_a^{*}\omega_3=dz_3+a_1\,dz_2-(z_1+a_1)\,dz_2=\omega_3 $$ です。係数が正則な $(1,0)$ 形式なので正則 1 形式で、不変なので商に降ります。 (b) $d\omega_3=-dz_1\wedge dz_2\ne0$ です。$\omega_3$ は $\bar\partial$ 閉ですが $\partial\omega_3\ne0$ です。 (c) $\omega_1\wedge\omega_2\wedge\omega_3=dz_1\wedge dz_2\wedge dz_3$（$z_1dz_2$ の項は $dz_2\wedge dz_2=0$ で消える）で、零点をもたない不変な正則 3 形式です。岩澤多様体はコンパクトなので、 の 5 により、その共役は $H^{0,3}$ の $0$ でない類を定め、$h^{0,3}\ge1$ です。 ## 参考文献 - D. Huybrechts, *Complex Geometry: An Introduction*, Springer, 2005 — Chapter 1 の §1.2–1.3（線型代数と局所理論）、Chapter 2 の §2.6（概複素構造と Dolbeault コホモロジー）。 - P. Griffiths, J. Harris, *Principles of Algebraic Geometry*, Wiley, 1978 — Chapter 0 の §1–2（$\bar\partial$ の Poincaré の補題）。 - L. Hörmander, *An Introduction to Complex Analysis in Several Variables*, 3rd ed., North-Holland, 1990 — Chapter I・II（Cauchy–Pompeiu の公式、コンパクト台の $\bar\partial$ 方程式と Hartogs の定理）、Chapter V（Newlander–Nirenberg の定理）。 - A. Newlander, L. Nirenberg, "Complex analytic coordinates in almost complex manifolds", *Annals of Mathematics* 65 (1957). - 小林昭七『複素幾何』岩波書店、2005 — 第 1 章・第 2 章。 - R. O. Wells, *Differential Analysis on Complex Manifolds*, 3rd ed., Springer, 2008 — Chapter I。