[논문 리뷰] Crystalline cohomology and de Rham cohomology

Bhargav Bhatt, A. J. de Jong|arXiv (Cornell University)|2011. 10. 22.

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

한 줄 요약

이 논문은 유한체 위의 매끄러운 다양체에 대한 크리스탈(cohomology)과 드 라함(cohomology) 사이의 버텔로의 비교 등형사상에 대해, 전통적인 미분기하학적 도구인 pd-분할 및 선형화를 피한, 새로운 Čech 이론적 증명을 제공한다. 주요 결과는 매끄러운 $\mathbf{F}_p$-다양체의 크리스탈(cohomology)이 $\mathbf{Z}_p$ 위의 어떤 업그레이드에 대한 드 라함(cohomology)과 등형임을 보이며, 형식적 두르기(formal thickening) 위의 드 라함 복합체의 초공호모로지(hypercohomology)를 통해 새로운 시각을 제공한다.

ABSTRACT

The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications, linearisations, and pd-differential operators.

연구 동기 및 목표

• pd-분할, 선형화, 또는 pd-미분 연산자를 사용하지 않고 버텔로의 크리스탈-드 라함(cohomology) 비교 등형사상을 재증명하는 것.
• Čech 이론적 방법을 사용하여 크리스탈(cohomology)과 드 라함(cohomology) 사이의 관계에 대해 더 간단한 새로운 시각을 제공하는 것.
• 매끄러운 $\mathbf{F}_p$-다양체의 크리스탈(cohomology)과 그 $\mathbf{Z}_p$ 위의 업그레이드의 드 라함 복합체 사이의 직접적인 연결 고리를 설정하는 것.
• 계수를 포함한 일반화를 위해 쿼어지-코herent sheaf와 평탄한 접속을 갖는 크리스탈을 포함하는 것.
• 크리스탈(cohomology)의 기저 전환 성질을 $p^e$ 모듈로 감소 시킬 때 분석하여, 유도 기저 전환이 성립하는 조건을 규명하는 것.

제안 방법

• 저자들은 다양체 $X$ 가 $\mathbf{Z}_p$ 위에서 형식적 두르기 $T$ 로 업그레이드된 경우, $T$ 위의 드 라함 복합체의 초공호모로지(hypercohomology)를 통해 크리스탈(cohomology)을 Čech 이론적 방법으로 계산한다.
• 크리스탈 $\mathcal{F}$ 에 대해 자연스러운 연결 $\nabla:\mathcal{F} \to \mathcal{F} \otimes \Omega^1_{S/\Sigma}$ 를 정의하며, 이는 적분 가능하고 드 라함 복합체를 유도한다.
• 핵심 기술적 도구는 $\Omega^1_{S/\Sigma}$ 를 $\mathcal{I}/\mathcal{I}^{[2]}$ 로 식별하는 것으로, 여기서 $\mathcal{I}$ 는 분할 거듭제곱 환경 $T(1)$ 의 대각선에서의 이상이다.
• 증명은 매끄러운 $\mathbf{F}_p$-다양체 $X$ 가 $\mathrm{Spec}(\mathbf{Z}_p)$ 로 업그레이드될 수 있을 경우, 업그레이드 위의 드 라함 복합체가 초공호모로지(hypercohomology)를 통해 크리스탈(cohomology)을 계산한다는 사실에 기반한다.
• 유도 기저 전환과 평탄성 가정을 사용하여, 적절한 조건 하에서 $R\Gamma(S/\Sigma, \mathcal{F}) \otimes^L_{\mathbf{Z}} \mathbf{Z}/p^e \simeq R\Gamma(S/\Sigma_e, \mathcal{F}|_{S/\Sigma_e})$ 임을 보인다.
• $(S/\Sigma)_{\text{cris}}$ 위의 쿼어지-코herent sheaf 의 크리스탈과 $X$ 위의 쿼어지-코herent sheaf 와 평탄한 접속 사이의 동치 관계를 수립하며, 이는 코호몰로지와 호환된다.

실험 결과

연구 질문

• RQ1 크리스탈-드 라함(cohomology) 비교 등형사상을 pd-분할 또는 선형화를 사용하지 않고 재증명할 수 있는가?
• RQ2 크리스탈(cohomology)에 대해 Čech 이론적 묘사가 존재하는가? 만약 그렇다면, 이는 $\mathbf{Z}_p$ 로의 업그레이드의 드 라함 복합체와 직접 연결되는가?
• RQ3 $\mathbf{Z}_p \to \mathbf{Z}/p^e$ 에 따른 기저 전환에서 크리스탈(cohomology)이 유도 기저 전환을 어떻게 만족하는가?
• RQ4 계수를 가진 크리스탈은 드 라함 설정에서 평탄한 접속과 어떻게 관련되는가?
• RQ5 크리스탈(cohomology)의 기저 전환에서의 장애 요소는 무엇이며, 언제 사라지는가?

주요 결과

• 논문은 버텔로의 비교 정리(정리 3.6)에 대해 전통적인 미분기하학적 도구인 pd-분할 및 선형화를 피한 새로운 Čech 이론적 방법으로 재증명한다.
• 매끄러운 $\mathbf{F}_p$-다양체 $X$ 가 $\mathbf{Z}_p$ 로 업그레이드될 수 있을 경우, 크리스탈(cohomology) $R\Gamma(X/\Sigma, \mathcal{O}_{X/\Sigma})$ 는 $\mathbf{Z}_p$ 위의 업그레이드 $X$ 의 드 라함(cohomology)과 등형임을 보인다.
• 업그레이드 $T$ 위의 쿼어지-코herent sheaf $\mathcal{M}$ 의 드 라함 복합체는 $(X/\Sigma)_{\text{cris}}$ 위의 대응 크리스탈 $\mathcal{F}$ 의 크리스탈(cohomology)을 계산한다.
• 쿼어지-코herent sheaf 의 크리스탈과 $X$ 위의 쿼어지-코herent sheaf 와 평탄한 접속 사이의 동치 관계가 수립되며, 이는 코호몰로지와 호환된다.
• 쿼어지-코herent sheaf 가 $\mathbf{Z}/p^e$ 에 대해 평탄할 경우, 유도 기저 전환이 성립한다: $R\Gamma(S/\Sigma, \mathcal{F}) \otimes^L_{\mathbf{Z}} \mathbf{Z}/p^e \simeq R\Gamma(S/\Sigma_e, \mathcal{F}|_{S/\Sigma_e})$.
• 논문은 기저 전환이 일반적으로 성립하지 않는다는 반례(예 3.11)를 구성한다. 이 경우, $\mathbf{Z}_p$ 에 대해 평탄하지 않은 sheaf 는 유도 텐서곱에서 음의 코호몰로지가 발생할 수 있다.