[論文レビュー] Quantum Algebras and Cyclic Quiver Varieties

Andrei Neguţ|arXiv (Cornell University)|Jan 1, 2015

Algebraic structures and combinatorial models参考文献 39被引用数 27

ひとこと要約

本稿は、二重巡回クーヴァーのシャッフル代数と量子トロイダル代数 $ U_{q,t}( ext{sl}_n) $ の間の同型を確立し、中島の巡回クーヴァー多様体のK理論を、ヴァルマ加群の商と特定し、普遍R行列を量子アフィン群部分代数への分解によって構成することで、コロシキン＝トールストイの結果を一般化するとともに、モウリク＝オコウコフの安定基底構成と一致する。

ABSTRACT

The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_[q,t](sl_n), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_[q,t](sl_n), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_q(gl_m), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_[q,t](sl_n) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.

研究の動機と目的

• 巡回クーヴァー多様体と量子トロイダル代数を結ぶ幾何的表現論的枠組みを確立すること。
• 中島の巡回クーヴァー多様体のK理論群を、シャッフル代数上のヴァルマ加群の商と特定すること。
• 部分代数が $ U_q( ext{gl}_m) $ に同型であるような $ U_{q,t}( ext{sl}_n) $ の普遍R行列を、$ U_q( ext{gl}_m) $ の部分代数を用いて構成し、既知の分解を一般化すること。
• 根生成子の作用に関する明示的公式を導出し、マーナガン＝ナカヤマ則やピエリ則に類する組合せ論的規則を拡張すること。
• シャッフル代数の枠組みを用いて、モウリク＝オコウコフの安定基底の幾何的構成との整合性を検証すること。
• シャッフル代数と量子トロイダル代数の同型を活用し、幾何的K理論データを代数的表現論的構造に翻訳すること。

提案手法

• 二重巡回クーヴァーのK理論的ホール代数としてのシャッフル代数を用い、量子トロイダル対称性をモデル化する。
• シャッフル代数と $ U_{q,t}( ext{sl}_n) $ の間の同型を証明し、クーヴァー多様体K理論の表現論的解釈を可能にする。
• 部分代数が $ U_q( ext{gl}_m) $ に同型であるような部分に分解することで、普遍R行列を構成する。
• 根生成子の安定基底への作用に関する明示的公式を導出し、マーナガン＝ナカヤマ則やピエリ則に類する組合せ論的規則を拡張する。
• シャッフル代数の枠組みを用いて、モウリク＝オコウコフの安定基底の幾何的構成との整合性を検証する。
• シャッフル代数と量子トロイダル代数の同型を活用し、幾何的K理論データを代数的表現論的構造に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 二重巡回クーヴァーのシャッフル代数は、どのようにして量子トロイダル代数 $ U_{q,t}( ext{sl}_n) $ を実現できるか？
• RQ2 シャッフル代数上のヴァルマ加群の商と、中島の巡回クーヴァー多様体のK理論群との間の正確な対応関係は何か？
• RQ3 $ U_{q,t}( ext{sl}_n) $ の普遍R行列は、量子アフィン群 $ U_q( ext{gl}_m) $ に関連する部分に分解可能か？ また、これは既知の結果をどのように一般化するか？
• RQ4 クーヴァー多様体K理論における根生成子の作用は、マーナガン＝ナカヤマ則やピエリ則に類する組合せ論的規則とどのように関係するか？
• RQ5 シャッフル代数の枠組みは、安定基底の代数的および幾何的構成をどの程度統一的に扱えるか？

主な発見

• 二重巡回クーヴァーのシャッフル代数は、量子トロイダル代数 $ U_{q,t}( ext{sl}_n) $ に同型であり、この対象の新しい代数的実現を提供する。
• シャッフル代数上のヴァルマ加群の商は、中島の巡回クーヴァー多様体のK理論群と特定され、幾何的表現論的対応関係が確認された。
• $ U_{q,t}( ext{sl}_n) $ の普遍R行列は、$ U_q( ext{gl}_m) $ に同型な部分に分解可能であり、Khoroshkin-Tolstoyの分解をトロイダル設定に一般化した。
• モウリク＝オコウコフの安定基底への根生成子の作用に関する明示的公式が導出され、古典的なマーナガン＝ナカヤマ則やピエリ型規則が量子トロイダル文脈へ拡張された。
• シャッフル代数の構成は、モウリク＝オコウコフの安定基底の因子分解と一致し、直接的な代数的・幾何的対応関係を確立した。
• この枠組みにより、部分代数とヴァルマ加群の商の観点から、安定基底の統一的代数的解釈が得られ、クーヴァー多様体のK理論の組合せ論的および幾何的理解が豊かになった。