[論文レビュー] A relation between Mirkovic-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE

Zhijie Dong|arXiv (Cornell University)|Apr 12, 2021

Algebraic structures and combinatorial models参考文献 6被引用数 1

ひとこと要約

本稿は、ADE型ディンキン・クiverの前射影的代数の加群のクイバー・グラスマンニアンのコホモロジーとアフィン・グラスマンニアン内のミルコヴィッチ＝ヴィロネンコ（MV）サイクルを結ぶ予想の部分的証明を確立する。与えられた加群からサイクルを構成することで、著者らはそのサイクルのT固定点部分スキームの関数環が、対応するクイバー・グラスマンニアンのコホモロジールingsと同型であることを示し、表現論と代数幾何学の間の幾何的ブリッジを提供する。

ABSTRACT

The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian to a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. The relation between this conjecture and the reduceness conjecture is explained at the end.

研究の動機と目的

• 前射影的代数の加群とアフィン・グラスマンニアン内のMVサイクルの間の幾何的対応を確立すること。
• クイバー・グラスマンニアンのコホモロジールングと、関連するMVサイクルのT固定点部分スキーム上の関数環との関係を示す予想を検証すること。
• この対応が、前射影的代数の文脈における還元性予想に与える影響を検討すること。

提案手法

• ADE型ディンキン・クイバーの前射影的代数の加群から、アフィン・グラスマンニアン内のサイクルを構成すること。
• 構成されたサイクルのT固定点部分スキームを分析し、その座標環を研究すること。
• 幾何的不変量理論と表現論的技法を用いて、サイクルの構造と加群のクイバー・グラスマンニアンとの関係を明らかにすること。
• MVサイクルの交差コホモロジー理論を用いて、クイバー・グラスマンニアンのコホモロジーと比較すること。
• T固定点部分スキーム上の関数環とクイバー・グラスマンニアンのコホモロジールングとの同型を確立すること。
• 幾何的および代数的制約を用いて、この同型が還元性予想にどのように関連するかを明らかにすること。

実験結果

リサーチクエスチョン

• RQ1 MVサイクルのT固定点部分スキーム上の関数環が、その加群のクイバー・グラスマンニアンのコホモロジールングと同型であるか？
• RQ2 前射影的代数の加群からMVサイクルを構成する方法は、加群の表現論的構造をどのように反映するか？
• RQ3 サイクルの幾何的およびコホモロジカルな性質は、クイバー・グラスマンニアンに関するどのような情報を符号化しているか？
• RQ4 この対応は、前射影的代数の還元性予想をどのように支援または明確化するか？
• RQ5 関数環とコホモロジールングの同型は、すべてのケースにおいて完全な予想的同値に拡張可能か？

主な発見

• 本稿は、MVサイクルのT固定点部分スキーム上の関数環が、その加群のクイバー・グラスマンニアンのコホモロジールングと同型であるという部分的結果を証明した。
• 加群からMVサイクルを構成することで、アフィン・グラスマンニアンを通じてクイバー・グラスマンニアンのコホモロジーの幾何的実現が達成された。
• 確立された同型は自然であり、MVサイクルと前射影的代数加群の多様体の既約成分の両方の基底に索引づけられた標準基底を尊重する。
• この結果は、アフィン・グラスマンニアン内の幾何的対象と前射影的代数の表現論的不変量との間の広範な予想を支持する。
• サイクルの幾何的構造が予想の帰結と整合する制約を課えることにより、還元性予想への関連が明確化された。
• 本研究は、クイバー表現を通じて普遍包あらゆる代数の標準基底の完全な幾何的実現への基礎的段階を提供する。