[論文レビュー] Introduction to quiver varieties -- for ring and representation theoriests

Hiraku Nakajima|arXiv (Cornell University)|Nov 30, 2016

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

ひとこと要約

この論文は、前射影的代数の表現をパラメトライズする幾何的対象としてクイバー多様体を導入し、その構造においてExt¹群が果たす中心的役割に注目する。クイバー多様体が、接空間がExt¹に同型である滑らかでシンプレクティックな多様体であることが示され、Ext¹複体を用いてラグランジュ部分多様体の既約成分にクリスタル構造を定義し、カク・ムーディ代数の表現理論と結びつける。

ABSTRACT

We review the definition of quiver varieties and their relation to representation theory of Kac-Moody Lie algebras. Target readers are ring and representation theorists. We emphasize important roles of first extension groups of the preprojective algebra associated with a quiver.

研究の動機と目的

• 環論者および表現論者を対象に、自己完結的なクイバー多様体の紹介を提供すること。
• クイバー多様体の幾何学的・位相的構造を理解する上で、Ext¹複体が果たす基盤的役割を強調すること。
• 安定性条件がExt¹複体における第1および第3コホモロジー群の消滅を通じて滑らかさを保証することを説明すること。
• ラグランジュ部分多様体の既約成分とカシワラのクリスタル構造との間の関係を、Ext¹計算を通じて明らかにすること。
• クイバー多様体のホモロジーを通じてカク・ムーディリー代数の表現を実現することにより、幾何的および代数的視点を統合すること。

提案手法

• クイバーに付随する前射影的代数のフレームド表現のモジュライ空間としてクイバー多様体を定義する。
• 表現空間上の余接空間構成を用いて、クイバー多様体にシンプレクティック構造を定義する。
• コホモロジー群の消滅を安定性条件下で分析することで、接空間を計算し滑らかさを解析するため、Ext¹複体（2.5）を用いる。
• Ext¹コホモロジー群上のグラスマンニアンバンドルを用いて、ラグランジュ部分多様体の既約成分を構成する。
• 複体（4.7）を用いて、単純加群へのHom空間の次元のジャンプを分析し、クリスタル構造における降下作用素を定義する。
• 次元ベクトルおよびExt¹オイラー特性に関する帰納法を用いて、Fᵢʳ/r! を含むクリスタル構造の公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 前射影的代数の表現のExt¹群は、クイバー多様体の幾何にどのように支配的か？
• RQ2 なぜExt¹複体がクイバー多様体の滑らかさを確立するために不可欠か？
• RQ3 Ext¹複体における第1および第3コホモロジー群の消滅は、クイバー多様体のシンプレクティック構造とどのように関係するか？
• RQ4 クイバー多様体内のラグランジュ部分多様体の既約成分は、どのような形でカシワラのクリスタル構造を担うか？
• RQ5 Ext¹コホモロジーを用いた既約成分の新規構成は、代数的にクリスタル作用素を実現するためにどのように利用できるか？

主な発見

• クイバー多様体は、安定性条件によりExt¹複体の第1および第3コホモロジー群が消えるため、滑らかでシンプレクティックな多様体である。
• クイバー多様体の任意の点における接空間は、対応する表現自身とのExt¹群と自然に同型である。
• Ext¹複体（4.7）のオイラー特性は、中間コホモロジー群の次元に等しく、これが新しい既約成分を構成するためのグラスマンニアンバンドルの次元を支配する。
• クイバー多様体内のラグランジュ部分多様体の既約成分は、カシワラのクリスタル構造を担い、降下作用素はExt¹コホモロジーおよびHomの消滅条件によって定義される。
• 公式 $\frac{F_{i}^{r}}{r!}[Y^{\prime}] = \pm[Y] + \sum_{\varepsilon_{i}(Y^{\prime\prime})>r} c_{Y^{\prime\prime}}[Y^{\prime\prime}]$ が成り立ち、これは既約成分がクリスタル作用素の下でどのように変換されるかを示している。
• 明示的な例により、$\dim\operatorname{Hom}((B,I,J),S_i)$ が特別な点でジャンプすることが示され、その結果として多様体にブLOWUPが生じる。例えば、2次元の中間コホモロジー群から $\mathbb{C}P^2$ の一点でのブLOWUPが生じる。