An \(n\)-dimensional Contou-Carrère symbol over an Artinian local ring (Q996058)

The aim of this paper is to give a cohomological definition of the \(n\)-dimensional symbol of \textit{C. Contou-Carrère} [C. R. Acad. Sci. Paris, Sér. I 318, No. 8, 743--746 (1994; Zbl 0840.14031)] over an artinian local ring as the distinguished element in the cohomology class \([\{\cdot , \ldots , \cdot\}_{n,A}] \in H^{n+1}(A((t_1)) \cdots A((t_n))^*, A^*)\), and to present an explicit expression for this symbol. The offered definition generalizes the author's recent definition of the two-dimensional Contou-Carrère symbol [\textit{F. Pablos Romo}, in: The geometry of Riemann surfaces and abelian varieties. Contemp. Math. 397, 163--175 (2006; Zbl 1105.19005)], and in the case where \(A=k\) is a field, it generalizes the \(n\)-dimensional tame symbol introduced by \textit{A. N. Parshin} [Proc. Steklov Inst. Math. 183, 191-201 (1991; Zbl 0731.11064)] and \textit{S. V. Vostokov} and \textit{I. Fesenko} [in: Selected papers in \(K\)-theory. Transl., Ser. 2, Am. Math. Soc. 154, 25-35 (1992); translation from Rings and modules. Limit theorems of probability theory, Leningrad 1, 75-87 (1986; Zbl 0796.11053)]. Further, the author shows that the proposed definition of an \(n\)-dimensional Contou-Carrère symbol allows to deduce the definition of an \(n\)-dimensional Witt residue extending the Witt-Parshin pairing which was introduced by Parshin to describe abelian \(p\)-extensions of \(n\)-dimensional local fields. The final theorem gives the reciprocity law for the \(n\)-dimensional Contou-Carrère symbol associated with a flag of normal irreducible varieties \(x \subset X_1 \subset \cdots \subset X_{n-1} \subset X\), where \(X_1\) is a complete curve over an algebraically closed field. As a corollary the author obtains an \(n\)--dimensional Witt residue theorem as a particular case of this reciprocity law.