[论文解读] Tame tori in p-adic groups and good semisimple elements

Jessica Fintzen|arXiv (Cornell University)|Jan 15, 2018

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

一句话总结

本文確立了在非阿基米德局部域上，半单代数群的所有极大环面在可分扩张上分裂的必要且充分条件，表明當且僅當殘留特征 $p$ 不整除 Weyl 群的階時成立，例外情況為某些特殊型。此外，本文證明在該條件下，群及其李代數的每個 Moy–Prasad 濃度陪集均存在良好的半單元素，從而解決了超臨界表示理論中的一個關鍵技術假設。

ABSTRACT

Let G be a reductive group over a non-archimedean local field k. We provide necessary conditions and sufficient conditions for all tori of G to split over a tamely ramified extension of k. We then show the existence of good semisimple elements in every Moy-Prasad filtration coset of the group G(k) and its Lie algebra, assuming the above sufficient conditions are met.

研究动机与目标

• 確定非阿基米德局部域 $k$ 上半單代數群 $G$ 的所有極大環面在 $k$ 的可分擴張上分裂的必要且充分條件。
• 在 $p$ 和 Weyl 群的適當條件下，確立 $G(k)$ 及其李代數 $\mathfrak{g}(k)$ 的每個 Moy–Prasad 濃度陪集中良好半單元素的存在性。
• 對 Adler 和 Roche 關於李代數中良好元素的早期結果進行推廣與修正，特別是針對例外型。
• 澄清殘留特徵 $p$ 在環面可分性與良好元素存在性中的作用，特別是在 $A_n$、$D_l$ 和 $E_6$ 等例外型中。

提出的方法

• 利用共特徵與共根系統的結構，分析可分擴張上環面的分裂行為，重點關注連接指數與共根格中的 $p$-torsion 自由性。
• 將 Moy–Prasad 濃度應用於環面及其李代數，定義良好元素為所有非零根的賦值恰好等於濃度層級的元素。
• 透過將群元素唯一分解為子群 $T_1$ 和 $T_2$ 中的分量，構造良好元素，其中 $T_1$ 對應有理共特徵，$T_2$ 對應根特徵的核。
• 運用伽羅瓦不變性與賦值論論證，證明構造的元素 $\gamma_2$ 屬於正確的陪集，且滿足良好性的賦值條件。
• 利用 $p$ 不整除共根系統的連接指數的事實，確保 $1 + \mathcal{P}_{k^s}$ 中分數次冪與指數函數的良好定義。
• 將 Weyl 群的階 $|\mathcal{W}|$ 作為關鍵不變量：條件 $p \nmid |\mathcal{W}|$ 確保所需的共特徵提升存在，且群作用保持所需的濃度結構。

实验结果

研究问题

• RQ1 在殘留特徵 $p$ 和 Weyl 群 $\mathcal{W}$ 的何種條件下，非阿基米德局部域 $k$ 上半單代數群 $G$ 的所有極大環面在 $k$ 的可分擴張上分裂？
• RQ2 條件 $p \nmid |\mathcal{W}|$ 對於 $G(k)$ 的每個 Moy–Prasad 濃度陪集中良好半單元素的存在性而言，是否既必要又充分？
• RQ3 能否在弱於 Adler 和 Roche 早期工作所假設的條件下，證明李代數 $\mathfrak{g}(k)$ 的所有正深度濃度陪集中良好元素的存在性？
• RQ4 對於型 $A_n$、$D_l$ 或 $E_6$ 的非分裂內形變，所有環面保持可分的 $p$ 的最佳界限為何？
• RQ5 伽羅瓦作用於共特徵與根系統，如何影響濃度陪集中良好元素的構造？

主要发现

• 條件 $p \nmid |\mathcal{W}|$ 是 $G$ 的所有極大環面在 $k$ 的可分擴張上分裂的必要且充分條件，例外情況為非分裂內形變的 $A_n$ ($n \geq 2$)、$D_l$ ($l$ 為大於 4 的素數) 或 $E_6$，此時需使用更精細的 $p$ 界限。
• 對於 $k$ 上所有半單群 $G$，若 $p \nmid |\mathcal{W}|$，則 $\mathfrak{g}(k)$ 的每個 Moy–Prasad 濃度陪集均包含一個良好半單元素，推廣並修正了 Adler 和 Roche 的早期結果。
• 類似結果亦適用於群 $G(k)$：在相同條件下，$G(k)$ 的每個濃度陪集均包含一個良好半單元素，將李代數結果推廣至群的設定。
• 本文提供了對 [Adler-Roche, Lemma 5.12] 證明中關鍵步驟的反例，從而說明本研究中採用更一般化證明的必要性。
• 對於例外型，$p$ 的界限顯著改善：$E_6$、$E_7$、$E_8$ 分別為 $p > 5, 7, 7$，遠優於早期工作中的 $p > 113,373$ 或 $1291$。
• 良好元素的構造依賴於唯一分解 $\gamma = \gamma_1 \gamma_2$，其中 $\gamma_1 \in T_1$ 且 $\gamma_2 \in T_2$，且 $T_1 \cap T_2 = \{1\}$，確保元素 $\gamma_2$ 屬於正確陪集並滿足良好的賦值條件。