[論文レビュー] Defining relations of fusion products and Schur positivity

Katsuyuki Naoi|arXiv (Cornell University)|Apr 1, 2015

Advanced Combinatorial Mathematics参考文献 12被引用数 3

ひとこと要約

本稿は、現在代数 $σffiα[t]$ 上の $σ$-twisted $σ$-安定モジュラーの融合積に対する定義関係を確立し、$σ=1$ の場合の先行結果を一般化する。このような融合積が生成子と関係式によって定義されるモジュラーと同型であることを証明し、分割の優越性が成り立つ場合に融合積間の上向きホモオモルフィズムが存在することを示す—これはシュール正定性の現在代数版を提供する。

ABSTRACT

In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity.

研究の動機と目的

• $σ$-twisted $σ$-安定モジュラーの $σffiα[t]$ 上の融合積に対する明示的な定義関係を特定すること。
• 有限次元 $σffiα$-モジュラーにおけるシュール正定性現象を現在代数モジュラーへ一般化すること。
• $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ がすべての $i$ に対して成り立つとき、融合積 $V_m(\bm{\ell})$ と $V_m(\bm{r})$ 間に上向きホモオモルフィズムを確立すること。
• 通常のクレブシュ＝ゴルダン分解とシュール正定性の古典的結果の現在代数版を提供すること。

提案手法

• 無限次元リー代数 $\widehat{{\mathfrak{g}}}$ 上のモジュラー内に ${\mathfrak{g}}[t]$-部分モジュラーとして融合積 $V_m(\bm{\ell})$ を実現する。
• [Nao12] の実現法を用い、$\tau$-シフトされた根ベクトルの作用により再帰的に定義関係を特定する。
• [Nao13] の手法を適用し、$\widehat{{\mathfrak{n}}}_+$ による巡回ベクトルの annihilator を分析する。$\tau$-共役を用いて $U(\widehat{{\mathfrak{n}}}_+)$ 内のイデアルを関連付ける。
• $\tau$-作用を用い、特に $\langle h_\alpha, \varpi_m \rangle = 1$ を満たす根に対して、生成子 $f_\alpha \otimes t^s$ と $e_\alpha \otimes t$ を twisted 構造に関連付ける。
• $\sigma$-twisted 構造を用い、モジュラー $V(q,0)$ を $\mathbb{C}_{(\ell_q - \ell_{q+1})(\varpi_m + \Lambda_0)}$ とシフトされたモジュラーを含むテンソル積として定義する。
• 自己同型 $\tau \circ \Phi_\sigma$ を適用し、$e_\alpha^{(s-r)}(f_\alpha \otimes t)^{(s)}$ が生成子 ${}_1f_\alpha(r,s)$ に写ることを証明し、 annihilator イデアル内の包含関係を示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{sl}_{n+1}[t]$-モジュラーで最高ウェイトが基本ウェイトの倍数である場合、融合積 $V_m(\bm{\ell})$ の定義関係は何か？
• RQ2 分割優越性条件が成り立つ場合、二つのこのような融合積間で上向き ${\mathfrak{g}}[t]$-モジュラー準同型を構成できるか？
• RQ3 キャラクターの差が非負のシュール関数の和であるという、シュール正定性の現在代数版は存在するか？
• RQ4 モジュラーの $\sigma$-twisted 構造は、現在代数作用とどのように相互に作用し、定義関係を決定するか？
• RQ5 アフィン実現における巡回ベクトルの annihilator は、生成子と関係式の観点から明示的に記述可能か？

主な発見

• 融合積 $V_m(\bm{\ell})$ は、$\mathfrak{n}_+[t]$、$h \otimes t^s$、$f_\alpha \otimes \mathbb{C}[t]$ を含む特定の関係を満たすベクトル $v$ によって生成される ${\mathfrak{g}}[t]$-モジュラーと同型である。
• 定義関係には、$\langle h_\alpha, \varpi_m \rangle = 1$ を満たす正の根 $\alpha$ に対して $f_\alpha^{L_1+1}v = 0$ が含まれ、条件 $s + r \geq 1 + kr + L_{k+1}$ の下で $ (e_\alpha \otimes t)^s f_\alpha^{r+s}v = 0 $ も成り立つ。
• $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ がすべての $1 \leq i \leq p$ に対して成り立つ限り、$V_m(\bm{\ell})$ から $V_m(\bm{r})$ への上向き ${\mathfrak{g}}[t]$-モジュラー準同型が存在する。これはシュール正定性を現在代数設定に一般化する。
• アフィン実現における巡回ベクトル $v_{q,0}$ の annihilator が $\mathcal{I}(q,0)$ に等しいことが示され、$\tau$-共役を用いて定義関係が正当化された。
• 証明は、$\tau(\mathcal{I}(q+1, \ell(\sigma))) = \mathcal{I}(q,0)$ を示すことに依拠しており、これが必要な annihilator イデアルと一致する。
• 結果は、融合積構造が分割 $\bm{\ell}$ とウェイト $\varpi_m$ によって完全に決定され、関係式が優越順序を符号化していることを確認する。