[논문 리뷰] From potential modularity to modularity for integral Galois representations and rigid Calabi-Yau threefolds

Luís Dieulefait|ArXiv.org|2004. 09. 07.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 Dieulefait(2004)의 호환 가닥 존재성, Taylor의 잠재적 모ularity, Wiles의 순수성 제어를 조합하여, 유리수 계수를 가지며 ℓ에서 크리스탈린이고 3에서 추적 조건을 만족하는 불가약하고 홀수인 두차원 $\sigma_{\ell}$-adic 갈루아 표현의 모ularity를 확립한다. 핵심 결과는 5 또는 7에서의 이전 요구 조건을 초월하여, 3에서 양호한 균형과 $3 \nmid a_3$ 조건을 만족하는 강성 캘라비-야우 3차원 다양체의 모ularity를 증명함으로써, 이들의 모ularity 기준을 확장한다.

ABSTRACT

We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" condition is satisfied. As a corollary, this proves that all rigid Calabi-Yau threefolds defined over $\Q$ having good reduction at 3 and satisfying $ 3 mid a_3$ are modular.

연구 동기 및 목표

• 유리수 계수를 가지며 유한한 분할을 가지는 홀수이고 불가약한 두차원 $\ell$-adic 갈루아 표현의 모ularity를 확립한다.
• 3에서의 추적 조건을 만족하는 $\mathbb{Q}$ 위에 정의된 강성 캘라비-야우 3차원 다양체의 모ularity를 증명한다.
• 이전의 5 또는 7에서의 요구 조건을 초월하여, $3 \nmid a_3$ 조건을 중심으로 모ularity 기준을 확장한다.
• Wiles의 결과를 활용하여 3에서의 순수성 제어를 통해 잠재적 모ularity를 전체 모ularity로 연결한다.
• 3에서 양호한 균형을 가지며 유리수 계수를 가지는 모티프의 호환 가닥이 $3 \nmid a_3$ 조건을 만족하면 모듈러럽니다.

제안 방법

• Dieulefait(2004)에서 확립된 바와 같이, $\sigma_\ell$를 포함하는 호환 가닥의 존재성을 이용한다.
• Taylor의 잠재적 모ularity 정리들을 적용하여, 3가 완전히 분해되는 $\mathbb{Q}$의 전체 실수 확장 $F$에서 가닥이 모듈러어진다는 것을 보인다.
• Wiles의 힐베르트 모듈러 형식에서의 순수성 기준을 사용하여, $3 \nmid a_3$ 조건을 가닥 내의 3-adic 표현의 순수성으로 번역한다.
• 가소한 기저 교체를 사용하여, $F$에서 3 위의 모든 소수에서의 순수성이 전체 3-adic 표현의 순수성으로 이어진다는 것을 보장한다.
• Skinner-Wiles 모듈러리티 승격 정리를 적용하여, 3-adic 표현의 모듈러리티를 유도하고, 이는 호환성에 의해 $\sigma_\ell$의 모듈러리티로 이어진다.
• 잔여 3-모듈러 표현이 모듈러럽거나 기약가능하다는 사실을 활용하고, 순수성을 통해 기약가능성을 배제하여 모듈러리티를 확보한다.

실험 결과

연구 질문

• RQ1 유리수 계수를 가지며 유한한 분할을 가지는 홀수이고 불가약한 두차원 $\ell$-adic 갈루아 표현이 모듈러러니, 어떤 조건을 만족해야 하는가?
• RQ2 3에서의 양호한 균형과 3에서의 추적 조건만을 사용하여, $\mathbb{Q}$ 위의 강성 캘라비-야우 3차원 다양체의 모듈러리티를 확립할 수 있는가?
• RQ3 $3 \nmid a_3$ 조건은 호환 가닥 내의 3-adic 표현의 순수성과 어떻게 관련이 있는가?
• RQ4 잠재적 모ularity 결과와 계수 체 제어 및 추적 조건을 조합하여 전체 모듈러리티를 유도할 수 있는가?
• RQ5 Wiles의 순수성 정리가 잔여 표현에서의 모듈러리티를 승격시키는 데 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 불가약하고 홀수이며 두차원 $\ell$-adic 갈루아 표현이 유리수 계수를 가지며 $\ell$에서 크리스탈린이고 $\ell > 2w$ 및 $3 \nmid a_3$ 조건을 만족하면 모듈러럽니다.
• $3 \nmid a_3$ 조건은 호환 가닥 내의 3-adic 표현이 순수하다는 것을 의미하며, 이는 모듈러리티 승격 정리의 적용을 가능하게 한다.
• Skinner-Wiles 결과를 통해, 순수성과 잔여 3-모듈러 표현의 모듈러리티를 바탕으로 3-adic 표현이 모듈러럽니다.
• 3-adic 표현의 모듈러리티는 호환성에 의해 $\ell$-adic 표현의 모듈러리티로 이어진다.
• 결과는 3에서 양호한 균형과 $3 \nmid a_3$ 조건을 만족하는 $\mathbb{Q}$ 위의 모든 강성 캘라비-야우 3차원 다양체에 적용되며, 이들의 모듈러리티를 증명한다.
• 이 논문은 이전 결과들이 요구하던 5 또는 7에서의 양호한 균형을 필요로 하지 않는, 강성 캘라비-야우 3차원 다양체를 위한 새로운 모듈러리티 기준을 제공한다.