[논문 리뷰] Zelevinsky involution and l-adic cohomology of the Rapoport-Zink tower

Yoichi Mieda|arXiv (Cornell University)|2014. 01. 21.

Advanced Algebra and Geometry참고 문헌 25인용 수 3

한 줄 요약

이 논문은 $\ell$-adic 코호몰로지에서 Fargues의 Zelevinsky 호환성 결과를 Drinfeld tower에서 $\mathrm{GSp}(2n)$에 대한 Rapoport-Zink tower로 일반화한다. 형식적 모델 $\mathcal{M}$에 따라 달라지는 새로운 코호몰로지 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty)$를 도입하고, 컴팩트 지지 코호몰로지의 Zelevinsky 쌍대와 $\mathcal{C}_{\mathcal{M}}$에 대해 이동된, 쌍대 코호몰로지 군 사이의 동형을 확립하여 국소 Langlands 대응의 기하적 실현을 확장한다.

ABSTRACT

In this paper, we investigate how the Zelevinsky involution appears in the l-adic cohomology of the Rapoport-Zink tower. We generalize the result of Fargues on the Drinfeld tower to the Rapoport-Zink towers for symplectic similitude groups.

연구 동기 및 목표

• Drinfeld tower에서 $\ell$-adic 코호몰로지의 Zelevinsky 호환성 결과를 $\mathrm{GSp}(2n)$에 대한 Rapoport-Zink tower로 확장한다.
• Rapoport-Zink 공간의 형식적 모델 $\mathcal{M}$에 따라 달라지는 새로운 코호몰로지 이론 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty)$를 도입하여, 이 설정에서 $\mathcal{M}$의 비스키마성 문제를 다룬다.
• 컴팩트 지지 코호몰로지의 Zelevinsky 쌍대와 $\mathcal{C}_{\mathcal{M}}$에 대해 이동된, 쌍대 코호몰로지 군 사이의 쌍대성 동형을 확립하여, 이 맥락에서 Poincaré 쌍대성의 일반화를 이룬다.
• J의 비초승산 표현의 기여를 Rapoport-Zink tower의 코호몰로지에 이해하기 위한 프레임워크를 제공하며, 특히 Bernstein 성분과 $\ell$-adic Weil 군 표현과의 관계를 다룬다.

제안 방법

• 형식적 모델 $\mathcal{M}$의 방향에서 컴팩트 지지 코호몰로지로 정의된 새로운 코호몰로지 군 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty)$를 도입하며, $\mathcal{M}$이 $p$-진 형식 스킴일 경우 표준적 컴팩트 지지 코호몰로지로 축소된다.
• $G \times J \times W_{\mathbb{Q}_p}$의 작용을 $H^i_c(M_\infty)$와 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty)$에 적용하여 표현론적 구조와 기하 코호몰로지 간의 관계를 설정한다.
• Bernstein-Zelevinsky 이론에 의해 정의된 $J$의 스무스 표현에 대한 Zelevinsky 호환성 $\operatorname{Zel}$을 적용하여 쌍대 코호몰로지 군 간의 관계를 설정한다.
• Bernstein 분해와 중심 특성 $\chi$를 고정한 $J$-표현의 Bernstein 성분 $\mathfrak{s}$에 따라 인덱싱된 코호몰로지의 $\mathfrak{s}$-성분 개념을 활용하여 코호몰로지 동형을 국소화한다.
• $G$의 중심 $Z_G$의 히케 대수 $\mathcal{H}(Z_G)$를 사용하여 $G$-표현 $V$의 $\tau$-형성 부분공간 $V_\tau$를 정의함으로써, 부드러운 $\widetilde{K}$-표현의 관점에서 코호몰로지를 연구할 수 있도록 한다.
• [IM10]의 결과를 활용하여 $H^i_c(M_\infty/p^{\mathbb{Z}})$와 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty/p^{\mathbb{Z}})$를 비교하며, 이는 주요 정리와 보조정리 5.12의 증명에 핵심적이다.

