[论文解读] On the Hodge-Newton decomposition for split groups

Robert Kottwitz|ArXiv.org|Jul 3, 2003

Geometric and Algebraic Topology参考文献 6被引用 11

一句话总结

该论文为p进域上的分裂半单群建立了群论意义上的霍奇-牛顿分解，推广了Katz关于等曲率的定理，并扩展了Rapoport-Rapoport的马祖尔型不等式。证明了对于一个极大权μ和一个在勒维子群M中的基本元素b，仿射德林费尔德-卢斯蒂格集X^G_μ(b)非空当且仅当w_M(b) ≤_P μ，且当w_M(b) = μ时，包含映射X^M_μ(b) → X^G_μ(b)是双射。

ABSTRACT

The main purpose of this paper is to prove a group-theoretic generalization of a theorem of Katz on isocrystals. Along the way we reprove the group-theoretic generalization of Mazur's inequality for isocrystals due to Rapoport-Richartz, and generalize from split groups to unramified groups a result of Kottwitz-Rapoport which determines when an affine Deligne-Lusztig subset of the affine Grassmannian is non-empty.

研究动机与目标

• 将Katz关于等曲率的定理推广至p进域上的分裂半单群情形。
• 重新证明并扩展Rapoport-Rapoport对等曲率情形下马祖尔不等式的群论推广。
• 精确确定分裂群情形下仿射德林费尔德-卢斯蒂格集X^G_μ(b)的非空性条件，并将此结果推广至非分歧群。
• 建立一个霍奇-牛顿分解，关联环群中元素的牛顿点与霍奇点。
• 通过根系分析阐明偏序≤_P与在仿射坦普勒中像的几何条件之间的等价性。

提出的方法

• 利用Iwasawa分解G(L) = K_L P(L)，为g ∈ G(L)定义收缩映射r_B(g) ∈ X_*(A)，将每个g分配至唯一的权μ，使得g ∈ K_L μ(ϖ) U(F)。
• 定义w_G: G(L) → X_G为r_B与自然投影X_*(A) → X_G = X_*(A)/Q∨(G)的复合，度量g的霍奇点。
• 在X_M上引入偏序≤_P，其定义为与抛物子群P = M N的未幂零部分N相关的余根的非负整数组合。
• 利用L/F的弗罗贝尼乌斯自同态σ，定义σ-共轭类，并分析x⁻¹bσ(x) ∈ G(o_L)μ(ϖ)G(o_L)对x ∈ G(L)/G(o_L)的条件。
• 应用Iwasawa分解G(L) = K_L P(L)，将X^G_μ(b)的非空性与σ-共轭类在M(μ) ⊂ M(L)中的交集联系起来。
• 通过根系分析，建立偏序条件ν ≤_P μ与条件ν ∈ P_{μ,M}之间的等价性，使用映射x ↦ x^♭和相对Weyl群。

实验结果

研究问题

• RQ1 对于分裂半单群G和勒维子群M中的基本元素b，仿射德林费尔德-卢斯蒂格集X^G_μ(b)在什么条件下非空？
• RQ2 在什么条件下，包含映射X^M_μ(b) → X^G_μ(b)成为双射？
• RQ3 在霍奇-牛顿分解的背景下，G(L)中元素的霍奇点与牛顿点之间有何关系？
• RQ4 偏序≤_P在X_M上是否等价于条件ν ∈ P_{μ,M}，对于一个极大权μ？
• RQ5 能否通过霍奇-牛顿分解，为非分歧群建立马祖尔不等式的逆定理？

主要发现

• 仿射德林费尔德-卢斯蒂格集X^G_μ(b)非空仅当w_M(b) ≤_P μ，这推广了Rapoport-Rapoport的马祖尔型不等式。
• 当w_M(b) = μ（视为X_M中的元素）时，包含映射X^M_μ(b) → X^G_μ(b)是双射，这推广了Katz定理。
• 对于分裂群，当且仅当w_M(b) ∈ P_{μ,M}时，集合X^G_μ(b)非空，其中P_{μ,M}是极大权集合在到X_M的投影下的像。
• 条件ν ≤_P μ等价于ν ∈ P_{μ,M}当且仅当问题4.7中的根系条件成立，该条件对GL_n、GSp_{2n}和分裂经典群已知成立。
• 当μ为极大权且ν ∈ Y_M^+时，偏序ν ≤_P μ等价于ν ∈ P_{μ,M}，从而在这些情形下确认了霍奇-牛顿分解。
• ≤_P与条件ν ∈ P_{μ,M}之间的等价性被归约为一个根系问题，关键步骤是识别ν^♭ ≤ μ^♭在仿射坦普勒中的关系。