[论文解读] Cyclotomic discriminantal arrangements and diagram automorphisms of Lie algebras

Alexander Varchenko, Charles A. S. Young|arXiv (Cornell University)|Mar 23, 2016

Algebraic structures and combinatorial models参考文献 33被引用 8

一句话总结

本文引入了分圆判别性排列——一种涉及单位根的判别性排列的推广——并建立了其旗复形与具有图自同构的 Kac-Moody 李代数的幂零子代数链复形之间的同构。关键贡献在于通过这种代数拓扑对应关系，证明了分圆 Gaudin 模型中的 Bethe 向量非零。

ABSTRACT

Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero.

研究动机与目标

• 通过引入一类新排列——分圆判别性排列，将超平面排列与量子可积模型之间的联系加以拓展。
• 建立这些排列的旗复形与 Aomoto 复形，以及具有图自同构的 Kac-Moody 李代数的幂零子代数链复形之间的对应关系。
• 为最近出现的量子可积系统——分圆 Gaudin 模型——提供几何与代数基础。
• 通过几何与代数手段证明分圆 Gaudin 模型中 Bethe 向量非零，从而解决该模型中的一个关键结构性问题。

提出的方法

• 在 $\mathbb{C}^m$ 中，通过形如 $t_i - \omega^k t_j = 0$、$t_i - \omega^k z_j = 0$ 和 $t_i = 0$ 的仿射超平面，定义分圆判别性排列，其中 $\omega$ 是一个本原的 $T$ 次单位根。
• 将旗复形 $\mathscr{F}^\bullet(\mathcal{C}_{0,N;m})$ 构造为排列边上的旗空间的商。
• 定义一个自由李代数 $\mathfrak{a}$，其生成元为 $^k f_i$，并引入一个将 $k$-指标模 $T$ 平移的自同构，考虑其固定点子代数 $\bar{\mathfrak{a}}$。
• 建立链复形 $\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}$ 的第 $p$ 个空间与旗空间 $\mathscr{F}^{m-p}(\mathcal{C}_{0,N;m})$ 之间的同构 $\psi_p$，其中 $\mathcal{M}_{0,N} = U(\bar{\mathfrak{a}}) \otimes U(\mathfrak{a})^{\otimes N}$。
• 利用雅可比恒等式与递归换位子展开，证明该同构保持微分结构，从而确立复形同构。
• 通过分析上闭链 $\mathcal{G}$ 的作用并利用李代数模的结构，证明某些旗和在零权超平面上的正则性。

实验结果

研究问题

• RQ1 如何将超平面排列理论扩展以纳入由单位根产生的分圆对称性？
• RQ2 分圆判别性排列的旗复形与 Aomoto 复形具有何种代数结构？
• RQ3 这些复形如何与配备图自同构的 Kac-Moody 李代数的幂零子代数相关联？
• RQ4 能否通过几何与代数手段确立分圆 Gaudin 模型中 Bethe 向量的非零性？
• RQ5 分圆判别性排列的 Orlik-Solomon 代数的 Poincaré 多项式的确切形式是什么？

主要发现

• 分圆判别性排列 $\mathcal{C}_{0,N;m}$ 的 Orlik-Solomon 代数的 Poincaré 多项式为 $\prod_{p=0}^{m-1} \left(1 + (1 + (p+N)T)x\right)$，该结果推广了 $N=0$ 时的已知结果。
• 存在一个自然同构 $\psi_p$，将链复形 $\left(\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}\right)_{[1^m]}$ 的第 $p$ 个空间与旗空间 $\mathscr{F}^{m-p}(\mathcal{C}_{0,N;m})$ 建立同构，从而确立复形同构。
• 旗复形 $\mathscr{F}^\bullet(\mathcal{C}_{0,N;m})$ 通过映射 $\psi_p$ 同构于链复形 $C_\bullet(\bar{\mathfrak{a}}, \mathcal{M}_{0,N})$，且保持微分结构。
• 证明了与图自同构相关的分圆 Gaudin 模型中的 Bethe 向量非零，从而解决了该模型中的一个关键开放问题。
• 非零性证明依赖于证明某些旗和属于上闭链 $\mathcal{G}$ 的核，方法为使用递归换位子展开与雅可比恒等式。
• 通过分析排列中边的结构，特别是群岛与岛屿，将问题约化为对涉及 $t_{h_1}, \dots, t_{h_s}$、$t_{i_n}$ 与 $t_{j_p}$ 的局部构型的分析。