[논문 리뷰] Frobenius splitting and ordinarity

Kirti Joshi, C. S. Rajan|arXiv (Cornell University)|2001. 10. 05.

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

한 줄 요약

이 논문은 대수기하학에서 프로베누스 분할과 보편성 사이의 관계를 조사하며, 프로베누스 분할 다항식이 윌트 벡터 위에서 de Rham-Witt 코homology를 유한 생성함을 증명하지만, 높은 차원에서 보편성이나 호지-윌트 성질을 갖지 않을 수 있음을 보여주는 반례를 제시한다. 또한, 쿠머 K3 표면은 그에 관련된 아벨 표면이 F-분할(보편성)이면 F-분할(보편성)임을 증명하고, 수체 위의 K3 표면과 아벨 다양체에 대한 세르의 추측을 증명하여, 유한 기본 확장 후에 밀도 1의 소수 집합에서 보편성 감소가 존재함을 보여준다.

ABSTRACT

We examine the relationship between the notion of Frobenius splitting and ordinarity for varieties. We show the following: a) The de Rham-Witt cohomology groups $H^i(X, W({\mathcal O}_X))$ of a smooth projective Frobenius split variety are finitely generated over $W(k)$. b) we provide counterexamples to a question of V. B. Mehta that Frobenius split varieties are ordinary or even Hodge-Witt. c) a Kummer $K3$ surface associated to an Abelian surface is $F$-split (ordinary) if and only if the associated Abelian surface is $F$-split (ordinary). d) for a $K3$-surface defined over a number field, there is a set of primes of density one in some finite extension of the base field, over which the surface acquires ordinary reduction. This paper should be read along with first author's paper `Exotic torsion, Frobenius splitting and the slope spectral sequence' which is also available in this archive.

연구 동기 및 목표

• 완전한 양의 특성의 체 위에서 매끄럽고 사영적인 다양체에서 프로베누스 분할과 보편성 사이의 관계를 명확히 하는 것.
• 프로베누스 분할 다항식이 반드시 호지-윌트 또는 보편성임을 고려할 때, 특히 고차원에서의 성질을 조사하는 것.
• 수체 위에 정의된 K3 표면과 아벨 다양체에 대해 세르의 추측, 즉 보편성 감소를 갖는 소수 집합의 밀도가 1임을 증명하는 것.
• 프로베누스 분할과 감소 유형의 맥락에서 de Rham-Witt 코homology와 토판의 행동을 분석하는 것.

제안 방법

• de Rham-Witt 코homology와 카르티에 연산자를 사용하여 프로베누스 분할 다항식의 코homology 군의 구조를 분석하는 것.
• 일루시에-레이나, 블로크-카토의 결정 코homology 및 호지-윌트 코homology에 관한 결과를 적용하여 유한성과 토판 성질을 연구하는 것.
• 반례를 명시적으로 구성하기 위해 패기안 다항식과 완전한 교차를 사용하여, 프로베누스 분할 다항식이 고차원(≥4)에서 반드시 호지-윌트 또는 보편성이 아니라는 것을 보여주는 것.
• 세르의 추측과 캐논리컬 세르-테이트 리프팅 결과를 활용하여, 유한 기본 확장 후 K3 표면과 아벨 다양체에 대해 밀도 1의 보편성 감소를 증명하는 것.
• $l$-adic 코homology와 캐논리컬 리프팅 이론을 사용하여, 아벨 표면의 경우에 대해 쿠머 K3 표면의 F-분할과 보편성 사이의 동치성을 확립하는 것.
• S-정수환 위의 정규적 사영 모델과 결정 코homology 군의 행동을 이용하여 소수 모듈로 감소를 분석하고, 호지-윌트 군의 토판을 연구하는 것.

실험 결과

연구 질문

• RQ1 모든 프로베누스 분할 다항식이 호지-윌트 또는 보편성인가, 특히 고차원에서 그렇다면?
• RQ2 K3 표면의 F-분할은 그에 관련된 아벨 표면의 보편성과 동치인가? 그리고 이는 아벨 표면이 F-분할(보편성)이면 K3 표면도 F-분할(보유성)임을 의미하는가?
• RQ3 수체 위의 매끄럽고 사영적인 다양체에 대해, 보편성 감소를 갖는 소수 집합의 밀도가 1이 되는 유한 확장이 존재하는가?
• RQ4 차원 ≥4에서 호지-윌트 또는 보편성이 아닌 프로베누스 분할 다항식의 예를 구성할 수 있는가?
• RQ5 좋은 감소를 갖는 다양체에서 de Rham-Witt 코homology의 호지 수준과 토판의 역할은 무엇인가?

주요 결과

• 매끄럽고 사영적인 프로베누스 분할 다항식의 de Rham-Witt 코homology 군 $H^i(X, W(\fancyscript{O}_X))$ 는 $W(k)$ 위에서 유한 생성된다.
• 반례가 존재하여, 프로베누스 분할 다항식이 반드시 호지-윌트 또는 보편성이 아니라는 것을 보여주며, 특히 차원 ≥4에서 그러하다.
• 아벨 표면과 관련된 쿠머 K3 표면은 그 아벨 표면이 F-분할(보편성)이면 F-분할(보편성)임을 증명한다.
• 수체 위에 정의된 K3 표면 또는 아벨 다양체에 대해, 보편성 감소를 갖는 소수 집합의 밀도가 1이 되는 유한 확장이 존재한다.
• 기저와 섬유가 모두 보편성인 다양체의 매끄러운 피브레이션은 전체 공간이 보편성이 아닐 수 있음을 보여주며, 피브레이션에서 보편성 성질이 실패함을 보여준다.
• 유리수 위의 아벨 표면에 대해, $H^2(X_\wp, W\Omega^j)$ 의 호지-윌트 코homology 군에서 무한 토판을 갖는 소수가 무한히 많다. 이는 초특이 감소에 해당한다.