[논문 리뷰] On uniformity conjectures for abelian varieties and K3 surfaces

Martin Orr, Alexei N. Skorobogatov외 1명|Project Muse (Johns Hopkins University)|2018. 09. 05.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 유계 차수를 가진 수체 위의 아벨 다양체와 K3 곡면에 대한 주요 균일성 추측들 사이의 논리적 동치성을 확립한다. 콜먼의 내면 대수에 대한 추측이 네론-세버리 라티스에 대한 샤파레비치의 추측과 갈루아 불변 브라우어 군의 유한성에 대한 바르릴리-알바라도의 추측을 모두 함의함을 증명하여, 모노드로미와 갈루아 표현 기법을 통해 산술기하학의 핵심 추측들을 통합한다.

ABSTRACT

We discuss logical links among uniformity conjectures concerning K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. The conjectures concern the endomorphism algebra of an abelian variety, the Neron-Severi lattice of a K3 surface, and the Galois invariant subgroup of the geometric Brauer group.

연구 동기 및 목표

• 유계 차수를 가진 수체 위의 아벨 다양체와 K3 곡면에 대한 균일성 추측들 사이의 논리적 관계를 조사한다.
• 콜먼의 내면 대수에 대한 추측이 네론-세버리 라티스에 대한 샤파레비치의 추측을 함의함을 증명한다.
• 콜먼의 추측이 K3 곡면에 대한 갈루아 불변 기하 브라우어 군의 균일한 유계성 함의함을 확립한다.
• 상수에 대한 브라우어 군의 유한성 추측( Br(AV) )이 K3 곡면에 대한 바르릴리-알바라도의 추측, 즉 Br(X)/Br₀(X) 의 유계성에 대한 추측을 함의함을 보여준다.
• 모노드로미와 갈루아 표현 기법을 통해 산술기하학의 여러 주요 추측들을 통합한다.

제안 방법

• ℓ-아디크 모노드로미 군의 차원과 K3 곡면의 기하학을 연결하기 위해 머피드-테이트 추측을 사용한다.
• 갈루아 불변 코hom올로지 클래스와 네론-세버리 군 내의 대수적 사이클을 연결하기 위해 테이트 추측을 적용한다.
• 정수 코hom올로지와 ℤℓ 위에서의 네론-세버리 라티스를 연결하기 위해 쿠머 정확수열을 활용한다.
• 유한지수 부분군과 그 고정 부분모듈을 통한 갈루아 군의 네론-세버리 군 및 브라우어 군에 대한 작용을 분석한다.
• 유체 ℚ 위에서 유한생성된 체 위의 K3 곡면에 대해 H¹(k, Pic(X̄)) 의 유한성을 이용하여 브라우어 군 몫을 유계화한다.
• 갈루아 불변 부분군이 전체 라티스를 등급형으로 결정함을 보여, 샤파레비치 추측의 다양한 표현 방식 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 콜먼의 아벨 다양체의 내면 대수에 대한 추측은 K3 곡면의 네론-세버리 라티스에 대한 샤파레비치의 추측을 함의하는가?
• RQ2 유계 차수와 차수를 가진 K3 곡면에 대한 갈루아 불변 브라우어 군의 균일한 유계성은 콜먼의 추측으로부터 유도될 수 있는가?
• RQ3 유계 차수와 차수를 가진 아벨 다양체에 대해 |Br(Ā)Γ| 가 균일하게 유계라는 추측은 다른 균일성 추측들과 동치인가?
• RQ4 NS(X̄), NS(X̄)Γ, 또는 Pic(X) 를 사용하는 샤파레비치 추측의 다양한 변형들은 얼마나 논리적으로 동치인가?
• RQ5 한 매개변수를 가진 K3 곡면의 가속에서, 모노드로미 표현과 코hom올로지 위의 갈루아 작용은 브라우어 군 몫의 유한성과 어떻게 관련되는가?

주요 결과

• 콜먼의 추측이 아벨 다양체의 End(Ā) 에 대해 참이면, 그들의 판별식 유계 조건의 동치성에 의해 K3 곡면의 네론-세버리 라티스에 대한 샤파레비치의 추측을 함의한다.
• 유계 차수와 차수를 가진 아벨 다양체에 대해 |Br(Ā)Γ| 가 균일하게 유계라는 추측은 K3 곡면에 대해 |Br(X)/Br₀(X)| 의 유계성에 대한 바르릴리-알바라도의 추측을 함의한다.
• NS(X̄), NS(X̄)Γ, 또는 Pic(X) 를 사용하는 샤파레비치 추측의 모든 변형은 논리적으로 동치이며, 갈루아 불변 부분군이 전체 라티스를 등급형으로 결정하기 때문이다.
• ℓ-아디크 모노드로미 군이 열리지 않는 점들의 집합은 ℓ에 관계없이 일정하다. 이는 머피드-테이트 추측과 차원의 불변성에 기인한다.
• 모노드로미 군 Gℓ,x 가 Gℓ 에서 열린 경우, 타이트 이론과 쿠머 이론에 의해, 섬유 Yx 의 네론-세버리 라티스가 일반 섬유 Yη 과 ℤℓ 위에서 등급형이다.
• 유체 ℚ 위에서 유한생성된 체 위의 K3 곡면에 대해 H¹(k, Pic(X̄)) 의 유한성은 Br(X)/Br₀(X) 가 유한함을 보장하며, 이는 브라우어 군의 균일성 추측을 뒷받침한다.