[論文レビュー] Solutions of Kapustin-Witten equations for ADE-type groups

Zhi Sheng Liu, Bao Shou|arXiv (Cornell University)|Apr 25, 2016

Algebraic structures and combinatorial models参考文献 17被引用数 8

ひとこと要約

本稿は、ADE型ゲージ群に対するKapustin-Witten（KW）方程式の明示的解を構成する際の2つの主要な計算的課題を解決する：リー代数生成子間の非自明な交換関係、および基本表現における最高重みから任意の重みへの経路の組合せ的爆発。著者らはリー代数の交換関係に関する普遍的恒等式を導出し、すべてのADE型群に対して再定式化された、新しいコンパクトな公式を発見した。これは明示的構成を著しく簡略化し、高ランク群におけるMikhaylovの予想を検証する。

ABSTRACT

Kapustin-Witten (KW) equations are encountered in the localization of the topological N=4 SYM theory. Mikhaylov has constructed model solutions of KW equations for the boundary 't~Hooft operators on a half space. Direct proof of the solutions boils down to check a boundary condition. There are two computational difficulties in explicitly constructing the solutions to Lie algebra of higher rank. The first one is related to the commutation of generators of Lie algebra. We derived an identity which effectively reduces this computational difficulty. The second one involves the number of ways from the highest weights to other weights in the fundamental representation. For ADE-type gauge groups, we found an amazing formula which can be used to rewrite the solutions of KW equations. This new formula of solutions bypass above two computational difficulties.

研究の動機と目的

• 高ランクリー代数におけるKapustin-Witten方程式の解を明示的に構成する際の計算的困難を解決すること。
• リー代数の生成子間の非自明な交換関係の課題を解消すること。
• 基本表現における最高重みから任意の重みへの経路数の組合せ的爆発を克服すること。
• Mikhaylovが予想したADE型ゲージ群におけるKW方程式の解の公式を検証および一般化すること。
• 新しい公式を最小表現および非単純的に装備されたリー代数へと拡張すること。

提案手法

• KW方程式の文脈において交換関係の計算を簡略化するためのリー代数生成子に関する普遍的恒等式を導出すること。
• ADE型リー代数の構造を活用し、解の公式における独立項の数を削減する隠れた対称性を同定すること。
• 正則ゲージ変換を適用してKW方程式をToda系に簡略化し、明示的解の構成を可能にすること。
• 基本表現における重みの経路積分を用いて解を構成し、新しい公式によりブルートフォースな和算を回避すること。
• 境界条件のチェックとSU(n)および他のADE群における既知の解との一致を確認することで、新しい公式の妥当性を検証すること。
• 重み格子解析を用いて、形式的体系を最小表現および非単純的に装備されたリー代数へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 Kapustin-Witten方程式の文脈において、リー代数生成子間の交換関係を体系的に簡略化する方法は何か？
• RQ2 ADE型群の基本表現における最高重みからある重みへの経路数を規定する組合せ的構造は何か？
• RQ3 すべてのADE型ゲージ群におけるKW方程式の解を再定式化する統一的公式を導出可能か？
• RQ4 新しい公式は最小表現および非単純的に装備されたリー代数に対しても有効であるか？
• RQ5 新しい解の公式を用いて、高ランク群におけるKW方程式の境界条件を明示的に検証する方法は何か？

主な発見

• KW方程式の解における交換関係計算の計算複雑性を著しく低減するリー代数生成子に関する新しい恒等式が導出された。
• ADE型リー代数において、解を再定式化するためのコンパクトで普遍的な公式が発見され、明示的経路列挙の必要性を回避した。
• 新しい公式は、MikhaylovがSU(n)に対して構築したすべての既知の解を正確に再現し、すべてのADE型群へと拡張された。
• 公式はすべての最小表現に対して成立することが確認され、群の重み格子との深い構造的関係を示唆した。
• 形式的体系は非単純的に装備されたリー代数へと拡張され、同じ背後にある対称性が解の構造を支配することを示した。
• 新しい解の公式がKW方程式の境界条件を満たすことが確認され、高ランクADE群におけるMikhaylovの予想の妥当性が裏付けられた。