[論文レビュー] Energy bound for Kapustin-Witten solutions on $S^3 imes\mathbb{R}^+$

Naichung Conan Leung, Ryosuke Takahashi|arXiv (Cornell University)|Jan 13, 2018

Nonlinear Partial Differential Equations参考文献 5被引用数 6

ひとこと要約

本稿は、$S^3 \times \mathbb{R}^+$ 上のカプスチン＝ウィッテン方程式の解について、$y=0$ におけるナフム・ポール境界条件と無限遠における $PSL(2;\mathbb{C})$-平坦接続への漸近的収束を満たす場合に、ヤン＝ミルズエネルギー $\|F_A\|_{L^2}$ に対する普遍的な上界を確立する。ホイテンツバック公式と曲率項の詳細な解析を用いて、リンク $K = \emptyset$ の場合にエネルギーが一様に有界であることを証明し、モジュライ空間のコンパクト性を示す上で重要な一歩を提供するとともに、ウィッテンのジョーンズ多項式に関する予想を支持する。

ABSTRACT

We consider solutions of Kapustin-Witten equation with Nahm pole boundary on $S^3 imes \mathbb{R}^+$. These solutions are usually called Nahm pole solutions. In this paper, we will prove that there exists a constant $C>0$ such that $\|F_A\|_{L^2}\leq C$ for any Nahm pole solution $(A,ϕ)$.

研究の動機と目的

• カプスチン＝ウィッテン方程式の解について、$S^3 \times \mathbb{R}^+$ 上でナフム・ポール境界条件を満たす場合のヤン＝ミルズエネルギー $\|F_A\|_{L^2}$ に対する一様 $L^2$ 界を確立すること。
• ウィッテンの予想がこれらの解とジョーンズ多項式の関係を示すために不可欠である、カプスチン＝ウィッテン解のモジュライ空間 $\mathfrak{M}_K$ のコンパクト性問題を扱うこと。
• $(A,\phi)$ が無限遠で $C^2$-位相で $PSL(2;\mathbb{C})$-平坦接続に収束するという漸近的条件のもとで、$y \to \infty$ のときにもエネルギーが有界のまま保たれることを示すこと。
• 一般の3次元多様体 $Y \times \mathbb{R}^+$ に拡張可能である可能性を示す基礎的なエネルギー推定を提供すること。ただし、現在の証明は $S^3$ の正確な対称性に依存している。

提案手法

• 著者たちは、カプスチン＝ウィッテン方程式にホイテンツバック公式を適用し、曲率 $F_A$ をヘッセ行列 $\phi$ とリッチ曲率項に関連付ける。
• リッチ曲率項 $\operatorname{Ric}(\phi, \phi)$ を分析し、これは $y^{-2}$ のように振る舞い、可積分でないため、曲率とヘッセ場を $SU(2)$ の既約表現に分解する洗練された手法が必要となる。
• 1形式 $\phi$ と曲率 $F_A$ を、$SU(2)$ の作用における既約成分 $V^{(1)}, V^{(2)}, V^{(3)}$ に分解し、表現論的恒等式を用いて $F_A$ の $L^2$ ノルムを制御する。
• 重要な技術的ステップとして、外積とホッジスターの関係に関する点ごとの恒等式 $|(*_3(v \wedge v))^{(1)} - *_3 v^{(1)} \wedge v^{(1)}| = \frac{1}{\sqrt{6}}(|v^{(2)}|^2 + |v^{(3)}|^2)$ を証明し、非線形項の制御を可能にする。
• エネルギー推定にあたっては、$S^3$ の正確な対称性とグローバルなキリングベクトル場の存在が不可欠であり、これは一般の $Y \times \mathbb{R}^+$ には直接拡張できない。
• $(A,\phi)$ が $C^2$-位相で $PSL(2;\mathbb{C})$-平坦接続に収束するという漸近的条件により、曲率と接続成分の指数的減衰が保証され、エネルギー界が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ナフム・ポール境界条件を満たし、無限遠で $C^2$-収束する $PSL(2;\mathbb{C})$-平坦接続をもつ、$S^3 \times \mathbb{R}^+$ 上のカプスチン＝ウィッテン方程式のすべての解について、ヤン＝ミルズエネルギー $\|F_A\|_{L^2}$ が一様に有界に保たれるか。
• RQ2 底面の多様体 $S^3 \times \mathbb{R}^+$ が非コンパクトであるにもかかわらず、エネルギー界が得られることを踏まえ、$K = \emptyset$ の場合のモジュライ空間 $\mathfrak{M}_K$ はエネルギー界を用いてコンパクト化可能か。
• RQ3 リンク $K \ne \emptyset$ の場合にエネルギー界が失敗する理由は何か。この場合に、トポロジカルな電荷 $p(A)$ を一様に制御する代替の公式は存在するか。
• RQ4 $S^3$ の正確な対称性に依存していることから、正のリッチ曲率を持つ他の3次元多様体 $Y \times \mathbb{R}^+$ に対しても、エネルギー界の技法をどの程度一般化できるか。

主な発見

• リンク $K = \emptyset$ の場合に、すべての解 $(A, \phi) \in \mathfrak{M}_{K=\emptyset}$ に対して、ある普遍定数 $C > 0$ が存在し、$\|F_A\|_{L^2}^2 \leq C$ が成り立つことを証明した。これにより、一様エネルギー界が確立された。
• エネルギー界は洗練されたホイテンツバック公式を用いた解析によって得られた。
• リッチ曲率項 $\operatorname{Ric}(\phi, \phi)$ は $y^{-2}$ のように振る舞い、単独では可積分でないが、$\phi$ を $SU(2)$ の既約表現に分解することにより、その寄与がキャンセルまたは制御可能であることが示された。
• 証明は、$S^3$ 上のホッジスターと外積に関する正確な点ごとの恒等式 $|(*_3(v \wedge v))^{(1)} - *_3 v^{(1)} \wedge v^{(1)}| = \frac{1}{\sqrt{6}}(|v^{(2)}|^2 + |v^{(3)}|^2)$ に依存しており、非線形項の制御に不可欠である。
• $K \ne \emptyset$ の場合、$F_A$ が $y \to 0$ で $y^{-2}$ のように発散するため、エネルギーは $L^2$-有界でなく、この方法は非自明なリンクには直接拡張できない。
• この結果は、トポロジカル電荷 $p(A)$ が有限かつ量子化されていることを示唆し、ウィッテンの予想を支持するとともに、モジュライ空間 $\mathfrak{M}_K$ のコンパクト性を示す上で重要な一歩を提供する。