Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

기술 요약: 표수 $p$에서의 $p$-주기 브라우어-마냉 장애(Brauer–Manin Obstruction)에 관한 이분법

문제 정의
본 논문은 표수 $p > 0$인 전역 함수체(global function field) $k$ 위의 매끄러운, 사영적, 기하학적 정역(geometrically integral) 다양체 $X$에 대한 브라우어-마냉 장애의 거동을 조사한다. 구체적으로, 어떤 장소(place) $v$가 $p$-주기 브라우어-마냉 장애에 대해 "잠재적으로 관련이 있는지(potentially relevant)"를 다룬다. 장소 $v$는 유한 확장 $L/k$, $v$ 위의 $L$의 장소 $w$, 그리고 원소 $A \in \text{Br}(X_L)$가 존재하여 평가 사상 $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$가 비상수(non-constant)인 경우, 잠재적으로 관련이 있다고 정의된다.

이 연구는 수체(number field) 사례(Bright와 Newton; Ambrosi, Newton, Pagano)의 최근 결과들에 의해 동기 부여되었다. 해당 결과들은 만약 $H^0(X, \Omega^2) \neq 0$이면 거의 모든 장소가 잠재적으로 관련이 있음을 보여준다. 저자들은 양의 표수에서 무닐포텐트(unipotent) 부분의 브라우어 군의 역할을 고려하여, 이와 유사한 이분법이 존재하는지 결정하고자 한다.

수학적 프레임워크 및 방법론
분석은 기하학적 브라우어 군 $\text{Br}(X_{\bar{k}})[p^\infty]$의 $p$-주기 토션 부분군의 구조에 의존한다. Milne과 Serre에 따라, 이 군을 가분 부분군(divisible subgroup)으로 나눈 몫은 준 대수적 군(quasi-algebraic group) $G_X$의 $\bar{k}$-점들과 동일시된다. 이 군 $G_X$는 유한 에탈(finite étale) 군 $D_X$에 의해 매끄러운 연결된 무닐포텐트 군 $U_X$가 확장된 형태이다. 저자들은 $U_X$를 $X$의 **무닐포텐트 브라우어 군(unipotent Brauer group)**으로 정의한다.

방법론은 다음의 두 가지 주요 기술적 도구를 결합한다:

1. 평탄 코호몰로지의 표현 가능성(Representability of Flat Cohomology): 본 논문은 다양체 $X$의 퍼짐(spreading out) $\pi: \mathcal{X} \to C$와 관련된 평탄 코호몰로지 층(flat cohomology sheaves) $R^q\pi_*\mu_{p^n}$에 대한 Bragg와 Olsson [BO]의 일반적 표현 가능성 결과를 활용한다.
2. 평가 필트레이션(Evaluation Filtration): $U_X \neq 0$인 경우, 저자들은 등표수 $p$인 국소 브라우어 군에 대한 Kato의 필트레이션에 관한 Krishna와 Majumder [KM]의 최근 결과들을 사용한다. 이 필트레이션은 비상수 평가 사상을 생성하는 브라우어 군의 원소들을 특징짓는 것을 허용한다.

증명은 $k$를 함수체로 갖는 곡선 $C$ 위에 대한 $X$의 매끄러운 모델 $\pi: \mathcal{X} \to C$를 구성하고, $C$ 위의 층 $R^2\pi_*\mu_{p^n}$ 및 $R^3\pi_*\mu_{p^n}$의 거동을 분석하는 과정을 포함한다. $U_X$의 차원은 $X_{\bar{k}}$의 결정 코호몰로지(crystalline cohomology) 그룹들의 기울기(slopes)와 관련이 있다.

주요 기여 및 결과
중심 결과는 무닐포텐트 브라우어 군 $U_X$의 소멸 여부에 기초한 이분법이다:

• 정리 A (i): 만약 $U_X = 0$이고 Picard 스킴이 $p$-토션이 없는 경우(p-torsion free), $p$-주기 브라우어-마냉 장애에 잠재적으로 관련 있는 $k$의 장소는 유한히 많다. 이 경우, 잠재적으로 관련 있는 장소의 집합은 특정 매끄러운 퍼짐 $\pi: \mathcal{X} \to C$가 $R^2\pi_*\mu_p$는 유한 평탄 군 스킴이고 $R^3\pi_*\mu_p$는 아핀 군 스킴이라는 성질을 갖지 못하는 장소들의 집합 내에 포함된다.
• 정리 A (ii): 만 if $U_X \neq 0$이면, 거의 모든 $k$의 장소가 $p$-주기 브라우어-마냉 장애에 잠재적으로 관련이 있다. 증명은 적절한 모델의 서포트(support)에 있는 임의의 장소 $v$에 대하여, 무닐포텐트 군 스킴 $R^2\pi_*\mu_p$의 비자명성을 이용함으로써 비상수 평가 사상을 갖는 브라우어 클래스를 구성할 수 있음을 보여준다.

따름정리 및 특수 사례:

• 따름정리 B: $p$-주기 결과와 알려진 $\ell$-주기 결과($\ell \neq p$)를 결합하면, $U_X = 0$이고 Picard 스킴이 토션이 없는 경우, 전체 브라우어-마냉 장애에 관련 있는 장소는 유한하다.
• 상수 다양체 (정리 C): $X$가 유한체 $\mathbb{F}$ 위에서 정의된 경우 (즉, $k$ 위의 상수 다양체인 경우):
  • $U_X = 0$이고 Picard 스킴이 토션이 없는 경우, 브라우어-마냉 페어링은 항등적으로 0이다.
  • $U_X \neq 0$인 경우, 모든 장소가 잠재적으로 관련이 있다.
• 기하학적으로 $p$-토션이 없는 브라우어 군 (Proposition 4.1): 만약 $\text{Br}(X_{\bar{k}})[p^\infty] = 0$이면 (이는 $U_X=0$을 함의함), $X$가 좋은 환원(good reduction)을 갖는 모든 장소는 잠재적으로 관련이 있지 않다. 저자들은 이러한 조건을 만족하는 비이소트로피컬(non-isotrivial) K3 곡면의 예시를 제공하여, 이 경우가 상수 다양체 케이스와 구별됨을 보여준다.

의의 및 주장
본 논문은 양의 표수에서 무닐포텐트 브라우어 군의 존재 여부에 의해 주도되는, 브라우어-마냉 장애의 거동에 관한 근본적인 이분법을 확립했다고 주장한다.

• $U_X = 0$일 때, 장애는 $p$-주기 부분을 통해 하세 원리(Hasse principle)를 방해할 수 있는 장소가 유한한 집합에 불과하다는 점에서 "작다(small)".
• $U_X \neq 0$일 때, 장애는 거의 모든 장소가 잠재적으로 관련이 있다는 점에서 "크다(large)".

저자들은 증명에 필요한 곡선 $C$의 존재가 Bragg-Olsson에 의해 보장되지만, 상수 다양체나 좋은 환원을 갖는 경우와 같은 특정 사례를 제외하고는 예외적인 장소의 집합을 명시적으로 결정하는 것이 일반적으로 어렵다는 점을 언급한다. 이 연구는 브라우어-마냉 장애에 대한 이해를 수체에서 전역 함수체로 확장하며, 양의 표수에서 무닐포텐트 현상이 수행하는 독특한 역할을 강조한다.