[論文レビュー] PBW filtration and bases for irreducible modules in type $A_n$

Evgeny Feigin, Ghislain Fourier+1 more|arXiv (Cornell University)|Feb 3, 2010

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

ひとこと要約

本稿は、PBWフィルトレーションを用いて、$\frak{sl}_{n+1}$-加群の組み合わせ的基底を導入し、Dyckパスのポリトープを介して、関連する次数付き加群 $grV(\theta)$ に対する単項式基底を構成する。主な結果は、ポリトープ $P(\theta)$ の整数点によってインデックス付けされる $V(\theta)$ の新しい基底族であり、これは次数付き特徴関数の公式を導出し、タイプ $A_n$ のVinbergの2005年の予想（単項式基底の存在）を証明する。この構成により、組み合わせ的特徴関数の公式が得られ、$\frak{n}^+$-作用を用いて $S(\frak{n}^-)$ 内の零化イデアル $I(\theta)$ が特定される。

ABSTRACT

We study the PBW filtration on the highest weight representations $V(\la)$ of $\msl_{n+1}$. This filtration is induced by the standard degree filtration on $U( ^-)$. We give a description of the associated graded $S( ^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial character formula for $V(\la)$, and we obtain a new class of bases of the modules $V(\la)$ conjectured by Vinberg in 2005.

研究の動機と目的

• PBWフィルトレーションにおける $\frak{sl}_{n+1}$-既約加群 $V(\lambda)$ の関連する次数付き加群 $grV(\lambda)$ の構造を記述すること。
• パス制約によって定義されるポリトープ $P(\lambda)$ とDyckパスを用いて、$grV(\lambda)$ の明示的な単項式基底を構成すること。
• Vinbergの2005年の予想（$V(\lambda)$ に同じインデックス集合を持つ単項式基底が存在する）を証明すること。
• 基底における単項式の次数を用いて、$V(\lambda)$ の次数付き特徴関数の公式を導出すること。
• 循環加群 $grV(\lambda)$ の $S(\frak{n}^-)$ 内の零化イデアル $I(\lambda)$ を、$\frak{n}^+$-作用によって生成される $\frak{U}(\frak{n}^+) \circ \mathrm{span}\{f_\alpha^{(\lambda,\alpha)+1}\}$ として特定すること。

提案手法

• 単項式代数 $U(\frak{n}^-)$ 上の次数フィルトレーションを用いて $V(\lambda)$ にPBWフィルトレーションを定義し、$grV(\lambda) \simeq S(\frak{n}^-)/I(\lambda)$ を得る。
• Dyckパスを、再帰的な隣接性ルールを満たす正ルートの列として定義し、これによりポリトープ $P(\lambda)$ 内のパス依存不等式を導入する。
• ポリトープ $P(\lambda)$ を、すべてのDyckパス $\bf p$ に対して、そのパスに沿った根インデックスの和 $\sum r_{\beta(i)} \leq \sum m_i$ を満たす非負実数タプル $(r_\alpha)$ の集合として定義する。
• 整数点 $\bf s \in P(\lambda)$ を用いて、$grV(\lambda)$ の基底を単項式 $f^{\bf s}v_\lambda$ として構成し、帰納法を用いて線形独立性と生成性を証明する。
• $\frak{n}^+$ の作用を用いて、$I(\lambda)$ を $S(\frak{n}^-) \cdot (\frak{U}(\frak{n}^+) \circ \mathrm{span}\{f_\alpha^{(\lambda,\alpha)+1}\})$ として特徴づけ、定理Aを証明する。
• 基底における単項式の次数を用いて、$char_q(V(\lambda)) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})} q^{\deg({\bf s})}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 PBWフィルトレーション下での $\frak{sl}_{n+1}$-加群 $grV(\lambda)$ の構造は何か？
• RQ2 Dyckパスやポリトープといった組み合わせ的データを用いて、$grV(\lambda)$ の単項式基底を構成できるか？
• RQ3 ポリトープ $P(\lambda)$ の整数点の集合が、$V(\lambda)$ の基底をインデックスづけることができるか。これによりVinbergの2005年の予想が証明されるか？
• RQ4 $grV(\lambda)$ の循環加群に対する $S(\frak{n}^-)$ 内の零化イデアル $I(\lambda)$ は何か？
• RQ5 基底における単項式の次数を用いて、$V(\lambda)$ の次数付き特徴関数の公式を導出できるか？

主な発見

• 整数点 $\bf s \in P(\lambda)$ を用いて生成される単項式 $f^{\bf s}v_\lambda$ の集合が $grV(\lambda)$ の基底をなす。これにより定理Bが確立される。
• $V(\lambda)$ の次元は $P(\lambda)$ の整数点の数に等しく、$\dim V(\lambda) = \sharp S(\lambda)$ である。これは補題1.5で示される。
• $V(\lambda)$ の特徴関数は $\mathrm{char}\, V(\lambda) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})}$ で与えられ、組み合わせ的特徴関数の公式が得られる。
• $V(\lambda)$ の次数付き特徴関数は $\mathrm{char}_q(V(\lambda)) = \sum_{{\bf s} \in S(\lambda)} e^{\lambda - \mathrm{wt}({\bf s})} q^{\deg({\bf s})}$ であり、ここで $\deg({\bf s}) = \sum s_{j,k}$ である。
• $S(\frak{n}^-)$ 内の零化イデアル $I(\lambda)$ は $S(\frak{n}^-) \cdot (\frak{U}(\frak{n}^+) \circ \mathrm{span}\{f_\alpha^{(\lambda,\alpha)+1}\})$ として生成され、定理Aが証明される。
• $S(\lambda)$ は $S(\lambda) + S(\mu) = S(\lambda + \mu)$ を満たし、テンソル積分解と整合性を示す。