[論文レビュー] Fermionic forms and quiver varieties

Sergey Mozgovoy|ArXiv.org|Oct 2, 2006

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

ひとこと要約

本稿は、有限型ADEクーヴィーに対して、フェルミオン的形とナカジマのクーヴィー多様体のペアコローサー多項式の間の明確な関係を確立する。組合せ的生成関数およびコhomology上のワイル群作用の性質を用いて、キリロフ＝レシュティヒン予想の$q$-アナログを証明し、ヴェルマ加群を用いることでルシュティグのフェルミオン的予想の修正版を確認する。

ABSTRACT

We prove a formula relating the fermionic forms and the Poincare polynomials of quiver varieties associated to a finite quiver. Applied to quivers of type ADE, our result implies a version of the fermionic conjecture of Lusztig.

研究の動機と目的

• フェルミオン的形と有限クーヴィーに付随するクーヴィー多様体のペアコローサー多項式との明確な関係を確立すること。
• ADE型クーヴィーに対してキリロフ＝レシュティヒン予想の$q$-アナログを証明すること。
• 非可約加群の代わりにヴェルマ加群を用いることで、ルシュティグのフェルミオン的予想の修正版を検証すること。
• フェルミオン的形$n(\nu,\lambda,q)$がワイル群の対称性を満たすことを示すこと：$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$。
• 生成関数と$q$-二項係数を用いた組合せ的枠組みを提供し、表現論的不変量とクーヴィー多様体の幾何的不変量を結びつけること。

提案手法

• 本稿は、$q$-二項係数と根格子のデータを用いて、フェルミオン的形$m(\nu,\lambda,q)$と$n(\nu,\lambda,q)$を導入し、$n(\nu,\lambda,q)$は正性制約を含まない形で定義される。
• ペアコローサー多様体の生成関数に対するハウゼルの公式を用い、$x_i$と$y_i$に関する形式的べき級数として表現される。
• 重要な組合せ的恒等式が証明される：$s(\nu) = s \cdot S_\nu \overline{s}$、ここで$s$は生成関数、$S_\nu$はシフト作用素であり、フェルミオン的形とクーヴィー多様体の幾何を結ぶ。
• 環準同型$\Phi_\nu$を用いて、生成関数$s(\nu)$と$r(\nu)$をフェルミオン的形$n(\nu,q^{-1})$に結びつける。
• クーヴィー多様体のコホモロジー上のワイル群作用を適用し、対称性$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$を導出する。
• 最後の段階では、ADE型クーヴィーでは$a$-多項式$a(q)$が$q$に依存しないことから、$r(0,q)r(0,q^{-1}) = 1/m$が得られ、ここで$m$は正根の積である。

実験結果

リサーチクエスチョン

• RQ1 フェルミオン的形$n(\nu,\lambda,q)$は、ADE型クーヴィーに対するナカジマのクーヴィー多様体のペアコローサー多項式とどのように関係しているか？
• RQ2 ペアコローサー多項式の生成関数は、ヴェルマ加群を含むフェルミオン的形の表現を満たすか？
• RQ3 フェルミオン的形のワイル群対称性は、クーヴィー多様体の幾何的性質から導出可能か？
• RQ4 フェルミオン的形を用いて、クーヴィー多様体に対してキリロフ＝レシュティヒン予想の$q$-アナログが成り立つか？
• RQ5 生成関数$s(\nu)$と$r(\nu)$、およびフェルミオン的形$n(\nu,\lambda,q)$との明確な関係は何か？

主な発見

• 任意の$\nu \in P_+$に対して、ペアコローサー多様体の生成関数が$\sum_{\alpha \in Q_+} q^{-d(\alpha,\nu)} P(\mathcal{M}(\alpha,\nu),q) e^{\nu - \alpha} = \sum_{\lambda \in P} n(\nu,\lambda,q^{-1}) \operatorname{ch} M(\lambda)$を満たすことを証明し、キリロフ＝レシュティヒン予想の$q$-アナログを確認した。
• ADE型クーヴィーに対して、$a$-多項式$a(q)$は$q$に依存しないので、$r(0,q)r(0,q^{-1}) = 1/m$が成り立ち、ここで$m = \prod_{\alpha \in \Delta_+} (1 - x^\alpha)^{-1}$である。
• フェルミオン的形$n(\nu,\lambda,q)$はワイル群の対称性$n(\nu,w\cdot\lambda,q) = (-1)^{l(w)}n(\nu,\lambda,q)$を満たし、これはクーヴィー多様体のコホモロジー上のワイル群作用と整合的である。
• $s(\nu) = s \cdot S_\nu \overline{s}$という恒等式が、生成関数とフェルミオン的形を結ぶ重要な組合せ的道具として確立された。
• $n(\nu,q^{-1}) = r(\nu,q) / (r(0,q) r(0,q^{-1}))$が示され、$r(0,q)r(0,q^{-1}) = 1/m$であることから、$n(\nu,q^{-1}) = m \cdot r(\nu,q)$が得られ、フェルミオン的形がヴェルマ加群の特徴と結びついた。
• この結果により、ペアコローサー多様体の生成関数は$m \sum_{\lambda \in P} n(\nu,\lambda,q) e^{\lambda - \nu}$に等しくなり、$\operatorname{ch} M(\lambda) = e^\lambda m$であることから、定理1.1の最終的恒等式が得られた。