一般化された複素構造
数学の微分幾何学において、一般化された複素構造(いっぱんかされたふくそこうぞう、generalized complex structure)とは、可微分多様体の持つある種の性質をいう。その特別な場合として複素構造やシンプレクティック構造が現れることがある。一般化された複素構造は、2002年にニージェル･ヒッチンにより導入され、さらに彼の学生であったマルコ･グァルティエリとギル･カバルカントにより発展した。
最初は、この構造は微分形式の汎函数による特徴付けというヒッチンのプログラムから発生した。この構造は、2004年のロベルト・ダイクラーフ、セルゲイ･グーコフ、アンドリュー･ナイツケとカムラン・ヴァッファの位相弦の理論は位相的M-理論の特別な場合ではないかという提案の基礎となった。今日、一般化された複素構造は、物理的な弦理論で超対称性をもつフラックスコンパクト化で主要な役目を果たしている。フラックスコンパクト化は、10次元の物理を4-次元の我々のような世界へ関連付けるのであるが、(ツイストする必要がある)一般化された複素構造を必要とする。
N-次元多様体 M を考える。 M の接バンドルT とは、ファイバーが M のすべての接ベクトルからなるような M 上のベクトルバンドルのことである。このとき、T の切断は M 上のベクトル場である。M の余接バンドルをT*と書く。これは、その切断が M 上の1-形式となるような M 上のベクトルバンドルである。
複素幾何学では多様体の接バンドルの上の構造を考える。シンプレクティック幾何学では、代わりに、余接バンドルの外冪に注目する。一般化された複素構造では、これらの2つの分野を複素数の上で接バンドルと余接バンドルの直和 (T \oplusT*) の切断として扱うことで、2つの分野を統一して表す。それらは複素ベクトル場と複素1-形式との形式的な和である。接バンドルと余接の直和のことを、一般化された接バンドルと言う。
ファイバーは複素符号を持つ内積 (N, N) が与えられていて、X と Y がベクトル場で、ξ と η が 1-形式であれば、X+ξ と Y+ηの内積は次のように定義される。
\langle X+\xi,Y+\eta\rangle=\frac{1}{2}(\xi(Y)+\eta(X))
一般化された概複素構造 は、まさに次の自然な内積を保つ一般化された接バンドルの概複素構造である。自然な内積とは、
{\mathcal J}: \mathbf{T}\oplus\mathbf{T}^*\rightarrow \mathbf{T}\oplus\mathbf{T}^*
{\mathcal J}^2=-{\rm Id},\ \ \mbox{ and }\ \ \langle {\mathcal J}(X+\xi),{\mathcal J}(Y+\eta)\rangle=\langle X+\xi,Y+\eta\rangle.
を満たすものを言う。
通常の概複素構造の場合のように、一般化された概複素構造は、一意に \sqrt{-1}-固有バンドルであり、複素化した一般化接バンドル (\mathbf{T}\oplus\mathbf{T}^*)\otimes\mathbb{C}
の部分バンドルとなる。これは、
L=\{X+\xi\in (\mathbf{T}\oplus\mathbf{T}^*)\otimes\mathbb{C}\  :\  {\mathcal J}(X+\xi)=\sqrt{-1}(X+\xi)\}
で与えられる。この部分バンドル L は次の性質を持つ。
(i) 複素共役との交叉はゼロセクション: L\cap\overline{L}=0 である。
(ii) L は 最大イソトロピック、つまり、複素ランクが N に等しく、全ての \ell,\ell'\in L. に対し \langle\ell,\ell'\rangle=0 となる。
逆に、(i)と(ii)を満たす L は一意な一般化された複素構造の \sqrt{-1}-固有バンドルであり、したがって性質 (i)と(ii) は一般化された概複素構造のもう一つの定義と考えることもできる。
通常の複素幾何学では、概複素構造が複素構造となる条件である可積分性は、正則な部分バンドルの切断と他の正則な部分バンドルの切断とのリーブラケットとなっていることと同値である。
一般化された複素幾何学では、ベクトル場というよりも、ベクトル場と1-形式との直和に注目している。そのような形式的な和のリーブラケットは1990年に導入され、次の式で定義され、クーランブラケットと呼ばれる。
[X+\xi,Y+\eta]=[X,Y]
+\mathcal{L}_X\eta-\mathcal{L}_Y\xi
-\frac{1}{2}d(i(X)\eta-i(Y)\xi)
ここに \mathcal{L}_X はベクトル場 X にそったリー微分で、d は外微分で、i は内積である。
一般化された複素構造は、滑らかな L の切断の空間が、クーランブラケットの下に閉じているような 一般化された概複素構造のことを言う。
最大イソトロピック部分バンドル L(E,ε) の type とは、E をゼロにする部分バンドルの実次元のことを言う。同じことではあるが、タイプは 2N 接バンドルから T の上への L(E,ε) の射影の実次元である。言い換えると、最大イソトロピック部分バンドルのタイプは、接バンドル上への部分バンドルの余次元である。複素多様体の場合は、複素次元を使い 複素タイプ という時もある。原理的に、部分バンドルのタイプは 0 and 2N の間の任意の整数となることが可能ではあるが、一般化された概複素構造では N よりも大きなタイプを持つことができない。理由は、部分バンドルと部分バンドルの複素共役の和が (T\oplus
T*)\otimesC の全体の次元である必要があるからである。
最大イソトロピック部分バンドルのタイプは、微分同相の下に不変で、また B-場(カルブ-ラモン場ともいう)のシフトの下にも不変である。B-場は、次の形式 T\oplusT* の等長写像である。
X+\xi\longrightarrow X+\xi+i_XB
ここに B は任意の閉 2-形式である。この形式で表されるので、弦理論の脈絡では、B-場と呼ばれてきた。
一般化された概複素構造のタイプは、一般には定数ではなく、偶数の整数の間をジャンプすることができるが、上半連続となっている。これは各々の点は、タイプが減少することができない開近傍を持っていることを意味する。実際には、このことは、正の余次元を持つ部分多様体上では、周りのタイプよりも大きな部分集合が発生することを意味している。
最大イソトロピック部分空間 L の実インデックス r は、 L と L の複素共役との交叉の複素次元である。(T\oplus T*) \otimes C の最大イソトロピック部分空間が一般化された概複素構造であることと、r = 0 とは同値である。
通常の複素幾何学では、一般化された概複素構造と複素ラインバンドルの間に対応関係がある。特別な一般化された概複素構造に対応する複素ラインバンドルは、しばしば 標準バンドル と言われる。通常の場合の標準バンドルを一般化したからである。その切断がピュアスピノルであることから、ピュアスピノルバンドルと呼ばれることもある。
標準バンドルは M 上の複素微分形式のバンドル Λ*T\otimesC の複素次元1の部分バンドルである。ガンマ行列が微分形式とスピノルの間の同型を定義することを思い起こすと、特に偶数と奇数の微分形式は、ワイルスピノルの2つのカイラリティの間の写像である。ベクトルは内積により与えられる微分形式の上へ作用する。1-形式はウェッジ積により微分形式に作用する。このように、バンドル (T \oplus T*) \otimes C の切断は、微分形式の上へ作用する。この作用は、スピノルのクリフォード代数の表現である。
スピノルがクリフォード代数の生成の半分によりゼロとなるときに、ピュアスピノルと言う。スピノルはバンドル Λ*T の切断で、クリフォード代数の生成子はバンドル (T \oplus T*) \otimes C のファイバーである。従って、ピュアスピノルが与えられると、半分の次元の部分バンドル E of (T \oplus T*) \otimes C をゼロにする。そのような部分バンドルは、いつでもイソトロピックであるので、概複素構造を定義するためには、E と E の複素共役の和が (T \oplus T*) \otimes C のすべてとなるようにすればよいだけである。これはピュアスピノルのウェッジ積についてはいつでも正しく、ピュアスピノルの複素共役は最上位の次元の成分をもっている。従って、そのようなピュアスピノルは、一般化された概複素構造を決定する。
一般化された概複素構造が与えられると、ピュアスピノルを任意の複素函数による掛け算による差異を無視すると一意に決定することができる。これらのピュアスピノルの選択は標準バンドルの切断で定義される。
特別な複素構造を決定するピュアスピノルが完全形式で閉じている、もしくはより一般的に、ピュアスピノルの外微分がガンマ行列の作用に等価であるとすると、概複素構造は可積分になり、そのようなピュアスピノルは一般化された複素構造に対応する。
さらに、標準バンドルが正則で自明であれば(閉形式である大域的な切断であることを意味する)、一般化されたカラビ-ヤウ構造を決定し、M を一般化されたカラビ-ヤウ多様体と言う。
複素微分形式 Λ*T\otimesC の空間は、C の中の複素共役によって複素共役作用素を持つ。このことにより、正則と反正則である 1-形式と (m, n)-形式を定義する。これらの微分形式は、m 個の正則成分と n 個の反正則成分をもっている、同次多項式である。特に、すべての (n,0)-形式は、複素函数との積に局所的に関連しており、従ってそれらは複素直線バンドルを形成する。
(n,0)-形式は反正則接ベクトルや正則1-形式でゼロとなるので、ピュアスピノルである。このようにこのラインバンドルは、一般複素構造を定義する標準バンドルとして使うことができる。消滅因子(annihilator)を (T\oplus
T*)\otimesC から複素化された接バンドルへ限定すると、反正則ベクトルバンドルの部分空間を得る。従って、(T\oplus
T*)\otimesC の上の一般化された複素構造は、通常の接バンドル上の複素構造を定義する。
ベクトル場の基底のちょうど半分は正則なので、これらの複素構造はタイプ N である。実際、複素多様体と、複素数と \partial-閉 (2,0)-形式により定義される複素多様体のピュアスピノルをかけて得られる複素多様体は、タイプ N の一般化された複素多様体となる。
非退化 2-形式 ω に対し、
\phi=e^{i\omega}
で生成されるスピノルバンドルは、接空間上のシンプレクティック構造を定義する。これより、シンプレクティック多様体も一般化された複素構造である。
上記のピュアスピノル \phi は大域的に定義されているので、標準バンドルは自明である。このことはシンプレクティック多様体は一般化された複素多様体であるのみならず、さらに一般化されたカラビ-ヤウ多様体であることを意味する。
ピュアスピノル \phi は、B-場のシフトの虚部の数に一致するピュアスピノルに関係している。B-場はケーラー形式のシフトでもある。従って、これらの一般化された複素構造のタイプは、対応するスカラーピュアスピノルのタイプと一致する。スカラーは全接空間によってゼロとなるので、これらの構造はタイプ 0 である。
B-場のシフトは、閉じた実2-形式の指数にピュアスピノルをかけたものであるが、このB-場のシフトによる差異を無視した場合、シンプレクティック多様体は、タイプ 0 の一般化された複素多様体となる。B-場のシフトによる差異を無視したシンプレクティックである多様体は B-シンプレクティック と呼ばれることもある。
一般化された複素構造幾何学の概に当たる構造のいくつかは、G-構造のことばで言い換えることができる。｢概｣という単語は、可積分性を持つと付かない。
上記の内積を持つバンドル (T\oplusT*) \otimes C は、 O(2n, 2n) 構造をもっている。一般化された概複素構造は、この構造を U(n, n) 構造へ退化させたものである。従って、一般化された複素構造の空間は、コセット
\frac{O(2n,2n)}{U(n,n)}.
となる。
一般化された概ケーラー構造は、対応するテンソルの積のマイナスが (T\oplus
T*)\otimesC の上の正定値計量であるような可換な作用をもつ一般化された複素構造のペアである。
一般化された概ケーラー構造は、構造群を U(n)\timesU(n) まで退化させた構造である。一般化されたケーラー多様体と、そのツイストした相手は、双エルミートな多様体に同値である。これは1984年に、シルベスター・ジェームズ・ゲーツ, クリス・ハル と マルチン・ロツェックにより、2-次元超対称な量子場の理論の脈絡で発見された。
最後に、一般化された概カラビヤウ計量構造は、さらに構造群が SU(n)\timesSU(n) へ退化する。
グァルティエリが導入した一般化されたカラビ計量は、ヒッチンにより導入された一般化されたカラビ-ヤウ計量構造よりも強い条件になっている。特に、一般化されたカラビ-ヤウ計量構造は、2つの可換な一般化された概複素構造の存在を意味する。