[论文解读] Corrigendum: The base change fundamental lemma for central elements in parahoric Hecke algebras

Thomas J. Haines|ArXiv.org|Oct 26, 2009

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

一句话总结

此勘误更正了 Haines（2009）论文中关于帕拉霍里赫 K 酉代数中群概形 $\tau_{{\bf a}_J}$ 的误认，澄清了 $\mathcal{G}_{{\bf a}_J}$ 表示全固定子群 $\widehat{\mathcal{G}}_{{\bf a}_J}$ 的一个真子群，如布吕哈特-蒂斯理论所定义。主要贡献在于精确识别这些群概形及其在基改变基本引理中的作用，以及在 $G$ 为分裂且 $G_{\rm der} = G_{\rm sc}$ 或单体包含特殊顶点时 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 成立的条件。

ABSTRACT

This note corrects a minor misstatement in section 2 of the paper in the title (arXiv:0808.3426). It also addresses some related issues. The error does not affect the main results of that paper, but nevertheless this corrigendum seems necessary to avoid potential confusion.

研究动机与目标

• 更正 Haines（2009）论文中关于群概形 $\mathcal{G}_{{\bf a}_J}$ 被识别为全固定子群 $\widehat{\mathcal{G}}_{{\bf a}_J}$ 的误述。
• 在帕拉霍里赫赫 K 酉代数和基改变的语境下，澄清 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$ 与 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 之间的区别。
• 修正布吕哈特-蒂斯（1972）第 5.2.4 节中的笔误，其中在显示公式中错误地使用了“帽子”符号。
• 确定 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 成立的充分条件，特别是当 $G$ 为分裂且 $G_{\rm der} = G_{\rm sc}$ 或单体包含特殊顶点时。
• 在更正符号和群概形解释后，确认 Haines（2009）中的关键结果（包括定理 2.3.1、推论 2.3.2 和引理 2.9.1）的有效性。

提出的方法

• 将 $\mathcal{G}_{{\bf a}_J}$ 重新解释为布吕哈特-蒂斯（1972）4.6.26 节中定义的群概形，而非 4.6.26–28 节中定义的全固定子群 $\widehat{\mathcal{G}}_{{\bf a}_J}$。
• 利用科特维茨同态关联 $G(L)_1$ 与 $G(L)^1$，并证明当 $X^*(Z(\widehat{G})^\mathcal{I})$ 为无挠时，有 $G(L)_1 = G(L)^1$。
• 应用仿射韦依群 $X_*(T) \rtimes W$ 的结构，证明固定特殊顶点 $v$ 的元素属于根系对偶格 $Q^\vee$，从而确保其属于 $G(L)_1$。
• 当 $G$ 为分裂且 $G_{\rm der} = G_{\rm sc}$ 时，通过证明 $G(L)_1 = G(L)^1$ 并利用 [BT2] 中的固定子描述，建立 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L) = \mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$。
• 当 ${\bf a}_J$ 的闭包包含一个特殊顶点时，通过证明 $N$ 中的固定子属于 $G(L)_1$（基于根系对偶格条件），证明 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L) = \mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$。
• 比较“朴素”伊瓦霍里子群 $\widetilde{I}$、“真正”伊瓦霍里子群 $I = \mathcal{G}^\circ_{{\bf a}}(\mathcal{O}_F)$ 和 $\widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F)$，证明 $I \subseteq \widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F) \subseteq \widetilde{I}$，并在无ramified 或含特殊顶点的条件下证明等式成立。

实验结果

研究问题

• RQ1 Haines（2009）中群概形 $\mathcal{G}_{{\bf a}_J}$ 的正确识别是什么？它与全固定子群 $\widehat{\mathcal{G}}_{{\bf a}_J}$ 有何不同？
• RQ2 为何一般情况下 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 不成立？在何种条件下成立？
• RQ3 布吕哈特-蒂斯 [BT2] 第 5.2.4 节中的笔误（错误使用“帽子”）如何影响显示公式的有效性？如何通过移除帽子符号恢复正确性？
• RQ4 在 $G$ 和单体 ${\bf a}_J$ 满足何种条件时，$\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$ 与 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 重合？
• RQ5 “真正”伊瓦霍里子群 $I$、“朴素”伊瓦霍里子群 $\widetilde{I}$ 与 $\widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F)$ 之间有何关系？在何种条件下三者相等？

主要发现

• Haines（2009）中的群概形 $\mathcal{G}_{{\bf a}_J}$ 应被解释为 $G(L)_1$ 中固定 ${\bf a}_J^{\rm ss}$ 的 $\mathcal{O}_L$-点所构成的群，而非全固定子群 $\widehat{\mathcal{G}}_{{\bf a}_J}$。
• 当 $G$ 为分裂且 $G_{\rm der} = G_{\rm sc}$ 时，$\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 成立，原因在于 $G(L)_1 = G(L)^1$ 且 [BT2] 中的固定子描述成立。
• 当 ${\bf a}_J$ 的闭包包含一个特殊顶点时，等式也成立，因为固定 ${\bf a}_J$ 的正规化子元素通过根系对偶格条件属于 $G(L)_1$。
• 一般情况下，“朴素”伊瓦霍里子群 $\widetilde{I}$ 严格包含“真正”伊瓦霍里子群 $I = \mathcal{G}^\circ_{{\bf a}}(\mathcal{O}_F)$，但当 $G$ 在 $F$ 上无ramified 时二者相等。
• 布吕哈特-蒂斯 [BT2] 第 5.2.4 节中的笔误（错误使用帽子）使显示公式无效；移除帽子符号后公式恢复正确性，如 ${\rm PSp}(4)$ 反例所示。
• 若将 Haines（2009）引理 2.9.1 中的 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$ 和 $\mathcal{G}_{{\bf a}^M_J}(\mathcal{O}_L)$ 分别替换为 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$ 和 $\widehat{\mathcal{G}}_{{\bf a}^M_J}(\mathcal{O}_L)$，则该引理的证明依然有效。