[논문 리뷰] Specialization of Néron-Severi groups in positive characteristic

Emiliano Ambrosi|arXiv (Cornell University)|2018. 10. 15.

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

한 줄 요약

이 논문은 양의 특성에서, 유한 생성 체 위의 매끄럽고 완비인 다변수체 위의 매끄러운 고유 가닥에 대해, 그 섬유들의 Néron–Severi 군이 일반적으로 특성화됨을 증명한다. 즉, 대부분의 섬유는 일반 섬유와 같은 기하적 피카르 랭크를 가진다. 결정적 코homology, 초수렴 F-이소크리스탈, 그리고 Tannakian 기법을 사용하여 ℓ-adic 및 p-adic 갈루아 표현을 비교함으로써, 저자들은 곡선의 경우 유한한 개수를 제외한 모든 유리점이 Néron–Severi 일반적임을 증명한다. 이는 p-adic 호지 이론을 통해 고전적인 특성 0 결과를 양의 특성으로 확장한 것이다.

ABSTRACT

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y ightarrow X$. The main result of this paper is that there are ``lots of" closed points $x\in X$ such that the fibre of $f$ at $x$ has the same geometric Picard rank as the generic fibre. If $X$ is a curve we show, under a minimal technical assumption, that this is true for all but finitely many $k$-rational points. In characteristic zero, these results have been proved by André (existence) and Cadoret-Tamagawa (finiteness) using Hodge theoretic methods. To extend the argument in positive characteristic we use the variational Tate conjecture in crystalline cohomology, the comparison between various $p$-adic cohomology theories and independence techniques. The result has applications to the Tate conjecture for divisors, uniform boundedness of Brauer groups, proper families of projective varieties and to the study of families of hyperplane sections of smooth projective varieties.

연구 동기 및 목표

• 특성 0에서의 Néron–Severi 군의 특성화를 특성 0에서의 고전적 호지 이론이 실패하는 양의 특성으로 확장한다.
• 유한 생성 체의 양의 특성에서 매끄럽고 고유인 가닥 f: Y → X에 대해, 대부분의 섬유가 일반 섬유와 같은 기하적 피카르 랭크를 가짐을 증명한다.
• X가 곡선일 경우, 약간의 조건 하에 모든 유한한 개수를 제외한 k-유리점들이 Néron–Severi 일반적임을 증명한다.
• 초수렴 F-이소크리스탈과 Tannakian 형식론을 통해 ℓ-adic 및 p-adic 코hom로지적 불변량 간의 비교를 수립한다.
• André 및 Cadoret–Tamagawa의 갈루아-일반적 점과 피카르 랭크 보존 결과에 대한 양의 특성 해석을 제공한다.

제안 방법

• 주로 결정적 코homology에서의 변동 타이트 추측을 기반으로 사이클의 특성화를 연구한다.
• 원시 결정적 코homology보다 더 잘 행동하는, ℓ-adic 층 R²f∗Qℓ(1)의 p-adic 대체로 초수렴 F-이소크리스탈 R²f∗O†Y/K(1)을 도입한다.
• p-adic 비교 정리를 적용하여 초수렴 F-이소크리스탈과 ℓ-adic 층 간의 관계를 설정함으로써 갈루아 불변성 자료를 이전할 수 있도록 한다.
• 무게 이론을 사용하여 ℓ-adic 및 p-adic 세계의 반복 표현을 비교한다.
• Tannakian 기법을 활용하여 ℓ-adic 표현의 모든 텐서 구조를 고려함으로써, 모노드로미 행동을 캡처하는 대수적 군 Gℓ를 도입한다.
• 수렴 이소크리스탈의 범주에서의 내림내림 이론을 사용하여 덮개에서의 동형을 기반으로 내림내림하여 주요 비교 정리를 증명한다.

실험 결과

연구 질문

• RQ1 특성 0에서의 고전적 호지 이론이 실패하는 양의 특성에서, 호지 이론에 의존하지 않고 Néron–Severi 군의 특성화를 확립할 수 있는가?
• RQ2 양의 특성에서 섬유 Y_x의 기하적 피카르 랭크가 일반 섬유 Y_η와 일치하는 조건은 무엇인가?
• RQ3 코homology 이론이 다르게 행동할 때, ℓ-adic 갈루아 불변량과 p-adic 불변량을 어떻게 비교할 수 있는가?
• RQ4 양의 특성에서 갈루아-일반적 점이 얼마나 일반적으로, 섬유가 일반 섬유와 같은 Néron–Severi 랭크를 가지는지를 보장하는가?
• RQ5 초수렴 F-이소크리스탈 R²f∗O†Y/K(1)이 사이클 특성화를 연구하기 위해 ℓ-adic 및 결정적 코homology 사이의 다리 역할을 할 수 있는가?

주요 결과

• 유한 생성 체 k의 양의 특성에서 매끄럽고 고유인 사상 f: Y → X에 대해, 일반 섬유 Y_η와 같은 기하적 피카르 랭크를 가진 닫힌 점 x ∈ X가 '많은 수' 존재한다.
• X가 곡선일 경우, 최소한의 기술적 조건 하에 모든 유한한 개수를 제외한 k-유리점들이 Néron–Severi 일반적이다. 즉, 일반 섬유와 같은 피카르 랭크를 가진다.
• 주요 기술적 기여는 정리 1.6.3.1로, Tannakian 기법을 통해 ℓ-adic 층 R²f∗Qℓ(1)과 초수렴 F-이소크리스탈 R²f∗O†Y/K(1) 간의 비교를 수립한다.
• 정리 6.5.4.1은 초수렴 F-이소크리스탈 RifOgus,∗OY/K가 특정 초수렴 모듈의 푸시포워드와 동형임을 증명하여, 내림내림과 비교를 가능하게 한다.
• 논문은 Néron–Severi 군의 특성화가 기본군의 이미지의 자리를 닫는 군의 구조를 통해 모노드로미 군의 구조에 의해 지배됨을 증명한다.
• 결과는 나눗셈에 대한 타이트 추측, 가닥에서의 브라우어 군의 균일한 유계성, 그리고 매끄러운 사영 다양체의 초평면 절단의 연구에 응용된다.