[論文レビュー] Quiver varieties and finite dimensional representations of quantum affine algebras

Hiraku Nakajima|ArXiv.org|Dec 20, 1999

Algebraic structures and combinatorial models被引用数 7

ひとこと要約

この論文は、クーヴィー多様体を用いて、量子アフィン代数の有限次元表現の幾何的実現を確立し、非可約表現とこれらの多様体の交差コホモロジー群の間の対応を構成する。主な結果は、バイアリニツキ＝ビルール分解とクーヴィー多様体の等長コホモロジーを用いて表現の特性式を表すもので、表現論と代数幾何学の深い結びつきを示している。

ABSTRACT

We study finite dimensional representations of the quantum affine algebra, using geometry of quiver varieties introduced by the author. As an application, we obtain character formulas expressed in terms of intersection cohomologies of quiver varieties.

研究の動機と目的

• 量子アフィン代数の有限次元表現をクーヴィー多様体を用いて幾何的に構成すること。
• 非可約表現とクーヴィー多様体の交差コホモロジー群の間の対応を確立すること。
• 等長コホモロジーとバイアリニツキ＝ビルール分解などの幾何的不変量を用いて、これらの表現の特性式を導出すること。
• クーヴィー構成を通じて、量子アフィン代数の表現論を代数幾何学と統一すること。
• クーヴィーの表現のモジュライ空間を用いて、アフィンリー代数に関する先行結果を量子設定に拡張すること。

提案手法

• 固定された次元ベクトルをもつクーヴィーの表現のモジュライ空間としてクーヴィー多様体を用いる。
• これらのクーヴィー多様体のコホモロジーを調べるために、交差コホモロジーの理論を適用する。
• C*-作用の下でのクーヴィー多様体の等長コホモロジーを分析するために、バイアリニツキ＝ビルール分解を用いる。
• C*-作用の固定点を用いて、表現空間の正規基底を構成する。
• 幾何的サタケ対応とナカジマのクーヴィー多様体の理論を根拠として、幾何学と表現論を結びつける。
• 等長コホモロジー上の畳み込み代数構造を用いて、量子アフィン代数を実現する。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン代数の有限次元表現はどのように幾何的に実現できるか？
• RQ2 非可約表現とクーヴィー多様体の交差コホモロジー群の間の正確な関係は何か？
• RQ3 これらの表現の特性式は、クーヴィー多様体の幾何的不変量を用いて表現できるか？
• RQ4 クーヴィー多様体へのC*-作用は、表現空間の構造にどのように影響するか？
• RQ5 等長コホモロジー上の畳み込み代数は、量子アフィン代数の実現において果たす役割は何か？

主な発見

• 量子アフィン代数の有限次元表現は、C*-作用を備えたクーヴィー多様体のホモロジーとして実現される。
• C*-作用の次元ゼロの固定点集合の非可約成分は、表現空間の正規基底に対応する。
• 非可約表現の特性式は、クーヴィー多様体の交差コホモロジー群のペオンカーリー多項式の生成関数として表現される。
• 表現空間の次元は、クーヴィー多様体の交差コホモロジーのオイラー標数に等しい。
• 量子アフィン代数のコホモロジーへの作用は、クーヴィー多様体の等長コホモロジー上の畳み込み作用素によって実現される。
• この構成により、クーヴィー幾何に基づく、特性式に関するコスタント分割関数の公式の幾何的証明が得られる。