p-Primary Torsion of the Brauer Group in Characteristic p

기술 요약: 표수 $p$에서 브라우어 군의 $p$-주 기본 비틀림(p-Primary Torsion)

문제 제기
본 논문은 표수 $p > 0$인 대수적으로 닫힌 체 $k$ 위의 적절하고 매끄러운 다양체 $X$에 대하여, 브라우어 군의 $p$-주 성분인 $\text{Br}(X)[p^\infty]$의 구조를 조사한다. $\ell \neq p$인 경우의 $\ell$-주 비틀림은 에탈 코호몰로지와 쿰머 시퀀스를 통해 잘 이해되어 있는 반면, $p$-주 부분은 훨씬 더 미묘하다. $\text{Br}(X)[p^\infty]$는 가분 부분 $(\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho}$ (여기서 $r$은 결정적 코호몰로지에서의 기울기 1의 다중도이고 $\rho$는 피카르 수이다)와 비틀림 부분 $H^3(X, \mathbb{Z}_p(1))[p^\infty]$로 분해된다. 해결하고자 하는 핵심 과제는 후자의 정밀한 기술이며, 이는 다음의 완전 수열에 들어맞는다:
$$0 \to U(k) \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to J \to 0$$
여기서 $U$는 연결된 가환 유니포턴트 대수 군이고 $J$는 유한 군이다. 본 논문은 특히 아벨 다양체의 경우 $U$와 $J$의 차원, 이소제니 클래스(isogeny class), 그리고 명시적인 구조를 결정하는 것을 목표로 한다.

방법론
본 연구는 산술 기하학의 몇 가지 고급 도구들을 종합적으로 활용한다:

1. 일뤼시에(Illusie)의 로그 드 람-비트 층 이론: 드 람-비트 복합체 $W\Omega^\bullet_{X/k}$와 그 로그 부분 층 $W\Omega^i_{X/k, \log}$를 사용하여 플랫 코호몰로지 $H^i_{fppf}(X, \mu_{p^n})$를 결정적 코호몰로지와 연결한다.
2. 기울기 스펙트럴 시퀀스와 도미노 수(Domino Numbers): 분석은 기울기 스펙트럴 시퀀스 $E_1^{pq} = H^q(X, W\Omega^p_{X/k}) \Rightarrow H^{p+q}_{\text{cris}}(X/W)$에 의존한다. $p$-비틀림으로 인한 $E_1$ 페이지에서의 비퇴화(non-degeneration)는 Crew와 Ekedahl이 도입한 "도미노 수" $T^{ij}$에 의해 측정된다. 유니포턴트 군 $U$의 차원은 도미노 수 $T^{0,2}$와 일치한다.
3. 디외도네 모듈(Dieudonné Module) 이론: 아벨 다양체의 경우, 이 연구는 기하학적 문제를 카르티에-디외도네 링 $W\sigma[F, V]$ 상의 선형 대수로 변환한다. 또한 Kraft의 유한 가환 군 스킴 분류와 Ekedahl-Oort 유형에 의한 모듈라이 공간의 층화(stratification)를 이용한다.
4. 스코로보가토프(Skorobogatov)의 공식: 주요 방법론적 도구로서, $p \neq 2$인 경우의 스코로보가토프 공식은 대칭 호모모피즘 $\text{Hom}(A[p^n], A^\vee[p^n])_{\text{sym}}$를 통해 $\text{Br}(A)[p^n]$을 표현한다. 이를 통해 디유도네 모듈의 관계식을 사용하여 $p$-비틀림 부분군 $U[p]$를 명시적으로 계산할 수 있다.
5. 플랫 쌍대성과 형식 군(Formal Groups): 본 논문은 곡면을 위한 밀른(Milne)의 플랫 쌍대성 정리를 적용하며, Ekedahl의 대각 $t$-구조에 의존하지 않고 플랫 아틴-마주르 형식 군의 매끄러움을 조사한다.

주요 기여 및 결과

파트 I: 일반 이론 및 첫 번째 응용

• 구조 정리: 본 논문은 분리 완전 수열 $0 \to (\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho} \to \text{Br}(X)[p^\infty] \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to 0$을 확인한다.
• 유니포턴트 차원: $U$의 차원이 도미노 수 $T^{0,2}$에 의해 주어진다는 것을 확립한다. 곡면의 경우, 이는 Crew의 공식 $\dim U = (h_{0,2} - h_{0,1}) - (m_{0,2} - m_{0,1})$을 회복한다.
• 오디너리 다양체: $X$가 오디너리(ordinary)인 경우, $U = 0$이며 $J$는 $\text{NS}(X)[p^\infty]$의 폰트랴긴 쌍대(Pontryagin dual)임을 보인다.
• 곡면: $q = -p_a$인 곡면(Enriques, Godeaux, hyperelliptic 곡면 포함)에 대해 $U=0$이다. 유한 군 $J$는 네론-세베리 군의 $p$-비틀림의 쌍대로 식별된다.
• 곱집합: Ekedahl의 Künneth 공식을 사용하여, $X$가 오디너리이면 $\text{Br}(X \times Y)$의 유니포턴트 부분은 $\text{Br}(Y)$의 그것과 동형임을 증명한다.

