Functorial Polymultiplicative Maps

• Functorial polymultiplicative maps are families of multilinear maps that extend multiplicativity to settings like iterated Laurent series, Witt vectors, and polynomial laws.
• They are rigorously classified by invariance properties and are tightly linked to distinguished symbols such as the higher Contou-Carrère symbol.
• These maps underpin key constructions in algebraic topology and arithmetic geometry, supporting applications in cohomological invariants and Witt vector extensions.

Functorial polymultiplicative maps generalize the concept of multiplicativity to multilinear, functorial settings, with pivotal roles in the structure theory of algebras of iterated Laurent series, Witt vector functoriality, and polynomial mapping frameworks. These maps are rigorously classified by their invariance properties and algebraic structure, and in all known contexts are tightly linked to distinguished symbols such as the higher Contou-Carrère symbol. The theory is central to modern algebraic topology, arithmetic geometry, and the study of cohomological invariants.

1. Definitions and Core Properties

A functorial polymultiplicative map is a family $\{\Phi_A\}$ of multilinear maps

$$\Phi_A : \bigl(C_n(A)^\times\bigr)^{n+1} \longrightarrow A^\times,$$

with $C_n(A) = A((t_1))\cdots((t_n))$, the $n$-times iterated Laurent series over a commutative ring $A$ (Vladislav, 15 Jan 2026). These maps satisfy:

• Functoriality: For any ring homomorphism $A \to B$, the corresponding diagram commutes, i.e., $\Phi$ is natural in $A$.
• Polymultiplicativity: Each argument is multiplicative independently; $\Phi_A$ is a group homomorphism in each slot.
• Invariance under Continuous Automorphisms: For every continuous $A$-algebra automorphism $\varphi$ of $C_n(A)$: $$\Phi_A(\varphi(f_0), \dots, \varphi(f_n)) = \Phi_A(f_0, \dots, f_n).$$

The valuation map $v: C_n(A)^\times \to \mathbb{Z}^n(A)$ projects invertible series onto their exponent lattice. Symbols and residue constructions make essential use of this decomposition.

2. Classification: The Higher-Dimensional Contou-Carrère Symbol

The $n$-dimensional Contou-Carrère symbol $CC_n$ is the unique (up to sign and integer power) antisymmetric, polymultiplicative, functorial map on $(C_n(A)^\times)^{n+1}$ satisfying key axioms (Vladislav, 15 Jan 2026):

• On units: $$CC_n(a, f_1, \dots, f_n) = a^{\det(v(f_1),\dots,v(f_n))}$$.
• On nilpotents (over $\mathbb{Q}$): $$CC_n(f_0, \dots, f_n) = \exp(\mathrm{Res}(\log f_0\,d\log f_1 \wedge\dots\wedge d\log f_n))$$.
• On pure monomials: $$CC_n(t^{\ell^{(0)}}, \dots, t^{\ell^{(n)}}) = (-1)^{\operatorname{sgn}(\ell^{(0)},\dots,\ell^{(n)})}$$.

Levashev's theorem establishes that any functorial polymultiplicative map invariant under all continuous automorphisms must be of the form

$$\Phi_A(f_0,\dots,f_n) = w(v(f_0),\dots,v(f_n)) \cdot CC_n(f_0,\dots,f_n)^m$$

for some integer $m$ and a valuation factor $w$ that is a multilinear antisymmetric, invariant pairing on the valuation lattice (Vladislav, 15 Jan 2026).

3. Witt Vector Functoriality and Polynomial Laws

Multiplicative polynomial maps and laws are endofunctorial structures in algebraic categories, notably exploited in the extension of Witt vector functors (Dotto et al., 2019). Given commutative rings $A$ and $B$, a multiplicative polynomial law of degree $\leq n$ is a family of maps $$f_R: A\otimes_\mathbb{Z} R \to B\otimes_\mathbb{Z} R$$ natural in $R$, admitting homogeneous decompositions; the $n$th cross-effect criterion classifies polynomial maps.

