[논문 리뷰] On non-abelian Lubin-Tate theory via vanishing cycles

Teruyoshi Yoshida|arXiv (Cornell University)|2004. 04. 21.

Advanced Algebra and Geometry참고 문헌 6인용 수 11

한 줄 요약

이 논문은 $GL_n(K)$의 깊이 0 초등급표현에 대한 비아벨리안 Lubin-Tate 이론에 대해 순수한 국소적 증명을 제공한다. 이를 위해 형식적 $\epsilon$-모듈러스의 높이 $n$인 변형 공간의 $\iota$-adic 소멸 사이클 코hom로지가 $GL_n(k)$에 대한 Deligne-Lusztig 다양체의 컴팩트하게 지지된 코hom로지와 동형임을 보여준다. 핵심 결과는 $GL_n(k)$의 촉극 표현들과 $I_K$의 일반적인 인ertia 특성들이 정확히 차수 $n-1$에서 나타나며, 기하학적 수단을 통해 국소 Langlands 대응을 실현한다는 것이다.

ABSTRACT

We give a purely local proof, in the depth 0 case, of the result by Harris-Taylor which asserts that the local Langlands correspondence for GL_n over a p-adic field K realizes itself inside the vanishing cycle cohomology of the deformation space of formal O_K-modules of height n. Our proof is given by establishing the direct geometric link with the Deligne-Lusztig theory for GL_n over the residue field.

연구 동기 및 목표

• 깊이 0의 경우에 대해 $GL_n(K)$에 대한 국소 Langlands 대응을 전적으로 국소 기하학적 방법으로 증명함으로써, 글로벌 Shimura 다양체의 접근을 피한다.
• Lubin-Tate 변형 공간의 소멸 사이클 코hom로지와 $GL_n(k)$에 대한 Deligne-Lusztig 다양체 사이의 직접적인 기하학적 연결을 확립한다.
• 초등급표현들이 코hom로지의 차수 $n-1$에서만 나타남을 보이며, Deligne-Lusztig 대응과 일치시킨다.
• 변형 공간의 국소적 구성과 그 해소를 통해, 약간으로 끊어진 표현에 대한 국소 Langlands 대응을 실현한다.

제안 방법

• 높이 $n$인 형식적 $\mathcal{O}$-모듈러스의 변형 공간 $X$에 대해, 수준 $\mathfrak{p}$의 구조를 갖는 준안정 모델 $Z_{\rm st}$와 그 해소 $Z_n$을 구성한다.
• 근처 사이클 층 $R\psi\Lambda$를 사용하여 기하학적 일반 섹션 $X_{\overline{\eta}}$의 코hom로지를 특별 섹션을 통해 $\mathbb{H}^i_c(Y_{\mathbb{P}}^{(n)}, R\psi\Lambda)$로 연결한다.
• 관련된 스트라툼 $Y_{\mathbb{P}}^{(n)}$의 정규화 $U_n$을 구성하고, $i=0$일 때 $R^i\psi\Lambda|_{Y_{\mathbb{P}}^{(n)}} \cong f_*\Lambda$이며, 그 외에는 0임을 보여, 코hom로지를 $H^i_c(U_n, \Lambda)$로 감소시킨다.
• 명시적 방정식과 군 작용을 비교하여 $U_n$이 $GL_n(k) \times k_n^\times$--equivariant하게 Deligne-Lusztig 다양체 $DL$과 동형임을 증명한다.
• Deligne-Lusztig 이론을 적용하여 코hom로지 $H^i_c(U_n, \Lambda)$가 표현들의 교대 합 $\sum_i (-1)^i [H^i_c(DL, \overline{\mathbb{Q}}_\ell)]$와 일치함을 밝혀, 원하는 동형을 얻는다.
• $Y_{\mathbb{P}}^{(n)}$에서 $R^i\psi\Lambda = 0$ ($i > 0$)임과 $U_n$이 형식적으로 매끄럽다는 사실을 이용하여 $H^i_c(Y_{\mathbb{P}}^{(n)}, R^0\psi\Lambda) \cong H^i_c(U_n, \Lambda)$임을 유도한다.

실험 결과

연구 질문

• RQ1 깊이 0의 경우에 대해 $GL_n(K)$에 대한 국소 Langlands 대응을 글로벌 Shimura 다양체에 의존하지 않고 순수하게 국소적으로 어떻게 실현할 수 있는가?
• RQ2 Lubin-Tate 변형 공간의 소멸 사이클 코hom로지와 Deligne-Lusztig 다양체 사이의 정확한 기하학적 관계는 무엇인가?
• RQ3 이 설정에서 왜 초등급표현들과 일반적인 인ertia 특성이 코hom로지의 차수 $n-1$에서만 나타나는가?
• RQ4 근처 사이클을 통해 국소적 변형 공간의 코hom로지로부터 Deligne-Lusztig 대응을 복원할 수 있는가?
• RQ5 코hom로지와 컴팩트하게 지지된 Deligne-Lusztig 다양체의 코hom로지 사이에 $GL_n(k) \times I_K$-equivariant한 표준적 동형이 존재하는가?

주요 결과

• 변형 공간 $X_{\overline{\eta}}$의 $\ell$-adic 소멸 사이클 코hom로지 그룹들의 교대 합은 Deligne-Lusztig 다양체의 컴팩트하게 지지된 코hom로지의 교대 합과 동형이다: $H^*(X_{\overline{\eta}}) = H^*_c(DL)$.
• GL_n(k)의 촉극 표현 $\pi_\chi$와 $I_K$의 일반적인 인ertia 특성 $\chi$는 코hom로지의 차수 $n-1$에서만 나타나며, $H^{n-1}(X_{\overline{\eta}}, \overline{\mathbb{Q}}_\ell) \cong \bigoplus_{\chi \in C} \pi_\chi \otimes \chi$이다.
• $H^i_c(Y_{\mathbb{P}}^{(n)}, R^0\psi\Lambda)$는 $H^i_c(U_n, \Lambda)$와 동형이며, 이 동형은 $GL_n(k) \times I_K$-equivariant하다.
• $U_n$은 방정식과 군 작용을 매칭시켜 $\overline{k}$ 위에서 $GL_n(k) \times k_n^\times$-다양체로서 Deligne-Lusztig 다양체 $DL$과 표준적으로 동형이다.
• $H^i_c(U_n, \Lambda)$는 Deligne-Lusztig 대응을 실현한다: $\pi_\chi \otimes \chi \cong \operatorname{Ind}_{T(k)}^{GL_n(k)} \chi \otimes \mathrm{St}$, 여기서 $\mathrm{St}$는 Steinberg 표현이다.
• $p$-군 $U_N$이 $R^0\psi\Lambda|_{Y_J^0}$ 위에서 자명하게 작용하므로, 코hom로지 동형이 $GL_n(k) \times I_K$-equivariant하다.