[논문 리뷰] Pathologies of the Brauer-Manin obstruction

Jean-Louis Colliot-Thélène, Ambrus Pál외 1명|arXiv (Cornell University)|2013. 10. 18.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 수체 위의 대수다양체에서 유리점에 대한 하스 원리와 약한 근사에 대한 명백한 반례를 구축하며, 매끄러운 섬유가 하스 원리를 만족하더라도 브라우어-마니ン 장벽이 유리점의 부재를 탐지하지 못할 수 있음을 보여준다. 단 하나의 유리점을 가진 기저 다양체와 브라우어 군 기법을 활용한 아델리ック 점의 철저한 분석을 통해, 브라우어-마니ン 집합은 비어 있지 않지만 유리점 집합은 공집일 수 있음을 입증한다. 특히, 기저가 유리점 집합이 자명한 곡선 위의 콘 및 양차 곡면 다발의 경우에 이와 같은 현상이 발생한다.

ABSTRACT

We construct a conic bundle over an elliptic curve over a real quadratic field that is a counterexample to the Hasse principle not explained by the \'etale Brauer-Manin obstruction. We also give simple examples of threefolds with the same property that are families of 2-dimensional quadrics, and discuss some other examples and general properties of the Brauer-Manin obstruction.

연구 동기 및 목표

• 유리점이 없지만 브라우어-마니ン 집합은 비어 있지 않은 수체 위의 다양체를 구성하는 것.
• 특정 콘 다발 및 양차 곡면 다발에서 하스 원리의 실패를 설명하는 데 브라우어-마니ン 장벽이 부적절할 수 있음을 보여주는 것.
• 이러한 다발에서 매끄러운 섬유가 하스 원리와 약한 근사를 만족하더라도 전체 다양체가 유리점을 가지지 않는다는 것을 보여주는 것.
• 기저에서 유리점 집합이 자명한 기하학적으로 유리 다양체의 맥락에서 브라우어-마니ン 장벽의 한계를 탐구하는 것.

제안 방법

• 수체 k 위의 기저 다양체 B를 선택하여 B(k)가 정확히 하나의 k-유리점을 가지며, B(Ak)Br에서 밀도가 없도록 보장하는 것.
• 유일한 k-점 위의 섬유가 전역적으로는 유리점을 가지지 않지만 국소적으로는 모든 곳에 점을 가지는 전성 사상 f: X → B를 구성하는 것.
• Br(B) → Br(X)의 전성으로 인해 X(Ak)Br에 아델리크 점이 존재하도록 보장하는 것.
• 아르히메데스 및 비아르히메데스 자리에서의 변형 기법을 활용하여 아델리크 점을 유지하면서 그들의 브라우어-마니ン 클래스를 보존하는 것.
• 탄성 곡선의 토르션 점에서 갈루아 군의 이미지가 큰 성질을 활용하여 섬유의 산술을 제어하는 것.
• 브라우어 군의 순수성 정리와 샤파로의 보조정리를 활용하여 잔여 조건을 분석하고, 브라우어 군 사상이 전성임을 보장하는 것.

실험 결과

연구 질문

• RQ1 기저의 유리점 집합이 자명한 곡선 위의 콘 또는 양차 곡면 다발에서, 브라우어-마니ン 장벽이 유리점의 부재를 탐지하지 못할 수 있는가?
• RQ2 매끄러운 섬유가 하스 원리와 약한 근사를 만족하더라도 전체 다양체가 유리점을 가지지 않는 삼차다양체나 표면의 예가 존재하는가?
• RQ3 에테일 브라우어-마니ン 집합이 비어 있지 않지만 유리점 집합은 공집일 수 있는가, 즉 매끄러운 섬유가 하스 원리를 만족하더라도 말이다?
• RQ4 고도수 또는 기하학적으로 유리인 다발 가닥의 경우, 하스 원리에 대한 반례를 설명하는 데 브라우어-마니ン 장벽이 실패하는가?

주요 결과

• 모든 수체 k에 대해, 정확히 하나의 k-점만을 가진 곡선 C에 의해 매개화되는 2차원 양차 곡면의 가닥인 삼차다양체 X를 구성하였으며, X(k) = ∅ 이지만 X(Ak)´et,Br ≠ ∅ 임을 보였다.
• 실수 이차체 k 위의 타원곡선 E에 대한 콘 다발 표면 X → E 에서, E(k) = {0} 이면, X(k) = ∅ 이지만 X(Ak)´et,Br ≠ ∅ 인 예를 구성하였다.
• 작은 기하학적 유리 섬유가 하스 원리와 약한 근사를 만족하더라도, 기저가 기하학적으로 유리인 곡선 위의 콘 또는 양차 곡면 다발에서 하스 원리의 실패를 설명하는 데 브라우어-마니ン 장벽이 실패할 수 있음을 보였다.
• 기저가 하나의 k-점을 가진 곡선 위에 기하학적으로 유리 표면으로 분해되는 삼차다양체의 경우, 섬유는 특이점이 있으며 X(k) = ∅ 이지만 X(Ak)´et,Br ≠ ∅ 이다.
• 유한한 샤파레비치-타이트 그룹을 가진 타원곡선 E 위의 시에베르트-브라우어 스킴 f: X → E 에 대해, X(Ak)Br ≠ ∅ 이면 X(k) ≠ ∅ 이다. 이는 이 경우 장벽이 충분함을 보여준다.
• 브라우어-마니ン 집합이 비어 있지 않더라도, 아델리크 위상에서의 위상적 장벽으로 인해 X(k)가 X(Ak)Br에 밀도가 없을 수 있음을 입증하였다.