[논문 리뷰] Hasse Principle for Simply Connected Groups over Function Fields of Surfaces

Yong Hu|arXiv (Cornell University)|2012. 03. 05.

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

한 줄 요약

이 논문은 유한 잔여체를 가진 $p$-진 표면과 국소 헨젤 표면의 함수체 위에서 단순 연결된 군의 유형 $^2A_n^*$, $B_n$, 및 $D_n^*$에 대해 하스 원리를 증명한다. 로스트 불변량 이론, 코homological 기법, 그리고 헤르미트 형식에 대한 국소-전역 원리를 사용하여, 모든 완비화에서 유리점이 존재하는 $G$-torsor는 기저 체 위에도 유리점을 가져야 한다고 확립한다. 이는 콜리오-테렌-파리마라-수레시의 추측을 비-준비합성 경우로 확장한다.

ABSTRACT

Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Thélène, Parimala and Suresh predicts that if for every discrete valuation $v$ of $K$, $X$ has a point over the completion $K_v$, then $X$ has a $K$-rational point. The main result of this paper is the proof of this conjecture for groups of some classical types. In particular, we prove the conjecture when $G$ is of one of the following types: (1) ${}^2A_n^*$, i.e. $G=\mathbf{SU}(h)$ is the special unitary group of some hermitian form $h$ over a pair $(D, τ)$, where $D$ is a central division algebra of square-free index over a quadratic extension $L$ of $K$ and $τ$ is an involution of the second kind on $D$ such that $L^τ=K$; (2) $B_n$, i.e., $G=\mathbf{Spin}(q)$ is the spinor group of quadratic form of odd dimension over $K$; (3) $D_n^*$, i.e., $G=\mathbf{Spin}(h)$ is the spinor group of a hermitian form $h$ over a quaternion $K$-algebra $D$ with an orthogonal involution. Our method actually yields a parallel local-global result over the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field, under suitable assumption on the residue characteristic.

연구 동기 및 목표

• 함수체가 $p$-진 표면과 국소 헨젤 표면인 경우, $G$-torsor에 대해 하스 원리를 증명한다.
• 콜리오-테렌-파리마라-수레시의 하스 원리 추측을 고전적 유형의 비-준비합성 군으로 확장한다.
• 중앙 분할 대수에 대한 호모로지와 함께 유니타리 군에 대한 국소-전역 원리를 수립한다.
• 특정 군 유형에 대해 자연스러운 사상 $ H^1(K, G) \to \prod_v H^1(K_v, G) $ 의 핵이 자명하다는 것을 확인한다.
• 유한 잔여체를 가진 고차원 국소체에 적용 가능한 코homological 도구를 개발한다.

제안 방법

• 특정 경우에서의 단사성에 기반하여 $ H^3(K, \mathbb{Q}/\mathbb{Z}(2)) $ 에서 코homology 클래스의 자명성을 탐지하기 위해 로스트 불변량 사상을 활용한다.
• 코homological 정확열 $ \mathbf{SU}(h) \to \mathbf{U}(h) \to R^1_{L/K}\mathbb{G}_m $ 을 적용하여 $ H^1 $-클래스를 헤르미트 형식과 연결한다.
• 모리타 이론과 홀수 차수 확장에 의한 기저 변경을 사용하여, 홀수 지수 또는 분해된 대수로의 경우로 감소시킨다.
• 홀수 차수 확장 하에서 제약 사상 $ W(D, \tau) \to W(D \otimes_L L' , \tau') $ 의 단사성을 활용하여 형식의 자명성을 내림내린다.
• 고차원 클래스 체계 이론과 카토–사이토의 결과를 적용하여 국소 조건을 통제한다.
• 국소적으로 초평면인 헤르미트 형식이 자명한 판별식과 로스트 불변량을 가진다면, 전적으로 자명하다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 함수체가 $p$-진 표면인 경우, $ G = \mathbf{SU}(h) $, $ \mathbf{Spin}(q) $, 및 $ \mathbf{Spin}(h) $ 에 대해 하스 원리가 성립하는가?
• RQ2 비-준비합성 단순 연결 군에 대해 고차원 국소체 위에서 하스 원리를 확립할 수 있는가?
• RQ3 모든 완비화에서 $G$-torsor가 자명한 경우, 기저 체 위에 유리점이 존재하는가?
• RQ4 헤르미트 형식에 대한 로스트 불변량과 코homological 기법은 분할 대수에 대한 호모로지와 어떻게 상호작용하는가?
• RQ5 잔여 특성은 이러한 군에 대해 하스 원리의 타당성에 어떤 역할을 하는가?

주요 결과

• 함수체가 $p$-진 산술 표면과 유한 잔여체를 가진 국소 헨젤 표면인 경우, $ G = \mathbf{SU}(h) $ 에 대해 하스 원리가 성립한다. 이때 $ \mathrm{ind}(D) $ 는 제곱자유여야 하며, $ \mathrm{ind}(D) $ 가 짝수이면 $ p \neq 2 $ 이다.
• 홀수 차원 이차형식에 대해 $ G = \mathbf{Spin}(q) $ 에 대해 같은 필드 조건 하에서 하스 원리가 증명된다.
• 오р토곤럴 호모로지가 있는 허수 대수 위에서 $ G = \mathbf{Spin}(h) $ 에 대해 하스 원리가 성립한다. 이때 $ p \nmid \mathrm{ind}(D) $ 이고 잔여 특성이 2가 아니다.
• 모든 이산 비율에서 국소적으로 자명한 $G$-torsor의 로스트 불변량은 자명하다. 이는 주어진 군 유형에 대해 전역 자명성을 암시한다.
• 짝수 차수, 자명한 판별식, 자명한 로스트 불변량을 가진 국소적으로 초평면인 헤르미트 형식은 $ (D, \tau) $ 위에서 전적으로 초평면이며, 이에 대응하는 코homology 클래스는 자명하다.
• 지정된 군 유형에 대해 자연스러운 사상 $ H^1(K, \mathbf{SU}(h)) \to \prod_v H^1(K_v, \mathbf{SU}(h)) $ 의 핵은 자명하며, 이는 하스 원리의 확인을 의미한다.