[논문 리뷰] Overconvergent de Rham-Witt cohomology for semistable varieties

Oliver Gregory, Andreas Langer|arXiv (Cornell University)|2017. 11. 27.

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

한 줄 요약

이 논문은 정확한 특성의 양성 수체 위의 반정적 다양체에 대해 Hyodo-Kato 복합체의 과수렴형을 도입하며, 그의 유리수 위상코homology 가 준사영 반정적 다양체의 로그-리지드 코hom로 계산됨을 증명한다. 또한 과수렴형 Hyodo-Kato 코homology 가 사영 경우에 로그-크리스탈린 코homology 와 일치함을 보이며, 새로운 복합체를 통해 모노드로미 연산자를 기술한다.

ABSTRACT

We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when $Y$ is quasi-projective. We then describe the monodromy operator using the overconvergent Hyodo-Kato complex. Finally, we show that overconvergent Hyodo-Kato cohomology agrees with log-crystalline cohomology in the projective semistable case.

연구 동기 및 목표

• 비유한 반정적 다양체에 대해 de Rham-Witt 복합체의 과수렴형을 구성함으로써 Hyodo-Kato 이론을 확장한다.
• 준사영 반정적 다양체에 대해 과수렴형 Hyodo-Kato 코호몰로지와 로그-리지드 코호몰로지 사이의 비교를 수립한다.
• 과수렴형 Hyodo-Kato 복합체를 사용하여 로그-리지드 코호몰로지 위의 모노드로미 연산자를 기술한다.
• 사영 반정적 다양체의 경우 과수렴형 및 고전적 Hyodo-Kato 코호몰로지가 일치함을 증명한다.
• 원래 Hyodo-Kato 접근법과 현대적 Matsuue 프레임워크를 통한 과수렴형 복합체의 두 가지 구성 방법이 동치임을 밝혀내어 이들의 동치성을 입증한다.

제안 방법

• 가중치 필터링과 윌트 벡터 값 미분형식의 과수렴 조건을 이용하여 고전적 Hyodo-Kato 복합체 $W\theta_{Y/k}^\bullet$ 의 부분복합체로 과수렴형 Hyodo-Kato 복합체 $W^{\flat}\rho_{Y/k}^{\bullet}$ 를 구성한다.
• Mokshayev [Mok93] 의 방법을 적용하여 과수렴형 복합체를 통해 로그-리지드 코호몰로지 위의 모노드로미 연산자를 기술한다.
• 로그 de Rham-Witt 복합체를 정수부와 분수부로 분해하며, 분수부가 약한 계기임을 보여 과수렴형 부분이 정수부로 분리됨을 보인다.
• 특수한 경우 $R = k$ 에서 과수렴형 복합체가 Matsuue 로그 de Rham-Witt 복합체와 일치함을 증명하여 문헌의 빈자리 메운다.
• $W_n$ 에 대한 프로젝티브 극한을 사용하고, 유한 길이 성질을 가진 코호몰로지 군을 이용하여 사영 경우에 $\mathbb{H}^*(Y, W^{\flat}\omega_{Y/k}^\bullet) \cong \mathbb{H}^*(Y, W\omega_{Y/k}^\bullet)$ 임을 보인다.
• 분수부의 약한 계기성과 $\theta_m = \sum d\log[T_i]$ 를 포함하는 짧은 정확한 수열에 관한 [BMS16] 및 [Mat17] 의 결과를 적용하여 분해와 과수렴형 부분의 약한 계기성을 확립한다.

실험 결과

연구 질문

• RQ1 정확한 특성의 양성 수체 위의 비유한 반정적 다양체에 대해 과수렴형 Hyodo-Kato 복합체를 정의할 수 있는가?
• RQ2 과수렴형 Hyodo-Kato 복합체의 유리수 위상코호몰로지가 준사영 반정적 다양체의 로그-리지드 코호몰로지를 계산하는가?
• RQ3 과수렴형 Hyodo-Kato 복합체를 사용하여 로그-리지드 코호몰로지 위의 모노드로미 연산자를 어떻게 기술할 수 있는가?
• RQ4 사영 반정적 다양체의 경우 과수렴형 Hyodo-Kato 코호몰로지가 고전적 로그-크리스탈린 코호몰로지와 동형인가?
• RQ5 원래 Hyodo-Kato 방법과 Matsuue의 로그 de Rham-Witt 복합체 프레임워크를 통한 과수렴형 복합체의 두 구성 방법은 동치인가?

주요 결과

• 과수렴형 Hyodo-Kato 복합체 $W^{\flat}\omega_{Y/k}^\bullet$ 는 준사영 반정적 다양체에서 로그-리지드 코호몰로지를 계산하며, $R\Gamma_{\text{log-rig}}(Y/\mathfrak{S}_0) \cong \mathbb{R}\Gamma(Y, W^{\flat}\omega_{Y/k}^\bullet \otimes \mathbb{Q})$ 이다.
• 로그-리지드 코호몰로지 위의 모노드로미 연산자는 과수렴형 Hyodo-Kato 복합체를 통해 기술되며, [Mok93] 의 방법을 일반화한다.
• 사영 반정적 다양체의 경우, 자연스러운 사상 $\mathbb{H}^*(Y, W^{\flat}\omega_{Y/k}^\bullet) \to \mathbb{H}^*(Y, W\omega_{Y/k}^\bullet)$ 는 유한 유형의 $W(k)$-모듈러의 동형이다.
• 과수렴형 복합체는 정수부와 분수부로 분해되며, 분수부는 약한 계기이므로 $W^{\flat}\omega_{Y/k}^\bullet$ 는 그 정수부와 준동형이다.
• 원래 Hyodo-Kato 방법과 Matsuue의 로그 de Rham-Witt 복합체를 통한 과수렴형 복합체의 두 구성 방법은 일치하며, 후자는 $R = k$ 일 때 고전적 Hyodo-Kato 복합체를 복원한다. 이는 문헌의 빈자리를 메운다.
• 분수부의 약한 계기성은 다항식 대수의 경우에서 유도되며, $W^{\flat}\omega_{Y/k}^\bullet$ 의 $p$- torsion 자유성은 $p^n$ 모듈로 코호몰로지가 프로젝티브 극한에서 유지됨을 보장한다.