[论文解读] Extended affine Weyl groups and Frobenius manifolds -- II

Boris Dubrovin, Youjin Zhang+1 more|ArXiv.org|Feb 17, 2005

Advanced Algebra and Geometry被引用 8

一句话总结

本文证明了在根系类型为 $B_l$ 和 $C_l$ 的扩展仿射 Weyl 群的轨道空间上存在 Frobenius 流形结构，推广了先前的结果，表明这种结构对 Dynkin 图中任意顶点均成立，而不仅限于特定顶点。该构造基于 $W_a$-不变 Fourier 多项式与扩展 Weyl 群不变性，导出平坦度量与平坦坐标，得到关于 $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$ 的多项式势函数。对于 $B_l$ 构造的 Frobenius 流形在坐标变换下与 $C_l$ 的结构同构。

ABSTRACT

For the root system of type $B_l$ and $C_l$, we generalize the result of \cite{DZ1998} by showing the existence of a Frobenius manifold structure on the orbit space of the extended affine Weyl group that corresponds to any vertex of the Dynkin diagram instead of a particular choice of \cite{DZ1998}.

研究动机与目标

• 将扩展仿射 Weyl 群轨道空间上的 Frobenius 流形构造从特定顶点推广到 $B_l$ 和 $C_l$ 根系 Dynkin 图中任意顶点。
• 证明关于不变环 $\mathcal{A}$ 的 Chevalley 型定理对任意顶点普遍成立，确保轨道空间是维数为 $l+1$ 的仿射代数簇。
• 在轨道空间上构造一个平坦度量族并推导平坦坐标，从而定义 Frobenius 流形结构。
• 证明 Frobenius 流形的势函数是 $t^1, \dots, t^{l-1}, t^l, \frac{1}{t^l}, e^{t^{l+1}}$ 的多项式。

提出的方法

• 将扩展仿射 Weyl 群 $\widetilde{W}^{(k)}(R)$ 定义为仿射 Weyl 群 $W_a$ 与扩展空间 $\widetilde{V} = V \oplus \mathbb{R}$ 中 $\omega_k$ 的平移的半直积。
• 通过涉及 $\omega_k$ 和 $\tau \to +\infty$ 的特定极限条件，构造 $\widetilde{W}$-不变 Fourier 多项式环 $\mathcal{A}^{(k)}(R)$。
• 引入变换坐标 $\tilde{y}_j(x) = e^{2\pi i d_j x_{l+1}} y_j(\mathbb{x})$ 和 $\tilde{y}_{l+1}(x) = e^{2\pi i x_{l+1}}$，其中 $d_j = (\omega_j, \omega_k)$，且 $y_j$ 为 $W_a$-不变 Fourier 多项式。
• 通过使用平坦坐标 $t^1, \dots, t^{l+1}$ 构造逆度量 $g^{ij}$，其分量以 $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$ 表示，在轨道空间上导出平坦度量族。
• 验证 Frobenius 流形公理：存在平坦度量、相容乘法、Euler 向量场，以及势函数 $F$ 为平坦坐标上的多项式。
• 证明当在各自 Dynkin 图中选择相同顶点时，$B_l$ 与 $C_l$ 的 Frobenius 流形结构通过坐标变换同构：当 $k=l$ 时，$y^l \mapsto (y^l)^2$ 且 $y^{l+1} \mapsto \frac{1}{2}y^{l+1}$；当 $k < l$ 时，$y^{l+1} \mapsto y^{l+1}$。

实验结果

研究问题

• RQ1 对于 $B_l$ 和 $C_l$ 的 Dynkin 图中任意顶点，扩展仿射 Weyl 群轨道空间上是否存在 Frobenius 流形结构？
• RQ2 关于不变环 $\mathcal{A}$ 的 Chevalley 型定理能否推广至 $B_l$ 和 $C_l$ 的 Dynkin 图中所有顶点？
• RQ3 对于任意顶点选择，Frobenius 流形的势函数是否为 $t^1, \dots, t^l, \frac{1}{t^l}, e^{t^{l+1}}$ 的多项式？
• RQ4 当在各自 Dynkin 图中选择相同顶点时，$B_l$ 与 $C_l$ 关联的 Frobenius 流形是否同构？

主要发现

• 对于 $B_l$ 和 $C_l$ 的 Dynkin 图中任意顶点 $k$，扩展仿射 Weyl 群 $\widetilde{W}^{(k)}(R)$ 的轨道空间上均存在 Frobenius 流形结构，推广了文献 [5] 中仅针对特定 $k$ 的结果。
• Frobenius 流形的势函数 $F$ 是平坦坐标 $t^1, \dots, t^{l-1}, t^l, \frac{1}{t^l}, e^{t^{l+1}}$ 的多项式，对 $l=4$ 明确计算出 $g^{ij}$ 与 $F$，其表达式以 $t^1, \dots, t^5$ 表示。
• 对 $l=4$ 明确计算出逆度量分量 $g^{ij}$，其中 $g^{33} = 12 t_4^2 e^{t_5} t_1 + 48 t_4^2 e^{2t_5} - \frac{1}{4} t_3^2 + \frac{1}{12} t_3 t_4^3 - \frac{1}{108} t_4^6 + \frac{1}{4} \frac{t_3^3}{t_4^3}$，其余分量亦以类似形式表达。
• Euler 向量场为 $E = \frac{1}{2} t_1 \partial_1 + t_2 \partial_2 + \frac{3}{4} t_3 \partial_3 + \frac{1}{4} t_4 \partial_4 + \frac{1}{2} \partial_5$，确认了势函数的齐次性。
• 对于任意顶点 $k$，$B_l$ 的 Frobenius 流形与 $C_l$ 的对应流形同构，通过坐标变换 $y^l \mapsto (y^l)^2$ 与 $y^{l+1} \mapsto \frac{1}{2} y^{l+1}$（当 $k=l$ 时），以及 $y^{l+1} \mapsto y^{l+1}$（当 $k < l$ 时）实现。