概複素構造

数学における多様体の概複素構造（がいふくそこうぞう、almost complex structure）は、多様体の各点での接ベクトル空間が（滑らかな）複素構造を持つことを言う。1つの多様体に対して複数の概複素構造が入る場合がある。また、複素解析的多様体は必ず概複素構造をもつ一方で、概複素構造を持ちながら複素解析的多様体とならないものが存在する。概複素多様体はシンプレクティック幾何学に重要な応用を持つ。

この概念は、1940年代のテンプレート:仮リンク(Charles Ehresmann)とテンプレート:仮リンク(Heinz Hopf)による。

定義

滑らかな多様体 M に対し、テンプレート:仮リンク TM 上の自己同型写像 J: TM → TM で テンプレート:Indent</math>}} を満たすものを、多様体 M の概複素構造(almost complex structure)という。ここで、id_TM は TM 上の恒等写像を表す。概複素構造を持つ多様体を概複素多様体と言う。

言い換えると、テンプレート:仮リンクが (1, 1) であり、接空間の上でベクトルバンドル同型 J : TM → TM と見なしことができ、J² = −1 を満たす滑らかなテンソル場(tensor field) J のことである。

M が概複素構造を持つと、必然的に M の次元は偶数である。このことは次のように理解できる。M をn-次元とし、J : TM → TM を概複素構造とする。すると det(J−xI) は次数が n の x の多項式である。n が奇数であると、実根を z を持つ。すると det(J−zI) = 0 であるので、ベクトル v が TM 上に存在し、 Jv = zv となるので、JJv = z²v となり、このことが z が実数であれば −v に等しいことはありえないので矛盾する。このように n は、M が概複素構造を持つ限り、偶数であるはずである。また、同様に向き付け可能であるはずである。

簡単な線型代数の演習として、任意の偶数次元のベクトル空間には線型複素構造が入ることを示すことができる。従って、偶数次元の多様体はいつも (1, 1) ランクのテンソルを各点ごとに持っていて、各々の点で J_p² = −1 を満たす。この局所テンソルを互いに貼り合わせて大域的に定義することができるときだけ、各点ごとに定義された線型複素構造は概複素構造を与える。これらの貼り合わせ可能性は、それはM 上に概複素構造が存在する可能性でもあるが、接バンドルに GL(2n, R) から GL(n, C) へテンプレート:仮リンクが起きる場合と同値である。従って、（概複素構造の）存在問題は、純粋に代数トポロジーの問題として良く理解されている。

シンプレクティック多様体上の概複素構造

(M, ω) をシンプレクティック多様体とする。このとき、次の条件を満たす概複素構造 J: TM → TM と M のリーマン計量 g が存在する：

• <math>g_{x}(X,Y) = \omega_{x}(X,JY), \quad X,Y \in T_{x}M,</math>
• <math>g_{x}(JX,JY) = g_{x}(X,Y), \quad X,Y \in T_{x}M.</math>

このとき、J と g をそれぞれシンプレクティック形式 ω と両立する概複素構造、計量という。ただし、ω と両立する概複素構造は一意には決まらない。

いま、ω と両立する概複素構造全体のなす集合を J(M, ω) と表すことにする。集合 J(M, ω) は空集合ではなく、可縮である。すなわち、J(M, ω) 内の連続曲線は 1点に連続変形可能である。これより、第一チャーン類 c₁(TM, J) ∈ H²(M, Z) が概複素構造 J ∈ J(M, ω) の取り方によらず定まる。ここで、H²(M, Z) は M の整数係数の2次のホモロジー類(homology class)を表す。

例

すべての整数 n に対して、平坦空間 R²ⁿ は概複素構造を持つ。そのような概複素構造の例は (1 ≤ i, j ≤ 2n) の範囲で、奇数の i に対して <math>J_{ij} = -\delta_{i,j-1} </math>、偶数の i に対して <math>J_{ij} = \delta_{i,j+1} </math> が例である。

球面で概複素構造を持つことのできる場合は S² と S⁶ だけである。S² の場合は、概複素構造はリーマン面の上のリーマン面に付帯する(honest)複素構造から作られる。6-球面(sphere) S⁶ は、単位ノルムを持つ虚数八元数の集合として考えると、八元数の積から導出される概複素構造を持つ。特に、S⁴ は概複素構造を持つことができない（エーレスマンとホップ(Eresmann and Hopf)）。

概複素構造の微分トポロジー

ベクトル空間 V 上の複素構造より V^C が V⁺ と V⁻（ +i と -i に対応するそれぞれの J の固有値）へ分解するように、M 上の概複素構造により、複素化された接バンドル TM^C（各々の点での複素化された接空間のベクトルバンドル） は TM⁺ と TM⁻ へと分解する。TM⁺ の切断はタイプ (1, 0) のベクトル場と呼ばれ、一方、TM⁻ はタイプ (0, 1) のベクトル場と呼ばれる。このように J は 複素化された接バンドルの (1, 0)-ベクトル場上の i と (0, 1)-ベクトル場上の -i を掛けることに対応する。

