[논문 리뷰] Langlands program for $p$-adic coefficients and the petites camarades conjecture

Tomoyuki Abe|arXiv (Cornell University)|2011. 11. 10.

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

한 줄 요약

이 논문은 유한체 위의 매끄러운 곡선에서 $p$-진 계수에 대한 랭스랜즈 유형 대응을 수립하며, 델리ญ의 'petites camarades' 추측이 $p$-진 표현에 대한 랭스랜즈 대응을 함의한다는 것을 증명한다. 또한 매끄러운 다양체 위의 모든 초수렴 $F$-이스코리스터의 랭크 $\leq 2$는 $\iota$-혼합임을 보이며, 이는 $p$-진 랭스랜즈 프로그램의 핵심 부분을 지지한다.

ABSTRACT

In this paper, we prove that, if Deligne's "petites camarades conjecture" holds, then a Langlands type correspondence holds also for $p$-adic coefficients on a smooth curve over a finite field. We also prove that any overconvergent $F$-isocrystal of rank less than or equal to 2 on a smooth variety is $ι$-mixed.

연구 동기 및 목표

• 유한체 위의 매끄러운 곡선에서 $p$-진 계수에 대한 랭스랜즈 유형 대응을 수립하기.
• $p$-진 계수에 대한 랭스랜즈 프로그램과 델리ญ의 petites camarades 추측 간의 동치성을 증명하기.
• 매끄러운 다양체 위의 모든 초수렴 $F$-이스코리스터의 랭크 $\leq 2$가 $\iota$-혼합임을 보여주기.
• $p$-진 에psilon 인자와 상호법칙 사상들을 이용하여 랭스랜즈 대응을 $p$-진 계수로 확장하기.

제안 방법

• [AM]에서 얻은 $p$-진 $\varepsilon$-인자의 곱공식을 이용하여, petites camarades 추측으로부터 랭스랜즈 대응을 유도하기.
• [De1]과 [Lau]의 표준적 추론을 적용하여, 비분할 자리에서 프로베누스와 헤케 고유값을 매칭함으로써 대응을 수립하기.
• 상호법칙 사상과 츠루키의 결과를 활용하여 랭크 1 $F$-이스코리스터에 대한 랭스랜즈 대응을 구성하기.
• 기저 변경과 곡선으로의 제한을 통해 랭크 2 이상의 $F$-이스코리스터의 $\iota$-혼합성을 랭크 1 및 2의 경우로 환원하기.
• 초수렴 $F$-이스코리스터의 분할 및 특수화를 통한 $\iota$-혼합성의 개념을 활용하여 랭크 $\leq 2$에 대한 주요 결과를 증명하기.
• $d$-다양체 위의 초수렴 $F$-이스코리스터 이론과 초호모로픽 $F$-$\mathscr{D}^\dagger$-복합체 이론을 적용하여 결과를 일반화하기.

실험 결과

연구 질문

• RQ1 델리ญ의 petites camarades 추측을 전제로 할 때, $p$-진 계수에 대한 랭스랜즈 대응이 성립하는가?
• RQ2 매끄러운 다양체 위의 모든 초수렴 $F$-이스코리스터의 랭크 $\leq 2$는 $\iota$-혼합인가?
• RQ3 에psilon 인자 항등식을 통해 랭스랜즈 대응을 $\ell$-진에서 $p$-진 계수로 확장할 수 있는가?
• RQ4 함수체에 대한 $\mathrm{GL}_r$에 대해, 기약 초수렴 $F$-이스코리스터와 자동형 표현 간에 자연스러운 대응이 존재하는가?

주요 결과

• $p$-진 계수에 대한 랭스랜즈 대응은 델리ญ의 petites camarades 추측과 동치이다.
• 상호법칙 사상과 유닛루트 성질을 통해 랭크 1 $F$-이스코리스터에 대한 랭스랜즈 대응이 수립된다.
• 랭크 2의 경우, $\varepsilon$-인자 일치성과 주장 5.2를 통해 대응이 구성된다.
• 매끄러운 다양체 위의 모든 초수렴 $F$-이스코리스터의 랭크 $\leq 2$는 기저 변경과 곡선으로의 환원을 통해 $\iota$-혼합임이 입증된다.
• $d$-다양체 위의 초호모로픽 $F$-$\mathscr{D}^\dagger$-복합체의 $\iota$-혼합성은 추측과 랭크 $\leq 2$ 결과로부터 유도된다.
• 증명은 $p$-진 $\varepsilon$-인자의 곱공식과 $\ell$-진 랭스랜즈 이론의 표준 기법에 의존한다.