[论文解读] ${\mathbb G}_a^M$ degeneration of flag varieties

Evgeny Feigin|arXiv (Cornell University)|Jul 5, 2010

Algebraic structures and combinatorial models参考文献 10被引用 9

一句话总结

本文通过不可约 $ G $-模上的 PBW 范数构造了广义旗簇 $ \mathcal{F}_\lambda $ 的平坦 ${\mathbb{G}}_a^M$-退化。退化坐标环同构于对偶 PBW-graded 模的直和，且半标准 PBW-表式参数化了多齐次分量，将经典 Plücker 关系推广至类型 $ A $ 的退化情形。该退化是平坦的，并通过群作用 $ G^a = \mathbb{G}_a^M \rtimes B $ 保持了几何结构。主要贡献在于利用 PBW 基建立了一套退化旗簇的组合与代数几何框架。

ABSTRACT

Let $\Fl_λ$ be a generalized flag variety of a simple Lie group $G$ embedded into the projectivization of an irreducible $G$-module $V_λ$. We define a flat degeneration $\Fl_λ^a$, which is a ${\mathbb G}^M_a$ variety. Moreover, there exists a larger group $G^a$ acting on $\Fl_λ^a$, which is a degeneration of the group $G$. The group $G^a$ contains ${\mathbb G}^M_a$ as a normal subgroup. If $G$ is of type $A$, then the degenerate flag varieties can be embedded into the product of Grassmanians and thus to the product of projective spaces. The defining ideal of $\Fl^a_λ$ is generated by the set of degenerate Pl\" ucker relations. We prove that the coordinate ring of $\Fl_λ^a$ is isomorphic to a direct sum of dual PBW-graded $\g$-modules. We also prove that there exist bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogues of semistandard tableux.

研究动机与目标

• 通过不可约 $ G $-模上的 PBW 范数构造广义旗簇 $\mathcal{F}_\lambda$ 的平坦退化。
• 定义新群 $ G^a = \mathbb{G}_a^M \rtimes B $，使其作用于退化旗簇 $ \mathcal{F}_\lambda^a $，从而扩展 $ G $ 的作用。
• 证明退化旗簇 $ \mathcal{F}_\lambda^a $ 的坐标环同构于对偶 PBW-graded $ \mathfrak{g} $-模的直和。
• 利用半标准 PBW-表式建立 $ \mathcal{F}_\lambda^a $ 的坐标环的基，该基推广了经典半标准表式。
• 通过定义理想的 $ t $-变形证明退化 $ \mathcal{F}_\lambda \to \mathcal{F}_\lambda^a $ 是平坦的。

提出的方法

• 在不可约 $ G $-模 $ V_\lambda $ 上定义 PBW 范数 $ F_s $，从而得到相应的分次空间 $ V_\lambda^a = \bigoplus_{s \geq 0} F_{s+1}/F_s $。
• 构造退化李代数 $ \mathfrak{g}^a = \mathfrak{b} \oplus ({\mathfrak{n}}^-)^a $，其中 $ ({\mathfrak{n}}^-)^a $ 是作为向量空间同构于 $ \mathfrak{n}^- $ 的交换理想。
• 将退化旗簇 $ \mathcal{F}_\lambda^a $ 定义为 $ \mathbb{P}(V_\lambda^a) $ 中最高权向量的 $ \mathbb{G}_a^M $-轨道的闭包。
• 引入退化 Plücker 关系作为 $ \mathcal{F}_\lambda^a $ 的定义理想 $ I^a $ 的生成元，通过 PBW 范数退化经典 Plücker 关系得到。
• 引入坐标环的 $ t $-变形 $ Q^t $，其关系 $ R^{k;t}_{L,J} $ 在经典关系与退化关系之间插值。
• 通过证明 $ Q^t $ 是 $ \mathbb{C}[t] $ 上的自由模，且其基由半标准 PBW-表式索引的单项式构成，从而证明平坦性。

实验结果

研究问题

• RQ1 能否通过 PBW 范数将经典旗簇 $ \mathcal{F}_\lambda $ 扁平退化为 $ \mathbb{G}_a^M $-簇？
• RQ2 退化旗簇 $ \mathcal{F}_\lambda^a $ 的坐标环是否同构于对偶 PBW-graded 模的直和？
• RQ3 半标准 PBW-表式是否为 $ \mathcal{F}_\lambda^a $ 的坐标环的多齐次分量提供基？
• RQ4 退化 Plücker 关系是否足以将 $ \mathcal{F}_\lambda^a $ 定义为多个射影空间积的子簇？
• RQ5 退化 $ \mathcal{F}_\lambda \to \mathcal{F}_\lambda^a $ 是否平坦，且能否通过坐标环的 $ t $-变形来证明？

主要发现

• 退化旗簇 $ \mathcal{F}_\lambda^a $ 是经典旗簇 $ \mathcal{F}_\lambda $ 在 PBW 范数下的平坦退化。
• 退化旗簇 $ \mathcal{F}_\lambda^a $ 的坐标环同构于对偶 PBW-graded $ \mathfrak{g} $-模的直和，将经典同构推广至退化情形。
• 坐标环的多齐次分量的基由半标准 PBW-表式参数化，该表式推广了经典半标准表式。
• 退化旗簇 $ \mathcal{F}_\lambda^a $ 的定义理想由退化 Plücker 关系生成，这些关系通过 PBW 范数退化经典 Plücker 关系得到。
• 退化是平坦的，通过构造坐标环的 $ t $-变形 $ Q^t $ 证明：$ Q^t $ 是 $ \mathbb{C}[t] $ 上的自由模，其纤维满足 $ Q^t/(t) \simeq Q^a $ 且 $ Q^t/(t-u) \simeq Q $（当 $ u \neq 0 $ 时），且其 $ \mathbb{C}[t] $-基由半标准 PBW-表式索引的单项式构成。
• 在类型 $ A $ 情形下，退化旗簇 $ \mathcal{F}_\lambda^a $ 嵌入多个格拉斯曼簇的积中，因而也嵌入多个射影空间的积中，其方程由退化 Plücker 关系给出。