[논문 리뷰] Relative Brauer groups of genus 1 curves

Mirela Çiperiani, Daniel Krashen|arXiv (Cornell University)|2007. 01. 22.

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

한 줄 요약

이 논문은 임의의 체 위의 종 1 곡선의 상대 브라우어 군을 결정하기 위한 계산 기법을 개발하며, 특정 기초 체에서는 이 군이 무한해질 수 있음을 보이고, 유리 곡선에 대해서는 명시적으로 계산한다. '순환형' 곡선을 도입하여, 쿠프 곱과 딜로지컬리티를 통해 상대 브라우어 군이 깔끔하게 묘사될 수 있음을 보이며, 이는 주기-지수 문제와 기본 장벽과의 연결을 암시한다.

ABSTRACT

In this paper we develop techniques for computing the relative Brauer group of curves, focusing particularly on the case where the genus is 1. We use these techniques to show that the relative Brauer group may be infinite (for certain ground fields) as well as to determine this group explicitly for certain curves defined over the rational numbers. To connect to previous descriptions of relative Brauer groups in the literature, we describe a family of genus 1 curves, which we call "cyclic type" for which the relative Brauer group can be shown to have a particularly nice description. In order to do this, we discuss a number of formulations of the pairing between the points on an elliptic curve and its Weil-Chatêlet group into the Brauer group of the ground field, and draw connections to the period-index problem for genus 1 curves.

연구 동기 및 목표

• 임의의 체 위의 매끄럽고 사영적인 종 1 곡선에 대한 상대 브라우어 군을 계산하기 위한 일반적인 기법을 개발한다.
• 특히 유한 생성되지 않거나 국소 체가 아닌 체 위에서 상대 브라우어 군이 유한한지 무한한지 조사한다.
• '순환형' 종 1 곡선을 도입하고, 이들에 대해 상대 브라우어 군이 특히 다루기 쉬운 묘사를 갖는다는 것을 특성화한다.
• 상대 브라우어 군을 산술기하학에서의 주기-지수 문제와 기본 장벽과 연결한다.
• 명시적 계산을 위한 알고리즘 도구를 제공하며, 이는 Macaulay2 패키지에 구현되어 있다.

제안 방법

• 종 1 곡선 X가 체 k 위에 정의되어 있을 때, 상대 브라우어 군을 Br(k) → Br(k(X))의 제약 사상의 핵으로 정의한다.
• Picard 다양체와 자연스러운 사상 a_X: Pic(X)(k) → Br(k(X)/k)를 사용하여 유리점과 브라우어 군 원소를 연결한다.
• 특히 이소지니와 갈루아 코hom로의 맥락에서, 쿠프 곱과 딜로지컬리티를 통해 쌍대성에 기반한 쌍대화를 재구성한다.
• 타원곡선의 토크션 점을 사용하여 주어진 주어진 동차공간을 정의하고, 그 상대 브라우어 군을 계산하는 구체적 예를 제시한다.
• PARI/GP를 사용한 코호몰로지 족과 상대 브라우어 불변량의 기호 계산을 위한 알고리즘을 Macaulay2에 구현한다.
• Nishimura의 보조정리를 적용하여, 매끄러운 유리점이 존재하는 체 확대에 대해 다양체의 지수가 유지됨을 증명한다.

실험 결과

연구 질문

• RQ1 체 k 위의 종 1 곡선에 대한 상대 브라우어 군이 어떤 조건에서 무한해지는가?
• RQ2 종 1 곡선이 언제 '순환형' 구조를 갖게 되어 상대 브라우어 군의 묘사가 단순화되는가?
• RQ3 상대 브라우어 군은 기본 장벽과 유리점의 존재성과 어떻게 관련되어 있는가?
• RQ4 유리수체 위에 정의된 곡선에 대해 상대 브라우어 군을 알고리즘적으로 계산할 수 있는가?
• RQ5 주기-지수 문제와 상대 브라우어 군의 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• 특정 기초 체에서는 상대 브라우어 군이 무한해질 수 있음을 제시한 정리 4.12에 의해 입증된다.
• 순환형 곡선의 경우, 상대 브라우어 군은 쌍대 이소지니를 포함하는 정확한 수열에 들어가며, Han의 결과를 일반화한다.
• 사상 a_X: Pic(X)(k) → Br(k(X)/k)는 쿠프 곱 쌍대화로 표현되며, 이는 코호몰로지적 해석을 제공한다.
• 타원곡선 E의 동차공간 X에 대해 X(k) = ∅이면, k(E) 위에서 상대 브라우어 군이 비자명해지며, Br(X_{k(E)}/k(E)) ≠ 0임을 증명한다.
• k가 국소 체거나 소수체 위의 유한 생성 확대이면 상대 브라우어 군이 유한함을 제시한 보조정리 4.11에 의해 입증된다.
• Macaulay2 패키지 'Relative Brauer'는 구체적인 예를 성공적으로 계산하였으며, 예를 들어 Q 위의 특정 곡선에 대해 상대 브라우어 군이 Z/4 × Z/2와 동형임을 확인하였다.