PD-functors (preserving finite products, reflexive coequalizers, and finite group action fixed points) extend uniquely to categories enriched with polynomial laws. Dotto–Patchkoria–Moi prove that for $p$-typical Witt vectors $W_m(-;p)$, there exists a unique extension

$W_m(f): W_m(A) \rightarrow W_m(B)$

for a multiplicative $n$-polynomial map $f$, provided $n<p$. The map’s ghost coordinates are functorially determined by $f$ on the underlying rings.

4. Invariance and Automorphism Classification

Continuous automorphisms of $C_n(A)$ induce structure on the valuation lattice captured algebraically as upper-triangular matrices $M(\varphi) \in B(n,\mathbb{Z}(A))$ by $v(\varphi(f)) = M(\varphi) v(f)$. Any polymultiplicative functorial map invariant under such automorphisms is demonstrably constrained to the form dictated by the Contou-Carrère symbol, up to valuation corrections and powers.

On the additive side, Levashev's additive lemma shows that any continuous, polylinear form invariant under all automorphisms is necessarily a scalar multiple of the residue pairing, generalizing classical residue theory in one variable. The multiplicative case follows by analytic continuation on the pro-nilpotent subgroup via exponential and logarithmic series expansions.

5. Key Examples and Explicit Computations

For $n=1$, there are only the tame Contou-Carrère symbol and its integer powers as bimultiplicative, automorphism-invariant maps: $\Phi(f,g) = u^{\ell(f)\ell(g)} CC_1(f,g)^m$ where $CC_1(t^a, t^b) = (-1)^{ab}$.

For $n=2$,

$$\Phi(f_0, f_1, f_2) = w(v(f_0), v(f_1), v(f_2)) CC_2(f_0, f_1, f_2)^m$$

with

$$CC_2(f_0, f_1, f_2) = \exp\left( \mathrm{Res}(\log f_0\, d\log f_1 \wedge d\log f_2) \right).$$

In Witt vector theory, maps of degree $<p$ yield unique polynomial lifts, but the composition and multiplication of polynomial maps are sharply controlled: degrees must satisfy $nk<p$ for composition and $\deg(f)+\deg(g)<p$ for products, or functoriality fails (Dotto et al., 2019).

6. Algebraic and Topological Applications

The functoriality and polymultiplicativity frameworks undergird a range of constructions in algebraic topology. Dotto–Patchkoria–Moi deploy Witt vector functoriality for Tambara functors, especially in the computation of dihedral fixed-points in real topological Hochschild homology (THR) (Dotto et al., 2019). In the cohomological case, the ring of dihedral fixed-points is naturally isomorphic to the Witt vector ring of the $\mathbb{Z}/2$-fixed THR spectrum, and more generally, a twisted ghost-coordinate formula captures the structure when cohomological conditions are relaxed.

Levashev’s classification confirms that in the context of higher-dimensional Tate symbols and iterated Laurent series, polymultiplicative, automorphism-invariant maps are completely classified by powers of $CC_n$, closing the search for exotic symbol-like operations in this setting (Vladislav, 15 Jan 2026).

7. Significance and Limitations

Functorial polymultiplicative maps provide a unified language and classification for symbol-like invariants in multiple areas of arithmetic, higher topology, and representation theory. Their rigidity implies that naturality and automorphism invariance severely limit possible constructions, restricting functorial operations to those controlled by the Contou-Carrère framework and Witt vector theory. Exceptions, such as the Burnside norm and failure cases in polynomial map extension, concretely illustrate the sharp boundaries set by the degree constraints and required invariance.

A plausible implication is that further generalizations or analogues must either relax invariance conditions or abandon strict functoriality to produce genuinely new invariants. The results solidify the mathematical landscape concerning symbols on algebras of iterated Laurent series and multiply functorial objects, ensuring consistency throughout applications in $K$-theory, motivic cohomology, and equivariant homotopy theory.