파트 II: 아벨 다양체

• 스코로보가토프 공식의 적용: 본 논문은 대칭 호모모피즘 군을 사용하여 주 극성(principally polarized) 아벨 다양체에 대한 $\text{Br}(A)[p^n]$을 명시적으로 계산한다.
• $U[p]$의 차원: Ekedahl-Oort 유형 $\phi$를 가진 차원 $g$인 주 극성 아벨 다양체에 대해, $U[p]$의 차원을 조합론적으로 계산한다.
• 3차원 다양체에 대한 분류: 모든 아벨 3차원 다양체에 대한 $U$의 이소제니 클래스에 대한 완전한 분류를 제공한다. 결과는 뉴턴 다각형과 $a$-number에 의해 표로 정리된다. 중요한 발견은 $A$가 $a$-number가 1인 supersingular인 경우(이른바 "supergeneral")에만 $U$가 $\mathbb{G}_a$들의 곱이 아니라는 점이다. 이 특수한 경우, $U$는 $\mathbb{G}_a \times W_2$ (여기서 $W_2$는 길이 2인 Witt 군)와 이소제니 관계에 있다.
• 명시적 호모 그룹: supergeneral 주 극성 아벨 3차원 다양체에 대해, $\text{Hom}(A[p^2], A^\vee[p^2])_{\text{sym}}$의 연결 성분을 명시적으로 계산한다. 이것이 잘 행동하는(well-behaved) 유니포턴트 군 $W(b,c)_2 \oplus \mathbb{G}_a$임을 보인다.
• 추측: 임의의 supergeneral 아벨 다양체 $g$에 대해, $U$는 $\prod_{i=1}^{g-1} W_i$와 이소제니 관계에 있다는 추측을 제안한다.

파트 III: 추가 주제 및 응용

• 단사성 기준: Frölicher 스펙트럴 시퀀스가 $E_1$에서 퇴화하고 $H^1_{\text{cris}}$가 비틀림이 없다는 가정하에, $d\log: H^2_{fppf}(X, \mu_{p^n}) \to H^2_{\text{cris}}(X/W_n)$ 사상의 단사성 기준을 증명함으로써 Ogus의 결과를 일반화한다. 이는 아벨 다양체와 K3 곡면에 적용된다.
• 형식 군의 매끄러움: Ekedahl의 심오한 대각 $t$-구조를 호출하지 않고, 모든 아벨 3차원 다양체와 광범위한 아벨 4차원 다양체에 대해 플랫 아틴-마주르 형식 군 $\Phi^i_{fl}(A, \mathbb{G}_m)$의 매끄러움을 확립한다.
• Tate 추측과의 유사성: 결정적 코호몰로지 상의 "균등하게 유한한(uniformly finite)" 원소들의 관점에서 문제를 프레임하기 위해, Artin-Hasse 지수 함수와 Witt 벡터의 구조를 활용하여 디바이저에 대한 Tate 추측을 Hodge 추측의 유사물로 논의한다.

의의 및 주장
본 논문은 차원 공식을 넘어 유니포턴트 성분의 구체적인 이소제니 클래스를 결정함으로써, 브라우어 군의 $p$-주 비틀림에 대한 포괄적인 구조적 기술을 제공한다고 주장한다.

• 모든 아벨 3차원 다양체에 대해 $\text{Br}(A)[p^\infty]$의 구조를 해결하였으며, 유니포턴트 군이 $\mathbb{G}_a$의 곱이 아닌 비자명한 유일한 경우(supergeneral)를 식별하였다.
• Ekedahl-Oort 유형에 기반한 $U[p]$의 차원에 대한 명시적인 조합론적 공식을 제공한다.
• 대각 $t$-구조를 우회하는 특정 형식 군의 매끄러움에 대한 새로운 초등적 증명을 제공한다.
• 일반적인 supergeneral 경우에 대한 $U$의 이소제니 클래스에 대한 추측적 기술을 제안하며, 이는 차원 3에서의 명시적 계산과 고차원에서의 부분적 결과에 의해 뒷받침된다.

본 논문은 $U$의 차원이 Crew와 Ekedahl을 통해 알려져 있었으나, 표수 $p$에서의 유니포턴트 군의 복잡한 거동(특히 그들의 이소제니 클래스)은 본 논문에서 제시된 명시적인 디유도네 모듈 계산과 스코로보가토프 공식의 적용을 필요로 했음을 강조한다.