[论文解读] On the reductive monoid associated to a parabolic subgroup

Jonathan Wang|arXiv (Cornell University)|Feb 23, 2016

Advanced Algebra and Geometry参考文献 4被引用 8

一句话总结

本文构建并刻画了与定义在完美域上的约化群 $G$ 的抛物子群 $P$ 相关的正规约化幺半群 $\overline{M}$，证明其作为仿射闭包 $\overline{G/U(P)}$ 的收缩子而出现，并同构于维纳伯格半群 $\overline{G_{\text{enh}}}$ 的某一幂等元截断。关键结果是 $\overline{M}$ 是正规的，其单位群等于 $P$ 的勒维因子 $M$，且其雷纳锥与截断的维纳伯格半群一致，从而在任意特征下实现了组合分类。

ABSTRACT

Let $G$ be a connected reductive group over a perfect field $k$. We study a certain normal reductive monoid $\overline M$ associated to a parabolic $k$-subgroup $P$ of $G$. The group of units of $\overline M$ is the Levi factor $M$ of $P$. We show that $\overline M$ is a retract of the affine closure of the quasi-affine variety $G/U(P)$. Fixing a parabolic $P^-$ opposite to $P$, we prove that the affine closure of $G/U(P)$ is a retract of the affine closure of the boundary degeneration $(G imes G)/(P imes_M P^-)$. Using idempotents, we relate $\overline M$ to the Vinberg semigroup of $G$. The monoid $\overline M$ is used implicitly in the study of stratifications of Drinfeld's compactifications of the moduli stacks $\mathrm{Bun}_P$ and $\mathrm{Bun}_G$.

研究动机与目标

• 建立幺半群 $\overline{M}$（定义为 $M$ 在 $\operatorname{Spec}k[G/U(P)]$ 中的闭包）在任意特征下为正规代数幺半群。
• 证明 $\overline{M}$ 是仿射闭包 $\overline{G/U(P)}$ 的收缩子，从而继承自环境空间的正规性。
• 通过幂等元截断 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$ 将 $\overline{M}$ 与维纳伯格半群 $\overline{G_{\text{enh}}}$ 联系起来。
• 证明 $\overline{M}$ 的雷纳锥与截断的维纳伯格半群 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$ 的雷纳锥一致，从而实现 $\overline{M}$ 的组合分类。
• 为将关于渐近行为和艾森斯坦系列函子的结果推广至正特征（特别是德林费尔德紧化与赫克堆栈的语境）奠定基础。

提出的方法

• 在格罗辛斯建立的 $k[G/U(P)]$ 有限生成性的基础上，将 $\overline{M}$ 构造为 $M$ 在 $\operatorname{Spec}k[G/U(P)]$ 中的闭包。
• 通过映射 $x \mapsto e_P \cdot x \cdot e_P$（其中 $e_P$ 为适当的幂等元）证明 $\overline{M}$ 是 $\overline{G/U(P)}$ 的收缩子。
• 利用正规概形的收缩子仍为正规的性质，应用引理 4.2.11，从 $\overline{G/U(P)}$ 的正规性推得 $\overline{M}$ 的正规性。
• 通过比较其雷纳锥与权映射在共权格上的作用，将 $\overline{M}$ 识别为 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$。
• 分析由在 $\mathbf{c}_P$ 处求值诱导的权映射 $\check{C}_{\mathbb{Z}} \to \check{\Lambda}$，证明其像恰好为 $W_M \cdot \check{\Lambda}^+_G$，即 $\overline{M}$ 的雷纳锥的生成元。
• 利用雷纳锥对正规约化幺半群的分类，得出 $\overline{M}$ 与 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$ 作为幺半群同构。

实验结果

研究问题

• RQ1 幺半群 $\overline{M}$（定义为 $M$ 在 $\operatorname{Spec}k[G/U(P)]$ 中的闭包）在任意特征下是否正规？
• RQ2 $\overline{M}$ 与仿射闭包 $\overline{G/U(P)}$ 及维纳伯格半群 $\overline{G_{\text{enh}}}$ 有何关系？
• RQ3 $\overline{M}$ 的雷纳锥是什么？它如何与维纳伯格半群的组合数据相关联？
• RQ4 能否利用 $\overline{M}$ 的构造将渐近行为和艾森斯坦系列函子的结果推广至正特征？
• RQ5 在 $\overline{G/U(P)}$ 上的收缩结构 $x \mapsto e_P \cdot x \cdot e_P$ 是否提供了将 $\overline{M}$ 自然实现为子幺半群的规范方式？

主要发现

• 幺半群 $\overline{M}$ 在任意特征下均为正规的，因为它是正规仿射概形 $\overline{G/U(P)}$ 的收缩子。
• $\overline{M}$ 同构于幂等元截断 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$，而后者本身也因收缩与正规化论证而为正规。
• $\overline{M}$ 的雷纳锥等于 $W_M \cdot \check{\Lambda}^+_G$，即由 $G$ 的标准共权的威尔群轨道生成的饱和幺半群。
• 由在 $\mathbf{c}_P$ 处求值诱导的权映射 $\check{C}_{\mathbb{Z}} \to \check{\Lambda}$ 的像恰好为 $W_M \cdot \check{\Lambda}^+_G$，确认了锥的一致性。
• $\overline{M}$ 的构造为赫克堆栈的正部 $\mathcal{H}^+_{M}$ 提供了组合模型，与德林费尔德紧化密切相关。
• 通过将 $\overline{M}$ 的雷纳锥识别为 [15] 中用于边界退化处幂级数展开的锥的对偶，本研究将 [15] 的框架推广至任意特征。