[논문 리뷰] Completions and derived de Rham cohomology

Bhargav Bhatt|arXiv (Cornell University)|2012. 07. 26.

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

한 줄 요약

이 논문은 특성 0인 노에테르적 $\mathbf{Q}$-스킴의 유한형 사상에 대해 일리우의 호지-완비화된 유도된 드 라무 코homology와 하츠혼의 대수적 드 라무 코homology 사이에 표준적 동형사상을 확립하며, 오랫동안 남아 있던 비교 문제를 해결한다. 핵심적 혁신은 유도된 드 라무 복합체와 $I$-adic 완비화 사이의 다리로 애덤스 완비화를 사용하여 선택에 의존하지 않는 구성법을 제공하고, 유도된 호지-드 라무 스펙트럴 시퀀스에서 비영인 미분을 드러내는 데 있다.

ABSTRACT

We show that Illusie's derived de Rham cohomology (Hodge-completed) coincides with Hartshorne's algebraic de Rham cohomology for a finite type map of noetherian schemes in characteristic 0; the case of lci morphisms was a result of Illusie. In particular, the E_1-differentials in the derived Hodge-to-de Rham spectral sequence for singular varieties are often non-zero. Another consequence is a completely elementary description of Hartshorne's algebraic de Rham cohomology: it is computed by the completed Amitsur complex for any variety in characteristic 0.

연구 동기 및 목표

• 특성 $0$에서 특이 다양체에 대해 유도된 드 라무 코homology와 하츠혼의 대수적 드 라무 코homology 사이에 표준적 동형사상을 확립하기.
• 대수적 드 라무 코homology에 대해 명백히 선택에 의존하지 않는 구성법을 제공하여, 쿤누프 공식과 같은 성질을 명확히 하기.
• 대수적 드 라무 코homology 위에 유도된 호지 필터링을 정의하고 연구하기. 이는 고전적 호지 필터링보다 더 미세한 것이다.
• 유도된 호지-드 라무 스펙트럴 시퀀스의 $E_1$-미분이 종종 영이 아니라는 것을 보여주며, 이는 시퀀스 내에서 상쇄 현상이 발생한다는 것을 의미한다.

제안 방법

• 유도된 드 라무 코homology와 $I$-adic 완비화 사이의 다리로 애덤스 완비화 $\mathrm{Comp}_A(A,I)$를 도입하기.
• 퀴렌의 수렴 정리를 사용하여 애덤스 완비화에 유도된 드 라무 코hom로의 호지-절단과 동형인 완비 필터링을 부여하기.
• 칼슨의 정리를 활용하여 애덤스 완비화가 $I$-adic 완비화 $\widehat{A}$와 일치함을 식별함으로써 두 코homology 이론을 비교하기.
• 닫힌 포함사상 $\mathrm{Spec}(A/I) \hookrightarrow \mathrm{Spec}(A)$에 대해 국소적으로 동형사상을 증명한 후, 강하를 통해 전역적으로 확장하기.
• 메이어-비에토리스 수열과 국소 코hom로 계산을 통해 스펙트럴 시퀀스에서 핵심 층 코hom로지 군의 영성 검증하기.
• 완비화된 애미츠르 복합체를 적용하여 비에티 코hom로지와 유도된 드 라무 코hom로지 사이의 명시적, 곱셈적 동형사상 제공하기.

실험 결과

연구 질문

• RQ1 특성 $0$에서 특이 다양체에 대해 유도된 드 라무 코homology가 하츠혼의 대수적 드 라무 코homology와 일치하는가?
• RQ2 유도된 호지-드 라무 스펙트럴 시퀀스의 비영인 미분이 존재할 수 있으며, 이는 코homological 상쇄 현상에 대해 어떤 의미를 갖는가?
• RQ3 완비화된 애미츠르 복합체를 사용하여 선택에 의존하지 않고 명시적인 대수적 드 라무 코homology 구성법이 존재하는가?
• RQ4 유도된 호지 필터링이 대수적 드 라무 코homology에서 고전적 호지 필터링을 엄밀히 개선하는가?
• RQ5 비교 결과를 의미 있게 양의 특성으로 확장할 수 있는가?

주요 결과

• 모든 유한형 노에테르적 $\mathbf{Q}$-스킴의 사상에 대해 호지-완비화된 유도된 드 라무 코homology는 하츠혼의 대수적 드 라무 코hom로지와 표준적 동형이다.
• 대수적 드 라무 코호모로지 위의 유도된 호지 필터링은 표준적 호지-이론적 필터링보다 엄밀히 더 미세하다.
• 유도된 호지-드 라무 스펙트럴 시퀀스의 $E_1$-미분은 종종 영이 아니며, 이는 시퀀스 내에서 비정상적인 상쇄 현상이 발생함을 시사한다.
• 완비화된 애미츠르 복합체는 임의의 유한형 아핀 $\mathbf{C}$-스킴에 대해 $\mathrm{R}\Gamma(X^{\mathrm{an}},\mathbf{C}) \simeq \widehat{R \to R^{\tens 2} \to \cdots}$를 통해 비에티 코호모로지를 곱셈적으로 계산한다.
• 표면에 대해 $\mathbf{P}^3$을 자기로 접합한 블로우업의 예시에서, $c_2: K^0(X) \otimes \mathbf{Q} \to \mathrm{Fil}^2 H^4(X^{\mathrm{an}},\mathbf{C}) \cap H^4(X^{\mathrm{an}},\mathbf{Q})$ 는 전성 사상이 아니며, 이는 이 설정에서 블로흐-베일린슨 추측의 실패를 보여준다.
• 유도된 호지-드 라무 스펙트럴 시퀀스는 상쇄 현상을 보인다: 그 군의 등급 부분은 무한차원 코호모로지일 수 있지만, 전체 복합체는 유한차원 코호모로지를 가진다.