Abstract:We generalize the theory of Contou-Carrère symbols to higher dimensions. To an $(n+1)$-tuple $f_0,\dots,f_n \in A((t_1))\cdots((t_n))^{\times}$, where $A$ denotes a commutative algebra over a field $k$, we associate an element $(f_0,\dots,f_n) \in A^{\times}$, compatible with the higher tame symbol for $k = A$, and earlier constructions for $n = 1$, by Contou-Carrère, and $n = 2$ by Osipov--Zhu. Our definition is based on the notion of \emph{higher commutators} for central extensions of groups by spectra, thereby extending the approach of Arbarello--de Concini--Kac and Anderson--Pablos Romo. Following Beilinson--Bloch--Esnault for the case $n=1$, we allow $A$ to be arbitrary, and do not restrict to artinian $A$. Previous work of the authors on Tate objects in exact categories, and the index map in algebraic $K$-theory is essential in anchoring our approach to its predecessors. We also revisit categorical formal completions, in the context of stable $\infty$-categories. Using these tools, we describe the higher Contou-Carrère symbol as a composition of boundary maps in algebraic $K$-theory, and conclude the article by proving a version of Parshin--Kato reciprocity for higher Contou-Carrère symbols.

Reciprocity Laws for the Higher Tame Symbol and the Witt Symbol on an Algebraic Surface

Reciprocity Laws on Algebraic Surfaces via Iterated Integrals

A refinement of the Parshin symbol for surfaces

A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions

A General Reciprocity Law for Symbols on Arbitrary Vector Spaces

The two-dimensional Contou-Carrère symbol and reciprocity laws

Recursion Formulae of Higher Weil-Petersson Volumes

The norm residue symbol for higher local fields

A reciprocity law in function fields

Reciprocity laws and $K$-theory

Katoʼs Residue Homomorphisms and Reciprocity Laws on Arithmetic Surfaces

Explicit reciprocity laws and Iwasawa theory for modular forms

Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

Tame Parahoric Nonabelian Hodge Correspondence in Positive Characteristic over Algebraic Curves

On the kernel and the image of the rigid analytic regulator in positive characteristic

Explicit reciprocity laws for diagonal classes: higher level cases

Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

Higher reciprocity law and An analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field

From the global signature to higher signatures

Rational Quartic Reciprocity II