[論文レビュー] Coxeter discriminants and logarithmic Frobenius structures

Misha Feigin, А. П. Веселов|ArXiv.org|Dec 30, 2005

Algebraic structures and combinatorial models参考文献 18被引用数 5

ひとこと要約

本稿は、Coxeter特異点の各層に沿った対数的Frobenius構造と、軌道空間上の元のFrobenius構造の間の幾何的双対性を確立し、このような構造がCoxeter根系を鏡超平面の交差部分空間に制限することで自然に生じることを示している。主な貢献は、例外的Coxeter根系から得られるΠ-系を特異点の各層を通じて完全に分類したことであり、Coxeter系から導出できない新しい族を含んでおり、特にF₄からF₃、F₅、F₆への明示的構成がなされている。

ABSTRACT

We consider a class of solutions of the WDVV equation related to the special systems of covectors (called $\vee$-systems) and show that the corresponding logarithmic Frobenius structures can be naturally restricted to any intersection of the corresponding hyperplanes. For the Coxeter arrangements the corresponding structures are shown to be almost dual in Dubrovin's sense to the Frobenius structures on the strata in the discriminants discussed by Strachan. For the classical Coxeter systems this leads to the families of $\vee$-systems from the earlier work by Chalykh and Veselov. For the exceptional Coxeter systems we give the complete list of the corresponding $\vee$-systems. We present also some new families of $\vee$-systems, which can not be obtained in such a way from the Coxeter systems.

研究の動機と目的

• Coxeter特異点の各層へ、軌道空間上のFrobenius構造と補集合空間上の対数的構造の間のDubrovinの双対性を拡張すること。
• 鏡超平面の交差部分空間への例外的Coxeter根系の制限として生じるすべてのΠ-系を分類すること。
• Coxeter根系の制限によって得られない、新しいΠ-系の族を特定および構成すること。
• 先行研究で得られたΠ-系が、制限された古典的系のZariski閉包に関連することを幾何的に説明すること。

提案手法

• 有限なコベクトル集合Aに対して、F^A = ∑_{α ∈ A} (α,x)² log(α,x)² の形をした汎在関数によって定義されるWDVV方程式および対数的Frobenius構造を用いる。
• OrlikとSolomon、およびShcherbakの結果を応用し、Coxeter特異点の分割を用いて各層とそれに関連するΠ-系を分類する。
• 鏡超平面の補集合上での対数的Frobenius構造を、特異点の各層に制限することで、部分多様体上での新しいFrobenius構造を得る。
• Dubrovinの双対性公式 u*v = E⁻¹ · u · v を用い、M_G 上の元のFrobenius構造と制限された対数的構造を関連付ける。
• Coxeter根系を交差部分空間に射影することで明示的なΠ-系を構成し、特にF₄の場合を詳細に分析してF₃、F₅、F₆を導出する。
• Π-系間の同値関係（例：F₄(Λ) ∼ F₄(1/(2Λ))）を用い、分類を標準形に還元する。

実験結果

リサーチクエスチョン

• RQ1 Dubrovinの双対性（軌道空間上のFrobenius構造と補集合空間上の対数的構造の間）をCoxeter特異点の部分多様体（各層）へどのように拡張できるか？
• RQ2 鏡超平面の交差部分空間への例外的Coxeter根系の制限として生じるΠ-系の完全なリストは何か？
• RQ3 Coxeter根系の制限によって得られない、新しいΠ-系の族を構成できるか？
• RQ4 F₄根系をその各層に制限することで得られるΠ-系の幾何的・代数的構造は何か？

主な発見

• 鏡超平面の補集合上での対数的Frobenius構造は、Coxeter特異点の任意の層へ自然に制限され、部分多様体上での新しいFrobenius構造を生じる。
• 例外的Coxeter根系E₆、E₇、E₈、H₄について、交差部分空間への制限として生じるすべてのΠ-系を完全に分類し、41個の異なる系をリストアップしている。
• F₄根系から、F₃、F₅、F₆と表記される3つの新しいΠ-系が得られ、これらは古典的または例外的Coxeter系のいかなる制限とも同値でない。
• F₄(Λ)とA₁の組み合わせ (F₄(Λ), A₁)₁ は、F₄(1/(2Λ))とA₁の組み合わせ (F₄(1/(2Λ)), A₁)₂ と同値であることが判明し、これにより独立な族の数が減少することが示された。
• E₈のΠ-系には、(E₈, D₄)としてF₄(√2)が含まれ、(E₈, D₅)として(F₄(√2), A₁)₁が含まれており、例外的系の深い関係が示された。
• F₄(Λ)から得られる新しい族F₃¹(Λ)およびF₃²(Λ)が構成され、これらがいかなるCoxeter制限とも同値でないことが示され、新規のΠ-系が得られた。