[論文レビュー] Mathai-Quillen Formalism

Siye Wu|ArXiv.org|Apr 30, 2005

History and Theory of Mathematics被引用数 3

ひとこと要約

本稿は、ガウス型重み付き超接続を用いて特徴類、特にトム類とオイラー類の明示的代表元を提供する微分形式の構成である、マタイ＝クイレン形式の包括的解説を提示する。1フェルミオン次元の超空間上の超対称場理論としてこの形式を解釈することにより、等化同調、トポロジカル量子場理論、およびドナルダンおよびセイバーグ＝ウィッテン不変量などの不変量との深い関係を確立する。

ABSTRACT

We begin with the construction of Mathai-Quillen's Thom form. We also study the case with group actions, with a review of equivariant cohomology and then Mathai-Quillen's construction in this setting. Next, we show that much of the above can be formulated as a "field theory" on a superspace of one fermionic dimension. Finally, we present the interpretation of topological field theories using the Mathai-Quillen formalism.

研究の動機と目的

• 実向き付加ベクトル bundle のトム類を、零切断付近で指数的に減衰する微分形式として、全空間上に明示的に表現するマタイ＝クイレン構成の体系的解説。
• 群作用を組み込んだ等化同調的設定への形式の拡張、およびカルタン・ウィルモデルを介した等化同調の同調との関係の確立。
• 1フェルミオン次元の超空間上でのトポロジカル場理論としての形式の解釈、物理学におけるコhomological field theories との関連。
• 形式が特徴類の明示的代表元を生み出し、ドナルダンおよびセイバーグ＝ウィッテン不変量などの不変量を計算できることの示唆。
• 滑らかな曲率不変量とゼロ集合の局所化されたポincare双対との間を滑らかに補間するマタイ＝クイレン形式が、幾何的・トポロジカル的・物理的視点を統合すること。

提案手法

• 超接続上のバレリン積分を用いてマタイ＝クイレンのトム形式を構成し、ファイバーに沿って指数的に減衰するベクトル bundle 全空間上の微分形式が得られる。
• ベクトル空間のクリフォード代数上のスーパートレースを定義し、パッフィアンと A-hat 級数を表現する。これにより、超接続の指数形式と関連づけられる。
• 等化同調のカルタンモデルを用いて、等化曲率を $\mathcal{F} = F_A + \sqrt{-1}\psi + \phi $ と定義する。ここで $\psi, \phi$ はフェルミオン的およびボソン的超場である。
• 曲率項 $||F_A^+||^2$ とフェルミオンおよびボソン的結合項を組み合わせることでトポロジカルゲージ理論のラグランジアンを構成し、BRST対称性に関して不変な理論を得る。
• ホモロジー的サイクルに沿って等化曲率を積分することで得られるウィルソンループに類似た観測量 $W_\gamma(A,\psi,\phi)$ を定義し、特徴類を表す。
• これらの観測量の経路積分期待値が、ゲージ群の体積および中心 $|Z(G)|$ の順序による正規化を除き、ドナルダン不変量を生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 実向き付加ベクトル bundle のトム類を、局所化された台を持つ微分形式として明示的に表現する方法は何か？
• RQ2 バレリン積分およびスーパートレースは、マタイ＝クイレン形式の構成およびパッフィアンと A-hat 級数との関連に果たす役割は何か？
• RQ3 群作用の下での等化同調的設定において、マタイ＝クイレン形式はどのように拡張可能か？また、ウィルモデルおよびカルタンモデルとの関係は何か？
• RQ4 形式は、1フェルミオン次元の超空間上でのトポロジカル場理論としてどのように実現されるか？
• RQ5 形式を用いて構成された観測量の期待値は、ドナルダンおよびセイバーグ＝ウィッテン不変量などの既知のトポロジカル不変量をどのように回復するか？

主な発見

• マタイ＝クイレンのトム形式は、全空間上の微分形式として $ u(x) = \frac{1}{(2\pi)^{n/2}} e^{-\frac{1}{2}(x,x)} dx^1 \wedge \cdots \wedge dx^n $ と与えられ、$L^1$ ノルムが1であり、零切断付近に局所化される。
• スーパートレースの恒等式 $ \mathrm{str}\, e^{\frac{\sqrt{-1}}{4}(\gamma, \Sigma \gamma)} = \hat{A}(\Sigma)^{-1/2} \mathrm{Pf}(\Sigma) $ により、A-hat 級数およびオイラー級数の微分形式的代表元がパッフィアンを介して得られる。
• 任意の切断によるマタイ＝クイレン形式の引き戻しはオイラー級数の代表元を提供し、切断のスケーリングにより滑らかなパッフィアンとゼロ集合のポincare双対との間を補間する。
• 等化同調的設定において、形式 $ \mathcal{F} = F_A + \sqrt{-1}\psi + \phi $ は等化曲率を表し、形式 $ \frac{1}{4\check{h}(\mathfrak{g})} \int_\gamma (\mathcal{F}, \wedge \mathcal{F}) $ は接続空間上の閉じた等化同調形式を表す。
• 期待値 $ \left\langle \prod_{i=1}^r W_{\gamma_i} \right\rangle $ は、ラグランジアン (5.7) の経路積分により計算され、$ |Z(G)| $ の因子を除きドナルダン不変量を生成する。非自明な結果が得られるのは $ \sum_i (4 - q_i) = \dim \mathcal{M} $ のときのみである。
• 形式は、ラグランジアン (5.7) にトポロジカル項を加えることで、ウィッテンおよびアティヤ＝ジェフリーのトポロジカル場理論の物理的実現を示している。