複素幾何学

提供: miniwiki
2018/8/19/ (日) 17:03時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内、検索

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

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

定義

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

ラインバンドルと因子

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

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

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

[math]0 \to \mathbb{Z} \to \mathcal{O} \to \mathcal{O}^* \to 0[/math]

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

[math]\operatorname{Pic}(X) \to H^2(X, \mathbb{Z})[/math]

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

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

[math]D = \sum a_i V_i, \quad a_i \in \mathbb{Z}[/math]

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

[math]\operatorname{Div}(X) \to \operatorname{Pic}(X)[/math]

を得ることができる。

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

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

複素ベクトルバンドル

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

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

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

[math]\operatorname{ch}(L) = e^{c_1(L)}[/math]

で与えられる。さらに一般的には、E をランク r のベクトルバンドルとすると、形式的な分解 [math]\sum c_i(E)t^i = \prod_1^r (1+ \eta_i t)[/math] 得て、

[math]\operatorname{ch}(E) = \sum e^{\eta_i}[/math]

とおくことができる。

調和解析からの方法

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

消滅定理

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

関連項目

参考文献

  1. ↑ この局所的に有限と言う条件は、自動的にネタースキームかコンパクト複素多様体であることを意味する。
  2. ↑ Kobayashi–Nomizu & 1996 Ch XII


「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=複素幾何学&oldid=107191」から取得