[論文レビュー] Some remarks on Nakajima's quiver varieties of type A

D. A. Shmelkin|ArXiv.org|Dec 16, 2009

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

ひとこと要約

この論文は、型AのNakajimaのクーヴァー多様体と、Kraft-Procesiによる単純な軌道閉包の正規性の証明との関係を明確にする。Nakajimaの定理7.2および7.3を、再帰的群作用によるクーヴァー多様体のカテゴリカル商が、単純な共役類の閉包をもたらすことを確立することで証明する。Nakajimaの元々の研究における引用誤りを是正し、単調な次元ベクトルの下で、合成写像の像が実際に単純軌道の閉包であることを示す。

ABSTRACT

We try to clarify the relations between quiver varieties of type A and Kraft-Pocesi proof of normality of nilpotent conjugacy classes closures.

研究の動機と目的

• Nakajimaの型Aクーヴァー多様体と、Kraft-Procesiによる単純軌道閉包の正規性の証明との関係を明確化すること。
• Nakajimaの定理7.2における誤った引用を是正すること。この定理は[KP, 系理3.4]に依拠していると主張しているが、実際にはその結果は次元ベクトルの制限されたクラスでのみ成り立つ。
• 定理7.2および7.3を一般に証明すること。具体的には、クーヴァー多様体ZのHによるカテゴリカル商が、単純な共役類の閉包をもたらすことを示すこと。
• 単調な次元ベクトルの下で、合成写像$ A_{t-1}B_{t-1} $のZ上での像が、実際に単純軌道の閉包であることを示すこと。
• 一般にはクーヴァー多様体Zが非連結である可能性があることを示し、Kraft-Procesiの主結果が元の範囲を超えて一般化できないことを示すこと。

提案手法

• クーヴァーに関係式$ B_iA_i = A_{i-1}B_{i-1} $および$ B_1A_1 = 0 $を導入し、その表現の閉じた部分多様体Zを定義するKraft-Procesiの枠組みを用いる。
• 再帰的群Hによるカテゴリカル商構成を適用し、写像$ heta: Z o ext{End}(U_t) $が$ (A_i,B_i) o A_{t-1}B_{t-1} $で与えられるとき、これがカテゴリカル商であることを示す。
• GL_nの第一基本定理を用いて、商写像の像が閉じていることを示し、したがって単純軌道の閉包に等しいことを示す。
• ab-図とヤング図を用いて像の構造を分析し、像の軌道の分割が特定のヤング図の構成に対応することを示す。
• 写像の鎖に関する帰納法を用い、$ A_iB_i $の像が単純軌道の閉包であることを示し、$ A_1B_1 $から$ A_{t-1}B_{t-1} $まで段階的に構築する。
• 次元ベクトル(1,4,5)の反例を構成し、Zが一般には非連結であることを示し、Kraft-Procesiの主結果がすべての次元ベクトルに一般化されないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 Nakajimaの定理7.2は、単調な次元ベクトルに対して、クーヴァー多様体のカテゴリカル商が単純軌道の閉包に一致する、という主張を一般に成り立たせるか？
• RQ2 Nakajimaの定理7.2の証明は、[KP, 系理3.4]に依拠しているが、これは正しい引用であるか、それとも誤りか？
• RQ3 クーヴァー多様体Z上の合成写像$ A_{t-1}B_{t-1} $の像が、単調な次元ベクトルの下で実際に単純共役類の閉包であることを示せるか？
• RQ4 Nakajimaの型Aクーヴァー多様体と、Auslander代数の$ \triangle $-フィルター付きモジュール理論との正確な関係は何か？
• RQ5 クーヴァー多様体Zが非連結である条件は何か？一般には非連結である可能性があるか？

主な発見

• 定理7.2は一般に証明された：単調な次元ベクトルに対して、クーヴァー多様体Zから$ \text{End}(U_t) $への写像$ A_{t-1}B_{t-1} $はHによるカテゴリカル商であり、その像は単純共役類の閉包に一致する。
• 合成写像$ A_{t-1}B_{t-1} $の像が$ \bar{C}_{\nu} $に一致することを示した。ここで$ \nu $は、ヤング図の順次的に行の追加によって構成される分割であり、次元ベクトルに対応する。
• 定理7.3の証明は、定理7.2の修正された証明とab-図の構造を用いて確立された。
• Zが一般には非連結であることが示された。次元ベクトル(1,4,5)の反例により、$ Z^{ss} $がZに稠密でないことが判明し、非連結性が矛盾しない。
• 結果$ \rho(\rho^{-1}(\bar{C}_\nu)) = \bar{C}_{\nu+a} $が確立された。これは、単純軌道閉包の逆像の像がより大きな軌道の閉包であることを示し、カテゴリカル商構造と整合的である。
• この論文は、Nakajimaの定理7.2および7.3が正しいことを確認したが、[KP, 系理3.4]への引用は誤りである。この結果は、次元ベクトルの制限されたクラスでのみ成り立つ。