On spectral sequences for semiabelian varieties over non-closed fields

기술적 요약: 비폐쇄체 위의 세미아벨리안 다양체에 대한 스펙트럼 순열에 관하여

문제 정의
본 논문은 비폐쇄체 $k$ 위의 대수적 다양체 $X$에 대하여 에탈 코호몰로지 복합체 $R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}_\ell)$의 구조를 조사한다. 델린(Deligne)의 분해 정리는 매끄러운 사영 다양체에 대해 유리수 에탈 코호몰로지 복합체가 개별 코호مول로지 군들의 직합과 준동형(quasi-isomorphic)임을 보장하지만, 이 성질은 정수 계수(integral coefficients)에 대해서는 실패한다. 이러한 실패는 호치홀드-세르(Hochschild–Serre) 스펙트럼 순열에서 나타난다:
$$E_2^{p,q} = H^p(k, H^q_{\text{ét}}(X_{k^s}, \mathbb{Z}_\ell)) \Rightarrow H^{p+q}_{\text{ét}}(X, \mathbb{Z}_\ell)$$
이 순열은 일반적으로 비제로(non-zero) 미분(differential)을 갖는다. 저자들은 세미아벨리안 다양체(아벨 다양체와 토러스의 확장)에 대해 첫 번째로 잠재적인 비제로 미분을 정밀하게 기술하고, 이러한 미분이 소멸하거나 비제로가 되는 조건을 결정하는 것을 목표로 한다.

방법론
저자들은 유도 범주(derived category) 기법, 군 코호몰로지, 그리고 산술 기하학을 결al 조합하여 다음을 수행한다:

1. 유도 범주 분석: $\tau^{[i, i+1]}R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}/n)$의 절단(truncation)을 분석하여 스펙트럼 순열의 미분에 대응하는 확장 클래스(extension classes)를 식별한다.
2. 군 코호몰로지로의 환원: 세미아벨리안 다양체가 에탈 $K(\pi, 1)$ 공간이라는 사실을 활용하여, 에탈 코호몰로지 복합체를 테이트 모듈(또는 토러스의 캐릭터 모듈)의 연속 군 코호몰로지 복합체와 동일시한다.
3. 확장의 명시적 구성: 이차 함수와 텐서 곱을 포함하는 2-확장(2-extension)을 구성하여 $\text{Ext}^2_\Gamma$에서의 확장 클래스를 표현한다. 구체적으로, 미분 $\delta_2^{p,2}$를 이차 함수의 수열 $0 \to M \to Q(M) \to M \otimes 2 \to \wedge^2 M \to 0$에 의해 정의되는 확장과 연관시킨다.
4. 산술적 쌍선형성(Arithmetic Pairings): 아벨 다양체, 특히 야코비안(Jacobian)의 경우, 카셀-테이트(Cassels–Tate) 쌍선형성과 포이투-테이트(Poitou–Tate) 쌍대성을 활용하여 특정 코호몰로지 클래스(테타 특성(theta-characteristics)의 토서(torsor)와 관련된)의 2-가분성(divisibility)을 테스트한다.
5. 브라우어-마닌 장애(Brauer–Manin Obstruction): 국소적으로 해를 갖는 다양체 상의 브라우어-마닌 쌍선형성을 통해 코호몰로지적 장애를 해석함으로써 명시적인 반례를 구성한다.

주요 기여 및 결과

• 세미아벨리안 다양체에 대한 미분의 일반적 기술 (정리 1.6, 1.13):
  저자들은 세미아벨리안 다양체 $A$에 대하여 미분 $\delta_2^{p,2}: H^p(k, \wedge^2 M) \to H^{p+2}(k, M)$ (여기서 $M = H^1_{\text{ét}}(A_{k^s}, \mathbb{Z}_2)$)를 기술하는 새로운 단축 증명을 제공한다. 이 미분은 이차 함수를 포함하는 특정 2-확장의 연결 사상(connecting map)에 대응함을 보인다. 이 기술은 보크슈타인 호모모피즘(Bockstein homomorphism)을 통해 계수 $\mathbb{Z}/2^m$으로 일반화된다.

• 아벨 곡면에서의 비퇴화 (정리 1, 정리 3.5):
  유리수 디비저 클래스를 갖는 야코비안의 거동과는 대조적으로, 저자들은 호치홀로드-세르 스펙트럼 순열이 모든 아벨 다양체에 대해 반드시 퇴화(degenerate)하는 것은 아님을 증명한다. 저자들은 미분 $\delta_2^{0,2}$가 비제로인 명시적인 $\mathbb{Q}$ 위의 주상(principally polarized) 아벨 곡면 $A$를 구성한다. 이는 테타 특성의 토서(또는 알베르스 토서(Albanese torsor))의 클래스가 갈로아 코호몰로지 군 $H^1(k, J)$ 내에서 2로 나누어지지 않을 때 발생한다. 이 조건이 성립함을 확인하기 위해 브라우어-마닌 장애를 활용한 두 가지 명시적인 지수 2 하이퍼엘립틱 곡선의 예시를 제공한다.

