Kato's residue homomorphisms and reciprocity laws on arithmetic surfaces (Q2445364): Difference between revisions

For projective algebraic curves over a perfect field \(k\), Weil's well known reciprocity law can be proved by reducing to \(\mathbb P_k^1\), in which case the one-dimensional tame symbols which come into play can be calculated explicitly. For two-dimensional tame symbols on algebraic surfaces, Parshin's reciprocity law can be given a categorical proof [\textit{D. Osipov} and \textit{X. Zhu}, Algebra Number Theory 5, No. 3, 289--337 (2011; Zbl 1237.19007)] extending Tate's intrinsic approach to the residue formula for differential forms by defining the local residues in terms of traces of certain linear operators. In this paper, the author studies symbols and reciprocity laws on an arithmetic surface \(X \rightarrow S\), where \(S\) is the spectrum of a characteristic zero Dedekind domain \(O_K\) with finite residue fields. For any closed point \(x\) of \(X\) lying above a closed point \(s\) of \(S\), and an irreducible curve \(y\) in \(X\) passing through \(x\), he obtains a product of two-dimensional local fields \(K_(x,y)\) and a Steinberg symbol \(K_{(x,y)}^* x [[ K]]_{(x,y)}^* \rightarrow K_s^*\), where \(K_s\) is the completion of \(K = \mathfrak ({O}_K)\) at \(s\). In contrast to the categorical approach as developed in Osipov-Zhu [loc. cit.], the construction of the symbol makes use of explicit structures of two-dimensional local fields, in particular that of the so-called standard fields of mixed characteristic. In that case, the author can apply Kato's residue homomorphisms in terms of Milnor \(K\)-theory to derive an explicit formula for his symbol. The passage to non-standard fields, using the norm map in \(K\)-theory and functorial properties, can be viewed as a generalization of the reduction to \(\mathbb P^1\) mentioned at the beginning. One important feature of Kato's residue symbol for standard fields is that, modulo a power of the maximal ideal, it coincides with the Contou-Carrère symbol [\textit{A. Pál}, Publ. Res. Inst. Math. Sci. 46, No. 2, 255--288 (2010; Zbl 1202.19005)], which allows to show the rigidity of the author's symbol using the invariance of Contou-Carrère symbols under reparametrizations. The main results of the paper consist in reciprocity laws around a fixed closed point (this is done by geometrizing a recipocity for certain two-dimensional normal local rings) , and along irreducible vertical and horizontal curves (using certain density arguments). These proofs follow closely \textit{M. Morrow} [Algebra Number Theory 6, No. 7, 1503--1536 (2012; Zbl 1259.14030)].