[論文レビュー] Affine Mirković-Vilonen polytopes

Pierre Baumann, Joel Kamnitzer+1 more|arXiv (Cornell University)|Oct 17, 2011

Algebraic structures and combinatorial models参考文献 25被引用数 15

ひとこと要約

この論文は、有限次元の可解的 Kac-Moody代数から対称的アフィン Kac-Moody代数へと Mirković-Vilonen (MV) ポリトープの構成を拡張する。そのために、根格子の双対空間内の凸ポリトープに、虚根 δ に平行な辺に整数分割を追加した装飾付きポリトープを導入する。著者らは、これらの装飾付きポリトープがその法線ファンと2次元面に関する条件によって特徴付けられることを証明し、完備化された前射影的代数とその加群圏におけるティルティング理論に基づく代数的幾何的モデルを通じて Lusztig データと関連づける。

ABSTRACT

Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra g has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given g, there is a limit crystal, usually denoted by B(-\infty), which contains all the other crystals. When g is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(-\infty). This polytope sits in the dual space of a Cartan subalgebra of g, and its edges are parallel to the roots of g. In this paper, we generalize this construction to the case where g is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root δ. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(-\infty) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra Λ of the same type as g. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott's tilting theory for the category Λ-mod. The partitions we need come from studying the category of semistable Λ-modules of dimension-vector a multiple of δ.

研究の動機と目的

• 有限次元の Mirković-Vilonen ポリトープの構成を、対称的アフィン Kac-Moody代数へ一般化すること。
• アフィンの場合における $ B(-iginfty) $ の元にポリトープを直接的に幾何的または組合的に関連づける方法の欠如に対処すること。
• Lusztig データの類似を含む $ B(-iginfty) $ の組合的データを符号化する新しい装飾付きポリトープのクラスを定義すること。
• これらの装飾付きポリトープがその法線ファンと2次元面の幾何学的性質によって特徴付けられることを確立すること。
• 完備化された前射影的代数とその加群圏におけるティルティング理論を介して、この構成を $ B(-iginfty) $ の代数的幾何的モデルと関連づけること。

提案手法

• 根格子の双対空間 $ ( ext{span}_{R} ext{I})^* $ 内の凸格子ポリトープとしてアフィン MV ポリトープを構成し、根に平行な辺を持つ。
• 虚根 $ oldsymbol{ ilde{}} $ に平行な辺に分割を導入し、$ \delta $ の倍数の次元ベクトルを持つ $ \Lambda $-加群の半安定なカテゴリ−からの追加データを符号化する。
• $ B(-iginfty) $ の代数的幾何的モデルとして、Braverman, Finkelberg, および Gaitsgory の仕事に裏付けられたアフィングラスマンニアンにおける MV サイクルを用いる。
• Buan, Iyama, Reiten, および Scott が開発した $ \Lambda\text{-mod} $ のカテゴリにおけるティルティング理論を適用し、基礎となるポリトープを記述する。
• 法線ファン（Weyl ファンの粗化）および2次元面（トロピカル Plücker 関係式を満たす）に関する条件によって、装飾付きポリトープを特徴付ける。
• PBW 基底の組合的構造が量子群 $ U_q(\mathfrak{n}_+) $ において $ q \to 0 $ の極限に現れることに着目し、辺の長さと分割データが Lusztig データの組合的アナログを表していることを示す。

実験結果

リサーチクエスチョン

• RQ1 Mirković-Vilonen ポリトープを、有限次元から対称的アフィン Kac-Moody代数へどのように一般化できるか？
• RQ2 標準的な MV ポリトープが不十分であるため、アフィンの場合に $ B(-iginfty) $ を再構成するために追加で必要なデータは何か？
• RQ3 これらの装飾付きポリトープの法線ファンと2次元面が、その構造と組合的性質をどのように制約するか？
• RQ4 虚根 $ \delta $ はポリトープ構成において果たす役割は何か？ その貢献はどのように分割によって符号化されるか？
• RQ5 完備化された前射影的代数 $ \Lambda $ を用いた $ B(-iginfty) $ の代数的幾何的モデルは、新しい装飾付きポリトープの構成とどのように関係するか？

主な発見

• アフィン MV ポリトープは $ (\mathbb{R}I)^* $ 内の凸格子ポリトープであり、実根および虚根に平行な辺を持ち、$ \delta $ に平行な辺には整数分割が装飾されている。
• 装飾付きポリトープは、その法線ファン（Weyl ファンの粗化）および2次元面（トロピカル Plücker 関係式を満たす）に関する条件によって一意に特徴付けられる。
• $ \delta $-平行な辺に付加された分割は、次元ベクトルが $ \delta $ の倍数である半安定 $ \Lambda $-加群のカテゴリから生じ、加群圏における「チューブ」の構造と関連している。
• この構成により、アフィン Kac-Moody代数における Lusztig データの組合的アナログが得られ、辺の長さと分割データが、量子群 $ U_q(\mathfrak{n}_+) $ における $ q \to 0 $ での PBW 基底の組合的構造を符号化している。
• このモデルは、アフィングラスマンニアンにおける MV サイクルによる $ B(-iginfty) $ の代数的幾何的実現と整合しており、ポリトープはこれらのサイクルがモーメント写像のもとで写される像として得られる。
• 型 $ \widetilde{A} $ の場合、この構成は $ \widehat{\mathfrak{sl}_2} $ における先行研究と一致する同一のポリトープを回復する。