Class field theory for a product of curves over a local field (Q957920): Difference between revisions

Let \(X\) be a smooth projective variety defined over a local field \(k\). The unramified class field theory for \(X\) studies the abelianised étale fundamental group \(\pi_ 1^{ab}(X)\) via some reciprocity map \(\rho_ X: SK_ 1(X)\to \pi_ 1^{ab}(X)\), where the group \(SK_ 1(X)\) is defined using Milnor \(K\)-theory. This map was introduced by \textit{S. Bloch} [Ann. Math. (2) 114, 229--265 (1981; Zbl 0512.14009)] and \textit{S. Saito} [J. Number Theory 21, 44--80 (1985; Zbl 0599.14008)]. Saito proved that the kernel of \(\rho_ X\) is divisible if \(X\) is a curve. The same property holds (assuming the Bloch-Kato conjecture) for surfaces with good reduction [\textit{U. Jannsen} and \textit{S. Saito}, Doc. Math., J. DMV Extra Vol., 479--538 (2003; Zbl 1092.14504)], but there are examples of K3 surfaces \(X\) (with bad semi-stable reduction), constructed by \textit{K. Sato} [J. Number Theory 114, No. 2, 272--297 (2005; Zbl 1074.19002)], such that the kernel of \(\rho_ X\) is not divisible. In the present paper, the author shows that the kernel of the reciprocity map \(\rho_ X\) is divisible if \(X\) is a product of smooth projective geometrically connected curves \(C_1,\dots, C_d\) defined over a \(p\)-adic field \(k\) and such that \(C_i(k)\) is not empty, under some conditions on its Jacobians. More precisely, one assumes that each of \(d-1\) Jacobian varieties \(J_i\) of \(C_i\), \(i=1,\dots, d-1\), satisfies one of the following conditions: (i) it has potentially good reduction; (ii) the special fibre of the connected component of the Néron model of \(J_i\) is an extension of an abelian variety by a split torus. The author also studies the case of totally imaginary number field. In the proof the author uses the class field theory of curves and in particular that the maps \(\rho_{C_i}\) have divisible kernels. The conditions on the Jacobians are used to make sure that the rank of each of the curves \(C_i\), \(i=1,\dots ,d-1\), defined by Saito (loc. cit.) remains the same after a finite field extension. Among the other ingredients, the author uses the \(K\)-theory groups \(K(k\,; G_1,\dots, G_r)\) attached to semi-abelian varieties \(G_i\), \(i=1,\dots, r\) by \textit{M. Somekawa} [K-Theory 4, No. 2, 105--119 (1990; Zbl 0721.14003)] and the arguments of \textit{W. Raskind} and \textit{M. Spiess} [Compos. Math. 121, No. 1, 1--33 (2000; Zbl 0985.14003)], which give an expression of \(SK_ 1(X)\) as a direct sum of the \(K\)-theory groups above of the Jacobians \(J_i\).