[논문 리뷰] Log Rigid Syntomic Cohomology for Strictly Semistable Schemes

Kazuki Yamada|arXiv (Cornell University)|2015. 05. 14.

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

한 줄 요약

이 논문은 $p$-진 필드의 정수환 위의 엄격하게 세미스태빌한 스킴에 대해 로그 리지드 싱토픽 코homology를 도입하며, 이를 괜찮은 필터링이 있는 $(\phi,N)$-모듈의 확장군으로 정의한다. 이 코homology는 절대 $p$-진 호지 코homology를 실현하며, $p$-진 베일린스키 추측의 프레임워크를 제공하고 $p$-진 호지 이론을 통해 명시적 계산이 가능하게 한다.

ABSTRACT

We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(ϕ,N)$-modules.

연구 동기 및 목표

• 절대 $p$-진 호지 코homology를 실현하는, $V$ 위의 엄격하게 세미스태빌한 스킴에 대한 코homology 이론을 정의하기 위해.
• 부드러운 스킴를 초월하여 잠재적으로 양호한 환원을 가진 엄격하게 세미스태빌한 스킴를 포함하도록 리지드 싱토픽 코homology 이론을 확장하기 위해.
• 나쁜 환원을 가진 스킴에 대해 $p$-진 베일린스키 추측과 호환되는 코homological 프레임워크를 제공하기 위해.
• 유도된 범주에서 괜찮은 필터링이 있는 $(\phi,N)$-모듈의 유도 범주를 이용해 $K$-이론에서 싱토픽 코hom로의 찬 클래스 사상 수립하기 위해.

제안 방법

• 로그 리지드 싱토픽 코homology를 $ H^i_{\mathrm{syn}}(\mathcal{X},n) = \operatorname{Ext}^i_{p\mathrm{HD}_K}(K_0, \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X})(n)) $ 로 구성하며, 여기서 $ \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X}) $ 는 $p$-진 호지 복합체이다.
• 일반화된 고드문 해상법을 사용하여 로그 리지드 코homology를 정의하고, 복합체 위에 프로베니우스 및 모노드로미 연산자를 구성한다.
• 등가관계 $ \Theta: D^b(\mathrm{MF}^{\mathrm{ad}}_K(\phi,N)) \to \widetilde{p\mathrm{HD}_K} $ 를 수립하여 싱토픽 코homology를 괜찮은 필터링이 있는 $(\phi,N)$-모듈의 확장군과 연결한다.
• $(\phi,N)$-모듈의 유도 범주에서의 보편 찬 클래스를 통해 싱토픽 찬 클래스 사상 $ c_{\mathrm{syn}}: K_i(\mathcal{X}) \to H^{2j-i}_{\mathrm{syn}}(\mathcal{X},j) $ 를 정의한다.
• 엄격하게 세미스태빌한 스킴가 히요도-카토 조건(HK)을 만족할 경우, 이 이론을 적용하여 기존의 $p$-진 호지 이론과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 잠재적으로 악한 환원을 가진 엄격하게 세미스태빌한 스킴에 대해 리지드 싱토픽 코homology는 어떻게 확장될 수 있는가?
• RQ2 로그 리지드 싱토픽 코homology는 괜찮은 필터링이 있는 $(\phi,N)$-모듈의 확장군으로 해석될 수 있는가?
• RQ3 절대 $p$-진 호지 복합체는 엄격하게 세미스태빌한 스킴에 대해 드람 코호몰로지와 로그 리지드 코호몰로지를 어떻게 통합하는가?
• RQ4 $p$-진 베일린스키 추측의 맥락에서 $K$-이론에서 싱토픽 코호몰로지로의 찬 클래스 사상은 어떻게 행동하는가?
• RQ5 로그 리지드 싱토픽 코호몰로지와 $p$-진 호지 복합체의 유도 범주 간의 관계는 무엇인가?

주요 결과

• 로그 리지드 싱토픽 코호몰로지는 $p$-진 호지 복합체 $ \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X}) $ 를 유도 범주 $ p\mathrm{HD}_K $ 내에서 확장군으로 정의되며, 절대 $p$-진 호지 이론의 코호몰로지 실현을 제공한다.
• 스킴 $ \mathcal{X} $ 가 히요도-카토 조건을 만족할 경우, 코호몰로지 $ H^i_{\mathrm{syn}}(\mathcal{X},n) $ 는 괜찮은 필터링이 있는 $(\phi,N)$-모듈의 확장군과 동형이다.
• 유도 범주에서 $(\phi,N)$-모듈의 보편 찬 클래스를 통해 싱토픽 찬 클래스 사상 $ c_{\mathrm{syn}}: K_i(\mathcal{X}) \to H^{2j-i}_{\mathrm{syn}}(\mathcal{X},j) $ 가 구성된다.
• 이 구성은 모티브 프레임워크와 호환되며, $ D\mathcal{R}_{\mathrm{Hdg}} $ 가 유도된 혼합 모티브의 범주를 통해 인수화된다는 점에서 성립한다.
• 이 이론은 명시적인 $p$-진 분석과 $L$-함수 계산이 가능한, 싱토픽 코호몰로지의 $p$-진 호지 이론적 해석을 제공한다.