메타아벨리안 확장 위 Herr 복합체의 명시적 동형사상

초록

본 논문은 $p$-adic Banach 대수 $S$ 위에서 정의된 Galois 표현군 $V$에 대해, 거짓 타테 확장(메타아벨리안 확장) 위의 $(\varphi,\tau)$‑모듈을 이용해 Herr‑형 복합체를 구성하고, 그 복합체의 코호몰로지를 $V$의 Galois 코호몰로지와 명시적으로 동형시킨다. 이는 $S$가 유한 차수의 $\mathbf{Q}_p$‑확장인 경우의 Tavares Ribeiro 결과를 일반화한다.

상세 분석

논문은 먼저 $p$가 홀수인 경우와 $p=2$를 모두 포함하도록, $K$의 거짓 타테 확장 $K_\infty$와 원시 cyclotomic 확장 $K_{\mathrm{cycl}}$을 합친 메타아벨리안 확장 $L=K_\infty\cdot K_{\mathrm{cycl}}$를 설정한다. 이때 $\Gamma_K\simeq\mathbb Z_p^\times$와 $H_\infty=\operatorname{Gal}(L/K_{\mathrm{cycl}})$, $G_\infty=\operatorname{Gal}(L/K)$를 이용해 Kummer 코사이클 $c:G_K\to\mathbb Z_p(1)$를 정의하고, 이를 통해 $G_\infty$를 $\mathbb Z_p\rtimes\mathbb Z_p^\times$와 동형시킨다. 이러한 군 구조는 $(\varphi,\tau)$‑모듈 이론에서 핵심적인 역할을 한다.

다음으로 $S$를 $\mathbf Q_p$‑Banach 대수라 두고, $V$를 $S$‑자유 모듈이면서 $G_K$의 연속 작용을 갖는 “가족”이라 하자. Berger–Colmez와 Kedlaya–Liu의 결과를 이용해 $V$에 대응하는 에틸 $(\varphi,\tau)$‑모듈 $D^\dagger_{r,\tau,K}(V)$를 정의한다. 여기서 $r\ge r_0$는 충분히 큰 실수이며, $B^\dagger_{r,L}$, $B^\dagger_{r,\tau,K}$ 등 과대수(periode rings)를 적절히 고정한다.

핵심은 $D_{r,L}=S\widehat\otimes B^\dagger_{r,L}\otimes_{S\widehat\otimes B^\dagger_{r,\tau,K}}D^\dagger_{r,\tau,K}(V)$를 이용해 다음과 같은 3‑단계 복합체 \