[論文レビュー] A geometric version of BGP reflection functors

Stefan Wolf|ArXiv.org|Aug 28, 2009

Algebraic structures and combinatorial models参考文献 16被引用数 4

ひとこと要約

本稿では、クーヴィー・グラスマンィアンとクーヴィー・フラッグを研究するため、BGP反射関手の幾何的バージョンを導入し、一般表現が存在する場合にそれらが滑らかでかつ既約であることを証明する。また、ドゥインキン型の場合に $ q=0 $ におけるホール代数とレインケの一般拡張モノイドとの間に同型が存在することを示し、数え上げ多項式の定数項が 1 で、オイラー特徴標数が正であることを示している。

ABSTRACT

Quiver Grassmannians and quiver flags are natural generalisations of usual Grassmannians and flags. They arise in the study of quiver representations and Hall algebras. In general, they are projective varieties which are neither smooth nor irreducible. We use a scheme theoretic approach to calculate their tangent space and to obtain a dimension estimate similar to one of Reineke. Using this we can show that if there is a generic representation, then these varieties are smooth and irreducible. If we additionally have a counting polynomial we deduce that their Euler characteristic is positive and that the counting polynomial evaluated at zero yields one. After having done so, we introduce a geometric version of BGP reflection functors which allows us to deduce an even stronger result about the constant coefficient of the counting polynomial. We use this to obtain an isomorphism between the Hall algebra at q=0 and Reineke's generic extension monoid in the Dynkin case.

研究の動機と目的

• クーヴィー・グラスマンィアンとクーヴィー・フラッグに適用可能な、BGP反射関手の幾何的枠組みを構築すること。
• スキーム論的技法とシェヴァリエの定理を用いて、クーヴィー・フラッグの接空間と次元推定を分析すること。
• 一般表現が存在する場合に、クーヴィー・グラスマンィアンとクーヴィー・フラッグが滑らかでかつ既約である条件を確立すること。
• クーヴィー・フラッグの数え上げ多項式と $ q=0 $ におけるホール代数との関係を結びつけ、オイラー特徴標数の正値性と定数項が 1 であることを示すこと。
• ドゥインキン・クーヴィーの場合に、$ q=0 $ における一般合成代数と合成モノイドとの間に同型が存在することを証明すること。

提案手法

• 一般化されたテンソル代数を用いて、クーヴィー・グラスマンィアンとクーヴィー・フラッグの接空間をスキーム論的アプローチで計算する。
• シェヴァリエの定理を適用し、クーヴィー・フラッグの次元推定を、クーヴィー・グラスマンィアンのレインケの結果に類似させるものとするが、任意の特徴値で有効である。
• 一般表現の存在を用いて、次元推定を基に、クーヴィー・フラッグの滑らかさと既約性を導出する。
• クーヴィー・フラッグの構造と合成モノイド、ホール代数との関係を結ぶために、BGP反射関手の幾何的バージョンを用いる。
• 一般合成代数 $ ilde{rak{C}}_q(Q) $ を $ q=0 $ で特殊化し、数え上げ多項式の定数項が 1 であることを示す。
• 代数準同型 $ ilde{rak{C}}_0(Q) \to \bbQ \frak{CM}(Q) $ を構成し、各次数成分の次元を比較することで、ドゥインキン・クーヴィーではこれが同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 クーヴィー・グラスマンィアンとクーヴィー・フラッグが滑らかでかつ既約である条件は何か？
• RQ2 一般表現の存在が、クーヴィー・フラッグの幾何的・位相的性質に与える影響は何か？
• RQ3 クーヴィー・フラッグの数え上げ多項式と $ q=0 $ におけるホール代数の構造との関係は何か？
• RQ4 BGP反射関手の幾何的バージョンを用いて、$ q=0 $ におけるホール代数と一般拡張モノイドとの関係を結ぶことができるか？
• RQ5 ドゥインキン・クーヴィーの場合に、$ q=0 $ における一般合成代数と合成モノイドとの間に同型が存在するか？

主な発見

• 一般表現が存在する場合、次元推定と接空間解析により、クーヴィー・フラッグは滑らかでかつ既約である。
• 一般表現が存在し、数え上げ多項式が利用可能な場合、クーヴィー・フラッグのオイラー特徴標数は正である。
• 同じ条件下で、クーヴィー・フラッグの数え上げ多項式の定数項は正確に 1 である。
• 幾何的BGP反射関手により、クーヴィー・フラッグの構造と合成モノイドとの直接比較が可能である。
• ドゥインキン・クーヴィーの場合、$ q=0 $ におけるホール代数は一般拡張モノイド $ \frak{CM}(Q) $ と同型であり、この同型は写像 $ \tilde{\frak{C}}_0(Q) \to \bbQ \frak{CM}(Q) $ によって誘導される。
• この同型は、各次数成分の次元を保つグレーディングを備えた代数同型として実現され、各次元ベクトルに対応する表現の同型類の数が一致することによって確認された。