[論文レビュー] On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras, II

Pavel Etingof|ArXiv.org|Dec 24, 2003

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

本稿は、簡約なリー代数に対するCachazo-Douglas-Seiberg-Witten（CDSW）予想を証明するための均一な代数的枠組みを、Borel部分代数におけるアーベルイデアルに基づいて提案する。不変多項式とそのグラデュエーテッド代数への上昇に関する3つの予想を導入し、それらがCDSW予想の3つの部分を示すことを示す。主たる貢献は、従来のインスタントンに基づく手法を回避して、古典的リー代数および$G_2$に対してCDSW予想を完全に代数的証明することにある。

ABSTRACT

Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a uniform approach to this conjecture, based on the theory of abelian ideals in the Borel subalgebra; this allowed them to check the conjecture for type G_2. In this note we further develop this approach, and propose three natural conjectures which imply the three parts of the CDSW conjecture. In a sense, these conjectures explain why the CDSW conjecture should be true. We show that our conjectures hold for classical Lie algebras and for G_2; this, in particular, gives a purely algebraic proof of the CDSW conjecture for SO(N) (the original proof, due to Witten, uses the theory of instantons).

研究の動機と目的

• テンソル積の外積代数における不変量に関するCachazo-Douglas-Seiberg-Witten（CDSW）予想を統一的に代数的に説明すること。
• EtingofとKacの手法を拡張し、Borel部分代数におけるアーベルイデアルに基づく新たな予想を導入すること。
• 超対称ゲージ理論やインスタントン計算を用いずに、古典的リー代数および$G_2$に対してCDSW予想を完全に代数的証明すること。
• 不変元$S^g$および$S^{g-1}$の消滅および非消滅条件の代数的起源を明確にすること。

提案手法

• 関係式$\{X,X\}=0$で定義される超スキーム上の関数の代数$B$を用い、これはBorel部分代数におけるアーベルイデアルでインデックスが付いた不可約$\mathfrak{g}$-加群の直和に分解されることを示す。
• 代数$E = (B \otimes B)^\mathfrak{g}$を構成し、これによりこれらの加群のテンソル積の不変量が得られることを示し、そのPoincaré級数が双対コクセター次数の積と一致することを示す。
• 不変多項式$p_i$の$S\mathfrak{g}^\mathfrak{g}$における上昇$\widehat{p}_i$を、超可換子$\{X,Y\}$を用いて定義する。
• 予想2.3（$\widehat{p}_i$が$E$を生成する）と予想2.8（$\widehat{p}_1^g$が非ゼロ係数で次数$g$の関係に現れる）を証明する。
• $\{X,Y\}=0$の関係のイデアル$L$が$\widehat{p}_2, \dots, \widehat{p}_r$によって生成されることを示し、これにより$A = R/I$の構造を介してCDSW予想が導かれる。
• Weylの不変量の基本定理を用いて、$E$のすべての不変量が$X,Y$の語のトレースから生じることを示し、したがって$\widehat{p}_i$によってすべてがカバーされることを示す。

実験結果

リサーチクエスチョン

• RQ1 なぜCDSW予想はすべての簡約リー代数に対して成り立つのか？ その真の背後にある代数的構造は何か？
• RQ2 物理的インスタントン計算に依存せずに、リー代数表現論のみを用いてCDSW予想を証明できるか？
• RQ3 Borel部分代数におけるアーベルイデアルは、代数$A$の不変量を生成する際に果たす正確な役割は何か？
• RQ4 $S\mathfrak{g}^\mathfrak{g}$の基本不変量の次数と、不変量$S^g$の消滅の順序との関係は何か？
• RQ5 CDSW予想の3つの部分を同時に捉える均一な代数的構成は存在するか？

主な発見

• 予想2.3 — 代数$E = (B \otimes B)^\mathfrak{g}$が基本不変量の上昇$\widehat{p}_i$によって生成されること — はすべての古典的リー代数および$G_2$で成り立つ。
• $E$のPoincaré級数は$t^g$までmoduloで$\prod_{i=1}^r (1 - t^{d_i - 1})^{-1}$と一致し、差の$t^g$の係数が正であるため、次数$g$の関係が存在することが示唆される。
• 予想2.8 — $\widehat{p}_1^g$が非ゼロ係数で現れる次数$g$の関係が存在する — は古典的リー代数および$G_2$で成り立つ。これにより$S^g = 0$が導かれる。
• 予想2.10 — $L$が$\widehat{p}_2, \dots, \widehat{p}_r$によって生成されること — は古典的リー代数で成り立つ。これにより$S^{g-1} \neq 0$が導かれる。
• CDSW予想は、この代数的枠組みにより古典的リー代数および$G_2$で完全に証明された。これにより、インスタントン手法を回避する$SO(N)$の新しい証明が得られた。
• $\mathfrak{sl}(n)$に対して、完全に代数的な証明が与えられ、これはべき和のニュートンの恒等式と多項式展開における$\text{Tr}(XY)^n$の係数を用いる。