[논문 리뷰] Sur le groupe de Brauer transcendant

Jean-Louis Colliot-Thélène, Alexei N. Skorobogatov|arXiv (Cornell University)|2011. 06. 30.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 특성 0인 체 $k$ 위의 매끄럽고 사영인 대상 $X$에 대한 브라우어 군에서 $\overline{k}$ 위의 갈루아 불변 부분군으로의 자연스러운 사상의 상사상의 유한성을 확립한다. 브라우어 군, 피카르 군, 수치 동치 모듈로의 교차 쌍대화 간의 상호작용을 통해, 특히 수체 조건 하에서 이 유한한 상사상의 차수와 지수에 대한 명시적 경계를 도출한다. 이 결과는 K3 표면과 곡선의 곱과 같은 특정 종류의 다양체에 응용된다.

ABSTRACT

For a smooth and projective variety X over a field k of characteristic zero we prove the finiteness of the cokernel of the natural map from the Brauer group of X to the Galois-invariant subgroup of the Brauer group of the same variety over an algebraic closure of k. Under further conditions on k, e.g. over number fields, we give estimates for the order of this cokernel. ---- Soit X une variété projective et lisse sur un corps k de caractéristique zéro. Le groupe de Brauer de X s'envoie dans les invariants, sous le groupe de Galois absolu de k, du groupe de Brauer de la même variété considérée sur une clôture algébrique de k. Nous montrons que le quotient est fini. Sous des hypothèses supplémentaires, par exemple sur k un corps de nombres, nous donnons des estimations sur l'ordre de ce quotient.

연구 동기 및 목표

• 특성 0인 체 위의 매끄럽고 사영인 다양체 $X$에 대해 브라우어 군에서 $\overline{X}$ 위의 갈루아 불변 부분군으로의 자연스러운 사상 $\mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 의 상사상의 유한성을 확립한다.
• 기저 체가 수체일 경우와 같은 추가 조건 하에서 이 상사상의 차수와 지수에 대한 효과적 경계를 제공한다.
• 수치 동치 모듈로의 정수 계수의 1-사이클과 딜레르의 교차 쌍대화가 브라우어 군의 구조를 제어하는 데서의 역할을 명확히 한다.
• 특성 0인 유리수체 위의 유한 생성 체 위의 매끄럽고 준사영인 다양체로 이 유한성 결과를 확장하여, 숙아멜리의 질문을 확인한다.
• 특정 다양체 종류, 특히 K3 표면과 유리점이 있는 곡선의 곱에 대해 결과를 적용하여 경계가 상당히 단순화됨을 보인다.

제안 방법

• 특정 조건(예: 유리점의 존재 또는 $k$가 수체일 경우) 하에서 정확한 복합체 $\mathrm{Br}(X) \xrightarrow{\alpha} \mathrm{Br}(\overline{X})^\Gamma \xrightarrow{\beta} \mathrm{H}^2(k, \mathrm{Pic}(\overline{X}))$ 를 구성한다.
• 함자성과 셴의 정리를 이용하여, $\beta$ 의 이미지가 $X$ 내 임의의 닫힌 곡선으로 제한되었을 때 0이 됨을 보이고, 이를 통해 첫 번째 방법으로 유한성을 도출한다.
• 분할 부분군 $\mathrm{Br}^0(\overline{X})$ 와 쿠머 수열을 포함하는 스펙트럴 시퀀스의 추론을 적용하여 $\beta$ 를 연결 준동형사상으로 이해한다.
• 1-사이클에 대한 수치 동치와 호모로지 동치의 일치를 보여주는 리벨만의 정리를 활용하여, $\beta$ 의 이미지가 $\mathrm{NS}(\overline{X})$ 위의 교차 형식의 판별식 군과 관련됨을 밝힌다.
• $\mathrm{NS}(\overline{X})$ 와 $\mathrm{CH}_1(\overline{X})$ 사이의 교차 형식의 판별식 군의 지수를 이용하여 상사상의 지수를 경계한다.
• 두 방법을 통합하여 상사상의 차수와 지수에 대해 유사하지만 동일하지 않은 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 매끄럽고 사영인 다양체에 대해 $\mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 의 상사상은 유한한가?
• RQ2 기저 체가 수체일 경우 이 상사상의 차수와 지수에 대해 효과적 경계를 제시할 수 있는가?
• RQ3 수치 동치 모듈로의 정수 계수의 1-사이클과 딜레르 간의 교차 쌍대화가 브라우어 군을 제약하는 데서의 역할은 무엇인가?
• RQ4 이 유한성 결과는 $\mathbb{Q}$ 위의 유한 생성 체 위의 매끄럽고 준사영인 다양체로 확장되는가?
• RQ5 K3 표면이나 유리점을 가진 곡선의 곱과 같은 특수 종류의 다양체에서는 경계가 어떻게 단순화되는가?

주요 결과

• 특성 0인 체 $k$ 위의 매끄럽고 사영이며 기하학적으로 연결된 다양체 $X$에 대해, 사상 $\alpha: \mathrm{Br}(X) \to \mathrm{Br}(\overline{X})^\Gamma$ 의 상사상은 유한하다.
• $k$가 수체일 경우, 상사상의 차수는 $\mathrm{NS}(\overline{X})$ 와 $\mathrm{CH}_1(\overline{X})$ 의 수치 동치 모듈로의 교차 형식의 판별식 군의 지수들의 곱으로 유계된다.
• 상사상의 지수는 $\mathrm{NS}(\overline{X})$ 위의 교차 형식의 판별식 군의 지수를 나눈다.
• 유리점이 있는 K3 표면의 경우, 상사상은 $\mathrm{NS}(\overline{X})$ 의 교차 형식에 대한 판별식 군의 지수에 의하여 0이 된다.
• 특성 0인 유리수체 위의 유한 생성 체 위의 매끄럽고 준사영인 다양체로 이 유한성 결과가 확장되며, 숙아멜리의 질문을 확인한다.
• 함자성과 셴의 정리를 이용한 첫 번째 방법과 스펙트럴 시퀀스 분석을 이용한 두 번째 방법은 각각 유사하지만 동일하지 않은 경계를 도출하며, 둘 다 교차 쌍대화의 구조에 의존한다.