[論文レビュー] Generalized quiver varieties and self-injective algebras

Sarah Scherotzke|arXiv (Cornell University)|May 19, 2014

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

ひとこと要約

本稿では、商ext代数 $σ$ の表現のモジュライ空間として一般化されたクーヴィー多様体を導入し、クーヴィーがADE型であるとき、それらが自己同型的代数 $π$ によって支配されることを証明する。主な貢献は、これらの多様体のストラトムとproj $π$ 内の同型類との間の全単射であり、退化順序がJensen--Su--Zimmermannの順序と一致することにより、有限表現型の自己同型的代数に対するクーヴィー・グラスマンニアンの非特異化が得られる。

ABSTRACT

In this paper, we introduce generalized quiver varieties, which include as special cases classical and cyclic quiver varieties. The geometry of generalized quiver varieties is governed by a finitely generated algebra $\mathcal{P}$, and by a quotient of its ext-algebra, $\mathcal{S}$: the algebra $\mathcal{P}$ is self-injective if the quiver $Q$ is of ADE type, and coincides with the preprojective algebra in the case of classical quiver varieties. We prove that generalized quiver varieties can be realized as moduli spaces of representations of $\mathcal{S}$. We prove that the strata of generalized quiver varieties are in bijection with the isomorphism classes of objects in proj $\mathcal{P}$, and that their degeneration order coincides with the Jensen--Su--Zimmermann's degeneration order on proj $\mathcal{P}$. Among the applications of our theory, we construct a desingularization of quiver Grassmannians for self-injective algebras of finite representation type.

研究の動機と目的

• 代数的構造を用いて、古典的および循環的クーヴィー多様体をより広範な枠組みに一般化すること。
• 一般化されたクーヴィー多様体が商ext代数 $σ$ の表現のモジュライ空間として生じることを確立すること。
• 一般化されたクーヴィー多様体のストラトムとproj $π$ 内の同型類との間の全単射を証明すること。
• ストラトムの退化順序が、proj $π$ 上のJensen--Su--Zimmermannの退化順序と一致することを示すこと。
• この理論を応用して、有限表現型の自己同型的代数に対するクーヴィー・グラスマンニアンの非特異化を構成すること。

提案手法

• 商ext代数 $σ$ の表現をパラメトライズする幾何的対象として一般化されたクーヴィー多様体を導入すること。
• 幾何学を支配する有限生成代数 $π$ を定義し、クーヴィー $Q$ がADE型であるとき、これは自己同型的になることを示すこと。
• 古典的クーヴィー多様体の場合に $π$ がプレプロジェクティブ代数と一致することを示すこと。
• 多様体のストラトムとproj $π$ 内の対象の同型類との間の対応を確立すること。
• ストラトムの退化順序が、proj $π$ 上のJensen--Su--Zimmermannの退化順序と一致することを証明すること。
• この枠組みを応用して、有限表現型の自己同型的代数に対するクーヴィー・グラスマンニアンの非特異化を構成すること。

実験結果

リサーチクエスチョン

• RQ1 古典的および循環的クーヴィー多様体は、どのように一般化された幾何的枠組みの下で統一できるか？
• RQ2 一般化されたクーヴィー多様体の幾何学を支配する代数的構造は何か？
• RQ3 一般化されたクーヴィー多様体のストラトムは、代数 $π$ の表現理論とどのように関係するか？
• RQ4 多様体上の退化順序と、表現論における既知の退化順序との間に、対応関係があるか？
• RQ5 この枠組みは、自己同型的代数に対するクーヴィー・グラスマンニアンの非特異化をもたらすか？

主な発見

• 一般化されたクーヴィー多様体は、商ext代数 $σ$ の表現のモジュライ空間として実現される。
• クーヴィー $Q$ がADE型であるとき、支配的代数 $π$ は自己同型的である。
• 一般化されたクーヴィー多様体のストラトムと、カテゴリ proj $π$ 内の対象の同型類との間には自然な全単射が存在する。
• 一般化されたクーヴィー多様体におけるストラトムの退化順序は、proj $π$ 上のJensen--Su--Zimmermannの退化順序と一致する。
• この理論により、有限表現型の自己同型的代数に対するクーヴィー・グラスマンニアンの非特異化が構成可能である。