[论文解读] 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

一句话总结

本文通过 $ \mathfrak{sl}_{n+1} $ 的正根的三角形子集，利用 Feigin-Littelmann-Fourier 多面体的面来刻画 PBW 退化的 Demazure 模块。证明了对于三角形 Weyl 群元素，这些面中的格点参数化 PBW 退化 Demazure 模块的单项式基，并通过有利模理论建立了 Schubert 多面体到环形多面体的平坦退化。

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 模块单项式基的必要与充分条件。
• 通过有利模理论，建立 Schubert 多面体到 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^{+} $。
• 通过令 $ s_\alpha = 0 $ 对所有 $ \alpha \notin A $，定义多面体 $ P(\lambda) $ 的面 $ P_A(\lambda) $，并研究其格点 $ S_A(\lambda) $。
• 利用 PBW 滤子定义其约化模 $ (V_{A}(\lambda))^{a} $，并证明 $ S_A(\lambda) $ 参数化该模的单项式基。
• 证明 $ S_A(\lambda) + S_A(\mu) = S_A(\lambda + \mu) $，表明其与张量积和 Minkowski 和的相容性。
• 应用 [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 格点集合的 Minkowski 和性质如何与 PBW 退化设定下的张量积结构相关联？
• RQ4 能否通过有利模理论在 PBW 退化设定下构造 Schubert 多面体到环形多面体的平坦退化？

主要发现

• 对任意三角形子集 $ 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^{+} $，其中 $ w $ 为三角形 Weyl 群元素，则 $ 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) $ 的格点表示。