[논문 리뷰] Comparison of arithmetic Brauer groups with geometric Brauer groups

Xinyi Yuan|arXiv (Cornell University)|2020. 11. 25.

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

한 줄 요약

이 논문은 유한 생성 체 위의 매끄럽고 사영인 대상에 대한 산술 브라우어 군과 기하 브라우어 군을 비교하며, 자연스러운 사상 Br(X)/Br(k) → Br(X^s)^{G_k} 의 상사상의 핵과 상사상의 여부에 대해 분석한다. 특히, 특성에 따라 상사상의 여부가 유한하거나 유한 지수를 갖는다는 것을 증명한다. 주요 방법은 코homological 기법과 피카르 스킴을 이용한 당김 기법으로, 이는 이전 결과들을 특성에 관계없이 동시에 확장한다.

ABSTRACT

Let $X$ be a projective and smooth variety over a field $k$. The goal of this paper is to prove that the cokernel of the canonical map $Br(X) o Br(X_{k^s})^{G_k}$ has a finite exponent. Both groups are natural invariants arising from consideration of the Tate conjecture of divisors over $X$.

연구 동기 및 목표

• 매끄럽고 사영인 대상에 대한 산술 브라우어 군과 기하 브라우어 군을 유한 생성 체 위에서 비교하는 것.
• Br(X)/Br(k) → Br(X^s)^{G_k} 에 대한 자연스러운 사상의 핵과 상사상의 이해.
• Colliot-Thélène 와 Skorobogatov 의 특성 0 결과를 임의의 특성으로 확장하는 것.
• 상사상에 대한 정확한 bound 를 설정하며, 그 구조가 유한군 또는 유한 지수를 갖는 군임을 규명하는 것.
• 비교 정리의 완전하고 자립적인 증명을 제공하여 문헌에서 알려진 결과를 명확히 하는 것.

제안 방법

• X 의 초평면 절단 Ci 에 제한함으로써 당김 기법을 사용하여 문제를 낮은 차원의 경우로 축소한다.
• 에탈 코hom올로지의 스펙트럴 시퀀스를 적용하여 브라우어 군과 피카르 군, 그들의 갈루아 코hom올로지를 연결한다.
• 편재 선다리의 선다리 쌍대성과 함께 앰플 라인 번들에 대한 cup 곱 곱셈을 이용해 G_k-불변 분할을 구성한다.
• 문제를 X 와 그 초평면 절단의 피카르 스킴 사이의 사상, 특히 Pic^0 성분에 국한하여 연구한다.
• 피카르 스킴에 관련된 아벨 다양체 간의 사상의 핵과 상사상 분석을 위해 Poincaré 의 완전 가역성 정리를 사용한다.
• 약한 Lefschetz 정리를 이용하여 타테 모듈러스 위의 제한 사상이 단사임을 보여, Pic^0 사상의 핵의 유한성을 암시한다.

실험 결과

연구 질문

• RQ1 특성 0 이 아닌 경우, Br(X)/Br(k) → Br(X^s)^{G_k} 의 상사상은 어떻게 행동하는가?
• RQ2 기저 체가 특성 0 이 아닌 경우, 상사상의 정확한 구조는 무엇인가?
• RQ3 초평면 절단을 통한 당김 기법이 브라우어 군 비교 문제를 낮은 차원의 경우로 축소하는 데 얼마나 효과적인가?
• RQ4 모든 특성에서 상사상의 유한성과 지수 bound 를 균일하게 확립할 수 있는가?
• RQ5 타테의 나눔자에 대한 추측의 맥락에서 기하 브라우어 군은 산술 브라우어 군과 어떻게 관련되는가?

주요 결과

• 사상 Br(X)/Br(k) → Br(X^s)^{G_k} 의 핵은 H^1(k, Pic(X^s)) 에 자연스럽게 단사로 삽입되며, 상사상은 유한 지수를 갖는다.
• 기저 체 k 가 특성 0 이면, 상사상은 유한하다.
• k 가 양의 특성 p 를 가질 경우, 상사상은 p 와 서로소인 순서의 유한군과 유한 지수를 갖는 p-군의 직합과 동형이다.
• k 가 유한체일 경우, 사상의 핵과 상사상 모두 유한하다.
• 비교 정리는 모든 특성에서 균일하게 성립하며, Colliot-Thélène 와 Skorobogatov 의 특성 0 결과에서 사용된 동일한 방법을 적용한다.
• 증명은 아벨 부분다양체를 통한 피카르 스킴 간의 유한 핵과 상사상 사상의 구성에 기반하며, 약한 Lefschetz 정리와 교차쌍대성의 비퇴화성 조건을 사용한다.