[논문 리뷰] Local Galois representations of Swan conductor one

Naoki Imai, Takahiro Tsushima|arXiv (Cornell University)|2015. 09. 09.

Advanced Algebra and Geometry참고 문헌 37인용 수 8

한 줄 요약

이 논문은 유한체 위의 아핀 선상의 아르틴-슈라이어 층의 에테일 코hom올로지로 복소수체 위에서 스완 차수 1인 국소 갈루아 표현을 구성한다. 이 표현들의 명시적 기하적 실현이 이루어지며, 국소 랑글랜드 사상에 의해 $\mathrm{GL}_n(K)$의 단순 초초임표현과의 대응이 확립된다. 특히 $p \mid n$인 비기본적으로 안정한 경우에 대해 다루며, 이러한 표현에 대한 랑글랜드 매개변수의 완전한 기하적 구성이 핵심 결과이다.

ABSTRACT

We construct the local Galois representations over the complex field whose Swan conductors are one by using etale cohomology of Artin-Schreier sheaves on affine lines over finite fields. Then, we study the Galois representations, and give an explicit description of the local Langlands correspondences for simple supercuspidal representations. We discuss also a more natural realization of the Galois representations in the etale cohomology of Artin-Schreier varieties.

연구 동기 및 목표

• 국소 랑글랜드 사상에 의존하지 않고, 스완 차수 1인 웰 군 $W_K$의 기약 갈루아 표현을 구성하기 위해.
• 에테일 코호몰로지의 아르틴-슈라이어 층 $\mathbb{A}^1_{k^{\mathrm{ac}}}$를 이용하여 이러한 표현들의 명시적 기하적 실현을 제공하기 위해.
• 기본적으로 안정하지 않은 경우인 $p \mid n$일 때, $\mathrm{GL}_n(K)$의 단순 초초임표현에 대한 국소 랑글랜드 사상을 확립하기 위해.
• 이 방법을 $\ell$-adic 정수 계수 및 $m\!\ell$ 계수로 일반화하여 기하학적·산술적 강건성을 향상시키기 위해.

제안 방법

• 구성은 사상 $\pi(y) = y^{p^e + 1}$에 의한 아르틴-슈라이어 $\ell$-adic 층 $\mathcal{L}_\psi$의 풀백 $\pi^*\mathcal{L}_\psi$의 에테일 코호몰로지 $H^1_c(\mathbb{A}^1_{k^{\mathrm{ac}}}, \pi^*\mathcal{L}_\psi)$를 사용한다.
• 웨일 군 $W_{E_\zeta}$의 자연스러운 작용이 정의되며, 여기서 $E_\zeta = K[X]/(X^{n'} - \zeta\varpi)$로 정의되며, 이에 의해 $W_{E_\zeta}$의 원시 표현 $\tau_{n,\zeta,\chi,c}$가 유도된다.
• 표현 $\tau_{\zeta,\chi,c}$는 $\tau_{n,\zeta,\chi,c}$를 유도함으로써 $W_K$의 표현으로 얻어지며, 기본적으로 안정한 경우의 정 rectifier와 유사한 미묘한 문자열 변형이 적용된다.
• 이 구성은 아르틴-슈라이어 다양체 $X$의 코호몰로지에 $\tau_n$을 실현하기 위해 확장되며, 이는 $x^p - x = y^{p^e+1} + \nu_{n-2}((y_i))$로 정의된 것으로, 쿠른하트 공식과 레프셰츠 추적 공식 등의 기하 도구를 사용한다.
• $Q \rtimes \mathbb{Z}$의 작용이 $H^{n-1}_c(X, \overline{\mathbb{Q}}_\ell)$에 분석되며, 프로베니us 작용과 문자열 변형의 호환성에 의해 표현 $\rho_n$이 $\tau_n$과 동형임을 보인다.
• Bushnell–Henniart의 국소 랑글랜드 사상 특성화와 $\varepsilon$-요소를 사용하여 등식 $\tau_{\zeta,\chi,c} \simeq \pi_{\zeta,\chi,c}$가 검증된다.

실험 결과

연구 질문

• RQ1 국소 랑글랜드 사상에 대한 가정 없이, 스완 차수 1인 기약 갈루아 표현을 어떻게 기하학적으로 구성할 수 있는가?
• RQ2 즉, $p \mid n$일 때, 단순 초초임표현에 대한 랑글랜드 매개변수의 명시적 형태는 무엇인가? (비기본적으로 안정한 경우)
• RQ3 이러한 표현에 대한 국소 랑글랜드 사상은 아르틴-슈라이어 다양체의 에테일 코호몰로지에 어떻게 실현될 수 있는가?
• RQ4 구성에서의 문자열 변형(기본적으로 안정한 경우의 rectifier와 유사)은 랑글랜드 사상의 $\varepsilon$-요소 및 $L$-요소 데이터와 어떻게 관련되는가?
• RQ5 기본 갈루아 표현 $\tau_n$을 실현하는 코호몰로지의 정확한 기하학적 구조는 무엇인가?

주요 결과

• 스완 차수 1인 $W_K$의 갈루아 표현 $\tau_{\zeta,\chi,c}$는 $W_{E_\zeta}$에서 유도되며, $\mathbb{A}^1_{k^{\mathrm{ac}}}$ 위에서 $\pi^*\mathcal{L}_\psi$의 에테일 코호몰로지와 문자열 변형을 사용하여 구성된다. 이는 국소 랑글랜드 사상과의 호환성을 보장한다.
• 표현 $\tau_{\zeta,\chi,c}$는 $n = p^e$일 때 원시적(적절한 부분군에서 유도되지 않음)임이 입증되어, 비기본적으로 안정한 성격을 확인한다.
• 국소 랑글랜드 사상이 명시적으로 실현된다: $\tau_{\zeta,\chi,c}$는 $\mathrm{GL}_n(K)$의 단순 초초임표현 $\pi_{\zeta,\chi,c}$와 대응되며, $L$-요소와 $\varepsilon$-요소의 일치를 통해 검증된다.
• $\tau_n$은 $x^p - x = y^{p^e+1} + \nu_{n-2}((y_i))$로 정의된 아르틴-슈라이어 다양체 $X$의 코호몰로지 $H^{n-1}_c(X, \overline{\mathbb{Q}}_\ell)$에 명시적으로 실현되며, $Q \rtimes \mathbb{Z}$의 작용이 명시적으로 기술된다.
• 쿠른하트 공식과 $Q \rtimes \mathbb{Z}$-작용의 문자열 변형과의 호환성에 의해 $\rho_n \simeq \tau_n$이 증명되며, 추적 공식과 가우스 합 계산이 활용된다.
• $\varepsilon$-요소 $\varepsilon(\xi_{n,\zeta}, \psi_{M'^{\mathrm{u}}_\zeta})$는 $(-1)^{1 + \epsilon_0}$로 계산되어, 국소 랑글랜드 사상의 특성화와 일치함을 확인한다.