複素幾何学

数学では、複素幾何学（ふくそきかがく、complex geometry）は複素多様体や多変数複素函数の研究をする。複素解析における幾何学的な側面であるは代数幾何学への超越な応用は、この分野に属する。 本記事を通して、「解析的」という用語は簡単のために省略することがある。例えば、部分多様体や超曲面は、「解析的」という形容詞は省略する。また、他の記事の使いかたに従い、多様体(variety)は既約(irreducible)であることを仮定する。 複素解析的多様体 M の解析的部分集合(analytic subset)は、局所的には M 上の正則函数の族の零点の軌跡である。解析的部分集合がザリスキー位相で既約のときに、解析的部分多様体という。 このセクションは改善の必要がある。理由は、シンボル O , O ∗ {\displaystyle {\mathcal {O}},{\mathcal {O}}^{*}} や M {\displaystyle {\mathcal {M}}} が定義なしで使われている。 O ∗ {\displaystyle {\mathcal {O}}^{*}} は X 上の正則函数の層 O {\displaystyle {\mathcal {O}}} の 0 にならない函数の部分層なのであろうか？というような疑問がある。date：May 2014 このセクションでは、X を複素多様体を表すとする。「射影多様体」の中のパラグラフ「ラインバンドルと因子」の定義に従い、X 上の正則函数を O {\displaystyle {\mathcal {O}}} 、その可逆な元からなる部分層を O ∗ {\displaystyle {\mathcal {O}}^{*}} と書く。 U i {\displaystyle U_{i}} を X 上のアフィンチャートとしたときの U {\displaystyle U} から Γ ( U , O X ) {\displaystyle \Gamma (U,{\mathcal {O}}_{X})} の分数の全体の環に付随する X 上の層を M X {\displaystyle {\mathcal {M}}_{X}} とする。すると、 M X ∗ / O X ∗ {\displaystyle {\mathcal {M}}_{X}^{*}/{\mathcal {O}}_{X}^{*}} の大域切断（* は乗法群を表す）を X 上のカルティエ因子と呼ぶ。 Pic ⁡ ( X ) {\displaystyle \operatorname {Pic} (X)} を X 上のラインバンドルの全ての同型類の集合とする。これを X のピカール群と呼び、自然に H 1 ( X , O ∗ ) {\displaystyle H^{1}(X,{\mathcal {O}}^{*})} と同型となる。短完全系列 0 → Z → O → O ∗ → 0 {\displaystyle 0\to \mathbb {Z} \to {\mathcal {O}}\to {\mathcal {O}}^{*}\to 0} をとる。ここに二番目の写像は f ↦ exp ⁡ ( 2 π i f ) {\displaystyle f\mapsto \exp(2\pi if)} とする。この短完全系列は群の準同型 Pic ⁡ ( X ) → H 2 ( X , Z ) {\displaystyle \operatorname {Pic} (X)\to H^{2}(X,\mathbb {Z} )} を意味し、この写像のラインバンドル L {\displaystyle {\mathcal {L}}} の像は c 1 ( L ) {\displaystyle c_{1}({\mathcal {L}})} で表され、 L {\displaystyle {\mathcal {L}}} の第一チャーン類と呼ばれる。 X 上の因子 D とは、超曲面（1-次元の部分多様体）の局所的には有限和となる形式和 D = ∑ a i V i , a i ∈ Z {\displaystyle D=\sum a_{i}V_{i},\quad a_{i}\in \mathbb {Z} } である。 X 上の全ての因子の集合は、 Div ⁡ ( X ) {\displaystyle \operatorname {Div} (X)} で表される。この条件は H 0 ( X , M ∗ / O ∗ ) {\displaystyle H^{0}(X,{\mathcal {M}}^{*}/{\mathcal {O}}^{*})} と同一視することができる。商 M ∗ / O ∗ {\displaystyle {\mathcal {M}}^{*}/{\mathcal {O}}^{*}} の長完全系列をとると、準同型 Div ⁡ ( X ) → Pic ⁡ ( X ) {\displaystyle \operatorname {Div} (X)\to \operatorname {Pic} (X)} を得ることができる。 第一チャーン類が閉じた正定値の実形式 ( 1 , 1 ) {\displaystyle (1,1)} -形式であるとき、ラインバンドルは正のラインバンドルであるという。同じことであるが、グリフィスの正(Griffiths-positive)である誘導された曲率を持つエルミート構造とできる場合に、ラインバンドルは正であるという。正のラインバンドルを持つことができる複素多様体をケーラーであるという。 小平埋め込み定理は、コンパクトなケーラー多様体上のラインバンドルが正であることと、ラインバンドルが豊富であることとは同値であるという定理である。 X を微分可能多様体とする。複素ベクトルバンドル π : E → X {\displaystyle \pi :E\to X} の基本不変量はバンドルのチャーン類である。定義により、チャーン類は、 c i ( E ) {\displaystyle c_{i}(E)} が H 2 i ( X , Z ) {\displaystyle H^{2i}(X,\mathbb {Z} )} の元であり、次の公理をみたすような数列 c 1 , c 2 , … {\displaystyle c_{1},c_{2},\dots } ことである。 任意の微分可能写像 f : Z → X {\displaystyle f:Z\to X} に対し、 c i ( f ∗ ( E ) ) = f ∗ ( c i ( E ) )   . {\displaystyle c_{i}(f^{*}(E))=f^{*}(c_{i}(E))\ .} c ( E ⊕ F ) = c ( E ) ∪ c ( F ) {\displaystyle c(E\oplus F)=c(E)\cup c(F)} ここに、F は E と異なるバンドルで c = 1 + c 1 + c 2 + … {\displaystyle c=1+c_{1}+c_{2}+\dots } とする。 i > rk ⁡ E {\displaystyle i>\operatorname {rk} E} に対し、 c i ( E ) = 0   . {\displaystyle c_{i}(E)=0\ .} E 1 {\displaystyle E_{1}} を C P 1 {\displaystyle \mathbb {C} \mathbf {P} ^{1}} 上の標準バンドルとすると、 − c 1 ( E 1 ) {\displaystyle -c_{1}(E_{1})} は H 2 ( C P 1 , Z ) {\displaystyle H^{2}(\mathbb {C} \mathbf {P} ^{1},\mathbb {Z} )} を生成する。 L をラインバンドルとすると、L のチャーン指標は、 ch ⁡ ( L ) = e c 1 ( L ) {\displaystyle \operatorname {ch} (L)=e^{c_{1}(L)}} で与えられる。さらに一般的には、E をランク r のベクトルバンドルとすると、形式的な分解 ∑ c i ( E ) t i = ∏ 1 r ( 1 + η i t ) {\displaystyle \sum c_{i}(E)t^{i}=\prod _{1}^{r}(1+\eta _{i}t)} 得て、 ch ⁡ ( E ) = ∑ e η i {\displaystyle \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)