[논문 리뷰] Mod $\ell$ representations of arithmetic fundamental groups II (A conjecture of A.J. de Jong)

Gebhard Boeckle, Chandrashekhar Khare|ArXiv.org|2003. 12. 29.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 유한체 위의 매끄럽고 기하학적으로 기약인 곡선의 산술 기본군의 mod ℓ 표현에 대한 변형 링이 특정 조건 하에서 ℤℓ 위에 유한하고 평탄함을 증명하며, A.J. de Jong의 추측을 n차원 표현에 대해 흐름이 온전하거나 ℓ에 배수되지 않는 분해율을 갖는 경우에 확인한다. 증명은 제1부의 올림 결과, Taylor-Wiles 체계, 그리고 Lafforgue의 자동형성 정리들을 조합하여, Galois 코hom로지와 자동형성 방법을 통해 유한성과 평탄성을 확립한다.

ABSTRACT

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $ρ$ of the arithmetic fundamental group $π_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($ eq \ell$). We are able to show in many cases that the resulting rings are finite flat over $\BZ_\ell$. The proof principally uses a lifting result of the authors in Part I of this two-part work, Taylor-Wiles systems and the result of Lafforgue. This implies a conjecture of A.J. ~de Jong for representations with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation as their reduction.

연구 동기 및 목표

• π₁(X)의 mod ℓ 표현에 대한 변형 링이 ℤℓ 위에 유한함을 증명함으로써 A.J. de Jong의 추측을 확인한다.
• 분해율과 기약성 조건 하에서 n차원 mod ℓ 표현에 대한 변형 링 R_X^η의 유한성과 평탄성을 확립한다.
• 보조 수준 구조를 도입하지 않고 함수체 산술 기본군에 대해 Taylor-Wiles 방법의 적용 범위를 확장한다.
• 같은 군수를 갖는 최소 ℓ-진 상승이 자동형성임을 보여준다.
• 통제된 분해율과 토크션 행동을 갖는 변형 링을 구성하기 위한 갈로아 이론적 프레임워크를 제공한다.

제안 방법

• 저자들이 이전에 발표한 연구(제1부)의 올림 결과를 활용하여 주어진 행렬식을 갖는 mod ℓ 표현의 변형을 구성한다.
• 보조 소수를 구성하고 Poitou-Tate 대칭을 통해 코hom로지적 장애를 통제함으로써 변형 링에 Taylor-Wiles 체계를 적용한다.
• 모듈라 곡선 X₀(Nq₁⋯qᵣ)의 에탈 및 Betti 코호몰로지에 기반하여 갈로와 표현을 실현하고 히케-준동형 체계를 구축한다.
• 모듈라 곡선 위의 외삽된 층 O(χ)를 사용하여 문자 작용과의 호환성을 확보하고 군환 위의 자유 모듈을 구성한다.
• Lafforgue의 ℓ-진 갈로와 표현의 자동형성 정리를 적용하여 변형 링과 자동형식을 연결한다.
• Skinner-Wiles의 수준 낮추기 기법을 적용하고, 잔여체를 1 mod ℓⁿ 과 동치가 되도록 기저를 바꿈으로써 보조 수준 구조를 피한다.

실험 결과

연구 질문

• RQ1 π₁(X)의 mod ℓ 표현에 대한 변형 링 R_X^η가 ℤℓ 위에 유한한가? 조건은 무엇인가?
• RQ2 A.J. de Jong의 추측은 흐름이 온전하거나 ℓ에 배수되지 않는 분해율을 갖는 n차원 표현에 대해 증명될 수 있는가?
• RQ3 보조 수준 구조 없이 함수체 기본군에 대해 Taylor-Wiles 체계를 어떻게 적응시킬 수 있는가?
• RQ4 자동형성 방법과 코호몰로지 기법이 변형 링의 유한성과 평탄성을 얼마나 잘 보장하는가?
• RQ5 같은 군수를 갖는 최소 ℓ-진 상승이 자동형성임을 보장하는 mod ℓ 표현을 어떻게 구성할 수 있는가?

주요 결과

• 잔여 표현이 S에 속하는 점에서 절대적으로 기약일 경우, π₁(X)의 n차원 mod ℓ 표현에 대해 변형 링 R_X^η는 ℤℓ 위에 유한하다.
• R_X^η는 장애 이론과 유한성에 의해 ℤℓ 위에 유한 평탄하고 완전 교차이기도 하다.
• 흐름 또는 ℓ에 배수되지 않는 분해율을 갖는 표현에 대해, R_X^η는 ℤℓ 위에 유한 평탄인 몫 R_X^{0,η}를 갖는다. 이는 최소성과 군수 통제를 의미한다.
• χ가 e차 거듭제곱 문자일 경우, H¹(X₀(Nq₁⋯qᵣ), O(χ))_m 는 H¹(X₀(N), O)_m ⊗ k 와 동형이며, 이는 히케 작용과의 호환성을 보장한다.
• 기저를 바꿈으로써 잔여체를 1 mod ℓⁿ 과 동치가 되게 함으로써 보조 수준 구조를 피하는 Taylor-Wiles 체계의 구성이 토크션 성장 통제를 가능하게 한다.
• 결과적으로 ℓ > 2 인 모든 경우에 de Jong의 추측이 확인되며, 이는 Gaitsgory의 조건부 결과에 의존하지 않는 증명이다.