[논문 리뷰] Failure of the Hasse principle on general K3 surfaces

Brendan Hassett, Anthony Várilly‐Alvarado|arXiv (Cornell University)|2011. 10. 08.

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

한 줄 요약

이 논문은 ℚ 위의 K3 곡면에서 해스 원리에 대한 전이적 브라우어 클래스가 차단하는 첫 번째 알려진 예를 구성한다. (2,2)-초곡면에서 분지하는 ℙ²×ℙ²의 이중 쌍대 덮개를 통해, 기하적 피카르 계수 1인 2차 K3 곡면을 제시하며, 모든 유한 소수에서 분지하지 않지만 실수 자리에서 분지하는 비자명한 2차 토크 브라우어 클래스를 갖는다. 이는 유리점에 대한 브라우어-마닌 장애를 유도한다.

ABSTRACT

We show that transcendental elements of the Brauer group of an algebraic surface can obstruct the Hasse principle. We construct a general K3 surface X of degree 2 over Q, together with a two-torsion Brauer class A that is unramified at every finite prime, but ramifies at real points of X. Motivated by Hodge theory, the pair (X,A) is constructed from a double cover of P^2 x P^2 ramified over a hypersurface of bi-degree (2,2).

연구 동기 및 목표

• 기하학적 수학에서 오랫동안 열려 있던 문제인, 대수적 곡면에서 전이적 브라우어 클래스가 해스 원리를 차단할 수 있음을 보여주기 위해.
• 기하적 피카르 계수가 1인 ℚ 위의 2차 K3 곡면을 구성하여, 브라우어 군이 완전히 대수적이지 않음을 보장하기 위해.
• 모든 유한 자리에서 분지하지 않지만 실수 자리에서 분지하는 비자명한 2차 토크 브라우어 클래스를 명시적으로 실현하여, 아델리안 점들에 대한 장애를 유도하기 위해.
• 보편적 호모로지 이론 기법을 활용하여 ℙ²×ℙ² 위의 (2,2)-초곡면에서의 이중 덮개를 통해 구체적인 기하학적 구성법을 제공하기 위해.
• 모든 자리(실수 자리 및 2-진 완비화 포함)에서의 국소 점 계산과 불변량을 통해 장애를 검증하기 위해.

제안 방법

• 정의 방정식의 행렬식 공식을 사용하여, 이중 덮개로서 bi-degree (2,2)인 초곡면에서 분지하는 ℙ²×ℙ²의 K3 곡면 X를 구성한다.
• 함수체 k(X) 위에서 (B²−4AD, A)의 허미션 대수를 정의하고, 정리 3.3를 통해 Br(X)에 있는 브라우어 클래스로 올리기 위해.
• Pic(𝑋̄) ≅ ℤ 이고 갈루아 작용이 자명하므로 H¹(ℚ, Pic(𝑋̄))의 자명성을 확인함으로써 브라우어 클래스가 전이적임을 보장한다.
• 자기다항식 기준을 사용하여 ℚ 및 𝔽₃ 위에서 관련 곡선 C₁의 미분 가능성 테스트를 수행하여 양호한 환원과 피카르 계수 1을 확인한다.
• [EJ08]의 알고리즘을 적용하여 𝔽₃ⁿ에서 점 수를 계산하고 기하적 피카르 수를 추정하며, 𝔽₃에서의 삼등각선이 존재하지 않음을 통해 계수 1을 확인한다.
• 모든 자리(∞ 및 p ≤ 22 포함)에서의 국소 해법 가능성과 악성 환원이 있는 자리에서의 브라우어 클래스 불변량을 검증하여 실수 자리에서 비자명한 장애가 있음을 보여준다.

실험 결과

연구 질문

• RQ1 전이적 브라우어 클래스는 대수적 곡면, 특히 K3 곡면에서 해스 원리를 차단할 수 있는가?
• RQ2 기하적 피카르 계수가 1이고, 모든 유한 소수에서 분지하지 않지만 실수 자리에서 분지하는 비자명한 브라우어 클래스를 갖는 ℚ 위의 2차 K3 곡면을 구성하는 것은 가능한가?
• RQ3 아델리안 점이 존재하더라도, 이러한 브라우어 클래스가 유리점에 대한 브라우어-마닌 장애를 유도할 수 있는가?
• RQ4 보신과 반 게멘의 호모로지 이론적 구성법을 어떻게 활용하여 타원적 필레이션 없이 K3 곡면 위에 명시적인 전이적 브라우어 클래스를 만들 수 있는가?
• RQ5 특히 실수 자리와 2-진 완비화에서 브라우어 클래스의 불변량을 검증하기 위해 어떤 계산 기법을 사용할 수 있는가?

주요 결과

• ℚ 위의 구성된 K3 곡면 X는 기하적 피카르 계수가 1이므로, Br(X)/Br₀(X)는 비자명하고 전이적 원소를 포함한다.
• Br(k(X)) 내의 브라우어 클래스 𝒜 = (B²−4AD, A)는 Br(X)에 비자명한 원소로 확장되며, H¹(ℚ, Pic(𝑋̄)) = 0 이므로 전이적임을 보인다.
• X(𝔸)는 비어 있지 않다. 즉, 모든 국소 점이 존재하지만, X(𝔸)^𝒜 = ∅ 이므로 브라우어-마닌 장애는 비자명하다.
• 브라우어 클래스는 모든 유한 소수에서 분지하지 않지만 실수 자리에서 분지하며, 이것이 장애의 핵심 요소이다.
• 계산적 검증을 통해 모든 p ≤ 22 및 p = ∞에서의 국소 해법 가능성과 실수 자리에서의 비자명한 불변량을 확인하였으며, 이는 장애를 보장한다.
• 곡면은 ℚ 및 𝔽₃에서 미분 가능하며, 𝔽₃에서의 삼등각선 부재와 𝔽₃ⁿ에서의 점 수 계산을 통해 기하적 피카르 계수 1이 확인된다.