[논문 리뷰] On Beilinson's equivalence for $p$-adic cohomology

Tomoyuki Abe, Daniel Caro|arXiv (Cornell University)|2013. 09. 18.

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

한 줄 요약

이 논문은 Kedlaya의 안정화 감소 정리와 함께 프로베니우스 구조를 가진 초초콜릿 $`\mathcal{D}^\dagger$-모듈에 대해 단순근접 순환 함자(유니포텐트 nearby cycle functor)를 구성하여, $p$-진 해석적 기하학에서 Beilinson의 등가성에 대한 $p$-진 대응을 확립한다. 주요 기여는 6개의 그로텐디크 작동에 대해 닫혀 있는 초초콜릿 복합체의 삼각형 범주를 정의함으로써, $p$-진 Beilinson 등가성의 실현을 가능하게 한다.

ABSTRACT

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

연구 동기 및 목표

• 모듈러 $p$-진 코hom로지에서 근접 순환 함자가 존재하지 않는 문제를 해결함으로써, 이론의 주요 기술적 장벽을 극복한다.
• 그로텐디크의 6개의 작동에 대해 닫혀 있는 적절한 초초콜릿 $`\mathcal{D}^\dagger$-모듈의 범주를 정의함으로써, $p$-진 설정에서의 초초콜릿 모듈 이론를 정립한다.
• 복소수 위의 매끄러운 다양체에 대해 $D^b(\mathrm{Hol}(X))$와 $D^b_{\mathrm{hol}}(X)$ 사이의 Beilinson 등가성에 대한 $p$-진 대응을 확립한다.
• 산술 $`\mathcal{D}$-모듈 이론과 라이드 코호몰로지, 추적 공식 등에 응용하기 위한 기초 도구를 제공한다.

제안 방법

• Beilinson의 원래 접근 방식을 영감으로 삼아, 프로베니우스 구조를 가진 모듈로의 분해(devisage)를 통해 단순근접 순환 함자를 구성한다.
• 초수렴 이소크리스털에 프로베니우스 구조가 있는 경우 Kedlaya의 안정화 감소 정리를 사용하여, $p$-진 맥락에서 $b$-함수의 문제가 되는 정의를 피한다.
• 프로베니우스-구조가 있는 모듈을 포함하는 최소의 삼각형 부분범주를 정의하여, 6개의 작동에 대해 닫혀 있음을 보장한다.
• 도형 증명의 핵심 보조정리에서 문제를 해결하기 위해 프로-인드 범주를 사용하여 잘못된 동형사상 대신 충분한 수준의 호모모르피즘을 도입한다.
• 짧은 정확한 수열을 통해 $j_!$, $j_+$, 및 $\Xi_f$를 포함하는 $\Phi_f$ 함자를 정의하여 근접 순환 함자를 구성한다.
• 함수 $\Pi^{a,b}_{!+}$를 사용하여 $j_!$과 $j_+$ 사이를 보간하고, 그들이 이동과 프로베니우스 전환에 대해 안정적임을 보인다.

실험 결과

연구 질문

• RQ1 $b$-함수가 잘 정의되지 않는 $p$-진 맥락에서 단순근접 순환 함자를 구성할 수 있는가?
• RQ2 $p$-진 코호몰로지에서 6개의 작동에 대해 닫혀 있는 초초콜릿 $`\mathcal{D}^\dagger$-모듈의 올바른 정의는 무엇인가?
• RQ3 Beilinson의 등가성 $D^b(\mathrm{Hol}(X))$와 $D^b_{\mathrm{hol}}(X)$는 $p$-진 맥락에서 대응이 가능한가?
• RQ4 이러한 구성들을 통해 산술 $`\mathcal{D}$-모듈 이론과 라이드 코호몰로지를 통합할 수 있는가?

주요 결과

• Kedlaya의 정리를 $b$-함수의 대체로 사용하여, 프로베니우스 구조를 가진 초초콜릿 $`\mathcal{D}^\dagger$-모듈에 대해 단순근접 순환 함자를 구성하였다.
• 프로베니우스-구조가 있는 초초콜릿 $`\mathcal{D}^\dagger$-모듈의 범주 $\mathrm{Hol}_F(X/K)$는 삼각형 부분범주 구성법을 통해 그로텐디크의 6개의 작동에 대해 닫혀 있음을 입증하였다.
• $\Phi_f$ 함자는 정확하고, $\mathcal{E} \cong \Phi_f(\mathcal{E})$를 만족하여, $\mathcal{E} \in \mathrm{Hol}_F(Z/K)$ 이면 근접 순환 함자로서의 역할을 확인하였다.
• 핵심 보조정리의 도형에서 잘못된 동형사상 대신 프로-인드 범주에서의 호모모르피즘 $\#'$를 도입함으로써 도형이 수정되었고, 이는 증명에 충분하였다.
• 큰 $b$에 대해 프로젝티브 시스템 $\mathrm{coker}(s^i \alpha^{a,b}(i))$가 안정화됨을 보여, $\Pi^{a,a+i}_{!+}$가 잘 정의되고 극한과 동형임을 입증하였다.
• 이 구성은 산술 $`\mathcal{D}$-모듈 이론의 기초 도구를 제공하며, Fujiwara의 추적 공식에 대한 $p$-진 대응 등 응용에도 기여한다.