[논문 리뷰] Determining whether certain affine Deligne-Lusztig sets are empty

Daniel C. Reuman|ArXiv.org|2002. 11. 27.

Advanced Algebra and Geometry참고 문헌 7인용 수 15

한 줄 요약

이 논문은 비아핀 덜레인-루스티그 집합 $X_w(b\sigma)$의 공집합 여부를 비아핀 유클리드 군에 대한 분할 재조정 군, 브라하트-티츠 빌딩, 아이와호리 부분군을 포함한 조합론적 및 기하학적 방법을 사용하여 결정한다. 주요 기여는 Weyl 군 원소들 사이로 공집합 여부 정보를 전파할 수 있도록 해주는 전성 및 불변성 결과들이다. 이를 통해 $SL_3$, $Sp_4$, 및 관련 군의 해집합을 완전하거나 거의 완전하게 결정할 수 있다.

ABSTRACT

Let F be a non-archimedean local field, let L be the maximal unramified extension of F, and let fr be the Frobenius automorphism. Let G be a split connected reductive group over F, and let B(1) be the Bruhat-Tits building associated to G(F). We know that fr acts on G(L) with fixed points G(F). Let I be the Iwahori associated to a chamber in B(1). We have the relative position map, inv, from G(L)/I x G(L)/I to the extended affine Weyl group, W_e of G. If w is in W_e and b is in G(L), then the affine Deligne-Lusztig set Xw(b fr) is {x in G(L)/I : inv(x,b fr(x)) = w}. This paper answers the question of which Xw(b fr) are non-empty for certain G and b.

연구 동기 및 목표

• 모든 $w \in \tilde{W}$ 및 $b \in G(L)$에 대해 비아핀 덜레인-루스티그 집합 $X_w(b\sigma)$가 공집합이 아닌지 여부를 결정하기 위해.
• 특히 프로베니우스 자기동형사상과 확장된 비아핀 웨일 군의 작용 하에서 $X_w(b\sigma)$의 구조적 성질을 규명하기 위해.
• 전성 사상과 대칭성에 기반한 도구를 개발하여 Weyl 군 원소들 사이로 공집합 여부 정보를 전파하기 위해.
• 이러한 도구를 $SL_3$, $Sp_4$, $GL_n$과 같은 특정 군의 해집합을 계산하거나 특성화하는 데 적용하기 위해.
• 1차 및 2차 랭크를 초월한 다른 분할 재조정 군으로 결과를 일반화하기 위해.

제안 방법

• 상대적 위치 사상 $\mathop{\mathrm{inv}}: G(L)/I \times G(L)/I \to \tilde{W}$ 를 사용하여 $X_w(b\sigma)$ 를 $\mathop{\mathrm{inv}}(x, b\sigma(x)) = w$ 를 만족하는 $xI$ 의 집합으로 정의한다.
• 프로베니우스 자기동형사상 $\sigma$ 의 작용을 이용하여 $G(L)$-작용과 $G(F)$-고정점 간의 관계를 설정한다.
• 군 $G(L)$ 에 대한 브라하트-티츠 빌딩 $\mathcal{B}_\infty$ 와 아이와호리 부분군 $I$ 를 사용하여 $G(L)/I$ 의 기하학적 구조를 모델링한다.
• 표준 최소 갤러리(SMGs)와 복합 갤러리를 사용하여 빌딩 내 경로를 모델링하고 $X_w(b\sigma)$ 를 분석한다.
• 레파포르트와 코트비츠의 방법을 재현하기 위해 추적 사상과 평행사다리형 구성 기법을 적용하여 해집합의 초집합을 생성한다.
• 예를 들어 $SL_3$ 에서의 회전과 같은 $\mathbb{Z}/n$-작용에 의한 불변성과 전성 정리들을 적용하여 칸들 사이로 공집합 여부 정보를 전파한다.

실험 결과

연구 질문

• RQ1 모든 $w \in \tilde{W}$ 와 $b \in G(L)$ 에 대해 비아핀 덜레인-루스티그 집합 $X_w(b\sigma)$ 가 공집합이 아닌가?
• RQ2 반사 $s$ 에 대해 $X_w(b\sigma)$ 의 공집합 여부가 $X_{sws}(b\sigma)$ 와 $X_{sw}(b\sigma)$ 의 공집합 여부와 어떻게 관련되어 있는가?
• RQ3 기하학적 및 군론적 불변성에 의해 Weyl 군 원소들 사이로 공집합 여부 정보를 전파할 수 있는가?
• RQ4 $SL_3$, $Sp_4$, $GL_n$ 에 대해 $b=1$ 이나 $b$ 가 비자명할 경우 $X_w(b\sigma)$ 의 구조는 어떠한가?
• RQ5 레파포르트와 코트비츠의 방법을 비아핀 덜레인-루스티그 집합 $X_w(b\sigma)$ 의 초집합 및 부분집합을 생성하도록 얼마나 잘 일반화할 수 있는가?

주요 결과

• $SL_3$ 와 $b=1$ 인 경우, 불변성과 전성 결과를 적용한 후 몇몇 칸을 제외하고 해집합이 거의 완전히 결정된다.
• $l(w) < l(sws)$ 일 때, $X_w(b\sigma) \to X_{sws}(b\sigma) \cup X_{sw}(b\sigma)$ 로의 전성 사상 $\Gamma$ 가 존재하여 공집합 여부를 전파할 수 있다.
• $l(sws) > l(w)$ 일 때, $X_{sws}(b\sigma)$ 에서 $X_w(b\sigma) \cup X_{ws}(b\sigma)$ 로의 전성 사상이 존재하여 정보를 뒤로 전파할 수 있다.
• $SL_3$ 에서는 $\mathbb{Z}/3$-작용에 의한 회전 대칭성 덕분에 한 칸의 공집합 여부 결과를 세 개의 대칭 칸으로 확장할 수 있다.
• $Sp_4$ 에서는 복합 갤러리를 사용하여 해집합의 추측 초집합을 구성하였고, $\sigma$-공轭류와 갤러리 내 선택점 분석을 통해 공집합 여부를 분석하였다.
• 레파포르트와 코트비츠의 방법은 $X_w(b\sigma)$ 의 초집합을 효율적으로 계산할 수 있으며, 불변성과 결합될 경우 해집합에 대한 강력한 제약 조건을 제공한다.