[论文解读] From double affine Hecke algebras to quantized affine Schur algebras

Michela Varagnolo, Éric Vasserot|arXiv (Cornell University)|Jul 3, 2003

Algebraic structures and combinatorial models参考文献 5被引用 17

一句话总结

该论文在通用参数下建立了复数域上双重仿射赫尔代数的O类块与量化仿射施瓦茨代数的O类块之间的范畴等价。通过三角函数形式的基尼兹赫尼克-萨莫洛奇科夫联络与形变技巧，该研究构建了一个从双重仿射分次赫尔代数模到仿射赫尔代数表示的忠实正合函子，扩展了A型中的已知结果，并暗示了仿射赫尔代数与p进群表示之间存在更深层次的联系。

ABSTRACT

We prove that the double affine Hecke algebra of type A is Morita equivalent to the quantized affine Schur algebra.

研究动机与目标

• 建立复数域上通用参数下双重仿射赫尔代数的O类块与量化仿射施瓦茨代数的O类块之间的范畴等价。
• 将A型中关于Kazhdan-Lusztig多项式与Jordan-Holder重数的已知结果推广至双重仿射情形。
• 为通过O类与模范畴将p进群表示理论与双重仿射赫尔代数联系起来提供一个框架。
• 猜想该等价性在正特征代数闭域上也成立，从而推广复数情形。

提出的方法

• 利用三角函数形式的基尼兹赫尼克-萨莫洛奇科夫联络，从双重仿射分次赫尔代数的模构造到仿射赫尔代数表示的函子。
• 将O类分解为由权索引的块，每个块等价于具有投影生成元的子范畴的归纳系统极限。
• 在A型中使用形变论证计算投影生成元在函子下的像，从而实现完整的范畴等价。
• 应用受[V2]启发的几何技巧，将问题约化为验证某些函子的单射性猜想。
• 依赖于拓扑环上光滑有限生成模与同一环上矩阵环模之间的等价性。
• 采用塞尔商环与商函子来关联模范畴，确保所构造函子的正合性与忠实性。

实验结果

研究问题

• RQ1 在通用参数下，复数域上双重仿射赫尔代数的O类块与量化仿射施瓦茨代数的块之间是否存在范畴等价？
• RQ2 在A型中，能否通过形变技巧显式计算基尼兹赫尼克-萨莫洛奇科夫函子下投影生成元的像？
• RQ3 O类与量化施瓦茨代数块之间的等价性是否可推广至正特征域？
• RQ4 双重仿射赫尔代数诱导模中的Jordan-Holder重数在多大程度上对应于A^(1)型Kazhdan-Lusztig多项式的取值？
• RQ5 [V2]的几何方法能否被调整以证明双重仿射情形下实现完整等价所必需的单射性猜想？

主要发现

• 当参数为通用时，在复数域上，双重仿射赫尔代数的O类块与量化仿射施瓦茨代数的块之间建立了完整的等价。
• 该等价通过利用三角函数形式的基尼兹赫尼克-萨莫洛奇科夫联络，从双重仿射分次赫尔代数模到仿射赫尔代数表示的忠实正合函子构造而成。
• 在A型中，通过形变可计算投影生成元的像，从而实现等价的构造。
• 双重仿射赫尔代数的O类分解为由权索引的块，每个块等价于由投影模生成的子范畴的极限。
• 该结果将A型中关于Kazhdan-Lusztig多项式与Jordan-Holder重数的先前工作推广至双重仿射情形。
• 作者猜想该等价性在任意正特征代数闭域上也成立，从而推广了复数情形。