複素幾何学

数学では、複素幾何学（ふくそきかがく、complex geometry）は複素多様体や多変数複素函数の研究をする。複素解析における幾何学的な側面であるは代数幾何学への超越な応用は、この分野に属する。

本記事を通して、「解析的」という用語は簡単のために省略することがある。例えば、部分多様体や超曲面は、「解析的」という形容詞は省略する。また、他の記事の使いかたに従い、多様体(variety)は既約(irreducible)であることを仮定する。

定義

複素解析的多様体 M の解析的部分集合(analytic subset)は、局所的には M 上の正則函数の族の零点の軌跡である。解析的部分集合がザリスキー位相で既約のときに、解析的部分多様体という。

ラインバンドルと因子

このセクションは改善の必要がある。理由は、シンボル ${\mathcal {O}},{\mathcal {O}}^{*}$ や ${\mathcal {M}}$ が定義なしで使われている。${\mathcal {O}}^{*}$ は X 上の正則函数の層 ${\mathcal {O}}$ の 0 にならない函数の部分層なのであろうか？というような疑問がある。date：May 2014

このセクションでは、X を複素多様体を表すとする。「射影多様体」の中のパラグラフ「ラインバンドルと因子」の定義に従い、X 上の正則函数を ${\mathcal {O}}$、その可逆な元からなる部分層を ${\mathcal {O}}^{*}$ と書く。$U_{i}$ を X 上のアフィンチャートとしたときの $U$ から $\Gamma (U,{\mathcal {O}}_{X})$ の分数の全体の環に付随する X 上の層を ${\mathcal {M}}_{X}$ とする。すると、${\mathcal {M}}_{X}^{*}/{\mathcal {O}}_{X}^{*}$ の大域切断（* は乗法群を表す）を X 上のカルティエ因子と呼ぶ。

$\operatorname {Pic} (X)$ を X 上のラインバンドルの全ての同型類の集合とする。これを X のピカール群と呼び、自然に $H^{1}(X,{\mathcal {O}}^{*})$ と同型となる。短完全系列

$0\to \mathbb {Z} \to {\mathcal {O}}\to {\mathcal {O}}^{*}\to 0$

をとる。ここに二番目の写像は $f\mapsto \exp(2\pi if)$ とする。この短完全系列は群の準同型

$\operatorname {Pic} (X)\to H^{2}(X,\mathbb {Z} )$

を意味し、この写像のラインバンドル ${\mathcal {L}}$ の像は $c_{1}({\mathcal {L}})$ で表され、${\mathcal {L}}$ の第一チャーン類と呼ばれる。

X 上の因子 D とは、超曲面（1-次元の部分多様体）の局所的には有限和となる形式和

$D=\sum a_{i}V_{i},\quad a_{i}\in \mathbb {Z}$

である。 X 上の全ての因子の集合は、$\operatorname {Div} (X)$ で表される。この条件は $H^{0}(X,{\mathcal {M}}^{*}/{\mathcal {O}}^{*})$ と同一視することができる。商 ${\mathcal {M}}^{*}/{\mathcal {O}}^{*}$ の長完全系列をとると、準同型

$\operatorname {Div} (X)\to \operatorname {Pic} (X)$

を得ることができる。

第一チャーン類が閉じた正定値の実形式 $(1,1)$-形式であるとき、ラインバンドルは正のラインバンドルであるという。同じことであるが、グリフィスの正(Griffiths-positive)である誘導された曲率を持つエルミート構造とできる場合に、ラインバンドルは正であるという。正のラインバンドルを持つことができる複素多様体をケーラーであるという。

小平埋め込み定理は、コンパクトなケーラー多様体上のラインバンドルが正であることと、ラインバンドルが豊富であることとは同値であるという定理である。

複素ベクトルバンドル

X を微分可能多様体とする。複素ベクトルバンドル $\pi :E\to X$ の基本不変量はバンドルのチャーン類である。定義により、チャーン類は、$c_{i}(E)$ が $H^{2i}(X,\mathbb {Z} )$ の元であり、次の公理をみたすような数列 $c_{1},c_{2},\dots$ ことである。

1. 任意の微分可能写像 $f:Z\to X$ に対し、$c_{i}(f^{*}(E))=f^{*}(c_{i}(E))\ .$
2. $c(E\oplus F)=c(E)\cup c(F)$ ここに、F は E と異なるバンドルで $c=1+c_{1}+c_{2}+\dots$ とする。
3. $i>\operatorname {rk} E$ に対し、$c_{i}(E)=0\ .$
4. $E_{1}$ を $\mathbb {C} \mathbf {P} ^{1}$ 上の標準バンドルとすると、$-c_{1}(E_{1})$ は $H^{2}(\mathbb {C} \mathbf {P} ^{1},\mathbb {Z} )$ を生成する。

L をラインバンドルとすると、L のチャーン指標は、

$\operatorname {ch} (L)=e^{c_{1}(L)}$

で与えられる。さらに一般的には、E をランク r のベクトルバンドルとすると、形式的な分解 $\sum c_{i}(E)t^{i}=\prod _{1}^{r}(1+\eta _{i}t)$ 得て、

$\operatorname {ch} (E)=\sum e^{\eta _{i}}$

とおくことができる。

調和解析からの方法

調和解析を用いて得られる複素幾何学の深い結果がいくつかある。

消滅定理

コンパクトと非コンパクトの双方の複素多様体に対し、消滅定理のいくつかのバージョンがある。しかし、全てボホナーの方法(Bochner method)をベースとしている。

関連項目

• 双ベクトル(Bivector (complex))
• 複素構造変形(Deformations of complex manifolds)
• 複素解析空間
• GAGA
• 多変数複素函数
• 複素射影空間
• 複素曲面と代数曲面のリスト(List of complex and algebraic surfaces)
• エンリケス・小平の分類
• ケーラー多様体
• シュタイン多様体
• 擬凸性
• 小林計量
• 射影多様体
• クザン問題
• カルタンの定理 A, B
• ハルトークスの定理
• カラビ・ヤウ多様体
• ミラー対称性
• エルミート対称空間(Hermitian symmetric space)
• 複素リー群(Complex Lie group)
• ホップ多様体(Hopf manifold)
• ホッジ分解
• 小林・ヒッチン対応
• 正則ヒッグスペア(Holomorphic Higgs pairs)
• レロン数(Lelong number)
• 乗数イデアル(Multiplier ideal)

参考文献

• Huybrechts, Daniel (2005). Complex Geometry: An Introduction. Springer. ISBN 3-540-21290-6 
• Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-05059-9, MR1288523 
• Hörmander, Lars (1990) [1966], An Introduction to Complex Analysis in Several Variables, North–Holland Mathematical Library, 7 (3rd (Revised) ed.), Amsterdam–London–New York–Tokyo: North-Holland, ISBN 0-444-88446-7, MR1045639, Zbl 0685.32001 
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 1 (New ed.), Wiley Interscience, ISBN 0-471-15733-3 
• Kobayashi, S.; Nomizu, K. (1963), Foundations of Differential Geometry, Vol. 2, Wiley-Interscience (new ed. 2004発行) .
• E. H. Neville (1922) Prolegomena to Analytical Geometry in Anisotropic Euclidean Space of Three Dimensions, Cambridge University Press.