[论文解读] Elliptic Algebras and Equivariant Elliptic Cohomology

Victor Ginzburg, Mikhail Kapranov+1 more|ArXiv.org|May 16, 1995

Algebraic structures and combinatorial models参考文献 9被引用 60

一句话总结

本文通过椭圆曲线上的等变椭圆上同调与层论方法，构建了经典椭圆代数的几何实现。它建立了从经典椭圆李代数的通用包络代数到微局部 Thom 层的 $E_n$-不变截面的满同态，通过几何 Langlands 对偶性原理，直接建立了椭圆上同调与量子代数之间的联系。

ABSTRACT

In this paper we explain the parallelism in the classification of three different kinds of mathematical objects: (i) Classical r-matrices. (ii) Generalized cohomology theories that have Chern classes for complex vector bundles. (iii) 1-dimensional formal groups. The main point of the paper is a construction of the elliptic algebra associated to Belavin's classical elliptic r-matrix in terms of Equivariant elliptic cohomology of the Steinberg varieties associated to some partial flag manifolds.

研究动机与目标

• 建立经典椭圆代数与等变椭圆上同调之间的几何桥梁。
• 通过发展公理化框架，解决缺乏几何上有意义的等变椭圆上同调理论的问题。
• 通过椭圆曲线上层论构造，实现经典椭圆 $r$-矩阵及其相关李双代数结构。
• 将通过上同调方法构造量子群的构造推广至椭圆情形，与 $K$-理论和 Yangian 中已知结果相呼应。
• 为未来关于环群、向量丛模空间以及椭圆对象的 Springer 理论工作奠定基础。

提出的方法

• 为‘本应存在’的等变椭圆上同调发展公理化框架，以已知上同调理论为模型，同时强调不变的陈类与 Gysin 映射。
• 利用海森堡构造与自守性条件，在具有水平结构的椭圆曲线上定义自同态层。
• 构造一个在 $E \setminus P$ 上取值于矩阵函数的层 ${\cal G}_{n,c}$，其在 $E_n$ 作用下满足扭曲的等变性条件，从而编码经典椭圆 $r$-矩阵。
• 应用微局部 Thom 层与正规化态射理论，在 Steinberg 簇 $Z$ 上定义层 $\Xi_Z$，其分类等变椭圆上同调类。
• 通过在配置空间上的群作用，建立从李代数 $\Gamma(U, \mathfrak{gl}_n({\cal O}))$ 到 $\pi_*\Xi_Z$ 的 $E_n$-不变截面的同态 $\Psi$。
• 证明 $\Psi$ 限制为从 $\mathcal{U}(\mathbf{el}_{n,c})$ 到 $\Gamma(U^{(d)}, \pi_*\Xi_Z)^{E_n}$ 的满代数同态，从而几何地实现通用包络代数。

实验结果

研究问题

• RQ1 如何通过椭圆曲线上层论构造，几何地实现经典椭圆代数？
• RQ2 自守性条件与水平结构在定义具有 $r$-矩阵对称性的自同态层中起什么作用？
• RQ3 能否独立于其定义，发展一个一致的等变椭圆上同调公理化框架，聚焦于结构性质？
• RQ4 在 Steinberg 簇上的微局部 Thom 层如何与经典椭圆李代数的通用包络代数相关联？
• RQ5 在椭圆上同调与量子群的背景下，$\pi_*\Xi_Z$ 的 $E_n$-不变截面具有何种几何意义？

主要发现

• 经典椭圆 $r$-矩阵 $r_{n,c}$ 显式实现为 $E \times E$ 上取值于 $\mathfrak{gl}_n \otimes \mathfrak{gl}_n$ 的亚纯函数，满足经典 Yang-Baxter 方程。
• 椭圆曲线 $E \setminus P$ 上的自同态层 $\mathcal{G}_{n,c}$ 由涉及表示 $T_c$ 与 Weil 配对的自守性条件所刻画。
• 迹为零的全局截面 $\mathcal{SG}_{n,c}$ 的李代数 $\mathbf{sel}_{n,c}$ 通过完备张量积与 $r$-矩阵自然赋予李双代数结构。
• $H^0(E \setminus P, \mathcal{SG}_{n,c})$ 与 $H^1(E \setminus P, \mathcal{SG}_{n,c})$ 的上同调群为零，确保李双代数结构定义良好。
• $\Psi$ 同态诱导出从 $\mathcal{U}(\mathbf{el}_{n,c})$ 到 $\pi_*\Xi_Z$ 的 $E_n$-不变截面的满代数同态，从而为通用包络代数建立几何模型。
• 该构造直接几何地实现了经典椭圆代数作为微局部层的一个不变子代数，完成了与 $K$-理论和 Yangian 的类比。