[논문 리뷰] The u-invariant of the function fields of p-adic curves

R. Parimala, V. Suresh|arXiv (Cornell University)|2007. 08. 23.

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

한 줄 요약

이 논문은 비dyadic p-진 체 위의 곡선의 함수체 K의 u-불변량이 정확히 8임을 증명한다. 이는 K 위의 9개 이상의 변수를 가진 모든 이차형식이 비자명한 해를 가짐을 확인한다. 증명은 갈루아 코hom로지의 기호에 대한 국소-전역 원리와 p-진 함수체에서의 분기 구조에 기반하며, 중심 단순 대수와 비분기 코hom로지의 소멸에 관한 살트만의 결과를 바탕으로 한다.

ABSTRACT

The u-invariant of a field is the maximum dimension of ansiotropic quadratic forms over the field. It is an open question whether the u-invariant of function fields of p-aidc curves is 8. In this paper, we answer this question in the affirmative for function fields of non-dyadic p-adic curves.

연구 동기 및 목표

• p-진 곡선의 함수체의 u-불변량이 8인지 여부에 대한 열린 문제를 해결하기 위해.
• 이러한 체 위의 9개 이상의 변수를 가진 모든 이차형식이 비자명한 해를 가짐을 입증하기 위해.
• H³(K, μ₂)의 기호에 대한 국소-전역 원리가 지역 해를 전역 해로 올릴 수 있도록 보장하는 원리를 증명하기 위해.
• 비분기 코hom로지의 소멸과 p-진 갈루아 코hom로지의 구조를 활용하여 u-불변량을 제어하기 위해.
• 이전 결과에서 11개의 변수로도 등호가 성립함을 보였지만, 8이라는 날것의 경계를 증명함으로써 이를 확장하기 위해.

제안 방법

• H³(K, μ₂)의 기호에 대한 국소-전역 원리를 활용하여, 기호 ζ ∈ H³(K, μ₂)가 모든 이산 비율 v에서 α ∪ (h_v)로 분해된다면, 전역적으로 α ∪ (h)로 분해됨을 보였다.
• 모든 원소가 H²(K, μ₂)에 대해 최대 두 개의 기호의 합으로 표현됨을 보여주는 살트만의 결과를 적용하여, 이차형식의 복잡도를 제한하였다.
• Kato와 살트만의 핵심 입력자료인, K의 정칙 모델 X에 대해 비분기 코hom로지 H³_nr(K/X, ℤ/2ℤ(2))의 소멸을 활용하였다.
• 모든 고차원 1차원 점에서의 국소 조건을 만족하는 전역 원소 f, g, h ∈ K*를 구성하기 위해 약한 근사법을 사용하였다.
• 문제를 3중 Pfister 형식 φ가 〈1,f〉〈1,g〉〈1,h〉로 표현될 수 있음을 보이는 것으로 줄였다. 여기서 f(또는 g)는 주어진 이변수(또는 삼변수) 형식의 값이 되어야 한다.
• 이차형식 이론과 갈루아 코호몰로지 사이의 변환을 위해 e₃: I³(K) → H³(K, μ₂)의 동형을 적용하였다.

실험 결과

연구 질문

• RQ1 p ≠ 2일 때, p-진 곡선의 함수체 K의 u-불변량은 정확히 8인가?
• RQ2 H³(K, μ₂)의 모든 원소는 주어진 이변수 또는 삼변수 이차형식의 값인 f를 가진 기호 (f)·(g)·(h)로 표현될 수 있는가?
• RQ3 정칙 모델의 고차원 1차원 점에 중심을 둔 이산 비율에 대해 H³(K, μ₂)의 기호에 대한 국소-전역 원리가 성립하는가?
• RQ4 p-진 곡선의 함수체 위에서 소수 차수 중심 단순 대수의 분기 구조는 정확히 어떻게 되는가?
• RQ5 비분기 코호몰로지 H³_nr(K/X, ℤ/2ℤ(2))의 소멸이 K의 u-불변량을 어느 정도 제약하는가?

주요 결과

• 비dyadic p-진 체 위의 곡선의 함수체 K의 u-불변량은 정확히 8이다.
• K 위의 9개 이상의 변수를 가진 모든 이차형식은 비자명한 해를 가지며, 이는 경계의 날것임을 확인한다.
• K 위의 임의의 3중 Pfister 형식 φ와 임의의 이변수 이차형식 q₂에 대해, f, a, b ∈ K*가 존재하여 f가 q₂의 값이며, φ = 〈1,f〉〈1,a〉〈1,b〉로 표현된다.
• 임의의 3중 Pfister 형식 φ와 임의의 삼변수 이차형식 q₃에 대해, g, h ∈ K*가 존재하여 g가 q₃의 값이며, φ = 〈1,f〉〈1,g〉〈1,h〉로 표현된다.
• H³(K, μ₂)의 기호에 대한 국소-전역 원리가 성립한다: 모든 이산 비율 v에 대해 ζ = α ∪ (h_v) ∈ H³(K_v, μ₂)이면, 어떤 전역 h ∈ K*에 대해 ζ = α ∪ (h)이다.
• K의 임의의 정칙 프로젝티브 모델 X에 대해 비분기 코호몰로지 군 H³_nr(K/X, ℤ/2ℤ(2))는 소멸하며, 이는 증명에 핵심적이다.