[論文レビュー] Eisenstein series and quantum affine algebras

Mikhail Kapranov|ArXiv.org|Apr 26, 1996

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

ひとこと要約

本稿は、有限体上の曲線の整合的層のホール代数と量子アフィン代数の間の深い類似性を確立し、曲線上のカスプ形式が単純根の役割を果たし、ランキン・セルバーラ関数がカルタン行列の成分に対応することを示している。P¹および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₂の最も単純な場合に、この類似性が正確な同型にまで発展することを検証すること。
• 有限体の文脈において、イーゼンスタイン級数と自動形式を通じて、幾何的表現理論と数論を統合すること。

提案手法

• 滑らかで射系的な曲線X over a finite field 上の整合的層の同型類からなる基底を持つホール代数Hを構成すること。
• 与えられた層の部分層の数を、部分層および商層の指定された同型類に対応する構造定数を定義すること。
• 曲線上のカスプ形式の集合をリー代数の文脈における単純根の集合に同定すること。
• カルタン行列の成分を、対となるカスプ形式に関連するランキン・セルバーラL関数の値にマッピングすること。
• ドリンフェルトによる量子アフィン代数のループ実現を用いて、代数的構造を比較すること。
• X = P¹およびg = sl₂の場合に、明示的に同型が成り立つことを検証し、ホール代数が量子アフィン代数U_q(ŝl₂)に同型であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 有限体上の曲線の整合的層のホール代数は、量子アフィン代数とどのように関係するか？
• RQ2 曲線上の幾何的または算術的対象のうち、半単純リー代数の単純根に対応するのは何か？
• RQ3 この文脈においてカルタン行列の成分をL関数の値として実現できるか？
• RQ4 ホール代数と量子アフィン代数の類似性は、特別な場合に正確な同型に発展するか？
• RQ5 イーゼンスタイン級数は、整合的層と量子群を結ぶ際に果たす役割は何か？

主な発見

• 有限体上の滑らかで射系的な曲線の整合的層のホール代数は、ドリンフェルトのループ実現における量子アフィン代数の構造と顕著に類似している。
• 曲線上のカスプ形式は、半単純リー代数の単純根に対応し、根系の幾何的実現を提供する。
• カルタン行列の成分は、対となるカスプ形式に関連するランキン・セルバーラL関数の値として実現される。
• X = P¹およびg = sl₂の場合、ホール代数は量子アフィン代数U_q(ŝl₂)に同型であり、類似性が正確になる。
• ホール代数の構造定数は、部分層および商層の指定された同型類を持つ部分層の数として数えられ、量子群の関係に類似している。
• 本稿は、幾何的対象（カスプ形式、L関数）と代数的構造（根、カルタン行列、量子群）の間の正確な辞書を確立している。