テンプレート:仮リンク上の外積代数(exterior powers)から微分形式を作ったように、複素化された余接バンドルの外積代数を作ることができる（複素化された接バンドルの双対空間のバンドルに標準的に同型である）。概複素構造より r-形式のそれぞれの空間の分解を次の式のように導くことができる。

<math>\Omega^r(M)^\mathbf{C}=\bigoplus_{p+q=r} \Omega^{(p,q)}(M).</math>

言い換えると、各々の Ω^r(M)^C は、各々の r = p + q に対し Ω^(p, q)(M) への分解する。

任意のテンプレート:仮リンクに対し、Ω^r(M)^C から Ω^(p,q) への標準的な射影が存在する。また、Ω^r(M)^C を Ω^r+1(M)^C もあり、外微分と呼ばれる。このように、概複素構造を使い、不定な形の外微分の作用を精密化することもできるかもしれない。

<math>\partial=\pi_{p+1,q}\circ d</math>

<math>\overline{\partial}=\pi_{p,q+1}\circ d</math>

この場合には、<math>\partial</math> がタイプの中の正則部分を一つ増やして、タイプ (p, q) からタイプ (p+1, q) となり、 <math>\overline{\partial}</math> が反正則部分のタイプを一つ増やすような写像となる。これらの作用素はテンプレート:仮リンクと呼ばれる。

すべての射影の和は、恒等写像であるはずであるから、外積の微分は次のように書かれることに注意する。

<math>d=\sum_{r+s=p+q+1} \pi_{r,s}\circ d=\partial + \overline{\partial}+\dotsb.</math>

可積分概複素構造

複素多様体はすべて概複素多様体である。局所正則座標 <math>z^\mu = x^\mu + i y^\mu</math> において、次の写像を定義できるからである。

<math>J\frac{\partial}{\partial x^\mu} = \frac{\partial}{\partial y^\mu} \qquad J\frac{\partial}{\partial y^\mu} = -\frac{\partial}{\partial x^\mu}</math>

(ここで π/2 は反時計まわりの回転とする) あるいは、

<math>J\frac{\partial}{\partial z^\mu} = i\frac{\partial}{\partial z^\mu} \qquad J\frac{\partial}{\partial \bar{z}^\mu} = -i\frac{\partial}{\partial \bar{z}^\mu}.</math>

この写像が概複素構造を定義することは容易にチェックできる。このように、多様体上の任意の複素構造は概複素構造を定義し、この概複素構造を複素構造によって「引き起こされた」といい、複素構造を概複素構造と「整合性を持っている」と言う。

逆の質問になるが、概複素構造が複素構造の存在を意味するかどうかは、全く自明なことではなく、一般には正しくない。任意の概複素構造の上で、概複素構造が上記の標準形式を任意の与えられた点 p でもつような座標を見つけることができる。しかし一般には、J が p の完全な近傍で標準形式をとるような座標を見出すことが不可能である。そのような座標は、もし存在するとしたら、「J の局所正則座標」と呼ぶ。M がすべての点で J の局所正則座標を持つようであれば、これらを貼り合わせて M に複素構造を与え、さらに J を引き起こすような正則テンプレート:仮リンクを形成する。よって J はテンプレート:仮リンク(integrable)という。J が複素構造によって引き起こされたのであれば、唯一の複素構造によってのみ J が引き起こされる。

M の各々の接空間上に任意の線型写像 A が与えられると、つまり、A はランク (1, 1) のテンソル場であるとすると、ナイエンハンステンソル(Nijenhuis tensor)はランク (1,2) のテンソル場で、次の式で与えられる。

<math> N_A(X,Y) = -A^2[X,Y]+A([AX,Y]+[X,AY]) -[AX,AY].</math>

右辺の個別の表現は、滑らかなベクトル場 X と Y の選択に依存しているが、左辺は実際、X と Y の点の値にのみ依存している。これが N_A がテンソルである理由である。このことは次の成分公式からも明らかである。

<math> -(N_A)_{ij}^k=A_i^m\partial_m A^k_j -A_j^m\partial_mA^k_i-A^k_m(\partial_iA^m_j-\partial_jA^m_i).</math>

ベクトル場のリー括弧を一般化したテンプレート:仮リンク(Frölicher–Nijenhuis bracket)の項で、ナイエンハンステンソル N_A はちょうど [A, A] の半分である。

