[논문 리뷰] Deligne--Langlands gamma factors in families

David Helm, Gilbert Moss|arXiv (Cornell University)|2015. 10. 29.

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

한 줄 요약

이 논문은 에psilon 및 L-인자들을 조합하는 델리ญ–랑글란드 감마 인자들이 Noetherian $W(k)$-대수 위의 $\varepsilon$-adic 갈루아 표현의 가닥들에 대해 연속적으로 보간됨을 확립한다—기존에 개별 에psilon 및 L-인자들이 그러한 보간을 하지 못하던 핵심 문제를 해결한다. 주요 결과는 국소화된 로랑 다항식환에서 잘 정의되고 보편적으로 호환되는 감마 인자를 구성하며, 이는 함자성, 특수화와의 호환성, 곱셈성을 만족한다.

ABSTRACT

Let F be a p-adic field, W_F its absolute Weil group, and let k be an algebraically closed field of prime characteristic l different from p. Attached to any l-adic representation of W_F are local epsilon- and L-factors. There are natural notions of families of l-adic representations of W_F, such as the theory of Galois deformations or, more generally, families over arbitrary Noetherian W(k)-algebras. However, the epsilon and L-factors do not interpolate well in such families. In this paper it is shown that the gamma factor, which is the product of the epsilon factor with a ratio of L-factors, interpolates over such families.

연구 동기 및 목표

• ℓ-adic 갈루아 표현의 가닥들에서 $\epsilon$- 및 $L$-인자가 보간되지 않는 데 기인한 문제를 다루기 위해.
• 감마 인자가 $\epsilon$-인자와 $L$-인자 비율의 곱으로 정의되며, 그러한 가닥들에 대해 보간됨을 확립하기 위해.
• Noetherian $W(k)$-대수 $R$에 대해 국소화된 로랑 다항식환 $S^{-1}(R[X,X^{-1}])$에서 정규화된, 함자성 및 호환성을 만족하는 감마 인자를 구성하기 위해.
• 지역 랑글랜드 상응관계가 가닥들에 대해 호환됨을 확인하여, 이전의 적합 표현에 대한 결과를 확장하기 위해.
• 지역 랑글랜드 상응관계가 변형 이론과 갈루아 표현의 가닥들과 호환될 수 있도록 프레임워크를 제공하기 위해.

제안 방법

• Noetherian $W(k)$-대수 $R$ 위에서 연속적인 $\ell$-adic 표현 $\rho: W_F \to \mathrm{GL}_n(R)$의 가닥을 정의하여 갈루아 변형 이론을 일반화하기 위해.
• 비도메인인 경우에도 유리 함수의 행동을 보장하기 위해 국소화된 환 $S^{-1}(R[X,X^{-1}])$를 도입하기 위해.
• 프로베니우스와 수축의 특성다항식 항등식을 활용하여 수정된 에psilon 인자 $\epsilon_0(\rho,\psi)$를 통해 보간된 감마 인자 $\gamma_R(\rho,X,\psi)$를 구성하기 위해.
• $\rho = \rho^0 \oplus \rho^{>0}$로 완만한 부분과 야만적인 부분으로 분해하여, $\gamma = \epsilon_0$가 되는 완전히 야만적인 경우로 축소하기 위해.
• [Yas09]의 $\epsilon_0$-보간 결과와 정리 6.1을 활용하여 $\gamma_R$가 기저 변경에 대해 잘 정의되고 호환됨을 보여주기 위해.
• 자리즈키 열린 집합에서의 붙임과 특수화가 특성 0 점으로 정의되는지 확인함으로써 유일성과 호환성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 임의의 Noetherian $W(k)$-대수 위에서 $\ell$-adic 갈루아 표현의 가닥들에 대해 델리ญ–랑글란드 감마 인자가 보간될 수 있는가?
• RQ2 왜 $\epsilon$- 및 $L$-인자들은 그러한 가닥들에선 보간되지 않지만 감마 인자는 성공하는가?
• RQ3 국소화된 로랑 다항식환 $S^{-1}(R[X,X^{-1}])$에서 정규화된, 함자성 및 곱셈성을 만족하는 감마 인자가 존재하는가?
• RQ4 특성 0로의 특수화 시, 보간된 감마 인자가 고전적 감마 인자와 일치하는가?
• RQ5 가닥 설정에서 유도 및 정확한 수열에 대해 보간된 감마 인자는 어떻게 행동하는가?

주요 결과

• 모든 Noetherian $W(k)$-대수 $R$와 연속적인 $\ell$-adic 표현 $\rho$에 대해 감마 인자 $\gamma_R(\rho,X,\psi)$는 $S^{-1}(R[X,X^{-1}])$의 원소로 잘 정의된다.
• 이 구성은 함자성을 만족한다: $f: R \to R'$에 따른 기저 변경은 감마 인자에 대해 기대하는 사상으로 이어진다.
• 만일 $R$가 특성 0의 완비 국소 도메인의 분수체라면, $\gamma_R(\rho,X,\psi)$는 고전적 델리ญ–랑글란드 감마 인자를 회복한다.
• 감마 인자는 곱셈성을 만족한다: 정확한 수열 $0 \to \rho' \to \rho \to \rho'' \to 0$에 대해 $\gamma_R(\rho,X,\psi) = \gamma_R(\rho',X,\psi) \cdot \gamma_R(\rho'',X,\psi)$이다.
• 유한 분리 가능 확장에 따른 유도 표현에 대해 $\gamma_R(\mathrm{Ind}_{E/F} r_E, X, \psi) = \gamma_R(r_E, \psi \circ \mathrm{tr}_{E/F})$를 만족한다.
• 이 구성은 유일하며 특성 0 점으로의 특수화와 호환되어 고전 이론과 일관성을 유지한다.