[論文レビュー] Quantum Kostka and the rank one problem for $\mathfrak{sl}_{2m}$

Natalie Hobson|arXiv (Cornell University)|Aug 27, 2015

Advanced Mathematical Identities参考文献 5被引用数 3

ひとこと要約

本稿は、$\overline{\mathcal{M}}_{0,n}$ 上の $\mathfrak{sl}_{2m}$ に付随する長方形重みを持つ conformal blocks ベクトル束のランクが 0, 1, または 1 より大きい場合の明示的な必要十分条件を確立する。Wittenの辞書と Young テーブルを用いた Kostka 数の計算を通じて、ランク1束の第1チャーン類が生成する錐が有限生成であることを証明し、$\mathfrak{sl}_{2m}$ のランク1問題の特別なケースを解決するとともに、双対性を用いて結果を symplectic Lie 代数へ拡張する。

ABSTRACT

We give necessary and sufficient conditions to specify vector bundles of conformal blocks for $\mathfrak{sl}_{2m}$ with rectangular weights which have ranks zero, one, and larger than one. First Chern classes of rank one bundles are shown to determine a finitely generated subcone of the nef cone.

研究の動機と目的

• 長方形重みを持つ conformal blocks バンドル $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$ のランクが 0, 1, または 1 より大きい場合の必要十分条件を特定すること。
• ランク1バンドルの第1チャーン類が生成する錐 $C(S)$ が有限生成であることを証明すること。
• $\mathfrak{sl}_2$ から $\mathfrak{sl}_{2m}$ への垂直スケーリングと双対性を用いて結果を拡張し、ランク双対性を通じて symplectic Lie 代数へ接続すること。
• Wittenの辞書フレームワーク下で、Young テーブルと Kostka 数を用いたランク計算の明示的アルゴリズムを提供すること。

提案手法

• Wittenの辞書を適用し、$V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$ のランクを、Grassmannian のコホロジーにおける古典的または量子積におけるシューベルト類の係数に関連付ける。
• Kostka 数を用いて、指定された形状と内容の半標準的 Young テーブルの個数を数えることでランクを計算する。
• 重み内容と最大重み内容を定義し、ランクが 1 または 1 より大きい場合を区別する。
• スケーリングの定理（命題 2.3）を導入し、$\operatorname{rank}(V_m) = 1$ であるための必要十分条件が $\operatorname{rank}(V_1) = 1$ であることであり、$c_1(V_m) = m c_1(V_1)$ が成り立つことを示す。
• 各ランク1バンドルの $c_1(V)$ がレベル1の除数の有効線形結合として表せることを示すことにより、錐 $C(S)$ の有限生成性を証明する（定理 1.3）。
• 垂直スケーリングと奇妙な双対性を用いて、$\mathfrak{sl}_2$ から $\mathfrak{sl}_{2m}$ への結果の拡張を実現し、双対性を応用して $\mathfrak{sp}_{2\ell}$ におけるレベル1の結果を得る。

実験結果

リサーチクエスチョン

• RQ1 長方形重み $\vec{\lambda} = (c_1\omega_m, \dots, c_n\omega_m)$ が、conformal blocks バンドル $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$ のランクが 0, 1, または 1 より大きい場合の必要十分条件は何か？
• RQ2 ランク1 conformal blocks バンドルの第1チャーン類が生成する $\operatorname{Nef}(\overline{\mathcal{M}}_{0,n})$ の部分錐 $C(S)$ は有限生成か？
• RQ3 conformal blocks バンドルのランクとチャーン類は垂直スケーリング可能か？また、$\mathfrak{sl}_{2m}$ においてランク1性質は保存されるか？
• RQ4 duality とスケーリングを通じて、$V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$ のランクは $V(\mathfrak{sl}_2, \vec{\lambda}', 1)$ のランクとどのように関係するか？
• RQ5 双対性を用いて、結果を $\mathfrak{sp}_{2\ell}$ におけるレベル1に拡張できるか？

主な発見

• $V(\mathfrak{sl}_{2m}, (c_1\omega_m, \dots, c_n\omega_m), \ell)$ のランクは、$\Lambda < p$ であるときにかつそのときに限り 0 である。ここで $\Lambda = \sum_{i=2k+2}^n c_i$ であり、$\sum c_i = 2(k\ell + p)$ を満たす整数 $p$ で $1 \leq p \leq \ell$ かつ $k \geq 0$ を満たすものとする。
• ランクが 1 であるのは、$\Lambda = p$ または $\Lambda > p$ かつ重み内容が最大（定義 2.5 で定義）であるときにかつそのときに限り、成り立つ。
• ランクが 1 より大きいのは、$\Lambda > p$ かつ重み内容が最大でないときにかつそのときに限り成り立つ。
• ランク1バンドルの第1チャーン類が生成する錐 $C(S)$ は有限生成である。各チャーン類はレベル1の除数の有効線形結合として表せるため。
• スケーリング性質 $c_1(V_m) = m c_1(V_1)$ および $\operatorname{rank}(V_m) = 1$ が $\operatorname{rank}(V_1) = 1$ のときに成り立つことは、$\mathfrak{sl}_{2m}$ に長方形重みが付随する場合に成り立つ。
• 双対性を用いて、$\mathfrak{sp}_{2\ell}$ におけるレベル1でも同様のランク条件が成り立つ：$\operatorname{rank}(V(\mathfrak{sp}_{2\ell}, \vec{\lambda}^T, 1)) = \operatorname{rank}(V(\mathfrak{sl}_2, \vec{\lambda}, \ell))$。