Tame class field theory over local fields

Abstract

For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p>0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental group of $X$. We describe the prime-to-$p$ parts of its kernel and cokernel. This generalizes the higher dimensional unramified class field theory over local fields by Jannsen-Saito and Forre. We also prove a finiteness theorem for the geometric part of the abelian tame etale fundamental group, generalizing the results of Grothendieck and Yoshida for the unramified fundamental group.

Substantial revision, 68 pages. A version of this paper is accepted to appear in Amer. J. Math