[論文レビュー] 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のブロックの間で、カテゴリカル同値性を確立する。三角関数的Knizhnik-Zamolodchikov接続と変形技法を用いて、二重アフィングレーデッドヘッケ代数の加群からアフィンヘッケ代数の表現への忠実かつ完全な関手を構成し、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進群の表現理論と二重アフィンヘッケ代数との関係を提示する枠組みを提供すること。
• 同値性が代数的に閉じた正標数の体上でも成り立つと予想し、複素数の場合の一般化を行うこと。

提案手法

• 三角関数的Knizhnik-Zamolodchikov接続を用いて、二重アフィングレーデッドヘッケ代数の加群からアフィンヘッケ代数の表現への関手を構成する。
• カテゴリOを重みでインデックス付けされたブロックに分割し、各ブロックが射影生成元をもつ部分カテゴリの帰納的極限と同値であることを示す。
• A型における変形論的議論を用いて、関手による射影生成元の像を計算し、完全なカテゴリカル同値性を実現する。
• [V2]にインspiredされた幾何的技法を適用し、問題を特定の関手の単射性に関する予想に還元する。
• 位相的環上の滑らかで有限生成な加群と、同じ環上の行列環上の加群との間の同値性に依拠する。
• Serre商カテゴリと商関手を用いて加群のカテゴリを関連づけ、構成された関手の忠実性と完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般パラメータのもとで、複素数体上の二重アフィンヘッケ代数のOのブロックと、量子化されたアフィンシュール代数のOのブロックとの間にはカテゴリカル同値性が存在するか？
• RQ2 変形技法を用いて、A型においてKnizhnik-Zamolodchikov関手による射影生成元の像を明示的に計算できるか？
• RQ3 カテゴリOと量子化されたシュール代数のブロックとの同値性は、正標数の体へと拡張可能か？
• RQ4 二重アフィンヘッケ代数の誘導加群におけるJordan-Holder重複度は、A^(1)型のKazhdan-Lusztig多項式の値とどの程度一致するか？
• RQ5 [V2]の幾何的アプローチを、二重アフィンケースにおける完全同値性に必要な単射性予想を証明するために適応可能か？

主な発見

• パラメータが一般のとき、複素数体上での二重アフィンヘッケ代数のOのブロックと、量子化されたアフィンシュール代数のブロックとの間で、完全な同値性が確立された。
• 三角関数的Knizhnik-Zamolodchikov接続を用いて、二重アフィングレーデッドヘッケ代数の加群からアフィンヘッケ代数の表現への忠実かつ完全な関手が構成された。
• A型では、変形論的技法により射影生成元の像が計算可能であり、これにより同値性の構成が可能になった。
• 二重アフィンヘッケ代数のカテゴリOは、重みでインデックス付けされたブロックに分解され、各ブロックは射影加群で生成される部分カテゴリの帰納的極限と同値である。
• Kazhdan-Lusztig多項式およびA型におけるJordan-Holder重複度に関する以前の研究が、二重アフィン設定へと拡張された。
• 著者らは、同値性が任意の正標数の代数的に閉じた体上でも成り立つと予想しており、複素数の場合の一般化である。