[論文レビュー] Frobenius manifolds associated to Coxeter groups of type E_7 and E_8

Devis Abriani|ArXiv.org|Oct 28, 2009

Advanced Combinatorial Mathematics参考文献 7被引用数 5

ひとこと要約

本稿では、Mehtaの $W$-不変多項式生成子の体系を用いて、例外的コクセター群 $E_7$ および $E_8$ に関連するフロベニウス多様体の明示的平坦座標を導出する。共変計量 $g^{\alpha\beta}$ を計算し、斎藤の平坦座標構成を適用することで、著者らはフロベニウス汎関数を再構成し、これらの例外的ケースにおける明示的幾何構造を完成させる。

ABSTRACT

Flat coordinates for Frobenius manifolds defined on the orbit space of a Coxeter group W are specified through a certain system of generators of W-invariant polynomials. In this note, starting from basic invariants proposed by M.Mehta, we calculate flat coordinates for the exceptional groups of type E_7 and E_8, leading to a derivation of the potentials for the associated Frobenius structures.

研究の動機と目的

• フロベニウス多様体の明示的平坦座標の構成における空白を埋めること、これは以前に既知の汎関数が存在していたにもかかわらず、未解決のままだった。
• Mehtaの自然な $W$-不変多項式生成子の体系を用いた一貫した平坦座標の導出を提供することにより、煩わしいまたは特異的な構成を回避する。
• フロベニウス多様体の軌道空間 $E_7$ および $E_8$ における幾何的記述を、平坦座標から全汎関数を導出することによって完成させること。
• 不変多項式からフロベニウス多様体の平坦構造への一貫性があり、計算可能な枠組みを確立することにより、斎藤、ドゥブロビンらの結果を $E_6$ を超えて拡張すること。

提案手法

• $E_7$ および $E_8$ の不変多項式環の生成子としてMehtaの $W$-不変多項式体系を用い、計算に自然で体系的な基底を提供する。
• 公式 $g^{\alpha\beta} = \sum_{i,j} \frac{\partial p_{d_\alpha}}{\partial x_i} \frac{\partial p_{d_\beta}}{\partial x_j} G^{ij}$ を用いて、共変計量 $g^{\alpha\beta}(p)$ を計算する。ここで $G_{ij}$ は不変ユークリッド計量である。
• 斎藤の平坦性条件を解くことにより平坦座標 $(t_1, \dots, t_n)$ を導出する。これにより $\eta^{\alpha\beta} = \partial g^{\alpha\beta}/\partial p_h$ が定数となるように保証する。
• ドゥブロビンの公式 $g^{\alpha\beta} = \frac{d_\alpha + d_\beta - 2}{h} \eta^{\alpha\lambda} \eta^{\beta\mu} \partial_\lambda \partial_\mu F(t)$ を用いてフロベニウス汎関数 $F(t)$ を再構成する。ここで $h$ はコクセター数である。
• 斎藤の平坦座標条件を用いて計量式を変換し、$F(t)$ の3階微分を明示的に抽出できる形に変形する。
• 計量成分 $<du_i, du_j>^*$ に対する記号的計算を実施し、不変多項式と平坦構造を結ぶ全系の式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Mehtaの自然な $W$-不変多項式生成子の体系を用いて、$E_7$ および $E_8$ のフロベニウス多様体の平坦座標を体系的かつ明示的に計算できるか？
• RQ2 標準的生成子が閉形式で得られない場合、平坦座標からフロベニウス汎関数をどのように再構成できるか？
• RQ3 Mehtaの不変多項式を用いた $E_7$ および $E_8$ における共変計量 $g^{\alpha\beta}$ の明示的形は何か？
• RQ4 例外的コクセター群に対して、不変多項式から全フロベニウス構造（計量、汎関数、構造定数）を一貫性があり、計算可能な方法で導出できるか？
• RQ5 $E_7$ および $E_8$ の平坦座標は、[DLZ93] らの既知の汎関数と、明示的座標系が存在しない状況でどのように関係するか？

主な発見

• 本稿では、Mehtaの $W$-不変多項式生成子を用いて、$E_7$ および $E_8$ のフロベニウス多様体の明示的平坦座標を成功裏に計算し、長年の文献上の空白を解消した。
• 計量成分 $<du_i, du_j>^*$ が不変多項式 $u_2, u_5, u_6, u_8, u_9, u_{12}$ の関数として明示的に導出され、$u_2$ に関しては次数11まで閉形式で表される。
• ドゥブロビンの公式を用いて汎関数 $F(t)$ が再構成され、平坦計量 $g^{\alpha\beta}$ と $F(t)$ の3階微分が結びつけられ、全構造が明確に特定された。
• 平坦座標が存在し、斎藤の条件により計算可能であることが示され、この座標系では計量 $\eta^{\alpha\beta}$ が定数となる。
• 本手法は、$E_6$ を超えて斎藤理論を拡張する、例外的コクセター群の軌道空間上でのフロベニウス多様体の構築に一貫性があり体系的な枠組みを提供する。
• 計量成分 $<du_i, du_j>^*$ の最終的表現は、$\frac{160}{9}$、$\frac{25376}{3}$、$\frac{16500}{49}$ などの明示的な有理数係数を有する有理関数として得られ、構成の代数的閉包が確認された。