[论文解读] Schubert calculus and representations of general linear group

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Nov 26, 2007

Advanced Topics in Algebra参考文献 10被引用 20

一句话总结

该论文建立了 $\mathfrak{gl}_N[t]$ 的评价模的张量积的多重性空间上作用的贝特代数与格拉斯曼流形中施伯曼簇的方案论交集之间的典范同构。证明了该空间上贝特代数的表示同交集的共正则表示同构，从而证明了施伯曼簇的横截性以及实参数下贝特代数谱的简洁性。

ABSTRACT

We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation gl_N[t]-modules and the scheme-theoretic intersection of suitable Schubert varieties. Moreover, we prove that the multiplicity space as a module over the Bethe algebra is isomorphic to the coregular representation of the scheme-theoretic intersection. In particular, this result implies the simplicity of the spectrum of the Bethe algebra for real values of evaluation parameters and the transversality of the intersection of the corresponding Schubert varieties.

研究动机与目标

• 建立量子可积系统中贝特代数与格拉斯曼流形中施伯曼簇的方案论交集之间深层次的代数同构。
• 证明张量积的 $\mathfrak{gl}_N[t]$-模的多重性空间携带贝特代数的共正则表示。
• 解决关于实评价参数下施伯曼簇横截性的长期猜想。
• 证明贝特代数的谱是简洁的，且对实参数所有特征空间均为一维。
• 通过首一弗uchs型微分算子与多项式核，提供贝特代数特征值的几何解释。

提出的方法

• 构造一个循环的 $\mathfrak{gl}_N[t]$-模 $\mathcal{V}^S$，作为带有形式参数的评价模张量积的子模。
• 通过自然同构将贝特代数 $\mathcal{B}_{\boldsymbol{\lambda}}$ 识别为施伯曼胞腔上的函数代数。
• 利用贝特答案的完备性及分次特征标的相等性，证明 $\mathcal{B}_{\boldsymbol{\lambda}}$ 是自由多项式代数，并在奇异向量空间 $({\mathcal{V}}^{S})_{\boldsymbol{\lambda}}^{sing}$ 上通过正则表示作用。
• 将评价参数特化，得到一个同构于韦尔模的商模，并相应地诱导出施伯曼胞腔代数的商。
• 建立韦朗斯基映射的方案论纤维与作用于韦尔模中奇异向量的贝特代数 $\mathcal{B}_{\boldsymbol{\lambda},\boldsymbol{a}}$ 之间的同构。
• 利用特征空间关于参数的全纯依赖性及韦朗斯基映射像的路径连通性，证明单值性传递性与微分算子的解析延拓。

实验结果

研究问题

• RQ1 是否存在作用于 $\mathfrak{gl}_N[t]$-模多重性空间上的贝特代数与格拉斯曼流形中施伯曼簇的方案论交集之间的典范同构？
• RQ2 贝特代数在多重性空间上的表示是否与方案论交集的共正则表示一致？
• RQ3 对应于实评价参数的施伯曼簇是否横截相交？
• RQ4 对实参数而言，贝特代数的谱是否简洁（即所有特征空间为一维）？
• RQ5 贝特代数的特征值与首一弗uchs型微分算子之间是否存在一一对应关系，且其核为多项式？

主要发现

• 贝特代数 $\mathcal{B}_{\boldsymbol{\lambda},\boldsymbol{a}}$ 同构于格拉斯曼流形中 $N$-平面的施伯曼簇的方案论交集。
• 贝特代数在多重性空间上的表示同构于方案论交集的共正则表示。
• 对实评价参数，施伯曼簇交集的横截性已得证，证实了长期存在的猜想。
• 对实评价参数，贝特代数的所有特征空间均为一维，意味着谱在一般情况下是简洁的。
• 贝特代数的特征值与 $N$ 阶、$k+1$ 个奇点且核为多项式的首一弗uchs型微分算子之间存在一一对应。
• 在参数空间中沿环路解析延拓微分算子，对应于特征空间的置换，且单值群在特征空间集合上作用传递。