[논문 리뷰] Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|2014. 08. 25.

Advanced Algebra and Geometry참고 문헌 19인용 수 9

한 줄 요약

이 논문은 약한 분할된 군과 파라호릭 부분군에 대해 일반화된 아핀 덜레인-루스티그 다양체 $X(\mu,b)_J$ 의 합집합의 비어 있지 않음에 관한 코트비츠-라포포르 추측을 증명한다. $X(\mu,b)_J \neq \emptyset$ 이 되는 것은 $\sigma$-연합류 $[b]$ 가 집합 $B(G,\mu)$ 에 속해 있을 때이고, 이는 군론적 맥락에서 마자르 부등식에 해당하며, 허용 집합과 비틀린 루프 군 내의 $\sigma$-연합류 성질을 이용하여 증명된다.

ABSTRACT

In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(μ, b)_J$ for any tamely ramified group $G$ and its parahoric subgroup $P_J$. We show that $X(μ, b)_J eq \emptyset$ if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.

연구 동기 및 목표

• 약한 분할된 군과 파라호릭 부분군에 대해 일반화된 아핀 덜레인-루스티그 다양체 $X(\mu,b)_J$ 의 합집합의 비어 있지 않음에 관한 코트비츠-라포포르 추측을 해결하기 위해.
• 군론적 맥락에서 마자르 부등식의 형태로 $X(\mu,b)_J$ 의 비어 있지 않음에 대한 정확한 기준을 설정하기 위해.
• 비틀린 루프 군 내의 $\sigma$-연합류의 폐쇄 관계에 관한 그로텐디크의 추측을 일반화하기 위해.
• 파라호릭 수준 구조를 가진 셰이마 다양체의 줄임에서 뉴턴 스트라타와 코트비츠-라포포르 스트라타 사이의 관계를 명확히 하기 위해.

제안 방법

• 허용 집합 $\operatorname{Adm}_J(\mu)$ 와 연결된 $X(\mu,b)_J$ 를 $gP_J \in G(L)/P_J$ 의 집합으로 정의하여, $g^{-1}b\sigma(g) \in \bigcup_{w \in \operatorname{Adm}_J(\mu)} P_J w P_J$ 를 만족시키도록 한다.
• Iwahori-Weyl 군 내의 $\sigma$-연합류에서 $G(L)$ 내의 연합류로 가는 자연스러운 사상 $\Psi: B(\tilde{W}, \sigma) \to B(G)$ 를 사용하며, 직선 원소와 그 부분 순서 $\preceq_\sigma$ 에 초점을 맞춘다.
• 최대 원소가 허용 집합에 의해 표현된다는 사실을 활용하여, 기존의 비어 있지 않음 기준으로의 환원을 가능하게 한다.
• G(L) 내의 허용 부분집합과 폐쇄 이론을 적용하며, Moy-Prasad 필터링과 $I_r$-안정성의 구조를 이용해 $\sigma$-연합류의 폐쇄를 분석한다.
• $G(L) \cdot_\sigma IwI$ 가 허용 집합임을 증명하고, 그 폐쇄가 $\bigcup_{w' \leq w} G(L) \cdot_\sigma Iw'I$ 와 일치함을 보여, 그로텐디크의 추측을 일반화한다.
• $\Psi$ 의 전사성과 직선 $\sigma$-연합류를 통한 단면 존재성을 이용하여, $X(\mu,b)_J$ 의 비어 있지 않음 조건을 $[b] \in B(G,\mu)$ 로 환원한다.

실험 결과

연구 질문

• RQ1 약한 분할된 군 $G$ 와 파라호릭 부분군 $P_J$ 에 대해 아핀 덜레인-루스티그 다양체 $X(\mu,b)_J$ 의 합집합이 비어 있지 않은 조건은 무엇인가?
• RQ2 군론적 맥락에서 마자르 부등식은 $X(\mu,b)_J$ 의 비어 있지 않음을 어떻게 특징짓는가?
• RQ3 비틀린 루프 군 내의 $\sigma$-연합류 폐쇄 관계는 원래의 그로텐디크 추측을 초월하여 일반화될 수 있는가?
• RQ4 셰이마 다양체의 줄임에서 뉴턴 스트라타 $[b]$ 와 $\operatorname{Adm}_J(\mu)$ 로 인덱싱된 코트비츠-라포포르 스트라타 사이의 정확한 관계는 무엇인가?
• RQ5 코트비츠와 라포포르가 추측한 바와 같이, $X(\mu,b)_J$ 가 비어 있지 않은 것과 $[b]$ 가 집합 $B(G,\mu)$ 에 속해 있는 것이 동치인가?

주요 결과

• 논문은 $X(\mu,b)_J \neq \emptyset$ 이 되는 것은 $[b] \in B(G,\mu)$ 일 때이고, 이는 약한 분할된 군에 대해 코트비츠-라포포르 추측을 확인함을 보여준다.
• $X(\mu,b)_J$ 의 비어 있지 않음은 $p$-진 군의 맥락에서 허용 다각형과 뉴턴 다각형을 비교하는 군론적 맥락에서의 마자르 부등식의 만족과 동치이다.
• $B(G,\mu)$ 의 최대 원소는 허용 집합 $\operatorname{Adm}_J(\mu)$ 에 의해 표현되며, 이는 증명 전략에서 핵심적인 역할을 한다.
• 논문은 비틀린 루프 군 내의 $\sigma$-연합류 폐쇄 관계에 관한 그로텐디크의 추측을 일반화하여, $G(L) \cdot_\sigma IwI$ 의 폐쇄가 $\bigcup_{w' \leq w} G(L) \cdot_\sigma Iw'I$ 와 일치함을 보였다.
• 저자들은 $G(L) \cdot_\sigma IwI$ 가 $G(L)$ 의 허용 부분집합이며, 그 폐쇄가 모든 $w' \leq w$ 에 대한 합집합으로 특징지어짐을 확립하였으며, 이는 폐쇄 추론에 필수적이다.
• $\Psi: B(\tilde{W}, \sigma) \to B(G)$ 는 전사이며, 직선 $\sigma$-연합류를 통한 단면이 존재하므로, Iwahori-Weyl 군 설정으로의 환원이 가능하다.