[论文解读] On the geometry of V-systems

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

Nonlinear Waves and Solitons参考文献 4被引用 12

一句话总结

本文引入并研究了复$∫$-系统，这是WDVV方程理论中实$∫$-系统的几何推广。证明了$∫$-系统的子系统和限制仍为$∫$-系统，并引入了复欧几里得$∫$-系统——将该类扩展至包含退化度量形式的情形——并从基本经典李超代数中提供了新例子。

ABSTRACT

We consider a complex version of the $\vee$-systems, which appeared in the theory of the WDVV equation. We show that the class of these systems is closed under the natural operations of restriction and taking the subsystems and study a special class of the $\vee$-systems related to generalized root systems and basic classical Lie superalgebras.

研究动机与目标

• 将$∫$-系统的理论扩展至复数情形，推广与WDVV方程相关的实$∫$-系统。
• 证明$∫$-系统的类在取子系统和限制下封闭，这一性质并非考克斯eter根系所共有。
• 引入并研究复欧几里得$∫$-系统，允许退化度量形式，并将其与广义根系及基本经典李超代数联系起来。
• 以子空间上双线性形式成比例的方式，给出$∫$-系统的几何表征。
• 对三维中所有已知不可约$∫$-系统进行分类并列出，包括一参数族及多个族的交点。

提出的方法

• 通过复向量空间$V$上的非退化双线性形式$G_{\mathcal{A}}(x,y) = \sum_{\alpha \in \mathcal{A}} \alpha(x)\alpha(y)$定义复$∫$-系统，诱导同构$\varphi_{\mathcal{A}}: V \to V^*$。
• 引入对偶向量$\alpha^\vee = \varphi_{\mathcal{A}}^{-1}(\alpha)$，并定义$∫$-条件：对任意$\alpha \in \mathcal{A}$及包含$\alpha$的二维子空间$\pi \subset V^*$，有$\sum_{\beta \in \pi \cap \mathcal{A}} \beta(\alpha^\vee) \beta^\vee = \lambda \alpha^\vee$，其中$\lambda$为某常数。
• 建立$∫$-条件与限制形式$G_\Pi|_{\pi^\vee \times V}$和$G_{\mathcal{A}}|_{\pi^\vee \times V}$成比例之间的等价性。
• 在适度假设下，利用几何与代数论证，证明$∫$-系统的限制与子系统仍为$∫$-系统。
• 将复欧几里得$∫$-系统定义为：其典范形式$G_{\mathcal{A}}$与某欧几里得形式（可能退化）成比例，并证明此类系统源于广义根系的可容许形变。
• 通过取基本经典李超代数中的偶根及乘以$i = \sqrt{-1}$的奇根，构造例子，证明其构成复欧几里得$∫$-系统。

实验结果

研究问题

• RQ1 在复数情形下，$∫$-系统的类是否在取子系统和限制下封闭？
• RQ2 $∫$-系统的几何结构能否推广至典范形式退化的情形？
• RQ3 复$∫$-系统与基本经典李超代数的根系之间有何关系？
• RQ4 当典范形式退化时，复$∫$-系统与WDVV方程解之间有何关联？
• RQ5 三维中不可约$∫$-系统的完整分类是什么？已知族系之间如何相交？

主要发现

• $∫$-系统的类在取子系统和限制下封闭，这一非平凡性质并非考克斯eter根系所共有。
• 复$∫$-系统通过非退化典范形式$G_{\mathcal{A}}$定义，且$∫$-条件成立当且仅当在二维平面上的限制形式成比例。
• 当$G_{\mathcal{A}}$与某欧几里得形式（可能退化）成比例时，定义复欧几里得$∫$-系统，此类系统包括源于广义根系可容许形变的系统。
• 对任意基本经典李超代数$\mathfrak{g}$，由偶根及乘以$i$的奇根构成的集合$\mathcal{A}_{\mathfrak{g}}$构成复欧几里得$∫$-系统。
• 当典范形式恒为零时，其对应的预势不产生WDVV方程的解，因为所有$F_i$矩阵的线性组合均为退化。
• 在三维中，所有已知不可约$∫$-系统被分类为一参数族，如$A_3(c)$、$B_3(\gamma;c)$、$D_3(t,s)$和$F_3(t)$，其中特殊点如$P = B_3(-1;1,1,2)$代表多个族的交点。