On Integral Class field theory for varieties over $p$-adic fields

Abstract

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups $H_{ar}^{2d-1}(\mathcal X_K, \mathbb Z(d)) \simeq \pi_1^{ab}(\mathcal X_K)_{W}$ from a new cohomology theory to an integral model $\pi_1^{ab}(\mathcal X_K)_{W}$ of the abelianized geometric fundamental groups $\pi_1^{ab}(\mathcal X_K)^{geo}$. After removing the contribution from the base field, the map becomes an isomorphism of finitely generated abelian groups.