ヒッチン汎函数
原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 |
ヒッチン汎函数(英: Hitchin fuctional)は、イギリスの数学者のナイジェル・ヒッチンが導入した概念で、弦理論にも応用を持つ。 Hitchin (2000) と Hitchin (2001) がヒッチン汎函数の元々の論文である。
ヒッチンの導入した一般化された複素構造は、有用に数理物理へ応用される。そのときに中心となる考え方が、ヒッチン汎函数である。
定義
編集6次元多様体に対しての定義は、以下の通りである。ヒッチンの論文の定義はより抽象的で、より一般的である[1]。
を自明な標準バンドルを持つコンパクトな向き付けられたな 6次元多様体とすると、ヒッチン汎函数 は、次の式の 3-形式上の汎函数と定義する。
ここに は 3-形式であり、 * はホッジスター作用素を表す。
性質
編集- ヒッチン汎函数は、4次元多様体のヤン・ミルズ汎函数の 6次元での類似物である。
安定な(微分)形式
編集作用汎函数は、しばしば の上の幾何学構造を決定し[2]、幾何学構造はある可積分条件に従う 上の特別な微分形式の存在によって特徴付けられる。
もし m-形式 が局所座標で記述されるとし、[3]
さらに
とすると、 はシンプレクティック構造を決定する。
p-形式 が安定とは、n = dim(M) としたとき、この微分形式が局所 作用の開軌道の中にある場合、つまり、小さな摂動 は、局所 作用により元に戻せる場合を言う。従って、任意の 1-形式は、(定数なので)どこでもゼロにならないので安定で、2-形式 (もしくは p が偶数のときの p-形式) の安定性とは、非退化と同値である。
では、p = 3 の場合にはどうなるのか。 大きな n に対しては、3-形式は難しくなる。理由は、 , , の次元の増加の仕方が、 , の次元の増加のしかたよりも早いからである。しかし、非常にまれな例外がある。つまり の場合で、その場合は dim であり、dim である。次元 6 での安定な実 3-形式を とすると、 の の下でのスタビライザーは次元 36 - 20 = 16 であり、実際に、 もしくは のいずれかになる。
の場合に焦点を絞り、 が 内にスタビライザーを持つとすると、局所座標では次のように書くことができる:
ここに、 であり、 は の基底である。従って、 は 上の概複素構造を決定する。さらに局所座標 が存在して と満たすとすると、 は、さいわいにも 上の複素構造を決定する。
安定な形式 が与えられると:
と取ることができ、もうひとつ別な実 3-形式
を取ることができる。
そうすると は により決定される概複素構造の中の正則な 3-形式となる。さらに、複素構造となるためには、ちょうど 、すなわち、 であり、かつ、 の場合である. この はヒッチン汎函数の定義での 3-形式 に一致する。これらの考えは、一般化された複素構造を導くこととなった。
弦理論での使用
編集ヒッチン汎函数は弦理論の多くの分野で用いられる。例えば、対合 を使った結果できる射影 を持つ10-次元弦理論のコンパクト化である。この場合には、 は内部の 6 (実)次元カラビ-ヤウ空間である。 この複素化されたケーラー多様体の計量は
で与えられる。ポテンシャル函数は汎函数 で、ここに J は概複素構造を決定する. 両方ともヒッチンの汎函数である。Grimm & Louis (2004)
弦理論への応用として、有名な OSV 予想 Ooguri, Strominger & Vafa (2004) では、ヒッチン汎函数を位相的弦と 4-次元ブラックホールのエントロピーを関連付けるために使用された。同じようなテクニックを ホロノミーの中で使い、Dijkgraaf et al. (2004) では、位相的なM-理論が議論されているし、 ホロノミーでは、位相的 F-理論が議論できるかもしれない。
さらに最近、エドワード・ウィッテンは、6次元 (2,0)-超共形場理論と呼ばれる 6次元の中にミステリアスな超共形場理論があることを主張している。Witten (2007) ヒッチン汎函数は、それへひとつの基礎を与えている。
注
編集- ^ 明確にするために、ヒッチン汎函数の説明の前に定義を行う。
- ^ 幾何学構造とは、例えば、複素構造や、シンプレクティック構造や、G2 ホロノミー や Spin(7) ホロノミーなどのことを言う。
- ^ 一般に局所座標は (p,q) で表すので微分形式の次数を m とした。
参考文献
編集- Hitchin, Nigel (2000). "The geometry of three-forms in six and seven dimensions". arXiv:math/0010054。
- Hitchin, Nigel (2001). "Stable forms and special metric". arXiv:math/0107101。
- Grimm, Thomas; Louis, Jan (2005). “The effective action of Type IIA Calabi-Yau orientifolds”. Nuclear Physics B 718 (1–2): 153–202. arXiv:hep-th/0412277. Bibcode: 2005NuPhB.718..153G. doi:10.1016/j.nuclphysb.2005.04.007.
- Dijikgraaf, Robert; Gukov, Sergei; Neitzke, Andrew; Vafa, Cumrun (2004). "Topological M-theory as Unification of Form Theories of Gravity". arXiv:hep-th/0411073。
- Ooguri, Hiroshi; Strominger, Andrew; Vafa, Cumran (2004). “Black Hole Attractors and the Topological String”. Physical Review D 70 (10): 6007. arXiv:hep-th/0405146. Bibcode: 2004PhRvD..70j6007O. doi:10.1103/PhysRevD.70.106007.
- Witten, Edward (2007). "Conformal Field Theory In Four And Six Dimensions". arXiv:0712.0157 [math.RT]。