[論文レビュー] Antiperfection of Yang-Mills Morse theory over a nonorientable surface

Thomas John Baird|ArXiv.org|Feb 26, 2009

Black Holes and Theoretical Physics参考文献 6被引用数 7

ひとこと要約

この論文は、ヤン・ミルズモース理論を用いて、コンパクトな非可定向な曲面上の平坦なU(3)-束のモジュライスタックの有理数値G-equivariantベッチ数を計算し、Ho-Liuの反完璧性予想を証明するとともに、著者のG-equivariant形式性予想に裏付けを提供する。主な結果は、n ≥ 4 の場合、モース層分けがΓ--equivariantに完璧でないことが、ヒルベルト級数の極限挙動における矛盾によって示されることである。

ABSTRACT

We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.

研究の動機と目的

• コンパクトな非可定向な曲面上のU(3)-束に対して、G-equivariantコホロジー環 $ H^*_{\mathcal{G}}(\mathcal{A}^\flat) $ のポincare級数を計算すること。
• Ho-Liuの反完璧性予想を検証すること。この予想は、ヤン・ミルズ汎関数のモース層分けが、より高いランクの束に対してG-equivariantに完璧でないということを示唆している。
• モース理論を用いてG-equivariantコホロジーの構造を分析することで、著者のG-equivariant形式性予想に裏付けを提供すること。
• n ≥ 4 の場合にG-equivariant反完璧性を仮定したときのヒルベルト級数の挙動に矛盾を生じさせることで、反完璧性の失敗を証明すること。

提案手法

• ヤン・ミルズ汎関数のモース理論を用いて、単位的接続の空間 $ \mathcal{A} $ を、非負整数 $ \mu $ でインデックス付けされた部分多様体 $ \mathcal{A}_\mu $ に層別し、$ \mathcal{A}_{ss} $ を半安定層と定義する。
• トム同型と除去を適用して、対 $ (\mathcal{A}_{\leq\mu}, \mathcal{A}_{<\mu}) $ のG-equivariantコホロジーを法線束 $ N_\mu $ のコホロジーと関連づけ、$ H^*_{\mathcal{G}}(\mathcal{A}_{\leq\mu}, \mathcal{A}_{<\mu}) \cong H^{*-\lambda_\mu}_{\mathcal{G}}(N_\mu) $ を得る。ここで $ \lambda_\mu $ は層のインデックスである。
• ホモトピー同値 $ \mathcal{A}^\flat_{h\mathcal{G}} \simeq (\mathcal{A}_{ss})_{h\mathcal{G}} $ に依存し、これにより $ H^*_{\mathcal{G}}(\mathcal{A}^\flat) \cong H^*_{\mathcal{G}}(\mathcal{A}_{ss}) $ が成り立ち、半安定層を用いた計算が可能になる。
• K"{u}nnethの公式とBorel局在化を用いて、特に $ X^T $ の固定点集合のベッチ数を計算し、$ H^*(BU(n)) $ 上のG-equivariantコホロジー加群のランクを特定する。
• ヒルベルト級数 $ P_t^{\mathcal{G}}(\mathcal{A}_{ss}) $ 及びその $ t=1 $ 近傍での挙動を分析し、非半安定層への和と比較することで、反完璧性を仮定した場合の矛盾を導出する。
• ラインバンドル層の明示的分解 $ (\mathcal{A}_{(d,0,...,0,-d)})_{h\mathcal{G}} \cong \mathcal{A}(\tilde{L}_d)_{h\mathcal{G}(\tilde{L}_d)} \times (\mathcal{A}(E_0)_{ss})_{h\mathcal{G}(E_0)} $ を用いて、ポincare級数およびインデックス $ \lambda_d $ を計算する。

実験結果

リサーチクエスチョン

• RQ1 非可定向な曲面上の接続空間におけるヤン・ミルズ汎関数のモース層分けが、n ≥ 4 のU(n)-束に対してG-equivariantに反完璧であるか。
• RQ2 非可定向な曲面上の平坦なU(3)-束のモジュライスタックのG-equivariantコホロジーが、Ho-Liuの反完璧性予想を満たすか。
• RQ3 t=1 近傍でのポincare級数の漸近的挙動を用いて、高ランクにおけるG-equivariant完璧性の失敗を検出できるか。
• RQ4 $(d,0,\dots,0,-d)$-層の寄与は、総G-equivariantベッチ数にどの程度寄与するか。また、反完璧性の下での予想値を上回るか。
• RQ5 固定点集合 $ X^T $ におけるベッチ数の和は、G-equivariantコホロジー加群のヒルベルト級数とどのように関係するか。

主な発見

• ヤン・ミルズ理論を用いた計算により、非可定向な曲面上のU(3)-束に対する $ H^*_{\mathcal{G}}(\mathcal{A}^\flat) $ のポincare級数が計算され、Ho-Liuの反完璧性予想が確認された。
• ランク $ n $ に対して、$ \lim_{t \to 1} P_t^{\mathcal{G}}(\mathcal{A}_{ss}) \prod_{i=1}^n (1 - t^{2i}) = 2^{(g+1)n - 1} $ が成り立つ。これは固定点集合 $ X^T $ のベッチ数から導出された。
• n ≥ 4 の場合、$(d,0,\dots,0,-d)$-層の和はヒルベルト級数の極限に $ n \cdot 2^{(g+1)n - 3} $ を寄与させ、$ 2^{(g+1)n - 1} - 2^{gn} $ を上回る。これは反完璧性の仮定に矛盾する。
• この矛盾により、n ≥ 4 の場合、モース層分けが $ \mathcal{G} $-G-equivariantに反完璧でないことが証明され、反完璧性予想は否定的に解決された。
• この結果は、著者のG-equivariant形式性予想に強く裏付けを提供する。反完璧性の失敗は、G-equivariantコホロジーにおける形式性の期待と一致する。
• 計算により、$ H^*_{\mathcal{G}}(\mathcal{A}, \mathcal{A}_{ss}) $ が $ H^*(BU(3)) $ 上に torsion-free であることが確認され、スペクトル系列における関連するgraded写像の単射性を支持する。