ニューランダー・ニレンベルグの定理(Newlander–Nirenberg theorem)は、概複素構造 J が可積分であることと、N_J = 0 であることは同値であることを言っている。上で議論したように、整合性のある複素構造は一意である。可積分な概複素構造の存在と、複素構造の存在は同値であるので、これは複素構造の定義に使われるときもある。

ナイエンハウステンソルがゼロになること、従ってこれと同値ないくつかの他の基準も存在していて、概複素構造の可積分性をチェックする方法が確立している（実際、これらのそれぞれは文献の中にあります）。

• 2つの (1, 0)-ベクトル場のリーの括弧は、再び、タイプ (1, 0) である
• <math>d = \partial + \bar\partial</math>
• <math>\bar\partial^2=0</math>

これらの条件は、一意に整合性を持つ複素構造の存在を意味する。

概複素構造の存在は、トポロジカルな問題であり、上記の議論したように比較的答えやすい。一方、可積分な概複素構造の存在は、非常に難しい解析的な問題である。例えば、S⁶ は概複素構造をもつことが知られているが、しかしいまだに、可積分な概複素構造を持つか否かは知られていない。滑らかであることは重要である。実解析的な J に対し、ニューレンダー・ニレンベルグの定理はテンプレート:仮リンク(Frobenius theorem)から従う。C^∞ (で、少なくとも滑らかんな） J が解析では要求される（テクニカルなより難しい要求としては、正規性仮説により弱めることができる）。

整合性を持つ三つ組

M はシンプレクティック形式 ω を持ち、リーマン計量 g を持ち、概複素構造 J を持っているとする。ω と g 非退化であるから、それぞれはバンドル同型 TM → T*M を引き起こし、第一の写像を φ_ω と書くと、内積 φ_ω(u) = i_uω = ω(u, •) により与えられる。他方、φ_g と書き、ｇ の類似した作用素により与えられる。このように理解すると、三つ組の構造 (g, ω, J) は、次のように他の2つによってそれぞれの構造を特定することができるときに、整合性を持つ三つ組(compatible triple)を形成すると言う。

• g(u, v) = ω(u, Jv)
• ω(u, v) = g(Ju, v)
• J(u) = (φ_g)⁻¹(φ_ω(u)).

これらの等式のそれぞれで、対応する構成が特定されたタイプの構造をしているとき、右辺の 2つの構造は整合性を持っていると言う。例えば、ω と J が整合性を持っていることと、ω(•, J•) がリーマン計量であることは同値である。M 上の切断が ω と整合性を持っているバンドルは、可縮なファイバー(contractible fibres)を持っているといい、シンプレクティック形式の制限と整合性を持っている接ベクトル上の複素構造である。

シンプレクティック形式 ω の基本的性質を使い、整合性を持つ概複素構造 J はリーマン計量 ω(u, Jv) に対してのテンプレート:仮リンク(almost Kähler structure)である。また J が可積分であれば、(M, ω, J) はケーラー多様体である。

これらの三つ組は、ユニタリ群の性質に関係している。

一般化された概複素構造

テンプレート:仮リンク(Nigel Hitchin)は、多様体 M の上の一般化された概複素構造の考えを導入し、彼の学生であるテンプレート:仮リンク(Marco Gualtieri)とテンプレート:仮リンク(Gil Cavalcanti)の博士論文で詳述さえれた。通常の概複素構造は、複素化された接バンドル TM の各々のファイバーの部分空間の半分の次元の選択である。一般化された概複素構造は、複素化された接バンドルとテンプレート:仮リンクの直和の各々のファイバーの次元が半分の等方的(isotropic)な部分空間の選択を言う。どちらの場合も、テンプレート:仮リンクとその複素共役の直和が、元のバンドルとなっていることを要求する。

概複素構造を複素構造とするには、半分の次元の空間がリー括弧の下で閉じている必要がある。一般化された概複素構造も一般化された複素構造とするためには、テンプレート:仮リンクの下で閉じている必要がある。さらに、この半分の次元の空間がどこでもゼロとならないテンプレート:仮リンクの消滅子(annihilator)であるとき、M は一般化されたカラビ・ヤウ多様体である。

参照項目

• チャーン類
• テンプレート:仮リンク(Frölicher–Nijenhuis bracket)
• ケーラー多様体
• ポアソン多様体
• シンプレクティック多様体
• テンプレート:仮リンク(Rizza manifold)
• テンプレート:仮リンク(Almost quaternionic manifold)

参考文献

• テンプレート:Citation
• da Silva, A.C., Lectures on Symplectic Geometry, Springer (2001). ISBN 3-540-42195-5. Information on compatible triples, Kähler and Hermitian manifolds, etc.
• Wells, R.O., Differential Analysis on Complex Manifolds, Springer-Verlag, New York (1980). ISBN 0-387-90419-0. Short section which introduces standard basic material.