[논문 리뷰] Universal torsors and values of quadratic polynomials represented by norms

Ulrich Derenthal, Arne Smeets외 1명|arXiv (Cornell University)|2012. 02. 16.

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

한 줄 요약

이 논문은 수체의 4차 확장에서의 노름으로 표현된 이차 다항식을 통해 정의된 아핀 다양체에 대한 하세 원리와 약한 근사화의 성립을 조사한다. 보편 토르서와 브라우어-만인 장벽 기법을 사용하여, 확장에서 분해되는 기약 이차 다항식에 대해 하세 원리와 약한 근사화를 증명하고, ℚ 위에서 브라우어-만인 장벽이 유일한 장벽임을 보이며, 브라우어 군이 비자명할 경우 약한 근사화에 대한 구체적인 반례를 제시한다.

ABSTRACT

Let $K/k$ be an extension of number fields, and let $P(t)$ be a quadratic polynomial over $k$. Let $X$ be the affine variety defined by $P(t) = N_{K/k}(\mathbf{z})$. We study the Hasse principle and weak approximation for $X$ in three cases. For $[K:k]=4$ and $P(t)$ irreducible over $k$ and split in $K$, we prove the Hasse principle and weak approximation. For $k=\mathbb{Q}$ with arbitrary $K$, we show that the Brauer-Manin obstruction to the Hasse principle and weak approximation is the only one. For $[K:k]=4$ and $P(t)$ irreducible over $k$, we determine the Brauer group of smooth proper models of $X$. In a case where it is non-trivial, we exhibit a counterexample to weak approximation.

연구 동기 및 목표

• P(t) = N_{K/k}(z)로 정의된 다양체에 대해, P(t)가 이차 다항식이고 K/k가 4차 확장일 때 하세 원리와 약한 근사화가 성립하는 조건을 규명하는 것.
• k = ℚ이고 K가 임의의 수체일 때, 하세 원리와 약한 근사화에 대한 브라우어-만인 장벽을 분석하는 것.
• K/k가 4차이고 P(t)가 k 위에서 기약일 경우, 이러한 다양체의 스무스 완전 모델의 브라우어 군을 계산하는 것.
• 비자명한 브라우어 군 원소로부터 기인하는 약한 근사화의 반례를 명시적으로 구성하는 것.

제안 방법

• 다양체 X의 열린 부분집합 위의 유리점들을 매개변수화하기 위해 보편 토르서를 사용하여 내림내림 기법을 가능하게 한다.
• X를 쌍곡선 위로의 분할에서 기저와 섬유에 하세-민코프스키 정리를 적용하여, 분해되는 기약 이차 다항식에 대해 하세 원리와 약한 근사화를 증명한다.
• 콜리에-테렌 및 산수의 내림내림 방법을 적용하여 X 위의 유리점들을 토르서 위의 정수점들과 연결하고, 브라운닝과 히스-브라운의 해석적 수론 기법을 활용한다.
• 갈루아 코hom로와 잔여 사상 등을 사용하여 스무스 완전 모델의 브라우어 군을 계산하며, 특히 Br(X^c)/Br₀(X^c)의 구조를 분석한다.
• 컵 곱과 국소체에서의 노름 잔여를 통해, 국소적 불변량을 계산하고 애드레릭 점을 명시적으로 구성한다.
• 헤네르의 보조정리와 국소 클래스 체계 이론을 사용하여, 특히 ℚ(√[4]{17}) 확장에서 17에서의 불변량이 비자명함을 검증한다.

실험 결과

연구 질문

• RQ1 P(t)가 기약 이차 다항식이고 [K:k] = 4일 때, P(t) = N_{K/k}(z) 방정식에 하세 원리가 성립하는 조건은 무엇인가?
• RQ2 k = ℚ이고 K가 임의의 수체일 때, 하세 원리와 약한 근사화에 대한 브라우어-만인 장벽이 유일한 장벽인가?
• RQ3 K/k가 4차이고 P(t)가 k 위에서 기약일 경우, X의 스무스 완전 모델의 브라우어 군의 구조는 무엇인가?
• RQ4 비자명한 브라우어 군 원소가 이러한 다양체에서 약한 근사화의 실패를 초래할 수 있는가?
• RQ5 브라우어-만인 장벽의 비자명성을 입증하기 위해 국소 불변량을 어떻게 명시적으로 계산할 수 있는가?

주요 결과

• P(t)가 k 위에서 기약이고 K에서 분해될 경우, 임의의 수체 k와 [K:k] = 4일 때, P(t) = N_{K/k}(z)로 정의된 X에 대해 하세 원리와 약한 근사화가 성립한다.
• ℚ 위에서, 임의의 K와 이차 P(t)에 대해 하세 원리와 약한 근사화에 대한 브라우어-만인 장벽이 유일한 장벽이다.
• K/k가 4차이고 P(t)가 k = ℚ 위에서 기약일 경우, 스무스 완전 모델의 브라우어 군은 특정 경우에 비자명하며, 이는 약한 근사화의 실패로 이어진다.
• K = ℚ(√[4]{17})과 P(t) = t² + 1을 사용하여 약한 근사화의 구체적 반례를 구성하였으며, 갈루아 코호몰로지 클래스로부터 기인한 비자명한 브라우어 클래스가 존재한다.
• 적정점 (7, z₁₇)에서 v = 17에서의 국소 불변량은 비자명하며, (0,1)에서는 0이 된다. 이는 브라우어-만인 장벽이 비자명하다는 것을 증명한다.
• 17 모듈로에서 9가 제곱근이 아닌 것으로부터, (7−α)²가 ℚ₁₇(√[4]{17})/ℚ₁₇에서 노름이 아님을 확인함으로써 장벽의 비자명성을 입증한다.