[논문 리뷰] On parahoric subgroups

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

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-확장과 lft 네론 모형을 사용하여 일반적으로 $ 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}}의 lft 네론 모형을 포함하는 교환도형을 구성하며, 정확한 행과 호환되는 사상들을 포함한다.
• 네론 모형 형식론과 $ \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) $의 상사상성을 보인다.
• 모든 경우를 알려진 경우로 환원하기 위해 $ \widetilde{G}_{\text{der}} $가 단순 연결인 z-확장 $ \widetilde{G} \to G $를 사용한다.
• 정확한 수열에서의 도형 추적을 통해 $ \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 = G(L)_1 $을 증명할 수 있는가?

주요 결과

• 파라호릭 부분군 $ 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 $은 $ \kappa_G $의 핵인 $ G(L)_1 $과 일치한다. 즉, $ 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 $임을 확인하여 갈루아 작용 하에서 코특성군의 구조를 확인한다.