概複素構造

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

この概念は、1940年代のチャールズ・エーレスマンとハインツ・ホップによる。

1. 定義
-----

滑らかな多様体 M に対し、接バンドル TM 上の自己同型写像 J: TM → TM で を満たすものを、多様体 M の概複素構造という。ここで、idTM は TM 上の恒等写像を表す。概複素構造を持つ多様体を概複素多様体と言う。言い換えると、テンソルのランクが  であり、接空間の上でベクトルバンドル同型 J   :   TM   →   TM と見なすことができ、J2   =   −1 を満たす滑らかなテンソル場 J のことである。

M が概複素構造を持つと、必然的に M の次元は偶数である。このことは次のように理解できる。M を n-次元とし、J   :   TM   →   TM を概複素構造とする。J2   =   −1 であれば、det2   =   n である。しかし、M が実多様体であれば、det は実数であるので、M が概複素構造を持っていても n は偶数であるはずである。これは向き付け可能であることと同じである。

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

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

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

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

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

3. 例
----

すべての整数 n に対して、平坦空間 R2n は概複素構造を持つ。そのような概複素構造の例は  の範囲で、奇数の i に対して 、偶数の i に対して が例である。

球面で概複素構造を持つことのできる場合は S2 と S6 だけである。S2 の場合は、概複素構造はリーマン面の上のリーマン面に付帯する複素構造から作られる。6-球面 S6 は、単位ノルムを持つ虚数八元数の集合として考えると、八元数の積から導出される概複素構造を持つ。特に、S4 は概複素構造を持つことができない。

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

ベクトル空間 V 上の複素構造より VC が V+ と V−へ分解するように、M 上の概複素構造により、複素化された接バンドル TMC は TM+ と TM− へと分解する。TM+ の切断はタイプ  のベクトル場と呼ばれ、一方、TM− はタイプ  のベクトル場と呼ばれる。このように J は 複素化された接バンドルの -ベクトル場上の i と -ベクトル場上の -i を掛けることに対応する。

余接バンドル上の外積代数から微分形式を作ったように、複素化された余接バンドルの外積代数を作ることができる。概複素構造より r-形式のそれぞれの空間の分解を次の式のように導くことができる。

言い換えると、各々の ΩrC は、各々の r   =   p   +   q に対し Ω への分解する。

任意のベクトルバンドルの直和に対し、ΩrC から Ω への標準的な射影が存在する。また、ΩrC を Ωr+1C もあり、外微分と呼ばれる。このように、概複素構造を使い、不定な形の外微分の作用を精密化することもできるかもしれない。

この場合には、 がタイプの中の正則部分を一つ増やして、タイプ  からタイプ  となり、 が反正則部分のタイプを一つ増やすような写像となる。これらの作用素はドルボー作用素と呼ばれる。

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

5. 可積分概複素構造
-----------

複素多様体はすべて概複素多様体である。局所正則座標 において、次の写像を定義できるからである。

 あるいは、

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

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

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

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

ベクトル場のリー括弧を一般化したフローリッヒ・ナイエンハンスの括弧の項で、ナイエンハンステンソル NA はちょうど [A,   A] の半分である。

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

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

2つの -ベクトル場のリーの括弧は、再び、タイプ  である
これらの条件は、一意に整合性を持つ複素構造の存在を意味する。

概複素構造の存在は、トポロジカルな問題であり、上記の議論したように比較的答えやすい。一方、可積分な概複素構造の存在は、非常に難しい解析的な問題である。例えば、S6 は概複素構造をもつことが知られているが、しかしいまだに、可積分な概複素構造を持つか否かは知られていない。滑らかであることは重要である。実解析的な J に対し、ニューレンダー・ニレンベルグの定理はフロベニウスの定理 から従う。C∞ (で、少なくとも滑らかな）