[논문 리뷰] Vanishing theorems of Kodaira type for Witt canonical sheaves

Hiromu Tanaka|arXiv (Cornell University)|2017. 07. 13.

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

한 줄 요약

이 논문은 de Rham–Witt 복합체를 사용하여 윌트 캐논리컬 세이프의 양의 특성에 대한 코다이라 및 카와마타–비에흐베그 정규화 정리의 유사체를 수립한다. 고차 코homology 군이 윌트 캐논리컬 세이프와 앰플 라인 번들의 테이히뮐러 업그레이드와의 텐서곱에 대해 ℚ와의 텐서곱 이후에 0이 됨을 증명함으로써, 양의 특성에서 고전적 코다이라 정규화가 실패하는 핵심 문제를 해결한다.

ABSTRACT

Given a smooth projective variety over a perfect field of positive characteristic, we prove that the higher cohomologies vanish for the tensor product of the Witt canonical sheaf and the Teichmuller lift of an ample invertible sheaf. We also give a generalisation of this vanishing theorem to one of Kawamata-Viehweg type.

연구 동기 및 목표

• de Rham–Witt 복합체를 사용하여 코다이라 정규화 정리의 양의 특성에 대한 유사체를 수립하기.
• 윌트 캐논리컬 세이프와 테이히뮐러 업그레이드를 도입하여 양의 특성에서 고전적 코다이라 정규화가 실패하는 문제를 다루기.
• 결과를 양의 특성에서 카와마타–비에흐베그 유형의 정규화 정리로 일반화하기.
• 코homology 정규화 문장에서 ℚ와의 텐서곱이 필요한 이유를 ℤ 위에서의 반례를 구성하여 명확히 하기.
• Q 위에서의 테이히뮐러 업그레이드의 코homology의 무한차원성에 대해 조사하기.

제안 방법

• de Rham–Witt 복합체를 사용하여 윌트 캐논리컬 세이프와 앰플 인버티블 세이프의 테이히뮐러 업그레이드와의 텐서곱을 정의하기.
• Frobenius 전개와 Verschiebung 사상들을 적용하여 ℚ와의 텐서곱 이후에 코homology에 대한 동형을 유도하기.
• 코homology 군의 역계열에 대해 Mittag–Leffler 조건을 적용하여 극한과의 호환성을 확보하기.
• Serre 대칭과 Verschiebung을 포함하는 정확한 수열을 사용하여 코homology에서 토퐁성 없음과 단사성을 분석하기.
• $p$-adic 값매김과 $p$- torsion 자유성을 적용하여 $W(k)$ 위에서의 선형 독립성을 증명하고, 그로 인해 $\mathbb{Q}$ 위에서도 선형 독립성을 확보하기.
• 정확한 수열 $0 \to (F_X)_*\underline{L}^{-p} \xrightarrow{V} \underline{L}^{-1} \to L^{-1} \to 0$ 을 사용하여 구체적인 반례를 구성하여 ℤ 위에서의 비영성 증명하기.

실험 결과

연구 질문

• RQ1 양의 특성에서 윌트 캐논리컬 세이프와 앰플 라인 번들의 테이히뮐러 업그레이드와의 텐서곱의 고차 코homology 군은 0이 되는가?
• RQ2 윌트 캐논리컬 세이프를 사용하여 양의 특성에서 카와마타–비에흐베그 유형의 정규화 정리를 일반화할 수 있는가?
• RQ3 왜 정규화 정리에서 ℚ와의 텐서곱이 필요한가? 그리고 ℤ 위에서 코homology 군은 어떻게 되는가?
• RQ4 앰플 라인 번들의 테이히뮐러 업그레이드의 코homology 군은 ℚ 위에서 무한차원인가?
• RQ5 정규화 결과는 네프이자 빅 라인 번들의 경우나 고차형식의 경우로 확장될 수 있는가?

주요 결과

• 완전체의 양의 특성 $p>0$ 에서의 매끄럽고 사영인 다양체 $X$ 에 대해, 차원 $N$ 에 대해 모든 $i > 0$ 에 대해 $H^i(X, W\Omega_X^N \otimes_{W\mathcal{O}_X} \underline{A}) = 0$ 이다. 여기서 $\underline{A}$ 는 앰플 인버티블 세이프 $A$ 의 테이히뮐러 업그레이드이다.
• $\mathbb{Z}$ 위에서의 텐서곱을 거친 $H^j(X, \underline{A}^{-1}) \otimes_{\mathbb{Z}} \mathbb{Q} = 0$ 이 모든 $j < N$ 에 대해 성립하며, 이는 양의 특성에서의 코다이라 정규화 정리의 유사체를 보여준다.
• $H^0(X, \underline{A}) \otimes_{\mathbb{Z}} \mathbb{Q}$ 는 $\mathbb{Q}$ 위에서 무한차원이며, 이는 테이히뮐러 업그레이드가 유한차원성을 유지하지 못함을 나타낸다.
• 매끄러운 $X$ 에 대해 $H^N(X, \underline{A}^{-1}) \otimes_{\mathbb{Z}} \mathbb{Q}$ 도 $\mathbb{Q}$ 위에서 무한차원이며, 이는 비자명한 코homological 행동을 나타낸다.
• $\mathbb{Z}$ 위에서 $H^1(X, \underline{A}^{-1})$ 와 $H^2(X, \underline{A}^{-1})$ 는 영이 아닐 수 있으며, 이는 정규화 정리에서 $\otimes \mathbb{Q}$ 가 필수적임을 증명한다.
• 적절한 앰플리시티 및 정규교차 조건 하에서 상대적 카와마타–비에흐베그 정규화가 $\otimes \mathbb{Q}$ 이후 성립한다: $R^i f_*(\mathcal{H}om(W\mathcal{O}_X(-A), W\Omega_X^N)) \otimes_{\mathbb{Z}} \mathbb{Q} = 0$ 이 $i > 0$ 에 대해 성립한다.