[논문 리뷰] Degree three cohomology of function fields of surfaces

R. Parimala, V. Suresh|arXiv (Cornell University)|2010. 12. 24.

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

한 줄 요약

이 논문은 유한체 위의 표면의 함수체에서 차수 3 코homology 계열에 대한 국소-전역 원리(지역-전역 원리)를 확립한다. $ H^3(F, \mu_l^{\text{ens } 3}) $의 계열이 국소적으로 $ H^2(F, \mu_l^{\text{ens } 2}) $의 주어진 계열과 $ H^1(F, \mu_l) $의 계열의 cup 곱으로 표현될 경우, 그 계열은 symbol이 된다는 것을 보여준다. 이 결과는 $ F $가 $ l $-단위근의 원시근을 포함할 경우 $ H^3(F, \mu_l^{\text{ens } 3}) $의 모든 원소가 symbol임을 보여주며, 이는 기존의 $ l=2 $에 대한 결과를 일반화한다. 이 결과는 정수 타이트 추측과 1차 수의에 대한 브라우어-마니ン 장벽에 응용된다.

ABSTRACT

Let F be a finite field and l a prime not equal to the characteristic of F. Let K be the function field of a surface over F. Assume that K contains a primitive lth root of unity. In the paper we prove a certain local-global principle for elements of H^3(K, μ_l) in terms of symbols in H^2(K, μ_l) with respect to discrete valuations of K. We also show that this local global principle is equivalent to the vanishing of certain unramified cohomology groups of 3-folds over finite fields. Using this local-global principle we show that every element in H^3(F, μ_l) is a symbol. The vanishing of the unramified cohomology groups has consequences in the study of integral Tate conjecture and Brauer-Manin obstruction for existence of zero-cycles.

연구 동기 및 목표

• 유한체 위의 표면의 함수체에서 차수 3 코homology 계열이 $ H^2(F, \mu_l^{\text{ens } 2}) $의 고정된 symbol과 $ H^1(F, \mu_l) $의 계열의 cup 곱으로 표현되는 국소-전역 원리를 확립하는 것.
• 함수체 $ F $가 유한체 위의 표면의 함수체이고 $ F $가 원시 $ l $-근을 포함할 경우, $ H^3(F, \mu_l^{\tens 3}) $의 모든 원소가 symbol임을 증명하는 것.
• 국소-전역 원리를 응용하여, 유한체 위의 표면 위의 콘릭 피브레이션에 대해 $ H^3_{nr}(K(C)/k, \mu_n^{\tens 2}) $의 비분기 코homology 군이 0이 됨을 보이는 것.
• 일부 3차원 다양체에 대해 정수 타이트 추측에 대한 결과를 도출하는 것.
• 특정 표면에서 정수 1차 수의의 존재에 대한 브라우어-마니ン 장벽이 유일한 장벽임을 보이는 것, 이는 양의 특성의 전역체 위의 곡선 위의 콘릭 피브레이션의 일반성 섹션에 대해 성립한다.

제안 방법

• 함수체 $ K $의 정규 모델 $ \mathscr{X} $를 사용하여, $ p $-진체 또는 유한체의 정수환 위에서 코homology 계열의 분기 집합을 통제하는 것.
• 지역체 위의 2차형식의 등방성(등방성)을 이용하여, 국소체 위의 2차형식에 대한 패치워크와 약한 근사법을 통해 전역 해를 구성하는 것.
• 등방성 2차형식에 대한 약한 근사 성질을 응용하여, 국소 해를 $ \pi_i $ 모듈로로 올려 전역 해를 얻는 것.
• $ H^3_{nr}(K/\mathscr{X}, \mu_l) = 0 $라는 사실을 이용하여, 국소 해가 존재할 경우 전역 해가 존재함을 결론짓는 것.
• $ H^1(F, \mu_l) \simeq F^*/F^{*l} $의 동형을 활용하여, cup 곱 조건을 함수체 내의 곱셈적 계열로 표현하는 것.
• 1차 잔여 이론과 순서환 이론을 사용하여 문제를 국소체 위에서 2차형식 $ q_1 \perp \langle -g' \rangle $의 등방성으로 환원하는 것.

실험 결과

연구 질문

• RQ1 함수체 $ F $가 유한체 위의 표면의 함수체이고 $ F $가 원시 $ l $-근을 포함할 경우, $ H^3(F, \mu_l^{\tens 3}) $의 모든 원소는 symbol이 되는가?
• RQ2 $ H^3(F, \mu_l^{\tens 3}) $의 계열이 $ H^2(F, \mu_l^{\tens 2}) $의 고정된 symbol과 $ H^1(F, \mu_l) $의 계열의 cup 곱으로 표현되는 데 대해 국소-전역 원리를 확립할 수 있는가?
• RQ3 특성 $ \neq 2 $인 유한체 위의 표면 위의 콘릭 피브레이션에 대해 $ H^3_{nr}(K(C)/k, \mu_n^{\tens 2}) $의 비분기 코homology 군이 0이 되는가?
• RQ4 양의 특성의 전역체 위의 곡선 위의 콘릭 피브레이션의 일반성 섹션에서, 1차 수의의 존재에 대한 브라우어-마니ン 장벽이 유일한 장벽인가?
• RQ5 cup 곱에 대한 국소-전역 원리가, 일부 3차원 다양체 $ Y $에 대해 사이클 맵 $ CH^2(Y) \otimes \mathbb{Z}_l \to H^4(Y, \mathbb{Z}_l(2)) $의 전사성을 암시하는가?

주요 결과

• 함수체 $ F $가 유한체 위의 표면의 함수체이고 $ F $가 원시 $ l $-근을 포함할 경우, $ H^3(F, \mu_l^{\tens 3}) $의 모든 원소는 symbol이며, 이는 기존의 $ l=2 $에 대한 결과를 일반화한다.
• 특성 $ \neq 2 $인 유한체 $ k $ 위의 매끄러운 표면 $ X $ 위의 콘릭 피브레이션 $ Y \to X $에 대해, 비분기 코homology 군 $ H^3_{nr}(K(C)/k, \mu_n^{\tens 2}) $는 0이다.
• 특성 $ \neq 2 $인 유한체 위의 룰러 표면 위의 콘릭 피브레이션인 매끄러운 사영 3차원 다양체 $ Y $에 대해 사이클 맵 $ CH^2(Y) \otimes \mathbb{Z}_l \to H^4(Y, \mathbb{Z}_l(2)) $는 전사이다.
• 적절한 조건 하에서, 양의 특성의 전역체 위의 곡선 위의 콘릭 피브레이션의 일반성 섹션에서 1차 수의의 존재에 대한 브라우어-마니ン 장벽이 유일한 장벽이다.
• cup 곱에 대한 국소-전역 원리에 따르면, $ \zeta \in H^3(K, \mu_l^{\tens 3}) $가 국소적으로 고정된 symbol $ \alpha \in H^2(K, \mu_l^{\tens 2}) $와 $ H^1(K, \mu_l) $의 계열의 cup 곱으로 표현될 경우, 전역적으로도 그러한 cup 곱으로 표현된다.
• 증명은 국소체 위에서 특정 2차형식의 등방성과 약한 근사법을 이용하여 국소 데이터로부터 전역 해를 구성하는 데 의존한다.