[論文レビュー] 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

ひとこと要約

本稿は、単位根を含む一般化された判別的配置（cyclotomic discriminantal arrangements）を導入し、その旗複体とKac-Moody Lie代数の図形自己同型を伴う冪零部分代数の鎖複体との間に同型写像を確立する。主な貢献は、この代数的位相的対応を通じて、巡回的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 Lie代数の冪零部分代数の鎖複体に対応することを確立すること。
• 最近の量子可積分模型である巡回的Gaudin模型のための幾何学的および代数的基盤を提供すること。
• 巡回的Gaudin模型におけるBetheベクトルが非ゼロであることを証明し、モデルの主要な構造的問題を解決すること。

提案手法

• 原始的T次単位根$\omega$を用いて、$\mathbb{C}^m$におけるアフィン超平面$t_i - \omega^k t_j = 0$、$t_i - \omega^k z_j = 0$、および$t_i = 0$の形で、巡回的判別的配置を定義する。
• 配置の辺上の旗空間の商として、旗複体$\mathscr{F}^\bullet(\mathcal{C}_{0,N;m})$を構成する。
• 指数$k$を$T$を法としてシフトする自己同型を備えた自由Lie代数$\mathfrak{a}$（生成子$^k f_i$を有する）を定義し、その固定部分代数$\bar{\mathfrak{a}}$を考察する。
• 複体の$p$-次元空間$\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}$と旗空間$\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}$の作用とLie代数モジュールの構造を分析することで、特定の旗和の重みゼロ超平面における正則性を証明する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置の理論は、単位根から生じる巡回的対称性をどのように拡張できるか？
• RQ2 巡回的判別的配置に関連する旗複体とAomoto複体の代数的構造は何か？
• RQ3 これらの複体は、図形自己同型を備えたKac-Moody Lie代数の冪零部分代数とどのように関係するか？
• 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$の既知の結果を一般化する。
• 鎖複体の$p$-次元空間$\left(\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}\right)_{[1^m]}$と旗空間$\mathscr{F}^{m-p}(\mathcal{C}_{0,N;m})$の間に、自然な同型写像$\psi_p$が存在し、複体同型を確立する。
• 旗複体$\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}$を含む局所的構成に還元する。