Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

기술 요약: 동종 공간에 대한 대수적 브라우어-마냉 장애의 불충분성

문제 제기
본 논문은 유리 대수 다양체(rational varieties) 상의 유리 점(rational points)에 대한 하세 원리(Hasse principle, 국소-전역 원리)의 실패 문제를 다룬다. 구체적으로, 마닌(Manin)이 도입한 코호몰로지 메커니는 연결된 선형 대수 군의 동종 공간(homogeneous spaces)에 대해 브라우어-마냉 장애(Brauer–Manin obstruction)가 충분한지를 조사한다.

브라우어-마냉 장애의 충분성은 "온건한(tame)" 기하학을 가진 다양체(예: 기하학적으로 유리 연결된 다양체)나 연결되거나 가환인 안정자(stabilizer)를 가진 동종 공간의 경우에는 확립되어 있으나, 유한 비가환 안정자의 경우는 여전히 미해결 상태로 남아 있다. Demarche, Lucchini Arteche, Neftin, Demeio, Lagarde의 선행 연구들은 유한 상수 메타벨(metabelian) 안정자의 경우 대수적 브라우어-마냉 장애가 약한 근사(weak approximation)를 설명하기에 불충분함을 보여주었다. 그러나 대수적 장애가 하세 원리 자체의 실패를 설명하지 못하는 동종 공간의 존재 여부는 알려진 바 없었다. 본 논문은 이러한 반례를 구축하는 것을 목표로 한다.

방법론
저자들은 수체 $k$ 위에서 원시 $p$제곱근을 포함하는 특수 선형 군 $SL_n$의 동종 공간 $X$를 사용하여 구체적인 반례를 구축한다. 이 구축은 Borovoi와 Kunyavskii가 개발하고 저자가 이전 연구[Lin24]에서 정교화한 기법에 의존한다.

1. 군 구축: 동종 공간의 기하학적 안정자 $F$는 $M \oplus M$의 $Z$에 의한 중심 확장(central extension)으로 구축된다. 여기서 $M = \mathbb{F}_p^d$이고 $Z$는 $M \otimes M$의 몫이다. 이 확장은 전사적이고 비퇴화적인 준동형 사상 $\phi: M \otimes M \to Z$를 통해 정의된다.
2. 수치 데이터: 저자들은 $d = [k:\mathbb{Q}] + 3$을 선택하고, 생성원을 항등 행렬 $Id$로 매핑함으로써$A \otimes A \to M \otimes M$(여기서$A=\mathbb{F}_p$)의 포함 관계를 정의한다. 따라서 군$F$는 멱영 계급(nilpotency class) 2를 가지며 차수는 $p^{d^2+2d-1}$이다.
3. 코호몰로지 설정: 전역 클래스 필드 이론을 사용하여 클래스 $\beta \in H^2(k, Z)$를 구축한다. 이 클래스는 모든 곳(place)에서 소멸하지만, 서로 다른 유한한 곳들의 집합 $\{v_1, \dots, v_d\}$에서는 소멸하지 않으며, 이들의 국소 불변량(local invariants)은 $\phi$에 의한 계수 $e_i \otimes e_i$의 이미지에 대응한다.
4. 국소 대 전역 분석:
   • 국소 존재성: 테이트의 국소 쌍대성(Tate's local duality)과 $H^1(k_v, \mathbb{F}_p)$의 계수가 $p$를 나누지 않는 곳들에 대해 작다(2로 유계됨)는 사실을 이용하여, 저자들은 모든 곳 $v$에 대해 방정식 $\beta|_{k_v} = \phi^*(x_v \cup y_v)$를 만족하는 국소 해 $x_v, y_v$가 존재함을 보인다. 이는 모든 $v$에 대해 $X(k_v) \neq \emptyset$임을 보장한다.
   • 전역 부존재성: 저자들은 전역 해가 존재하지 않음을 증명한다. 저자들은 $H^1(k_v, \mathbb{F}_p)$의 차원에서 유도된 행렬 $A_v = \text{Inv}_v(x \cup y)$의 계수에 대한 균등한 상한을 활용한다. 충분히 큰 $d$에 대해, 국소 제약 조건은 특정 곳들에서 $A_v$가 정확히 $e_i \otimes e_i$가 되고 그 외의 곳에서는 $0$이 되도록 강제한다. 국소 불변량들을 합산하면 항등 행렬$Id$가 되는데, 이는$Id$가$0$이 아니라는 점에서 전역 상호성 법칙(국소 불변량의 합이$0$이어야 함을 요구함)에 모순된다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과(정리 1)를 확립한다:

• 반례 구축: $k$ 위의 $SL_n$의 동종 공간 $X$로서, 유한 $p$-군 안정자(멱영 계급 2)를 가지며 다음을 만족하는 $X$가 존재한다:

  1. $X$는 모든 완비체 $k_v$에서 점을 갖는다 (국소 가해성).
  2. $X$는 유리 점을 갖지 않는다 ($X(k) = \emptyset$).
  3. 비매립 대수적 브라우어 군은 $Br_{nr,1}(X) = Br_0(X)$를 만족한다.

• 초월적 장애: 대수적 부분의 브라우어-마냉 장애가 자명(상수 부분과 동일)하므로, 하세 원리의 실패는 대수적 클래스에 의해 설명될 수 없다. 저자들은 전체 비매립 브라우어 군 $Br_{nr}(X)$가 상수 항을 제외하고 $\mathbb{Z}/p$와 동형임을 보여준다. 선형 형식 $L: M \otimes M \to \mathbb{F}_p$를 사용하여 명시적인 초월적 클래스 $A_L \in Br_{nr}(X)$를 구축함으로써, 이 클래스가 다음과 같이 비제로 브라우어-마냉 쌍을 생성함을 보여준다:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  이는 하세 원리의 실패가 초월적 브라우어-마냉 장애에 의해 설명됨을 확인시켜 준다.

의의
본 논문은 대수적 장애가 불충분하면서도 초월적 브라우어-마냉 장애로 인해 하세 원리가 실패하는 연결된 선형 대수 군의 동종 공간에 대한 첫 번째 사례를 제공한다. 이 결과는 유한 비가환 안정자를 가진 동종 공간의 산술에서 초월적 클래스를 고려하는 것이 필수적임을 강조한다. 이는 해당 공간들에 대해 "온건한" 기하학적 추측(종종 아벨 쌍대성에 의존하는)이 충분하지 않으며, 유리 점을 제어하기 위해서는 초월적 요소를 포함한 브라우어-마냉 장애의 전체적인 힘이 필요함을 확인시켜 준다. 이 방법은 안정자의 멱영 계수, 국소 코호몰로지 그룹의 계수, 그리고 전역 상호성 법칙 사이의 상호작용을 활용한다.