[論文レビュー] Elliptic Algebras and Equivariant Elliptic Cohomology

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

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

ひとこと要約

本稿は、等長的楕円コホモロジーと楕円曲線上の層論的技法を用いて、古典的楕円代数の幾何的実現を構築する。同定された普遍包絡代数から $E_n$-不変セクションへの全射な代数準同型を確立することで、幾何学的ラングランズ双対性の原則を通じて、楕円コホモロジーと量子代数の直接的な関係を確立する。

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$-理論やヤンギアンで知られている結果を模倣し、コホモロジー的技法による量子群の構成を楕円の場合に一般化すること。
• 今後のループ群、ベクトル束のモジュライ空間、および楕円的対象のスプリンガー理論に関する研究の基盤を築くこと。

提案手法

• 『あり得ない』等長的楕円コホモロジーのための公理的枠組みを構築し、既知のコホモロジー理論を模倣しながら、不変チャーン類とギジン写像に重点を置く。
• ヘイゼンベルグ構成と自動性条件を用いて、レベル構造を備えた楕円曲線上の自己準同型層を定義する。
• $E_n$ の作用におけるねじれ不変性条件を満たす $E \setminus P$ 上の行列値関数の層 ${\cal G}_{n,c}$ を構成し、これにより古典的楕円 $r$-行列を符号化する。
• マイクロ局所トム層の理論と正規化写像を用いて、シュタインベルク多様体 $Z$ 上の層 $\Xi_Z$ を定義し、これにより等長的楕円コホモロジー類を分類する。
• $E_n$-不変セクションへの群作用を用いて、Lie代数 $\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 シュタインベルク多様体上のマイクロ局所トム層は、古典的楕円リー代数の普遍包絡代数とどのように関係するか？
• RQ5 楕円コホモロジーと量子群の文脈において、$\pi_*\Xi_Z$ の $E_n$-不変セクションの幾何的意味は何か？

主な発見

• 古典的楕円 $r$-行列 $r_{n,c}$ は、$E \times E$ 上の $\mathfrak{gl}_n \otimes \mathfrak{gl}_n$ 値の有理型関数として明示的に実現され、古典的ヤン・バクスター方程式を満たす。
• $E \setminus P$ 上の自己準同型層 $\mathcal{G}_{n,c}$ は、表現 $T_c$ とヴェイルペアリングを含む自動性条件によって特徴づけられる。
• $\mathcal{SG}_{n,c}$ のトレースゼロのグローバルセクションのLie代数 $\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$-理論やヤンギアンとの類似性が完全に実現される。