ヒッチン汎函数
ヒッチン汎函数(Hitchin fuctional)は、イギリスの数学者のナイジェル・ヒッチンが導入した概念で、弦理論にも応用を持つ。  と  がヒッチン汎函数の元々の論文である。
ヒッチンの導入した一般化された複素構造は、有用に数理物理へ応用される。そのときに中心となる考え方が、ヒッチン汎函数である。
6次元多様体に対しての定義は、以下の通りである。ヒッチンの論文の定義はより抽象的で、より一般的である。
M を自明な標準バンドルを持つコンパクトな向き付けられたな 6次元多様体とすると、ヒッチン汎函数 は、次の式の 3-形式上の汎函数と定義する。
\Phi(\Omega) = \int_M \Omega \wedge * \Omega\ .
ここに \Omega は 3-形式であり、 * はホッジスター作用素を表す。
ヒッチン汎函数は、4次元多様体のヤン・ミルズ汎函数の 6次元での類似物である。
ヒッチン汎函数は、明らかに向きを保つ微分同相写像群の作用の下に不変である。
定理. M を3次元の複素多様体 で、\Omega をゼロにならない正則な 3-形式の実部としよう。すると、 \Omega はコホモロジー類 [\Omega] \in H^3(M,R) へ限定した \Phi の臨界点となる。逆に \Omega が与えられたコホモロジー類の中の汎函数 \Phi の臨界点で、\Omega \wedge * \Omega < 0 とすると、\Omega は複素多様体の構造を定義し、\Omega は M の上のゼロにならない正則 3-形式の実部となる。
この定理の証明は、ヒッチンの論文  と の中に比較的ストレートに書かれている。この定理の素晴らしいところは、逆のステートメントが成り立つことである:もし完全形式 \Phi(\Omega) が決定していると、可能な複素構造の見つける臨界点を探すことで、複素構造を決定する 0 にならない正則 3-形式が一意に決まることである。
作用汎函数は、しばしば M の上の幾何学構造を決定し、幾何学構造はある可積分条件に従う M 上の特別な微分形式の存在によって特徴付けられる。
もし m-形式 \omega が局所座標で記述されるとし、
\omega=dp_1\wedge dq_1+\cdots+dp_m\wedge dq_m
d\omega=0
とすると、\omega はシンプレクティック構造を決定する。
p-形式 \omega\in\Omega^p(M,\mathbb{R}) が安定とは、n = dim(M) としたとき、この微分形式が局所 GL(n,\mathbb{R}) 作用の開軌道の中にある場合、つまり、小さな摂動 \omega\mapsto\omega+\delta\omega は、局所 GL(n,\mathbb{R}) 作用により元に戻せる場合を言う。従って、任意の 1-形式は、(定数なので)どこでもゼロにならないので安定で、2-形式 (もしくは p が偶数のときの p-形式) の安定性とは、非退化と同値である。
では、p = 3 の場合にはどうなるのか。 大きな n に対しては、3-形式は難しくなる。理由は、\wedge^3(\mathbb{R}^n), n^3, の次元の増加の仕方が、GL(n,\mathbb{R}), n^2 の次元の増加のしかたよりも早いからである。しかし、非常にまれな例外がある。つまり n = 6 の場合で、その場合は dim \wedge^3(\mathbb{R}^6)=20 であり、dim GL(6,\mathbb{R})=36 である。次元 6 での安定な実 3-形式を \rho とすると、\rho の GL(6,\mathbb{R}) の下でのスタビライザーは次元 36 - 20 = 16 であり、実際に、 SL(3,\mathbb{R})\times SL(3,\mathbb{R}) もしくは SL(3,\mathbb{C})\cap SL(3,\mathbb{C}) のいずれかになる。
SL(3,\mathbb{C})\cap SL(3,\mathbb{C}) の場合に焦点を絞り、\rho がSL(3,\mathbb{C})\cap SL(3,\mathbb{C}) 内にスタビライザーを持つとすると、局所座標では次のように書くことができる:
\rho=\frac{1}{2}(\zeta_1\wedge\zeta_2\wedge\zeta_3+\bar{\zeta_1}\wedge\bar{\zeta_2}\wedge\bar{\zeta_3})
ここに、\zeta_1=e_1+ie_2,\zeta_2=e_3+ie_4,\zeta_3=e_5+ie_6 であり、e_i は T^*M の基底である。従って、\zeta_i は M 上の概複素構造を決定する。さらに局所座標 (z_1,z_2,z_3) が存在して \zeta_i=dz_i と満たすとすると、\zeta_i は、さいわいにも M 上の複素構造を決定する。
安定な形式 \rho\in\Omega^3(M,\mathbb{R})が与えられると:
\rho=\frac{1}{2}(\zeta_1\wedge\zeta_2\wedge\zeta_3+\bar{\zeta_1}\wedge\bar{\zeta_2}\wedge\bar{\zeta_3})
と取ることができ、もうひとつ別な実 3-形式
\tilde{\rho}(\rho)=\frac{1}{2}(\zeta_1\wedge\zeta_2\wedge\zeta_3-\bar{\zeta_1}\wedge\bar{\zeta_2}\wedge\bar{\zeta_3})
を取ることができる。
そうすると \Omega=\rho+i\tilde{\rho}(\rho) は \rho により決定される概複素構造の中の正則な 3-形式となる。さらに、複素構造となるためには、ちょうど d\Omega=0、すなわち、d\rho=0 であり、かつ、d\tilde{\rho}(\rho)=0 の場合である. この \Omega はヒッチン汎函数の定義での 3-形式 \Omega に一致する。これらの考えは、一般化された複素構造を導くこととなった。
ヒッチン汎函数は弦理論の多くの分野で用いられる。例えば、対合 \nuを使った結果できる射影 \kappa を持つ10-次元弦理論のコンパクト化である。この場合には、M は内部の 6 (実)次元カラビ-ヤウ空間である。 この複素化されたケーラー多様体の計量は
g_{ij} = \tau \text{im} \int \tau i^*(\nu \cdot \kappa \tau).
で与えられる。ポテンシャル函数は汎函数 V[J] = \int J \wedge J \wedge J で、ここに J は概複素構造を決定する. 両方ともヒッチンの汎函数である。
弦理論への応用として、有名な OSV 予想  では、ヒッチン汎函数を位相的弦と 4-次元ブラックホールのエントロピーを関連付けるために使用された。同じようなテクニックを G_2 ホロノミーの中で使い、 では、位相的なM-理論が議論されているし、Spin(7) ホロノミーでは、位相的 F-理論が議論できるかもしれない。
さらに最近、エドワード・ウィッテンは、6次元 (2,0)-超共形場理論と呼ばれる 6次元の中にミステリアスな超共形場理論があることを主張している。 ヒッチン汎函数は、それへひとつの基礎を与えている。