[論文レビュー] A higher dimensional foliated Donaldson theory, I

Shuguang Wang|arXiv (Cornell University)|Dec 30, 2012

Geometric Analysis and Curvature Flows参考文献 20被引用数 4

ひとこと要約

本稿は、codimension-4 のリーマン的フォリエーションを持つ高次元多様体上における、葉状の反自己双対ゲージ理論を導入し、基本的反自己双対接続のモジュライ空間のコンパクト化定理を確立する。擬群作用を介して、葉状理論を横断的多様体上の標準的 4D インスタントン理論に結びつけることで、フォリエーションがトーラルかつ平均曲率が 0 である場合、理想モジュライ空間がコンパクトであることを証明する。特異性は、コンパクトな葉でのみ生じる。

ABSTRACT

We introduce the foliated anti-self dual equation for higher dimensional smooth manifolds with codimension-4 Riemannian foliations. Several fundamental results are established, towards the defining of a Donaldson type invariant for such foliations.

研究の動機と目的

• codimension-4 のリーマン的フォリエーションを備えた多様体に対するドナルドソン理論の高次元アナログを構築すること。
• 一般の高次元インスタントン理論における楕円性とコンパクト性の欠如を、フォリエーション構造を活用することで克服すること。
• 横断的 4D 反自己双対方程式への還元を通じて、新たなゲージ理論的不変量—フォリエートドナルドソン不変量—を定義すること。
• 基本的反自己双対接続のモジュライ空間のコンパクト化定理を確立し、コンパクトな葉が分岐点として果たす役割を特定すること。
• 閉性の標準的仮定を、コンパクト性と電荷の整数化に十分なトーラル性に置き換えることで、補正形式の閉性仮定を弱めること。

提案手法

• codimension-4 のリーマン的フォリエーションの特徴形式 $\chi = \chi_{\mathcal{F}}$ を用いて、葉状の反自己双対方程式 $*(F_A \wedge \chi) = -F_A$ を導入する。
• 基本的接続 $A$ に制限することで、正規バンドル $Q = TM/T\mathcal{F}$ 上の横断的反自己双対方程式 $\overline{*}F_A = -F_A$ に帰着する。
• 擬群作用を介して、$M$ 上の葉状理論、$Q$ 上の横断的理論、および横断的 $Y$ 上の等長 4D ゲージ理論の間の同等性を適用する。
• 非コンパクトで非連結な横断的多様体 $Y$ 上で、擬群不変性を保った標準的 4D 反自己双対方程式 $*F_{A'} = -F_{A'}$ を用いることで、楕円性とコンパクト性を回復する。
• 基本的接続 $A$ と $Y$ 上の $\mathbf{H}$-不変接続 $A'$ の間の対応を確立し、反自己双対性条件を保存することを示す。
• 曲率形式の弱収束と電流の極限を用いて特異性を分析し、極限接続 $\tilde{A}$ が $M$ 全体に滑らかに拡張されることを示す。

実験結果

リサーチクエスチョン

• RQ1 codimension-4 のリーマン的フォリエーションを持つ多様体に対して、ドナルドソン理論の高次元アナログを定式化できるか？
• RQ2 高次元において標準的楕円性が欠如する中で、反自己双対接続のモジュライ空間をどのようにコンパクト化できるか？
• RQ3 トーラル性が、コンパクト性と電荷の整数化のための補正形式の標準的閉性条件を置き換える役割を果たすか？
• RQ4 フォリエーションのコンパクトな葉は、モジュライ空間の極限的挙動にどのように現れるか？
• RQ5 擬群不変性と横断的還元を介して、フォリエートインスタントンモジュライ空間を標準的 4D ゲージ理論と関連付けることができるか？

主な発見

• フォリエーション $\mathcal{F}$ がトーラルかつ平均曲率 $\kappa = 0$ であるとき、基本的反自己双対接続の理想モジュライ空間 $\mathcal{I}\mathcal{M}_{\mathrm{b}}(E)$ はコンパクトである。
• 極限接続 $\tilde{A}$ は多様体 $M$ 全体に滑らかに拡張され、特異点集合 $S([\tilde{A}])$ は空である。これはティアンの一般設定における結果よりも強い。
• 曲率形式の弱極限における特異電流 $T$ は、有限個のコンパクトな葉に台を持つ可測なフォリエーションサイクルである。これは定理 6.5 および系 1.16 により示される。
• フォリエートドナルドソン不変量は、分類空間 $\mathcal{B}$ 上のスランプ積を用いて定義され、可測なフォリエーション 2-サイクルとペアリングすることで整数値不変量を生じる。
• モジュライ空間は、バンドル的計量 $g$ の全計量ではなく、葉方向成分 $g_L$ のみに依存する。
• トーラル性仮定により、$d\chi = 0$ という要請が、$\mathcal{F}$-相対的閉性 ($d_{\mathcal{F}}\chi = 0$) に弱体化され、これはコンパクト性と電荷の整数化に十分である。