Class field theory for open curves over \(p\)-adic fields (Q993363): Difference between revisions

Let \(\bar{X}\) be a smooth projective geometrically irreducible curve over a \(p\)-adic field \(k\). Let \(X_{\infty} \subset \bar{X}\) be a closed subvariety, and set \(X := X \setminus X_{\infty}\). Let \(K\) be the function field of \(X\). In the paper under review, the author defines the class group \(\mathcal{C}_X\) of \(X\) to be the cokernel of \[ K_2(K) \to (\oplus_{x \in |X|} k(x)^*) \oplus (\oplus_{x \in X_{\infty}} K_2(K_x)), \] where \(K_x\) (resp. \(k(x)\)) is the completion of \(K\) (resp. residue field) at \(x\). He then defines a homomorphism \[ \sigma_X : \mathcal{C}_X \to \pi_1^{ab}(X) \] and proves the following results: (i) the kernel of \(\sigma_X\) coincides with the maximal divisible subgroup of \(\mathcal{C}_X\); (ii) the quotient of \(\pi_1^{ab}(X)\) by the closure of the image of \(\sigma_X\) is isomorphic to \(\hat{\mathbb Z}^r\) for some \(r \geq 0\). This extends a result of \textit{S. Saito} [J. Number Theory 21, 44--80 (1985; Zbl 0599.14008)] where the case \(X_{\infty}=\emptyset\) is treated.