[논문 리뷰] Local-global principles for homogeneous spaces over some two-dimensional geometric global fields

Diego Munguía Izquierdo, Giancarlo Lucchini Arteche|arXiv (Cornell University)|2021. 01. 20.

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

한 줄 요약

이 논문은 두 차원 기하학적 전역체—특히 C((x,y))의 유한 확장과 C((t)) 위의 함수체—에서 연결 또는 아벨리안 안정자군을 가진 동차 공간에 대한 국소-글로벌 원리의 실패를 설명하기 위해 고전적 Brauer–Manin 장벽이 부족하다는 것을 입증한다. 이를 해결하기 위해, 준자명 토리에 대한 토리스를 통한 내림내림과 Brauer–Manin을 조합한 개선된 장벽을 제안하며, 관련 사례에서 이것이 유일한 장벽임을 증명한다.

ABSTRACT

In this article, we study the obstructions to the local-global principle for homogeneous spaces with connected or abelian stabilizers over finite extensions of the field $\mathbb{C}((x,y))$ of Laurent series in two variables over the complex numbers and over function fields of curves over $\mathbb{C}((t))$. We give examples that prove that the usual Brauer-Manin obstruction is not enough to explain the failure of the local-global principle, and we then construct a variant of this obstruction using torsors under quasi-trivial tori which turns out to work. In the end of the article, we compare this new obstruction to the descent obstruction with respect to torsors under tori. For that purpose, we use a result on towers of torsors, that is of independent interest and therefore is proved in a separate appendix.

연구 동기 및 목표

• 두 차원 기하학적 전역체에서 연결 또는 아벨리안 안정자군을 가진 동차 공간에 대한 국소-글로벌 원리의 실패가 고전적 Brauer–Manin 장벽으로만 설명되는지 조사하기 위해.
• C((x,y)) 및 C((t)) 위의 함수체에서 SLn에 대한 동차 공간에 대해, 아델리안 점은 존재하지만 유리점은 없는 명시적 반례를 구성함으로써, 표준 Brauer–Manin 장벽이 이러한 맥락에서 부족함을 입증하기 위해.
• 준자명 토리에 대한 토리스를 통한 내림내림과 Brauer–Manin을 조합한 새로운 장벽을 개발하고, 그 효과성을 증명하기 위해.
• 일반 토리에 의한 고전적 내림내림 장벽과 이 새로운 장벽을 비교하여, 특정 조건 하에서 동치임을 보여주기 위해.
• Galois 코hom로지와 Picard 군을 사용한 토리스 타워의 표준적 구성법을 수립하며, 이는 별개의 관심사이다.

제안 방법

• C((x,y)) 및 C((t)) 위의 함수체에서 SLn에 대한 동차 공간에 대해, 토리스 안정자군을 가진 명시적 반례를 구성하여 아델리안 점은 존재하지만 유리점은 없는 경우를 보이며, Brauer–Manin 장벽이 부족함을 증명한다.
• 준자명 토리에 대한 토리스를 통한 내림내림 데이터와 Brauer–Manin 집합을 조합하여 새로운 장벽을 도입하며, Galois 내림내림을 사용하여 토리스 W → Z를 명시적으로 정의한다.
• [DLA19]의 결과를 적용하고, 군 스킴의 확장 1 → T → E → G → 1을 구성하며, 복합 사상 Z → X 가 E-토리스임을 보인다.
• 표준적 토리스 구성법과 Galois 내림내림을 사용하여, W(AK)Br(W)가 비어 있지 않음과 동시에 Z(K)가 비어 있지 않은 것이 동치임을 증명한다.
• 부록에서 증명된 토리스 타워의 핵심 결과를 활용하여, G-토리스 다음에 T-토리스가 오면, Pic(G) = 0 조건 하에서 E-토리스로 올라감을 보이며, 여기서 E는 T → E → G의 확장이다.
• 관련 Brauer 군 몫이 원칙적으로 유한하고 계산 가능함을 보이며, 알고리즘적으로는 효율적이지 않다.

실험 결과

연구 질문

• RQ1 두 차원 기하학적 전역체에서 연결 또는 아벨리안 안정자군을 가진 동차 공간에 대한 국소-글로벌 원리의 실패가 고전적 Brauer–Manin 장벽으로 충분히 설명될 수 있는가?
• RQ2 준자명 토리에 대한 토리스를 통한 내림내림과 Brauer–Manin을 조합한 개선된 장벽이 이러한 실패를 완전히 설명할 수 있는가?
• RQ3 이 새로운 장벽은 일반 토리에 의한 고전적 내림내림 장벽과 이 맥락에서 어떻게 비교되는가?
• RQ4 이러한 체수에서의 토리스 타워의 구조는 어떠한가? 그리고 표준적으로 구성될 수 있는가?
• RQ5 코호몰로지 차원 1의 점들 외의 추가 국소 조건을 통해 Brauer–Manin 장벽을 강화할 수 있는가?

주요 결과

• 논문은 C((x,y)) 및 C((t)) 위의 함수체에서 아델리안 점(즉, Z(AK)Br ≠ ∅)는 존재하지만 유리점은 없는 명시적 예를 구성함으로써, Brauer–Manin 장벽이 부족함을 증명한다.
• 준자명 토리에 대한 토리스를 통한 내림내림과 Brauer–Manin을 조합한 새로운 장벽이, 이러한 체수에서 기하학적 안정자군이 연결된 동차 공간에 대한 국소-글로벌 원리의 장벽으로서 유일한 장벽임을 증명한다.
• 준자명 토리 T에 대한 토리스 W → Z에 대해, Z(K) ≠ ∅와 W(AK)Br(W) ≠ ∅가 동치이며, Brauer 군 조건은 유한 부분몫에 국한된다.
• 저자들은 토리스 타워의 표준적 구성법을 수립한다: Pic(G) = 0 조건 하에서 G-토리스 다음에 T-토리스가 오면, 1 → T → E → G → 1의 확장 E에 대한 E-토리스로 올라간다.
• 이 새로운 장벽이, 내림내림 집합이 비어 있지 않은 조건 하에서 일반 토리에 대한 고전적 내림내림 장벽과 동치임을 보였다.
• 증명은 새로운 토리스 타워 결과에 기반하며, Pic(G) = 0 및 기하학적 정수성 조건 하에서 이러한 타워가 표준적으로 확장군 스킴 E로 올라감을 보였다.