[論文レビュー] Mapping the vacuum structure of gauged maximal supergravities: an application of high-performance symbolic algebra

Thomas Fischbacher|ArXiv.org|May 20, 2003

Black Holes and Theoretical Physics参考文献 44被引用数 9

ひとこと要約

本稿では、例外的リー群 $E_6$、$E_7$、$E_8$ によって支配される複素スカラー結合ポテンシャルを有する、3次元、4次元、5次元のゲージ化最大スーパ的热情重力理論の真空構造をマッピングする、高性能な記号的代数技術を開発する。著者らは、ゲージ群の部分群による不変性を示す低次元部分多様体へのスカラー対称空間多様体の系統的切断を実施し、$N=16$、$D=3$ スーパーグラビティにおいて、新たな非自明な真空状態を同定する。特に、$G_2 \times G_2$ の真空が新たに特定され、自作の記号的計算パッケージ LambdaTensor を用いて、これらの部分多様体上でのポテンシャルの明示的解析的表現が提供される。

ABSTRACT

The analysis of the extremal structure of the scalar potentials of gauged maximally extended supergravity models in five, four, and three dimensions, and hence the determination of possible vacuum states of these models is a computationally challenging task due to the occurrence of the exceptional Lie groups $E_6$, $E_7$, $E_8$ in the definition of these potentials. At present, the most promising approach to gain information about nontrivial vacua of these models is to perform a truncation of the potential to submanifolds of the $G/H$ coset manifold of scalars which are invariant under a subgroup of the gauge group and of sufficiently low dimension to make an analytic treatment possible. New tools are presented which allow a systematic and highly effective study of these potentials up to a previously unreached level of complexity. Explicit forms of new truncations of the potentials of four- and three-dimensional models are given, and for N=16, D=3 supergravities, which are much more rich in structure than their higher-dimensional cousins, a series of new nontrivial vacua is identified and analysed.

研究の動機と目的

• ゲージ化最大スーパーグラビティの真空構造を、$D=3$、$D=4$、$D=5$ において系統的に分析すること。これは、例外的リー群 ($E_6$、$E_7$、$E_8$) の対称性に起因する計算的困難さに起因する。
• ゲージ群の部分群による不変性を示す低次元部分多様体へのスカラー対称空間多様体の切断により、高次元対称空間多様体上のスカラー結合ポテンシャルの複雑さを克服すること。
• これらのポテンシャルが有する複雑なテンソル的および代数的構造を扱える、高性能な記号的代数フレームワーク、LambdaTensor の開発および適用。
• $N=16$、$D=3$ スーパーグラビティにおける新たな非自明な真空状態の同定および解析、特に $G_{2\,{\rm diag}}$、$SO(6)_{\rm diag}$、$SO(5)_{\rm diag}$ のような残余対称性を有するものに焦点を当てる。

提案手法

• 著者らは、ゲージ群の部分群による不変性を示す $G/H$ 対称空間多様体の部分多様体にスカラー結合ポテンシャルを制限する切断戦略を採用し、解析的取り扱いが可能になるように複雑さを低減する。
• 彼らは、例外的リー代数におけるテンソル式の高性能記号的計算を目的とした、LambdaTensor と呼ばれる記号的代数パッケージを導入する。このパッケージは、複雑な群論的構造をサポートし、効率的なメモリ管理を実現する。
• この手法では、$A_1$、$A_2$、$T$ テンソルなどのテンソル不変量を、再帰的共役と項分解を用いて計算し、大規模な記号的変換処理におけるメモリ管理を可能にするため、断片的シリアル化を実施する。
• グループ理論的回転生成子（例：$SU(3)_{\rm diag}$、$SO(6)_{\rm diag}$）とスカラー場のパrametrization を組み合わせ、物理的モジュール（複素位相と半径成分を含む）の観点からポテンシャルを表現する。
• 記号的フレームワークは、特定の場の配置におけるポテンシャルの数値評価を可能とし、真空の安定性およびエネルギー値の検証を可能にする。
• 大規模な多項式式処理を扱うために、動的項分割とメモリ最適化を組み合わせ、特に $D=4$ および $D=3$ モデルにおける $E_7$ 関連計算に有効である。

実験結果

リサーチクエスチョン

• RQ1 残余対称性 $G_{2\,{\rm diag}}$ や $SO(6)_{\rm diag}$ を有する $N=16$、$D=3$ スーパーグラビティにおける非自明な真空状態は何か？
• RQ2 最大スーパーグラビティのスカラー結合ポテンシャルを、低次元部分多様体への系統的切断により、真空の解析的取り扱いを可能にする方法は何か？
• RQ3 $SO(p,8-p)^2$ や $E_{7(-5)}\times SU(2)$ のような非コンパクトゲージ群を考慮した場合、$N=16$、$D=3$ スーパーグラビティで新たに出現する非自明な真空状態は何か？
• RQ4 LambdaTensor のような高性能記号的代数ツールは、例外的群構造を有する複雑な対称空間多様体上でのスカラー結合ポテンシャルの計算と検証を、実際に効果的に実行できるか？
• RQ5 $D=3$ スーパーグラビティにおいて、$SU(3)_{\rm diag}$、$SO(5)_{\rm diag}$、または $SO(4)\times SO(4)_{\rm diag}$ 不変性を有する部分多様体上のポテンシャルの明示的解析的表現は何か？

主な発見

• 新しい $G_2 \times G_2$ の真空が $N=16$、$D=3$ スーパーグラビティで同定され、スカラーモジュライ空間の原点においてポテンシャルエネルギーが $-6.0$ に達することが判明した。
• $SO(6)_{\rm diag}$ 不変部分多様体上のポテンシャルは明示的に計算され、数値的にも確認され、場の配置 $(f34, w34, ..., rho) = (1.2, 2.1, ..., 1.0)$ において値 $-7.062$ を示した。
• $SO(5)_{\rm diag}$ 不変部分多様体上のポテンシャルは導出され、非自明な真空を支持することが示された。このポテンシャルは $A_1$ および $A_2$ テンソル不変量を用いて表現された。
• $E_7(+7)\times SL(2)$ ゲージ群に対しては、$SO(3)$ シンプレットからなる10次元多様体上でポテンシャルが計算され、明示的な解析的表現が提供された。
• 記号的計算フレームワーク LambdaTensor は、$E_7$ 関連のテンソル構造、特に $T$-テンソルおよびその共役を効果的に処理でき、断片的項分解を用いて $A_1$ および $A_2$ 不変量の導出を可能にした。
• シンボリック計算と数値計算の結果が非常に高い精度で一致することにより、ポテンシャル評価の整合性が確認された。例として、テストポイントにおける $-7.061997$ と $-7.062008$ の一致が確認された。