[논문 리뷰] A finiteness theorem for the Brauer group of abelian varieties and K3 surfaces

Alexei N. Skorobogatov, Yuri G. Zarhin|ArXiv.org|2006. 05. 13.

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

한 줄 요약

이 논문은 유리수에 대해 유한 생성인 체 위의 K3 곡면과 아벨 다양체에 대한 브라우어 군의 유한성 정리를 수립한다. 가환체 코homology, 에탈 코homology, 그리고 암시적 정수론의 나눗셈에 대한 타이트 추측을 이용하여, K3 곡면의 경우 기저 체의 브라우어 군에 대한 브라우어 군의 몫이 유한함을 증명하고, 아벨 다양체의 경우 기저 체의 확장을 통한 브라우어 군의 갈루아 불변 부분군이 적절한 특성수 및 토르션 성분 조건 하에서 유한함을 보인다.

ABSTRACT

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological Brauer-Grothendieck group of $X$ and $Br_0(X)$ the image of $Br(k)$ in $Br(X)$. We write $Br_1(X)$ for the subgroup of elements in $Br(X)$ that become trivial after replacing $k$ by its algebraic closure. We prove that $Br(X)/Br_0(X)$ is finite if $X$ is a $K3$ surface. When $X$ is (a principal homogeneous space of) an abelian variety over $k$ then we prove that $Br(X)/Br_1(X)$ is finite.

연구 동기 및 목표

• 유리수에 대해 유한 생성인 체 위의 K3 곡면에 대한 기저 체 확장의 갈루아 불변 브라우어 군의 유한성을 수립하기 위해.
• 특정 특성수 조건 하에서 아벨 다양체의 브라우어 군을 기저 체의 브라우어 군에 대해 몫으로 나눈 것이 유한함을 증명하기 위해.
• 특히 K3 곡면과 아벨 다양체를 포함한 고차원 다양체에 대해 브라우어 군의 유한성 결과를 수학적 기하학의 맥락에서 기존 결과를 확장하기 위해.

제안 방법

• 기하적 섬유의 갈루아 코hom로 다양체의 브라우어 군을 연결하기 위해 호크시لد–세르르 스펙트럴 시퀀스의 사용.
• 아벨 다양체에서의 나눗셈에 대한 타이트 추측을 적용하여 네로–세버르 그룹과 그 갈루아 작용을 제어하기 위해.
• K3 곡면과 아벨 다양체의 $ε$-adic 코homology 분석, 특히 $H^2_{εt}(-, μ_\ell)$의 갈루아 모듈러 구조 분석.
• 팔링스에 의해 확립된 $ε$-adic 갈루아 표현의 반단순성 특성을 활용하여 브라우어 군을 제어하기 위해.
• 아벨 다양체의 자기 사상의 호지 및 $ε$-adic 실현 간의 일치성을 이용하여 코homology 군의 토르션을 분석하기 위해.
• 기저 체의 대수적 폐쇄에서 K3 곡면의 피카르 군이 최대 20의 계수를 가지며, 유한 갈루아 작용을 갖는다는 사실의 활용.

실험 결과

연구 질문

• RQ1 유리수에 대해 유한 생성인 체 위의 K3 곡면에 대해, 그 갈루아 불변 브라우어 군 부분군은 유한한가?
• RQ2 유리수에 대해 유한 생성인 체 위의 아벨 다양체에 대해, 그 브라우어 군이 대수적 폐쇄에 의한 기저 체 확장에서의 브라우어 군으로의 이미지는 유한한가?
• RQ3 모든 소수 $\ell$에 대해 K3 곡면의 $ε$-primary 성분 브라우어 군의 유한성은 성립하는가?
• RQ4 아벨 다양체에서의 나눗셈에 대한 타이트 추측을 이용하여 K3 곡면의 브라우어 군의 유한성을 유도할 수 있는가?
• RQ5 기저 체의 브라우어 군의 이미지에 대한 K3 곡면의 브라우어 군의 구조는 어떠한가?

주요 결과

• 유리수에 대해 유한 생성인 체 위의 K3 곡면에 대해, 그 갈루아 불변 브라우어 군 부분군은 유한하다.
• 유리수에 대해 유한 생성인 체 위의 특성수 0인 아벨 다양체에 대해, 브라우어 군을 기저 체의 브라우어 군에 대해 몫으로 나눈 것은 유한하다.
• 특성수 $p \neq 2$ 인 경우, 브라우어 군 몫의 비-$p$-primary 성분은 유한하다.
• 타이트 추측에 대한 가정 하에, 모든 소수 $\ell$에 대해 K3 곡면의 $ε$-primary 성분 브라우어 군은 유한하다.
• 기하적 브라우어 군의 갈루아 불변 부분군의 유한성에 따라, 기저 체의 브라우어 군의 이미지에 대한 K3 곡면의 브라우어 군은 유한하다.
• 증명은 $ε$-adic 갈루아 표현의 반단순성과 아벨 다양체에서의 나눗셈에 대한 타이트 추측의 타당성에 기반한다.