[논문 리뷰] Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic $\mathscr{D}$-modules

Tomoyuki Abe|arXiv (Cornell University)|2011. 05. 29.

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

한 줄 요약

이 논문은 국소 좌표를 통해 캐논ical sheaf 사이의 동형사상의 구체적 계산을 통해 산술 $\scr{D}$-모듈러스에서 프로베니우스 동형사상의 명시적 계산을 제공한다. 이를 통해 SGA4 스타일의 상대적 푸앵카레 대칭성과 프로베니우스 구조를 고려한 산술 $\scr{D}$-모듈러스에서의 푸시포워드와 라이드 코hom로지 간의 비교를 가능하게 한다. 핵심 결과는 상대 차원 $d$인 매끄러운 사상에 대해 프로베니우스 호환성 있는 푸앵카레 대칭성 동형사상 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M})) \cong \mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$를 확립하는 것이다.

ABSTRACT

The aim of this paper is to compute the Frobenius structures of some cohomological operators of arithmetic $\ms{D}$-modules. To do this, we calculate explicitly an isomorphism between canonical sheaves defined abstractly. Using this calculation, we establish the relative Poincaré duality in the style of SGA4. As another application, we compare the push-forward as arithmetic $\ms{D}$-modules and the rigid cohomologies taking Frobenius into account. These theorems will lead us to an analog of "Weil II" and a product formula for $p$-adic epsilon factors.

연구 동기 및 목표

• 산술 $\scr{D}$-모듈러스에서 코homological 연산자들의 프로베니우스 구조를 국소 좌표를 사용하여 명시적으로 계산하기.
• 초월적 및 일반적인 역상 간의 비교를 해결하고 프로베니우스 구조를 통합함으로써 SGA4 스타일의 상대적 푸앵카레 대칭성을 확립하기.
• 프로베니우스 호환성을 고려한 산술 $\scr{D}$-모듈러스에서의 푸시포워드와 라이드 코hom로지 간의 비교를 통해 $L$-함수와 $\varepsilon$-요소에의 적용을 가능하게 하기.
• 카로의 라이드 코호몰로지와 산술 $\scr{D}$-모듈러스에서의 이중성 함수자에 대한 작업을 완성하기 위해 프로베니우스 호환성 동형사상을 증명하기.
• 산술 $\scr{D}$-모듈러스를 통해 $p$-진 $\varepsilon$-요소를 계산하고 일반화된 그로스-코블리츠 공식을 확장하기 위한 기초를 마련하기.

제안 방법

• 추상적 구성 없이 국소 좌표를 사용하여 $\omega_{\mathscr{X}} \xrightarrow{\sim} F^{\flat}\omega_{\mathscr{X}^\prime}$ 간의 명시적 동형사상을 계산한다.
• 명시적 동형사상을 활용해 푸시포워드 및 초월적 역상과 같은 코호몰로지 연산에 대한 프로베니우스 구조를 결정한다.
• 적절한 기저 변경 유형의 보조정리를 증명하고, 이를 산술 $\scr{D}$-모듈러스의 맥락에서 적절한 기저 변경 정리의 증명에 활용한다.
• 라이드 코호몰로지와 산술 $\scr{D}$-모듈러스에서의 이중성 함수자 간 비교를 적용하여 프로베니우스 호환성 푸앵카레 대칭성을 증명한다.
• 카로와 버텔로의 결과를 활용하여 $\scr{D}$-모듈러스에서의 푸시포워드와 라이드 코호몰로지 간의 관계를 프로베니우스 구조 하에서 연결한다.
• 명시적 계산을 통해 그로스-코블리츠 공식을 재증명하고 $p$-진 $\varepsilon$-요소 계산을 위한 기초를 마련한다.

실험 결과

연구 질문

• RQ1 산술 $\scr{D}$-모듈러스에서 코호몰로지 연산자들의 프로베니우스 구조는 미분 연산자와 국소 좌표를 사용하여 어떻게 명시적으로 계산할 수 있는가?
• RQ2 초월적 및 일반적 역상 간의 비교와 프로베니우스 구조의 통합을 통해 SGA4 스타일의 상대적 푸앵카레 대칭성이 산술 $\scr{D}$-모듈러스에서 확립될 수 있는가?
• RQ3 프로베니우스 구조를 고려할 때 산술 $\scr{D}$-모듈러스에서의 푸시포워드와 라이드 코호몰로지 간의 관계는 어떻게 되는가?
• RQ4 상대 차원 $d$인 매끄러운 사상에 대해 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M}))$와 $\mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$ 사이의 정확한 프로베니우스 호환성 동형사상은 무엇인가?
• RQ5 이 결과들은 카로의 라이드 코호몰로지와 산술 $\scr{D}$-모듈러스에서의 이중성 함수자 간 비교를 완성하는 데 사용될 수 있는가?

주요 결과

• 논문은 국소 좌표를 사용하여 $\omega_{\mathscr{X}} \xrightarrow{\sim} F^{\flat}\omega_{\mathscr{X}^\prime}$ 간의 동형사상을 명시적으로 계산하여 프로베니우스 구조의 구체적 계산을 가능하게 한다.
• 푸시포워드 함자 $f_*$에 대한 프로베니우스 구조가 명시적으로 계산되었으며, 이중성 동형사상과의 호환성이 입증되었다.
• 상대적 푸앵카레 대칭성 동형사상 $f^!(\mathbb{D}_{\mathscr{Y}}(\mathscr{M})) \cong \mathbb{D}_{\mathscr{X}}(f^!\mathscr{M})(d)[2d]$가 프로베니우스 호환성과 함께 확립되었다.
• 프로베니우스 구조를 통합함으로써 산술 $\scr{D}$-모듈러스에서의 푸시포워드와 라이드 코호몰로지 간의 비교가 강화되고 명확해졌다.
• 카로의 프로그램을 완성하기 위해 라이드 코호몰로지와 산술 $\scr{D}$-모듈러스에서의 이중성 함수자 간의 프로베니우스 호환성 동형사상이 증명되었다.
• 명시적 계산을 통해 그로스-코블리츠 공식을 재증명하고 $p$-진 $\varepsilon$-요소 계산을 위한 기초가 마련되었다.