[论文解读] Coxeter discriminants and logarithmic Frobenius structures

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

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

一句话总结

本文建立了考克斯eter判别式分支上的对数弗罗贝尼乌斯结构与轨道空间上原始弗罗贝尼乌斯结构之间的几何对偶性，表明此类结构自然地作为考克斯eter根系在镜面超平面交集子空间上的限制而出现。主要贡献是通过判别式中的分支，对例外考克斯eter根系的 $Π$-系统进行了完整分类，包括无法从考克斯eter系统推导出的新族，且对 $F_4$ 的 $F_3, F_5, F_6$ 提供了显式构造。

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.

研究动机与目标

• 将杜布罗温关于轨道空间上弗罗贝尼乌斯结构与补空间上对数结构之间的对偶性，扩展至考克斯eter判别式的所有分支。
• 对例外考克斯eter根系限制到镜面超平面交集子空间时产生的所有 $Π$-系统进行分类。
• 识别并构造出无法通过考克斯eter根系限制获得的新族 $Π$-系统。
• 为早期工作中发现的 $Π$-系统提供几何解释，将其与受限经典系统在扎里斯基闭包下的关系联系起来。

提出的方法

• 使用 WDVV 方程，并通过形式为 $F^A = \sum_{\alpha \in A} (\alpha,x)^2 \log(\alpha,x)^2$ 的势函数定义对数弗罗贝尼乌斯结构，其中 $A$ 为余向量的有限集。
• 应用奥尔利克与索洛蒙以及什切巴克关于考克斯eter判别式分层的研究成果，对分支及其关联的 $Π$-系统进行分类。
• 将镜面超平面补集上的对数弗罗贝尼乌斯结构限制到判别式中的每个分支，从而在子流形上得到新的弗罗贝尼乌斯结构。
• 利用杜布罗温对偶公式 $u*v = E^{-1} \cdot u \cdot v$，将 $M_G$ 上的原始弗罗贝尼乌斯结构与受限的对数结构联系起来。
• 通过将考克斯eter根系投影到交集子空间来显式构造 $Π$-系统，特别分析了 $F_4$ 情况，以推导出 $F_3, F_5, F_6$。
• 利用 $Π$-系统之间的等价关系（例如 $F_4(\Lambda) \sim F_4(1/(2\Lambda))$）将分类简化为标准形式。

实验结果

研究问题

• RQ1 如何将杜布罗温关于轨道空间上弗罗贝尼乌斯结构与补空间上对数结构之间的对偶性，扩展至考克斯eter判别式的子流形（分支）？
• RQ2 哪些 $Π$-系统是例外考克斯eter根系限制到其镜面超平面交集子空间时产生的完整列表？
• RQ3 能否构造出无法通过考克斯eter根系限制获得的新族 $Π$-系统？
• RQ4 从 $F_4$ 根系通过限制到其分支所得到的 $Π$-系统的几何与代数结构是什么？

主要发现

• 镜面超平面补集上的对数弗罗贝尼乌斯结构自然地限制到考克斯eter判别式的任意分支，从而在子流形上产生新的弗罗贝尼乌斯结构。
• 对于例外考克斯eter根系 $E_6, E_7, E_8, H_4$，本文提供了其限制到交集子空间时产生的所有 $Π$-系统的完整分类，列出了 41 个不同的系统。
• $F_4$ 根系产生了三个新的 $Π$-系统，记为 $F_3, F_5, F_6$，它们与任何经典或例外考克斯eter系统的限制均不等价。
• 系统 $(F_4(\Lambda), A_1)_1$ 与 $(F_4(1/(2\Lambda)), A_1)_2$ 等价，揭示了一种对偶性，从而减少了独立族的数量。
• $E_8$ 的 $Π$-系统包括 $F_4(\sqrt{2})$ 作为 $(E_8, D_4)$，以及 $(F_4(\sqrt{2}), A_1)_1$ 作为 $(E_8, D_5)$，显示出例外系统之间的深层联系。
• 从 $F_4(\Lambda)$ 构造出的新族如 $F_3^{1}(\Lambda)$ 和 $F_3^{2}(\Lambda)$ 被证明与任何考克斯eter限制均不等价，提供了新颖的 $Π$-系统。