[論文レビュー] PBW-degenerated Demazure modules and Schubert varieties for triangular elements

Ghislain Fourier|arXiv (Cornell University)|Aug 29, 2014

Algebraic structures and combinatorial models参考文献 12被引用数 6

ひとこと要約

本稿は、Feigin-Littelmann-Fourier多面体の面を通じてPBW-退化Demazure加群を特徴付けるために、$\mathfrak{sl}_{n+1}$ の正ルートの三角形部分集合を導入する。三角形Weyl群元に対して、これらの面内の格子点がPBW-勾配Demazure加群の単項式基底をパラメトライズすることを証明し、好都合加群理論を用いてシューベルト多様体の平坦退化をPBW-退化およびトーリック多様体へと構成する。

ABSTRACT

We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert varieties to PBW degenerated and toric varieties.

研究の動機と目的

• Feigin-Littelmann-Fourier多面体の組合せ的面を用いて、$\mathfrak{sl}_{n+1}$ のPBW-退化Demazure加群を特徴付けること。
• 正ルートの三角形部分集合を通じて、面内の格子点がPBW-勾配Demazure加群の単項式基底をパラメトライズするための必要十分条件を同定すること。
• 好都合加群理論を用いて、シューベルト多様体の平坦退化をPBW-退化およびトーリック多様体へ構成すること。
• 三角形要素に関して、Demazure加群の非再帰的特徴式を多面体の面内の格子点を用いて与えること。

提案手法

• 任意の $\beta_1, \beta_2 \in A$ で、連結な補助を持つものについて、$\gamma(\beta_1, \beta_2)$ および $\beta_1 + \beta_2 - \gamma(\beta_1, \beta_2)$ が $A$ に属することを要件として、$A \subset R^{+}$ を三角形部分集合と定義する。
• 各 $\alpha \notin A$ に対して $s_\alpha = 0$ と設定し、多面体 $P(\lambda)$ の面 $P_A(\lambda)$ を導入し、その格子点集合 $S_A(\lambda)$ を研究する。
• PBWフィルトレーションを用いて、関連する順次加群 $(V_{A}(\lambda))^{a}$ を定義し、$S_A(\lambda)$ がこの加群の単項式基底をパラメトライズすることを示す。
• すべてのドミナント重み $\lambda, \mu$ に対して $S_A(\lambda) + S_A(\mu) = S_A(\lambda + \mu)$ が成り立つことを証明し、テンソル積構造およびミンコフスキー和との整合性を示す。
• 文献[FFL13a]における好都合加群理論を適用し、$A$ が三角形であるとき、$V_A(\lambda)$ が好都合 $\mathbb{U}$-加群であることを示す。
• 好都合加群構造を活用して、平坦退化を構成する：$\mathcal{F}_{\mathfrak{n}}(M) \rightsquigarrow \mathcal{F}_{\mathfrak{n}_a}(M^a) \rightsquigarrow \mathcal{F}_{\mathfrak{n}_a}(M^t)$ であり、最後のものはトーリック多様体である。

実験結果

リサーチクエスチョン

• RQ1 PBW-退化多面体 $P(\lambda)$ のどの面が、PBW-勾配Demazure加群の単項式基底をパラメトライズするか？
• RQ2 正ルートの部分集合に対して、どの組合せ的条件が、対応する面がPBW-勾配Demazure加群の基底をパラメトライズすることを保証するか？
• RQ3 格子点集合のミンコフスキー和の性質は、PBW-勾配設定におけるテンソル積構造とどのように関係するか？
• RQ4 好都合加群理論を用いて、PBW-退化設定においてシューベルト多様体をトーリック多様体へ平坦に退化させることは可能か？

主な発見

• 任意の三角形部分集合 $A \subset R^{+}$ に対して、面 $P_A(\lambda)$ は正規多面体であるため、整数性および組合せ的性質の良好さが保証される。
• 格子点集合 $S_A(\lambda)$ は、PBW-勾配加群 $(V_A(\lambda))^{a}$ の単項式基底をパラメトライズする。ここで $V_A(\lambda) = U(\mathfrak{n}_A).v_\lambda$ である。
• もし $A = w^{-1}(R^{-}) \cap R^{+}$ が三角形Weyl群元 $w$ に対して成り立つならば、$S_A(\lambda)$ はPBW-勾配Demazure加群 $V_w(\lambda)^a$ の単項式基底をパラメトライズする。
• すべてのドミナント重み $\lambda, \mu$ に対して、$S_A(\lambda) + S_A(\mu) = S_A(\lambda + \mu)$ が成り立つ。これはテンソル積構造およびミンコフスキー和との整合性を示す。
• $A$ が三角形であるとき、加群 $V_A(\lambda)$ は好都合 $\mathbb{U}$-加群である。これは、関連するフラッグ多様体の平坦退化がトーリック多様体へと導かれる。
• 本構成により、三角形要素に関連するDemazure加群の非再帰的特徴式が、$P_A(\lambda)$ の格子点を用いて得られる。