The kernel of the reciprocity map of varieties over local fields (Q486429)

In the class field theory for global fields the fundamental exact sequence \[ 0\rightarrow \mathrm{Br}(K)\rightarrow \bigoplus_v \mathrm{Br}(K_v)\rightarrow\mathbb Q/\mathbb Z\rightarrow 0 \] plays a crucial role, and it has become a beginning step in K. Kato's conjectures on the geometric class field theory for higher dimensional arithmetic schemes, which replaced the above sequence by a (conjectural) long exact sequence produced from the niveau filtration for a suitable homology theory of schemes, cf. [\textit{K. Kato}, J. Reine Angew. Math. 366, 142--183 (1986; Zbl 0576.12012); \textit{S. Bloch} and \textit{A. Ogus}, Ann. Sci. Éc. Norm. Supér. (4) 7, 181--201 (1974; Zbl 0307.14008)], etc. In the same spirit, the reciprocity map for an arithmetic scheme \(X\) is defined to be a homomorphism from some intermediate subquotient of the long exact sequence, which one might regard as a geometric analogue of idele class groups using \(K\)-theory (of fields) as the homology theory, to the abelianized fundamental group of \(X\): \[ \rho^X:\mathrm{SK}_1(X)\rightarrow\pi_1^{\mathrm{ab}}(X) \] where {\parindent=0.6cm\begin{itemize}\item[{\(\bullet\)}] for \(X\) a proper scheme over a field \(K\) one puts \[ \mathrm{SK}_1(X):=\mathrm{coker}(\bigoplus\limits_{y\in X_1}K_2(\kappa(y))\overset{\partial}{\longrightarrow}\bigoplus\limits_{x\in X_0}K_1(\kappa(x))) \] with \(K_1(L)=L^\times\) for a field \(L\), \(X_a\) being the set of \(a\)-dimensional points of \(X\), and \(\partial\) is the boundary map coming from \(K\)-theory; \item[{\(\bullet\)}] if moreover the base field \(K\) is a local field of residue \(F\) of characteristic \(p\), then the residue fields \(\kappa(x)\) for \(x\in X_0\) are local fields, and \(\rho^X\) is the summation of local reciprocity maps \(\rho^x\kappa(x)^\times\hookrightarrow\mathrm{Gal}_{\kappa(x)}^{\mathrm{ab}}\). \end{itemize}} See for example the works of \textit{S. Bloch} [Ann. Math. (2) 114, 229--265 (1981; Zbl 0512.14009)], Kato [loc. cit.], \textit{U. Jannsen} and \textit{S. Saito} [Doc. Math., J. DMV Extra Vol., 479--538 (2003; Zbl 1092.14504)], etc. It is known from [Jannsen and Saito loc. cit.] that the topological cokernel of \(\rho^X\) is the maximal quotient \(\pi_1^{\mathrm{ab}}(X)^{\mathrm{cd}}\) of \(\pi_1^{\mathrm{ab}}(X)\) classifying abelian coverings in which every \(x\in X_0\) is completely decomposed, and is computed explicitly from Kato's complex. What remains of interest is the conjecture that the kernel of \(\rho^X\) should be a divisible abelian group, up to a finite torsion summand. Also of importance is the norm map \[ N_{X|K}:\mathrm{SK}_1(X)\rightarrow\mathrm{SK}_1(K)=K_1(K)=K^\times \] coming as a proper push-forward, and its kernel should be of similar behavior as \(\ker\rho^X\) is for \(X\) geometrically connected. Various low dimensional cases have been studied previously, cf. [\textit{S. Saito}, J. Number Theory 21, 44--80 (1985; Zbl 0599.14008); \textit{T. Yoshida}, J. Number Theory 101, No. 1, 138--150 (2003; Zbl 1086.14018)], and the author has also established the case of a proper variety \(X\) over a finite field admitting at most singularity of simple normal crossing divisors, cf. [\textit{P. Forré}, Publ. Res. Inst. Math. Sci. 48, No. 4, 919--936 (2012; Zbl 1331.14031)]. The paper under review completes the picture for an arbitrary proper smooth variety \(X\) over a local field \(K\) of residue characteristic \(p\). The main theorem of the paper is as follows: Let \(X\) be a proper smooth variety over a local field \(K\) of residue field \(F\). Then the kernel of \(\rho^X\) is a direct sum of a finite group and an \(\mathbb L\)-divisible group, where \(\mathbb L\) is the set of prime numbers not containing the residue characteristic \(p\) of \(F\). Assume furthermore \(X\) is geometrically connected, and \(X\) is projective or \(K\) of characteristic zero, then the same holds for the kernel of the norm map \(N_{X|K}\). It is also pointed out in the paper that if one assumes further that \(K\) is of characteristic zero, that \(X\) admits a refular flat projective model over the integer ring \(O_K\) of simple normal crossing reduction, and that the 4-th Kato homology \(\mathrm{KH}_4\) of the integral model with coefficient in \(\mathbb Q_p/\mathbb Z_p\) is \(p\)-divisible, then the prime characteristic \(p\) of \(F\) can be included into \(\mathbb L\).