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

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

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 혼합 특성수에서의 고정된 미분형 가속군에 대한 상대적 린드 코homology의 초수성에 관한 버텔로의 추측의 한 형태를 증명한다. 이는 상대적 로그 수렴 코homology 이론의 반경 λ와 초커버링 기법을 사용하여 이루어지며, 기저에 대한 q차 린드 코homology 초수성 F-이스코어클러스트의 존재성과 유일성을 증명한다. 이는 기저의 미분형 조건을 가정하지 않더라도, 특히 기저가 양의 특성수의 완전체 위에서 미분형일 경우에 해당 조건 하에서 성립한다.

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology of radius $λ$ ($0 < λ\leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this cohomology with relative log crystalline cohomology, relative rigid cohomology and its variants and by using some technique of hypercovering, we prove a version of Berthelot's conjecture on the overconvergence of relative rigid cohomology for proper smooth families.

연구 동기 및 목표

• 혼합 특성수에서의 고정된 미분형 가속군에 대한 상대적 린드 코homology의 초수성에 관한 버텔로의 추측의 한 형태를 증명한다.
• 기저 스킴 위에서 q차 린드 코homology 초수성 F-이스코어클러스트의 존재성과 유일성을 확립한다.
• 상대적 로그 수렴 코homology 이론의 반경 λ를 일반화하고, 이를 상대적 린드 및 크리스탈린 코homology와 연관시킨다.
• 초커버링 기법과 교체 기법을 사용하여 문제를 기저가 미분형이거나 잘 정의된 로그 구조를 가진 사상인 경우로 축소한다.
• 기저가 완비 이산 평가환수의 형식 스펙트럼일 경우, 프로베니우스 구조가 있는 경우로 결과를 확장한다.

제안 방법

• 이전 이론의 일반화로서 상대적 로그 수렴 코homology 이론의 반경 λ를 개발한다.
• 초커버링 체계를 통해 이 코homology를 상대적 로그 크리스탈린 및 린드 코homology와 비교한다.
• 초커버링 기법을 적용하여 문제를 기저가 미분형이거나 사상이 잘 정의된 로그 구조를 가진 경우로 축소한다.
• 미분형 스킴 위에서 초수성 F-이스코어클러스트의 제약 함자에 대한 전성과 유일성을 이용하여 카테고리의 동치를 증명한다.
• 교체 이론과 형식 스킴 이론을 활용하여 특이점을 다루고, 미분형 경우로 축소한다.
• 초커버링 강하 기법을 통해 국소 데이터를 붙임으로써 기저 위의 초수성 F-이스코어클러스트를 구성하며, 함자성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 고정된 미분형 사상 아래에서 초수성 F-이스코어클러스트의 고차 직접 이미지가 기저 위에 자연스러운 초수성 F-이스코어클러스트의 구조를 갖는가?
• RQ2 기저 스킴에서 프로베니우스 상승이 존재하지 않는 경우에도 버텔로의 초수성 추측을 증명할 수 있는가?
• RQ3 초커버링을 통해 특정 삼중체로의 제약에 의해 q차 린드 코호몰로지 초수성 F-이스코어클러스트가 유일하게 결정되는가?
• RQ4 기저가 완비 이산 평가환수의 형식 스펙트럼일 경우, 프로베니우스 구조가 있는 경우로 결과를 확장할 수 있는가?
• RQ5 츠즈키의 전성 추측이 기저의 미분형 조건을 가정하지 않더라도 초수성 결과를 유도하는가?

주요 결과

• 정리 0.3은 기저가 양의 특성수의 완전체 위에서 미분형일 경우, 프로베니우스 상승이 필요 없이 q차 린드 코호몰로지 초수성 이소클러스트의 존재성과 유일성을 확립한다.
• 정리 0.4는 기저에 프로베니우스 상승이 존재하는 추가 조건 하에서 동일한 결과를 F-이소클러스트의 경우로 확장한다.
• 정리 5.2는 사상이 잘 정의된 로그 구조를 가지며 계수가 국소 자유일 경우, 기저에 대한 미분형 조건 없이도 추측이 성립함을 보여준다.
• 정리 7.4는 기저를 축소한 후 비미분형 사상에 대해서도 결과를 확장한다. 이 경우에도 기저의 미분형 조건이 필요 없다.
• 정리 7.8은 츠즈키의 전성 추측을 가정할 경우, 기저의 미분형 조건 없이도 결과를 증명한다.
• 정리 7.10은 기저가 완비 이산 평가환수의 형식 스펙트럼이고 계수가 프로베니우스 구조를 가질 경우, q차 린드 코호몰로지 초수성 F-이소클러스트에 자연스러운 프로베니우스 구조가 존재함을 증명한다.