[论文解读] Eisenstein series and quantum affine algebras

Mikhail Kapranov|ArXiv.org|Apr 26, 1996

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

一句话总结

本文在有限域上曲线的凝聚层霍尔代数与量子仿射代数之间建立了深刻的类比，表明曲线上之尖点形式扮演简单根的角色，而兰金-塞尔伯格L函数则对应卡坦矩阵的元素。当X = P¹且g = sl₂时，该类比成为精确同构，揭示了通过伊司坦斯坦级数与自守形式对量子仿射代数的新几何实现。

ABSTRACT

Let X be a smooth projectibe curve over a finite field. We consider the Hall algebra H whose basis is formed by isomorphism classes of coherent sheaves on X and whose typical structure constant is the number of subsheaves in a given sheaf belonging to a given isomorphism class and with given isomorphism class of quotient. We study this algebra in detail. It turns out that its structure is strikingly similar to that of quantum affine algebras in their loop realization of Drinfeld. In this analogy the set of simple roots of a semisimple Lie algebra g corresponds to the set of cusp forms on X, the entries of the Cartan matrix of g to the values of Rankin-Selberg L-functions associated to two cusp forms. For the simplest instances of both theories (the curve P^1, the Lie algebra g=sl_2) the analogy is in fact an identity.

研究动机与目标

• 研究有限域上光滑射影曲线的凝聚层的同构类所构成的霍尔代数的结构。
• 在德林菲尔德的环路实现中，建立该霍尔代数与量子仿射代数之间的结构类比。
• 将曲线上之尖点形式与半单李代数的简单根对应起来，并将兰金-塞尔伯格L函数与卡坦矩阵的元素对应起来。
• 验证在最简单的情形X = P¹且g = sl₂时，该类比成为精确同构。
• 通过有限域背景下之伊司坦斯坦级数与自守形式，统一几何表示论与数论。

提出的方法

• 构造霍尔代数H，其基由有限域上光滑射影曲线X的凝聚层的同构类构成。
• 将结构常数定义为具有指定子层与商层同构类的子层数量。
• 将曲线上尖点形式的集合与李代数设定中简单根的集合对应起来。
• 将卡坦矩阵的元素映射为与一对尖点形式相关的兰金-塞尔伯格L函数的取值。
• 利用德林菲尔德对量子仿射代数的环路实现，比较代数结构。
• 在X = P¹且g = sl₂的情形下显式验证同构，此时霍尔代数同构于量子仿射代数U_q(ŝl₂)。

实验结果

研究问题

• RQ1 有限域上曲线的凝聚层霍尔代数如何与量子仿射代数相关？
• RQ2 曲线上哪些几何或算术对象对应于半单李代数的简单根？
• RQ3 在此语境下，卡坦矩阵的元素能否实现为L函数的取值？
• RQ4 霍尔代数与量子仿射代数之间的类比在任何特殊情形下是否为精确同构？
• RQ5 伊司坦斯坦级数在连接凝聚层与量子群中扮演何种角色？

主要发现

• 有限域上光滑射影曲线的凝聚层霍尔代数，在德林菲尔德的环路实现中，其结构与量子仿射代数极为相似。
• 曲线上之尖点形式对应于半单李代数的简单根，为根系提供了几何实现。
• 卡坦矩阵的元素由与一对尖点形式相关的兰金-塞尔伯格L函数的取值实现。
• 在X = P¹且g = sl₂的情形下，霍尔代数同构于量子仿射代数U_q(ŝl₂)，使类比成为精确同构。
• 霍尔代数的结构常数由具有指定子层与商层同构类的子层数量计数，与量子群关系相呼应。
• 本文建立了几何对象（尖点形式、L函数）与代数结构（根、卡坦矩阵、量子群）之间的精确对应字典。