The arithmetic of curves over two dimensional local fields (Q732001): Difference between revisions

Let \(X/k\) be a proper smooth geometrically connected curve. Assume that \(k\) is two dimensional local field of zero characteristic, which means that there is a sequence of fields \(k_0, k_1, k_2=k\) with \(k_i\), \(i=1,2\) a complete discrete valuation field with the residue field \(k_{i-1}\), and \(k_0\) a finite field. Assume that \(X\) has semi-stable reduction. Using methods of the class field theory of two dimensional local fields and monodromy-weight filtration, the author proves structural results on the group \(\pi_1^{\text{ab}}(X)^{\text{geo}}\), where \(\pi_1^{\text{ab}}(X)^{\text{geo}}\) is defined by the exact sequence \[ 0\to\pi_1^{\text{ab}}(X)^{\text{geo}}\to \pi_1^{\text{ab}}(X)\to \text{Gal}(k^{\text{ab}}/k)\to 0. \] The author also investigates the structure of the group \(\pi_1^{c.s.}(X)\) which classifies abelian completely split coverings of \(X\). Let \(V(X)\) be the kernel of the norm map \(SK_2(X)\to K_2(k)\). The main result of this paper states that \(\pi_1^{ab}(X)^{\text{geo}}\otimes \mathbb Q_l\) is isomorphic to \(\hat{\mathbb Q}_l^r\) for some \(r\) and that we have a surjection from \(V(X)\) to \((\pi_1^{\text{ab}}(X)^{\text{geo}})_{\text{tor}}\).