실험 결과

연구 질문

• RQ1 Rapoport-Zink tower의 $\ell$-adic 코호몰로지에서 Zelevinsky 호환성이 Drinfeld 및 Lubin-Tate 사례를 초월하여 어떻게 나타나는가?
• RQ2 Rapoport-Zink 공간 $\mathcal{M}$이 $p$-진 형식 스킴가 아닐 경우, Fargues의 쌍대성 결과를 일반화하기 위해 필요한 코호몰로지 이론은 무엇인가?
• RQ3 Bernstein 성분 $\mathfrak{s}$에 따라 인덱싱된 코호몰로지의 $\mathfrak{s}$-성분은 Zelevinsky 호환성 하에서 어떻게 변환되는가?
• RQ4 Rapoport-Zink tower의 $p^{\mathbb{Z}}$에 모odulo된 코호몰로지와 $\mathcal{C}_{\mathcal{M}}$-코호몰로지에 대한 쌍대 코호몰로지 간의 정확한 관계는 무엇인가?
• RQ5 Zelevinsky 호환성과 관련된 코호몰로지 쌍대성은 비초승산 표현이 타워의 코호몰로지에 존재하는지를 탐지하는 데 사용될 수 있는가?

주요 결과

• 주요 결과로 $J \times W_{\mathbb{Q}_p}$-표현 간의 동형이 확립된다: $H^{2d + \iota(\mathfrak{s}) - i}_{\mathcal{C}_{\mathcal{M}}}(M_\infty)_{\tau^\vee, \mathfrak{s}^\vee}(d) \cong \operatorname{Zel}\bigl{(}H^i_c(M_\infty)_{\tau, \mathfrak{s}}^\vee\bigr{)}$, 여기서 $d = n(n+1)/2$이며 $\iota(\mathfrak{s})$는 Bernstein 성분 $\mathfrak{s}$의 깊이를 측정하는 불변량이다.
• $n=2$인 경우, 기술적 가정 5.8 하에서 $\pi \otimes \rho \otimes \sigma$가 $H^3_c(M_\infty / p^{\mathbb{Z}})$의 부분몫표현으로 나타나는 것과 동치로 $\pi^\vee \otimes \operatorname{Zel}(\rho^\vee) \otimes \sigma^\vee(-3)$가 $H^4_c(M_\infty / p^{\mathbb{Z}})$의 부분몫표현으로 나타나는 것을 증명한다.
• $\mathcal{M}$이 $p$-진 형식 스킴일 경우 코호몰로지 $H^i_{\mathcal{C}_{\mathcal{M}}}(M_\infty)$가 표준적 컴팩트 지지 코호몰로지 $H^i_c(M_\infty)$와 일치함을 보여, 새로운 코호몰로지가 자연스러운 일반화임을 검증한다.
• 논문은 $n=2$일 때 $H^2_c(M_\infty / p^{\mathbb{Z}})$의 $G$-초승산 부분공간이 0임을 보이며, $\dim \mathcal{M}^{\mathrm{red}} = 1$ 이므로 [Ito-Mieda]의 결과를 확장한다.
• 저자들은 Rapoport-Zink 타워의 코호몰로지가 국지적 $A$-패킷을 실현할 수 있다고 추측하며, $\pi \otimes \rho^\vee$와 $\pi \otimes \rho^{\prime\vee}$가 $H^3_c(M_\infty / p^{\mathbb{Z}})$에, $\pi \otimes \operatorname{Zel}(\rho)^\vee$가 $H^4_c(M_\infty / p^{\mathbb{Z}})$에 나타나므로, $A$-패킷과 코호몰로지 쌍대성 간의 연결 고리가 있음을 시사한다.
• 이 방법은 [Mie13]의 기하적 성질이 적용 가능하므로 다른 Rapoport-Zink 타워로도 확장 가능하며, 저자는 향후 $\mathrm{GSp}(4)$로 결과를 확장할 계획이다.