[논문 리뷰] Langlands correspondence for isocrystals and the existence of crystalline companions for curves

Tomoyuki Abe|arXiv (Cornell University)|2013. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 17

한 줄 요약

이 논문은 유한체 위의 곡선에서의 이소크리스탈에 대한 랭글랜즈 상호관계를 증명함으로써, 유한 행렬식을 가진 초수렴 F-이소크리스탈에 대한 결정성 동반체의 존재를 증명함으로써 이룩한다. 이를 위해 유한 대각선을 가진 대수적 스택 위의 산술 D-모듈에 대한 일반화된 여섯 함자 체계를 사용한다. 주요 결과는 곡선에 대한 p-진 동반체에 관한 델리뉴의 추측을 확인하며, shtuka 모듈라이 공간과 에psilon 인자 곱 공식을 통해 랭글랜즈 상호관계를 p-진 설정으로 확장한다.

ABSTRACT

In this paper, we show the Langlands correspondence for isocrystals on curves. This shows the existence of crystalline companion in the curve case. For the proof, we construct the theory of arithmetic $\mathscr{D}$-modules for algebraic stacks whose diagonal morphisms are finite.

연구 동기 및 목표

• 유한체 위의 매끄러운 곡선에서의 초수렴 F-이소크리스탈에 대한 결정성 동반체의 존재를 증명한다.
• 이소크리스탈에 대한 전체 랭글랜즈 상호관계를 수립하여, 유한 행렬식을 가진 기약 초수렴 F-이소크리스탈이 유한 중심 특성을 가진 극점 자동형태 표현과 대응됨을 보인다.
• 산술 D-모듈에 대한 여섯 함자 체계를 유한 대각선을 가진 대수적 스택으로 일반화하여, p-진 설정에서 코homological 도구를 가능하게 한다.
• 델리뉴와 드리프린트의 방법을 p-진 설정으로 확장하여, 베르티니 유형의 추측을 가정할 경우, ℓ ≠ p에 대해 초수렴 F-이소크리스탈이 ℓ-진 동반체를 가짐을 증명한다.
• 트레이스 공식과 모듈라이 공간을 사용하여, 적절한 스택에 대해 ℓ-독립성과 p-진 및 ℓ-진 코homology 간의 호환성을 확보한다.

제안 방법

• 유한 대각선 사상이 있는 대수적 스택으로 산술 D-모듈 이론을 일반화하여, 코homological 연산과 호환되는 유도 범주 프레임워크를 구축한다.
• 유한 대각선을 가진 c-적절한 스택에 대해 여섯 함자 체계를 개발하여, 푸시포워드, 풀백, 딜로지 등에서 유한성 성질의 안정성을 확보한다.
• 아베와 마르모라가 증명한 p-진 설정에서의 에psilon 인자 곱 공식을 적용하여, 랭글랜즈 상호관계를 표현의 매칭으로 환원한다.
• 드리프린트와 라포르그의 ℓ-진 전략을 따르며, shtuka의 모듈라이 공간을 사용하여 랭글랜즈 상호관계를 구성한다.
• 트레이스 공식과 국소화 기법을 사용하여, 적절한 스택에 대해 ℓ-독립성과 p-진 및 ℓ-진 코homology 간의 호환성을 증명한다.
• 데비산스와 제르브 리덕션을 활용하여, 유한 평탄 군 스킴 G에 대한 분류 스택 BG의 경우로 트레이스 공식을 환원한다.

실험 결과

연구 질문

• RQ1 유한체 위의 매끄러운 곡선에서의 기약 초수렴 F-이소크리스탈은 항상 결정성 동반체를 갖는가?
• RQ2 shtuka 모듈라이 공간과 에psilon 인자 공식을 사용하여, 이소크리스탈에 대한 랭글랜즈 상호관계를 곡선에서 수립할 수 있는가?
• RQ3 유한 대각선 사상이 있는 대수적 스택에서 산술 D-모듈에 대한 여섯 함자 체계가 존재하는가?
• RQ4 초수렴 F-이소크리스탈이 매끄러운 스킴에서 어떤 조건을 만족할 경우, ℓ ≠ p에 대해 ℓ-진 동반체를 갖는가?
• RQ5 적절한 스택에 대해 ℓ-독립성과 p-진 및 ℓ-진 코homology 간의 호환성을 어떻게 확립할 수 있는가?

주요 결과

• 이소크리스탈에 대한 랭글랜즈 상호관계가 곡선에서 완전히 수립됨: 유한 행렬식을 가진 기약 초수렴 F-이소크리스탈은 유한 중심 특성을 가진 극점 자동형태 표현과 일대일 대응된다.
• 모든 초수렴 F-이소크리스탈에 대해 결정성 동반체가 존재함을 확인하여, 델리뉴의 추측의 부분 (vi)을 증명한다.
• 산술 D-모듈에 대한 여섯 함자 체계가 c-적절한 대수적 스택으로 유한 대각선을 가진 경우로 일반화되어, p-진 설정에서 코homological 도구의 사용을 가능하게 한다.
• 베르티니 유형의 추측을 가정할 경우, 모든 초수렴 F-이소크리스탈이 매끄러운 스킴에서 ℓ ≠ p에 대해 ℓ-진 동반체를 갖는다. 이는 매끄러운 경우에서 델리뉴의 추측의 역을 증명한다.
• gabber-fujiwara의 ℓ-독립성 결과가 적절한 스택으로 일반화되었으며, 유한 군족 작용과 보편적 호메오모르피즘에 대해 트레이스 공식이 성립한다.
• p-진 설정에서의 에psilon 인자 곱 공식은 랭글랜즈 상호관계를 shtuka 모듈라이 공간의 구성으로 환원할 수 있게 하며, ℓ-진 전략과 유사하게 작용한다.