[논문 리뷰] On the Hodge-Newton decomposition for split groups

Robert Kottwitz|ArXiv.org|2003. 07. 03.

Geometric and Algebraic Topology참고 문헌 6인용 수 11

한 줄 요약

이 논문은 p진 필드 위의 분할 재조화군에 대해 군론적 Hodge-Newton 분해를 수립하며, 이는 Katz의 등급 등식에 대한 정리와 Rapoport-Rapoport의 Mazur 유형 부등식을 일반화한다. 주어진 강력한 원형 무게 μ와 리 군 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.

연구 동기 및 목표

• p진 필드 위의 분할 재조화군의 설정에서 이소크리스탈에 대한 Katz의 정리를 일반화하기 위해.
• Rapoport-Rapoport의 이소크리스탈에 대한 Mazur 부등식의 군론적 일반화를 재증명하고 확장하기 위해.
• 분할 군에 대해 애핀 델리뉴이트-루스지츠 집합 X^G_μ(b)가 공집합이 되는 정확한 조건을 규명하고, 이를 비분할 군으로까지 확장하기 위해.
• 루프 군 원소의 뉴턴 점과 호지 점을 연결하는 Hodge-Newton 분해를 수립하기 위해.
• 근계 분석을 통해 부분 순서 ≤_P와 야생에서의 이미지에 대한 기하적 조건 사이의 동치성을 명확히 하기 위해.

제안 방법

• Iwasawa 분해 G(L) = K_L P(L)를 사용하여 g ∈ G(L)에 대해 r_B(g) ∈ X_*(A)를 정의함으로써, 각 g에 대해 유일한 원형 무게 μ를 할당함. 이때 g ∈ K_L μ(ϖ) U(F)를 만족함.
• r_B와 자연스러운 사영 X_*(A) → X_G = X_*(A)/Q∨(G)의 합성으로 정의된 w_G: G(L) → X_G를 통해 g의 호지 점을 측정함.
• 포화근 P = M N의 불가약 부분군 N에 관련된 코근의 비음수 정수 조합으로 정의된 X_M 위의 부분 순서 ≤_P를 도입함.
• L/F의 프로베누스 자기 동형사상 σ를 사용하여 σ-동치류를 정의하고, x ∈ G(L)/G(o_L)에 대해 조건 x⁻¹bσ(x) ∈ G(o_L)μ(ϖ)G(o_L)를 분석함.
• Iwasawa 분해 G(L) = K_L P(L)를 적용하여 X^G_μ(b)의 공집합 여부를 M(μ) ⊂ M(L)과의 σ-동치류의 교차와 연결함.
• 근계 분석을 통해 부분 순서 조건 ν ≤_P μ와 조건 ν ∈ P_{μ,M} 사이의 동치성을 확립함. 이때 x ↦ x^♭와 상대 웨일 군을 사용함.

실험 결과

연구 질문

• RQ1 분할 재조화군 G와 리 군 M 내 기본 원소 b에 대해, 애핀 델리뉴이트-루스지츠 집합 X^G_μ(b)가 언제 공집합이 아닐까?
• RQ2 포함사상 X^M_μ(b) → X^G_μ(b)가 언제 전단사가 될까?
• RQ3 Hodge-Newton 분해의 맥락에서, G(L) 원소의 호지 점과 뉴턴 점은 어떻게 관련이 있을까?
• RQ4 강력한 원형 무게 μ에 대해, X_M 위의 부분 순서 ≤_P는 조건 ν ∈ P_{μ,M}과 동치일까?
• RQ5 Hodge-Newton 분해를 통해 비분할 군에 대해 Mazur의 부등식의 역을 증명할 수 있을까?

주요 결과

• 애핀 델리뉴이트-루스지츠 집합 X^G_μ(b)가 공집합이 아님은 w_M(b) ≤_P μ일 때에만 가능하며, 이는 Rapoport-Rapoport의 Mazur 유형 부등식을 일반화한 것이다.
• w_M(b) = μ일 때 (X_M의 원소로 간주할 경우), 포함사상 X^M_μ(b) → X^G_μ(b)는 전단사이며, 이는 Katz의 정리를 일반화한 것이다.
• 분할 군의 경우, X^G_μ(b)가 공집합이 되는 것은 w_M(b) ∈ P_{μ,M}일 때에만 가능하며, 여기서 P_{μ,M}은 강력한 원형 무게들의 집합을 X_M로 사영한 이미지이다.
• 조건 ν ≤_P μ와 ν ∈ P_{μ,M}이 동치일 조건은 질문 4.7의 근계 조건을 만족할 때이며, 이는 GL_n, GSp_{2n}, 그리고 분할 고전 군에서 알려져 있다.
• μ가 강력하고 ν ∈ Y_M^+일 때, 부분 순서 ν ≤_P μ는 ν ∈ P_{μ,M}과 동치이며, 이는 이러한 경우에 Hodge-Newton 분해가 성립함을 확인한다.
• 순서 ≤_P와 조건 ν ∈ P_{μ,M} 사이의 동치성은 근계 문제로 환원되며, 핵심 단계는 야생에서 ν^♭ ≤ μ^♭임을 확인하는 것이다.