[論文レビュー] Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA

Peng Shan, Michela Varagnolo+1 more|arXiv (Cornell University)|Jul 1, 2011

Algebraic structures and combinatorial models参考文献 37被引用数 12

ひとこと要約

この論文は、傾きや特異的 Koszul双対性を、非臨界レベルにおける切断されたバージョンのカテゴリ O を用いて、アフィン Kac-Moody代数のカテゴリ O に対して確立する。この切断カテゴリ O は、tilting および射影的対象を両方備える。変形されたカテゴリ O を導入し、有限余次元のアフィンシューベルト多様体上の等置不変 perverse 契約を関連付けるためのモーメントグラフを用いることで、カテゴリ O における Koszul 双対性を証明し、これを用いて、シューブルト＝ミヤチの予想（cyclotomic rational DAHA におけるレベルランク双対性と Ringel-Koszul 双対性の関係）を証明する。

ABSTRACT

We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.

研究の動機と目的

• アフィン Kac-Moody代数のカテゴリ O に対して、放物型／特異的 Koszul 双対性を確立すること。
• 正または負のレベルにおいて tilting または射影的加群が存在しないという欠如を克服するため、カテゴリ O の切断バージョンを導入すること。
• 有限余次元のアフィンシューベルト多様体上の等置不変 perverse 契約を幾何的に制御するために、モーメントグラフと関連付けること。
• Koszul 双対性を $q$-Schur 代数および cyclotomic rational double affine Hecke 代数（CRDAHA）に適用すること。
• Chuang-Miyachi が提唱した、CRDAHA におけるレベルランク双対性と Ringel-Koszul 双対性の関係を、Koszul 双対性の枠組みを用いて証明すること。

提案手法

• 非臨界レベルにおける放物型カテゴリ O の切断バージョンを導入し、これは、tilting および射影的対象を両方備える有限の最高ウェイトカテゴリである。
• 多項式環の局域化上での変形カテゴリ O を用いて、Koszul 双対性関手をサポートする最高ウェイトカテゴリを構成する。
• モーメントグラフとそれら上の層を、有限余次元のアフィンシューベルト多様体上の等置不変 perverse 契約の代数的モデルとして用いる。
• 付録 A に新たに開発した幾何的道具を用いて、モーメントグラフ上の層と Kashiwara のアフィンフラッグ多様体上の等置不変 perverse 契約との関係を確立する。
• 標準的 Koszul 双対性と Ringel 双対性を用いて、正負のレベルカテゴリを関連付け、正レベルにおける局所化定理の欠如を回避する。
• Fiebig の関手（変形カテゴリ O からモーメントグラフ層へのもの）を用いて、Koszul 双対性関手を代数的に実現する。

実験結果

リサーチクエスチョン

• RQ1 正または負のレベルにおいて tilting または射影的加群が存在しないにもかかわらず、アフィン Kac-Moody代数のカテゴリ O に対して放物型／特異的 Koszul 双対性を確立できるか？
• RQ2 有限余次元のアフィンシューベルト多様体上の等置不変 perverse 契約をモデル化するために、モーメントグラフをどのように用いることができるか？
• RQ3 カテゴリ O の Koszul 双対性と、cyclotomic rational DAHA の Fock 空間におけるレベルランク双対性との関係は何か？
• RQ4 カテゴリ O の Koszul 双対性は、$q$-Schur 代数とその双対の Koszul 性を示唆するか？
• RQ5 Chuang-Miyachi が提唱した、CRDAHA におけるレベルランク双対性と Ringel-Koszul 双対性の関係を、この枠組みを用いて証明できるか？

主な発見

• 非臨界レベルにおける切断放物型カテゴリ O は、有限の最高ウェイトカテゴリであり、tilting および射影的対象を両方備える。
• 切断カテゴリ O は Koszul であり、その Koszul 双対は、同じカテゴリの Ringel 双対と同型である。
• $q$-Schur 代数は、Koszul 代数と Morita 同値であることが示され、その Koszul 双対は双対性枠組みによって明示的に記述される。
• cyclotomic rational double affine Hecke 代数（CRDAHA）のカテゴリ O は Koszul であることが証明され、Koszul 同値性はレベルランク双対性と整合する。
• Chuang-Miyachi の予想（CRDAHA におけるレベルランク双対性と Ringel-Koszul 双対性の関係）は、開発された Koszul 双対性理論を用いて検証された。
• 新しい幾何的道具が確立された：モーメントグラフ上の層と、有限余次元のアフィンシューベルト多様体上の等置不変 perverse 契約との対応関係であり、これは独立した価値を持つ。