[논문 리뷰] On Primes of Ordinary and Hodge-Witt Reduction

Kirti Joshi|arXiv (Cornell University)|2016. 03. 30.

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

한 줄 요약

이 논문은 수체 위의 매끄럽고 사영적인 다양체에 대한 일반화된 감소의 무한한 소수에 대한 세르의 추측을 조사하며, 일반화된 감소를 엄밀히 포함하는 Hodge-Witt 감소에 대한 더 넓은 추측을 제안한다. 두 추측 간의 정밀한 관계를 수립하고, C. S. 라잔과 함께 CM 아벨 다양체와 아벨 3차원 다양체에 대한 Hodge-Witt 추측을 증명하며, 타원곡선의 곱과 CM 표면에 대한 명시적 밀도 계산을 통해 일반화된 감소와 Hodge-Witt 감소 소수의 밀도가 다를 수 있음을 예시로 보여준다.

ABSTRACT

Jean-Pierre Serre has conjectured, in the context of abelian varieties, that there are infinitely primes of good ordinary reduction for a smooth, projective variety over a number field. Any prime of ordinary reduction is also a prime of Hodge-Witt reduction but not conversely. More generally, Conjecture 4.1.2 asserts the existence of infinitely many primes of Hodge-Witt reduction. The two conjectures are related but not equivalent (Theorem 4.1.4). We prove this conjecture for abelian threefolds Theorem 4.3.1 (joint with C. S. Rajan), and smooth Fano threefolds (Theorem 4.4.9) and in Theorem 4.5.4 for all simple abelian varieties with complex multiplication (this implies a conjecture of Mustaţă-Srinivas for such abelian varieties). We show that the set of primes of ordinary and Hodge-Witt reduction can have different densities (Theorem 4.5.4, Example 6.3.1). Theorem 6.2.1 asserts that for Fermat hypersurfaces of dimension $\geq 3$ and degrees $\geq 211$, at least 98% of the primes are of non Hodge-Witt (and hence non-ordinary) reduction. We include here an unpublished joint result Theorem 3.3.1 with C. S. Rajan.

연구 동기 및 목표

• 수체 위의 매끄럽고 사영적인 다양체에 대해 일반화된 감소 소수가 무한히 존재한다는 세르의 추측을 조사한다.
• 일반화된 감소 소수의 집합을 엄밀히 포함하는 Hodge-Witt 감소 소수의 존재에 대한 더 넓은 추측을 제안하고 분석한다.
• 일반화된 감소 소수 집합과 Hodge-Witt 감소 소수 집합 간의 정밀한 수학적 관계를 수립하여, 이들이 동치가 아니지만 밀접하게 관련되어 있음을 보인다.
• 이론적 결과와 구체적 예시(밀도 계산 포함)를 통해 두 추측에 대한 증거를 제공한다.
• 결과를 아벨 3차원 다양체와 K3 표면으로 확장하여, 아벨 3차원 다양체에 대해 Hodge-Witt 감소 소수의 양의 밀도를 증명한다(공동 연구자 C. S. 라잔과).

제안 방법

• 정성 특성에서 Hodge-Witt 및 일반화된 감소 다양체를 정의하고 연구하기 위해 크리스탈린 코homology와 de Rham-Witt 코homology를 사용한다.
• 마주르의 정리(호모로지 다각형과 뉴턴 다각형 비교)와 케이츠-메싱 정리를 적용하여 프로베니우스 작용과 코homological 불변량 간의 관계를 규명한다.
• 아벨 다양체에서 복소 곱셈(CM) 이론을 활용하여 감소 유형을 분석하고 소수의 밀도를 계산한다.
• 크리스탈린 프로베니우스의 반순수성과 Hodge-Witt 코homology 내의 나누어떨어짐 조건을 활용하여 유한성 및 밀도 결과를 도출한다.
• 클래스 체 이론과 갈루아 군의 동치류를 활용하여 특정 감소 유형을 갖는 소수의 밀도를 계산하며, 특히 CM 체에서의 응용을 중심으로 한다.
• 페르마 초곡면, 타원곡선의 곱, K3 표면 등의 예를 분석하여 이론적 결과를 시각화하고 추측을 검증한다.

실험 결과

연구 질문

• RQ1 수체 위의 매끄럽고 사영적인 다양체에 대해, 추측 4.1.1에서 제안한 바와 같이 Hodge-Witt 감소 소수가 항상 무한히 존재하는가?
• RQ2 일반화된 감소 소수 집합과 Hodge-Witt 감소 소수 집합 간의 정밀한 관계는 무엇이며, 이들의 밀도는 어떻게 비교되는가?
• RQ3 수체 위의 아벨 3차원 다양체와 K3 표면에 대해 일반화된 감소 소수에 대한 추측을 확장하고 증명할 수 있는가?
• RQ4 일반화된 감소 소수와 Hodge-Witt 감소 소수의 밀도는 어떻게 다를 수 있으며, 특히 타원곡선의 곱과 같은 특정 다양체에 대해 이를 명시적으로 계산할 수 있는가?
• RQ5 복소 곱셈은 Hodge-Witt 또는 일반화된 감소 소수의 양의 밀도를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 수체 위의 아벨 3차원 다양체에 대해, C. S. 라잔과 공동으로 증명한 lin: Hodge-Witt 감소 소수의 집합이 양의 밀도를 갖는다.
• Q 위의 두 타원곡선의 곱에 대해 일반화된 감소 소수의 집합은 밀도 1/4이며, Hodge-Witt 감소 소수의 집합은 밀도 3/4로, 밀도가 다름을 보여준다.
• Q(ζ₅)에 대해 복소 곱셈을 갖는 종수 2 곡선의 양적 다양체에 대해 일반화된 감소(따라서 Hodge-Witt 감소) 소수의 밀도는 1/4이며, 비-Hodge-Witt 감소 소수의 밀도는 3/4이다.
• 비갈루아 4차 CM 체를 갖는 아벨 표면에 대해 Hodge-Witt 감소 소수의 밀도는 최소 3/8에서 최대 3/4이며, 일반화된 감소 소수의 밀도는 최소 1/8에서 최대 1/2이다.
• 논문은 K3 표면에 대해 수체 위에서 세르의 일반화된 감소 추측을 확인하였으며, 이는 보고몰로프와 차르킨이 이전에 확보한 결과를 독립적으로 재확인한 것이다.
• 페르마 초곡면과 일반 유형 표면(예: CM 양적 다양체를 갖는 곡선의 곱)의 예는 추측 3.1.1(일반화된 감소)과 추측 4.1.1(Hodge-Witt 감소)가 동시에 성립할 수 있음을 보여주며, 서로 다른 소수 집합과 밀도를 가짐을 확인한다.