• 유리수 디비저를 갖는 야코비안의 퇴화 (정리 3, 정리 2.1):
  본 논문은 곡선 $C$가 $k$-유리 디비저 클래스(degree 1)를 허용할 경우, $C$의 에탈 코호몰로지 복합체가 유도 범주 $D(\Gamma, \mathbb{Z}/n)$에서 분해됨을 확립한다. 결과적으로, 그러한 야코비안에 대한 호치홀드-세르 스펙트럼 순열은 두 번째 페이지에서 퇴화한다. 이 결과는 알려진 사실들을 일반화한 것이지만, $k$ 위에서 정의된 적분 퀴네스(Künneth) 투영자를 사용하는 증명을 통해 제시된다.

• 토서와 알베르스 토서 (정리 4, 정리 5.1):
  세미아벨리안 다양체 $A$의 토서 $X$에 대하여, 복합체 $\tau^{[0,1]}R\Gamma_{\text{ét}}(X_{k^s}, \mathbb{Z}/n)$의 분할(splitting)에 대한 장애를 기술한다. 저자들은 $H^2(k, A[n])$ 내의 이 장애에 대응하는 클래스가 보크슈타인 호모모피즘에 의한 토서의 클래스 $[X] \in H^1(k, A)$의 상(image)과 정확히 일치함을 증명한다. 이는 코호몰로지 복합체의 비분할성을 비자명한 토서와 직접 연결한다.

• 토러스의 브라우어 군 (정리 4.1):
  저자들은 $\mathbb{G}_m$ 계수를 갖는 토러스 $T$에 대한 호치홀드-세르 스펙트럼 순열의 미분 $d_3^{0,2}$를 기술한다. 이 미분은 $Br(T) \to Br(T_{k^s})^\Gamma$의 전사성에 대한 장애를 계산한다. 저자들은 캐릭터 모듈의 확장 클래스와 보크슈타인 맵을 사용하여 2-주기(2-primary) 잉여 부분에 대한 이 미분의 명시적 공식을 제공한다. 그 결과로서, 준-자명(quasi-trivial) 토러스 또는 국소/전역 필드 위의 토러스에 대해 이 사상이 전사함을 확인한다.

• 곡선에 대한 미분 (명제 6.1, 6.5, 따름정리 6.6):
  매끄러운 사영 곡선에 대하여, 본 논문은 서슬린의 보조정리(Suslin's lemma)를 일반화한다. 저자들은 두 번째 페이지의 미분을 알베르스 토서와 관련하여 특징짓는다. 만약 알베르스 토서가 $n$으로 나누어지면 두 번째 페이지의 미분은 소멸하며, 저자들은 세 번째 페이지의 비제로 미분을 기술한다. 이 세 번째 페이지 미분은 곡선의 피카드 스택(Picard stack)으로부터 유도된 $H^3(k, \mu_n)$ 내의 특정 클래스에 의해 유도됨을 보인다.

의의 및 주장
본 논문은 세미아벨리안 다양체에 대한 호치홀드-세르 스펙트럼 순열의 첫 번째 비제로 미분에 대한 공식에 대해 "새롭고 짧은 증명"을 제공한다고 주장하며, 아벨 다양체와 토러스를 통합적으로 다룬다. 주요 의의는 다음과 같다:

1. 명시적 반례: 스펙트럼 순열이 퇴화하지 않는 아벨 다양체(특히 곡면)의 첫 번째 사례를 제시함으로써, 이러한 퇴화가 모든 아벨 다양체에서 성립할 것이라는 직관에 도전한다.
2. 산술적 해석: 미분의 비자명성을 테타 특성의 토서의 2-가분성 및 브라우어-마닌 장애와 같은 심오한 산술적 성질과 연결한다.
3. 계산 도구: 토러스의 브라우어 군과 곡선의 미분을 계산하기 위한 명시적 공식을 제공하여, 기존 문헌(예: [CTS21])에서 제기된 질문들에 답한다.
4. 일반화: 유리수 디비저 클래스를 갖는 야코비안 곱의 직합에 대한 코호몰로지 복합체의 분해에 관한 결과를 확장한다.

저자들은 토러스에 대한 미분의 비자명성에 대해서는 신중한 태도를 유지하며, 공식을 제공하기는 하지만 토러스에 대해 비제로인 사례가 존재하는지는 현재 알려져 있지 않다고 언급한다(Remark 4.2). 마찬가지로, 아벨 곡면의 구성은 크로이츠(Creutz)와 비레이(Viray)의 기존 산술적 구성을 합성하여 비퇴화 현상을 입증하는 방식을 취한다.