[논문 리뷰] Relative log convergent cohomology and relative rigid cohomology I

Atsushi Shiho|ArXiv.org|2007. 07. 12.

Algebraic Geometry and Number Theory참고 문헌 31인용 수 32

한 줄 요약

이 논문은 상대 로그 수렴 코homology와 상대 로그 크리스탈린 코homology 사이의 비교를 수립하며, 특정 케이스에서의 유한성과 로그 수렴성을 증명한다. 또한 상대 로그 수렴 코homology를 상대 강체 코homology와 연결함으로써, 경계 로그 구조를 갖는 고르게 매끄럽고 고르게 매끄러운 콪팩티피케이션을 갖는 고르게 매끄럽고 고르게 매끄러운 가닥에 대해 베르텔로의 유한성 및 초수렴성 추측의 한 형태를 확인한다.

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative log crystalline cohomology, and we relates relative log convergent cohomology to relative rigid cohomology to show the validity of Berthelot's conjecture on the coherence and the overconvergence of relative rigid cohomology for proper smooth families when they admit nice proper log smooth compactification to which the coefficient extends logarithmically.

연구 동기 및 목표

• 경계 로그 구조가 존재하는 고르게 매끄러운 가닥에 대한 상대 로그 수렴 코homology 이론을 개발한다.
• 상대 로그 크리스탈린 코homology와의 비교를 통해 상대 로그 수렴 코homology의 유한성과 로그 수렴성을 증명한다.
• 상대 로그 수렴 코homology를 상대 강체 코homology와 연결함으로써, 베르텔로의 추측의 한 형태를 검증한다.
• 기존의 제한적인 '자리스키 유형' 가정을 제거함으로써 로그 수렴 코homology 분야의 결과를 일반화하고 단순화한다.
• 이전 연구에서의 오류를 수정하고, 유한성 및 기본 변경 정리의 범위를 로그 매끄러운 매개변수를 가진 상대적 상황으로 확장한다.

제안 방법

• 로그 스킴 사이의 사상에 대해 상대 로그 수렴 코homology를 정의하며, 주로 로그 매끄럽고 정수적 사상에 초점을 맞춘다.
• 기초적인 성질을 확립하기 위해 상대 로그 수렴 푸앵카레 보조정리를 증명한다.
• 로그 매끄러운 사상에 대해 상대 로그 수렴 코homology와 상대 로그 크리스탈린 코homology 사이의 비교 동형을 수립한다.
• 비교 정리를 이용해 '로그 매끄러운 매개변수'의 존재 조건 하에서 상대 로그 수렴 코homology의 유한성과 로그 수렴성을 도출한다.
• 기저 변경 및 해석적으로 평탄한 강하 기법을 통해 상대 로그 수렴 코homology와 상대 강체 코homology 사이의 연결 고리를 구축한다.
• 해석적으로 평탄한 기저 변경 정리와 완전체의 잔여체로의 환원을 적용하여 프로베니우스 호환성과 동형의 증명을 단순화한다.

실험 결과

연구 질문

• RQ1 언제 상대 로그 수렴 코homology가 유한성과 로그 수렴성을 갖는가?
• RQ2 고르게 매끄러운 가닥의 맥락에서 상대 로그 수렴 코homology는 상대 강체 코homology와 어떻게 관련되어 있는가?
• RQ3 고르게 매끄럽고 고르게 매끄러운 콱팩티피케이션과 로그 계수 확장을 갖는 가닥이 존재할 경우, 강체 코homology의 초수렴성은 어느 정도 보장되는가?
• RQ4 형식 스킴로의 올림 없이도 상대 강체 코hom로의 유한성 및 초수렴성을 확립할 수 있는가?
• RQ5 경계에 있는 로그 구조는 상대 코hom로 이론에서 유한성과 초수렴성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 고르게 매끄럽고 고르게 매끄럽고 정수적인 사상이며, 로그 매끄러운 매개변수를 갖는 경우 상대 로그 수렴 코homology는 유한성과 로그 수렴성을 갖는다.
• 로그 매끄러운 사상에 대해 상대 로그 수렴 코homology와 상대 로그 크리스탈린 코homology 사이의 비교 동형이 수립된다.
• 고르게 매끄럽고 고르게 매끄러운 콱팩티피케이션을 갖는 가닥이 존재하고 계수가 로그적으로 확장될 수 있는 경우, 상대 강체 코hom로의 유한성과 초수렴성이 도출된다.
• 프로베니우스 호환성은 기저 변경과 크리스탈린 코homology의 $F$-스팬 이론을 통해 증명된다.
• 증명은 완전체 잔여체의 경우로 환원되며, 해석적으로 평탄한 기저 변경 정리를 적용하여 논증을 단순화한다.
• 결과적으로, 주어진 콱팩티피케이션 조건 하에서 상대 강체 코hom로의 유한성 및 초수렴성에 대한 베르텔로의 추측의 한 형태가 확인된다.