[論文レビュー] Fermionic form and Betti numbers

G. Lusztig|ArXiv.org|May 1, 2000

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

ひとこと要約

本稿は、表現論的重複度の $ q $-類似物であるフェルミオン的形 $ M(u,\lambda,q) $ と、$ ADE $ 型の前投影代数に関連するラグランジュ的クウェイバー多様体のベッチ数の間の深い関係を予想している。$ q \to q^{-1} $ の双対性の下で、ベッチ数の母関数がフェルミオン的形と一致することを示し、前投影代数上のグラスマンニアンのコホモロジーに対する組合せ的公式を提供する。

ABSTRACT

We state a conjectural relationship between the fermionic form (G. Hatayama, A. Kuniba, M. Okado, T. Takagi, Y. Yamada qa/9812022) and the Betti numbers of a Grassmannian over a preprojective algebra or, equivalently, of a lagrangian quiver variety.

研究の動機と目的

• 前投影代数の $ ADE $ 型に関連するラグランジュ的クウェイバー多様体のベッチ数とフェルミオン的形 $ M(\nu,\lambda,q) $ の間の予想的な関係を確立すること。
• グラスマンニアン $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ のベッチ数の母関数が、$ M(\nu,\lambda,q) $ を含む $ q $-変形キャラクター和に等しいことを示すこと。
• 母関数の定数項が 1 であることを証明し、$ (\xi:V_\nu) \neq 0 $ のとき多様体が連結であることを示し、重要な位相的性質を得ること。
• コホモロジー母関数の次数がグラスマンニアンの次元と一致することを確認し、既知の幾何学的結果と整合すること。

提案手法

• フェルミオン的形 $ M(\nu,\lambda,q) $ は、$ \nu = \omega_0 > \omega_1 > \cdots = \lambda $ を満たす単調減少のドミナント重みの列 $ \omega = \{\omega_k\} $ を用いて再表現され、$ \mu_k = \omega_{k-1} - 2\omega_k + \omega_{k+1} \geq 0 $ を満たす。
• 指数 $ c(\omega) $ は $ \frac{1}{2}\sum_{k \geq 1}(X_k,X_k) - (\nu,X_1) $ として定義され、ここで $ X_k = \omega_{k-1} - \omega_k $ であり、これは母関数における $ q $-重みを形成する。
• グラスマンニアン $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ に $ \mathbb{C}^* $-作用を導入し、固定点集合 $ \text{Grass}'_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ を用いてコホモロジーとフェルミオン的形を関連付ける。
• 予想は $ q \to q^{-1} $ の下で、オイラー標誌と $ M(\nu,\lambda,q^{-1}) $ を含む公式と同値であることが示され、表現論と位相幾何学を結ぶ。
• 証明は $ W $-不変性、内積の正定性、および $ q $-多項式の次数解析に依拠し、$ M(\nu,\lambda,q) \in \mathbb{N}[q^{-1}] $ を示す。
• $ A_1 $ 場合は既知の $ q $-二項係数の結果を用いて検証され、一貫性の確認がなされる。

実験結果

リサーチクエスチョン

• RQ1 フェルミオン的形 $ M(\nu,\lambda,q) $ は、$ ADE $ 型の前投影代数に関連するラグランジュ的クウェイバー多様体のベッチ数を計算するか？
• RQ2 グラスマンニアン $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ のベッチ数の母関数は $ \sum_{\lambda \in P^+} (\xi:V_\lambda) M(\nu,\lambda,q) $ に等しいか？
• RQ3 この母関数の定数項が 1 であることを示せるか？ その場合、$ (\xi:V_\nu) \neq 0 $ のときグラスマンニアンが連結であることを示唆する。
• RQ4 母関数の次数は期待される次元 $ (\nu,\nu)/2 - (\xi,\xi)/2 $ と一致するか？
• RQ5 予想は、定理 B で形式化された $ q \to q^{-1} $ の双対性と同値であるか？

主な発見

• 指数 $ c(\omega) $ と $ q $-二項係数積の次数の解析により、フェルミオン的形 $ M(\nu,\lambda,q) $ が $ \mathbb{N}[q^{-1}] $ に属することを示した。
• 母関数 $ \sum_{\lambda} (\xi:V_\lambda) M(\nu,\lambda,q) $ の定数項は $ \xi = \lambda $ のとき 1、$ \lambda \neq \xi $ のとき 0 である。これは $ (\xi:V_\nu) \neq 0 $ のとき $ \text{Grass}_{\mathbb{P},\xi}(\mathbb{D}^\dag) $ が連結であることを示唆する。
• コホモロジー母関数の次数は $ (\nu,\nu)/2 - (\xi,\xi)/2 $ に一致し、グラスマンニアンの期待される次元と整合する。
• 予想により、オイラー標誌 $ \chi(\text{Grass}_{\mathbb{P}}(\mathbb{D}^\dag)) = \sum_{\lambda} \dim(V_\lambda) M(\nu,\lambda,1) $ が得られ、位相幾何学と表現論を結ぶ。
• 定理 B（$ \mathbb{C}^* $-固定点コホモロジーが $ M(\nu,\lambda,q^{-1}) $ と関係すること）は、定理 A と同値であることが示された。
• $ A_1 $ 場合は検証済み：左辺は $ q $-二項係数であり、右辺は既知の評価と一致し、この場合における予想の正しさが確認された。