[论文解读] On parahoric subgroups

Thomas J. Haines, Michael Rapoport|ArXiv.org|Apr 23, 2008

Advanced Topics in Algebra参考文献 8被引用 49

一句话总结

本文建立了局部域上半单群中帕拉霍里子群两种定义之间的等价性：一种通过科特维茨同态与布吕哈特-蒂茨建筑中胞状点的固定点定义，另一种通过布吕哈特-蒂茨群概形定义。关键结果是，由 $ K_F = \text{Fix}(F) \bigcap \text{Ker}\thinspace\theta_G $ 定义的帕拉霍里子群与群 $ \frak{G}_F^\bullet(O_L) $ 一致，从而解决了重代数群概形理论与伊瓦霍里-外尔群理论中的一个基础性问题。

ABSTRACT

We prove some basic facts on parahoric subgroups and on Iwahori-Weyl groups.

研究动机与目标

• 证明通过科特维茨同态 $ \kappa_G $ 和布吕哈特-蒂茨建筑中胞状点 $ F $ 的稳定化子定义的帕拉霍里子群，与布吕哈特-蒂茨群概形 $ \mathcal{G}_F^\circ(O_L) $ 一致。
• 建立通过单形定义的伊瓦霍里子群与群概形构造之间的等价性。
• 阐明伊瓦霍里-外尔群的结构及其与仿射外尔群和科特维茨同态的关系。
• 通过使用 z-扩张与有限类型尼罗模型，证明 $ P_F^\circ = K_F $ 在一般情形下成立，从而解决帕拉霍里子群理论中的基础性问题。

提出的方法

• 利用科特维茨同态 $ \kappa_G: G(L) \to X^*(\hat{Z}(G)^I) $ 定义 $ K_F = \text{Fix}(F) \cap \text{Ker}\thinspace\kappa_G $，该定义刻画了帕拉霍里子群。
• 利用 $ G_{\text{der}} $ 是单连通的事实，将问题约化到环面与单连通群的情形，此时结果已知。
• 构造一个包含 $ G_{\text{der}} $、$ G $ 与 $ D = G/G_{\text{der}} $ 的有限类型尼罗模型的交换图表，其行是正合的，且映射相容。
• 应用尼罗模型形式化理论，并利用 $ \mathcal{G}_F^\circ(O_L) = \mathcal{T}^\circ(O_L) \cdot \mathfrak{U}_F(O_L) $ 的结构，证明映射 $ \mathcal{G}_F^\circ(O_L) \to \mathcal{D}^\circ(O_L) $ 的满射性。
• 使用 z-扩张 $ \widetilde{G} \to G $，其中 $ \widetilde{G}_{\text{der}} $ 是单连通的，将一般情形约化到已知情形。
• 在正合序列中进行图表追逐，证明 $ \mathcal{G}_F^\circ(O_L) \to K_F $ 是同构，从而证明 $ P_F^\circ = K_F $。

实验结果

研究问题

• RQ1 通过科特维茨同态与布吕哈特-蒂茨群概形定义的帕拉霍里子群是否一致？
• RQ2 作为与单形相关联的帕拉霍里子群定义的伊瓦霍里子群，是否与通过伊瓦霍里分解定义的标准定义等价？
• RQ3 科特维茨同态 $ \kappa_G $ 的核是否与群 $ G(L)_1 $ 一致？这与帕拉霍里子群的结构有何关系？
• RQ4 在科特维茨同态与建筑上作用的背景下，伊瓦霍里-外尔群与仿射外尔群之间有何关系？
• RQ5 能否证明等式 $ G(L)^\prime = G(L)_1 $，其中 $ G(L)^\prime $ 是由所有帕拉霍里子群生成的子群？

主要发现

• 帕拉霍里子群 $ K_F = \text{Fix}(F) \cap \text{Ker}\thinspace\kappa_G $ 同构于布吕哈特-蒂茨群概形 $ \mathcal{G}_F^\circ(O_L) $，因此 $ P_F^\circ = K_F $，解决了基础性问题。
• 所有伊瓦霍里子群在 $ G(L) $ 中共轭，因为 $ G(L) $ 在布吕哈特-蒂茨建筑的单形集合上作用传递。
• 伊瓦霍里-外尔群 $ \widetilde{W} $ 满足正合列 $ 1 \to W_a \to \widetilde{W} \to X^*(\hat{Z}(G)^I) \to 1 $，且 $ \Omega \subset \widetilde{W} $ 同构地映射到 $ X^*(\hat{Z}(G)^I) $。
• 由所有帕拉霍里子群生成的子群 $ G(L)^\prime $ 等于 $ G(L)_1 $，即 $ \kappa_G $ 的核，从而证明 $ G(L)^\prime = G(L)_1 $。
• 自然映射 $ W^\prime = N(L)^\prime / T(L)_1 \to W_a $ 是同构，表明 $ W^\prime $ 是与 $ S $ 相关根系的仿射外尔群。
• 在作用于胞状图时，$ \nu^\prime(T(L)) $ 的像是 $ X_*(T_{\text{ad}})_I \subset P^\vee $ 的子集，且 $ X_*(T_{\text{sc}})_I = Q^\vee $，确认了伽罗瓦作用下共特征格的结构。