English

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

Number Theory 2022-11-28 v1 Algebraic Geometry K-Theory and Homology

Abstract

Let KK be a finite extension of the pp-adic numbers Qp\mathbb Q_p with ring of integers OK\mathcal O_K, X\mathcal X a regular scheme, proper, flat, and geometrically irreducible over OK\mathcal O_K of dimension dd, and XK\mathcal X_K its generic fiber. We show, under some assumptions on XK\mathcal X_K, that there is a reciprocity isomorphism of locally compact groups Har2d1(XK,Z(d))π1ab(XK)WH_{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 π1ab(XK)W\pi_1^{ab}(\mathcal X_K)_{W} of the abelianized geometric fundamental groups π1ab(XK)geo\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.

Keywords

Cite

@article{arxiv.2211.13463,
  title  = {On Integral Class field theory for varieties over $p$-adic fields},
  author = {Thomas H. Geisser and Baptiste Morin},
  journal= {arXiv preprint arXiv:2211.13463},
  year   = {2022}
}
R2 v1 2026-06-28T07:11:10.656Z