---
title: Incomplete Tambara Functors
url: https://www.emergentmind.com/topics/incomplete-tambara-functors
type: topic
---

# Incomplete Tambara Functors

Incomplete Tambara functors are the algebraic structures that arise when a Green functor is endowed only with those multiplicative norms prescribed by a chosen indexing system. For a finite group \(G\), they interpolate between Green functors, where no nontrivial norms are present, and complete Tambara functors, where all norms are present. They were introduced as the algebraic analogue of \(N_\infty\) ring structures, motivated in part by the fact that Bousfield localization can destroy some of the norm maps of a genuine equivariant commutative ring spectrum, so that \(\pi_0\) need not carry full Tambara structure [1603.03292]. Their later study showed that free incomplete Tambara functors behave very differently from classical free algebras: free incomplete Tambara functors are often not free, and usually not even flat, as underlying Mackey functors [2105.11513].

## 1. Indexing systems and polynomial categories

Let \(G\) be a finite group. An indexing system \(O\) is a full symmetric monoidal sub-coefficient system of finite \(H\)-sets that contains all trivial sets, is closed under finite limits, and is closed under self-induction. Equivalently, one may work with an indexing category \(O\) for \(G\), namely a wide, pullback-stable, finite coproduct complete subcategory of the category of finite \(G\)-sets. The assignment \(O \mapsto \mathrm{Set}^G_O\) gives an isomorphism of posets between indexing systems and wide, pullback-stable, finite coproduct-complete subcategories of the category of finite \(G\)-sets [1603.03292].

Given such an indexing category, one forms the category of polynomials with exponents in \(O\), denoted \(P_O^G\). Its objects are finite \(G\)-sets, and its morphisms are isomorphism classes of diagrams
\[
X \xleftarrow{f} A \xrightarrow{g} B \xrightarrow{h} Y
\]
with \(g \in O\). Every morphism admits the canonical decomposition
\[
[X \xleftarrow{f} A \xrightarrow{g} B \xrightarrow{h} Y] \;=\; T_h \circ N_g \circ R_f.
\]
Here \(R_f\), \(T_f\), and \(N_f\) are the restriction, transfer, and norm generators associated to a map \(f\). Pullbacks and exponential diagrams govern composition, and the canonical commutation relations remain internal to \(P_O^G\) because \(O\) is pullback-stable [1603.03292].

The two extremal indexing categories are fundamental. The trivial indexing category \(O^{\mathrm{triv}}\) contains only isotropy-preserving maps, and \(O^{\mathrm{triv}}\)-Tambara functors are Green functors. The complete indexing category \(O^{\mathrm{comp}} = \mathrm{Set}^G\) yields complete Tambara functors, with all norms present [2105.11513].

## 2. Structure maps and reciprocity

An \(O\)-Tambara functor is a product-preserving functor
\[
R \colon P_O^G \to \mathrm{Set}
\]
such that each \(R(X)\) is an abelian group, in fact a commutative ring. For an orbit \(G/H\), \(R(G/H)\) is a commutative \(W_GH\)-ring, where \(W_GH = N_GH/H\) acts by conjugation. If \(K \le H\) and \(\pi \colon G/K \to G/H\) is the orbit map, then the structure maps are
\[
\mathrm{res}^H_K := R(R_\pi), \qquad
\mathrm{tr}^H_K := R(T_\pi), \qquad
N^H_K := R(N_\pi),
\]
with the norm \(N^H_K\) present precisely when \(G/K \to G/H\) is admissible in \(O\) [2105.11513].

The basic identities are the pullback formulas
\[
R_f \circ N_g = N_{g'} \circ R_{f'}, \qquad
R_f \circ T_g = T_{g'} \circ R_{f'},
\]
together with the exponential-diagram identity expressing distributivity of norms over transfers. On values, these identities encode Mackey double-coset compatibility, Frobenius reciprocity for transfers,
\[
a \cdot \mathrm{Tr}_H^K(b) = \mathrm{Tr}_H^K(\mathrm{Res}_H^K(a)\cdot b),
\]
and Tambara reciprocity for norms [1603.03292].

For admissible \(H \subseteq K\), the classical formula for a norm on rings is
\[
N_H^K(a) = \prod_{[k]\in K/H} k\cdot a.
\]
The incomplete setting retains exactly those norm maps and reciprocity relations that are licensed by the indexing system. This is the source of the term “incomplete”: the additive Mackey structure is still present, but multiplicative transfers occur only along admissible exponents [1603.03292].

## 3. Free objects, forgetful functors, and module theory

The Burnside category \(A^G\) is the additive completion of the category of spans of finite \(G\)-sets, and a \(G\)-Mackey functor is an additive functor \(A^G \to \mathrm{Ab}\). Equivalently, a Mackey functor is a product-preserving functor \(P^G_{\mathrm{Iso}} \to \mathrm{Set}\) landing in abelian groups. Restriction along the inclusion \(P^G_{\mathrm{Iso}} \to P^G_O\) gives the underlying Mackey functor
\[
U(R) := R|_{P^G_{\mathrm{Iso}}}.
\]
Thus every incomplete Tambara functor has an underlying Mackey functor, and the passage from Tambara data to Mackey data is functorial [2105.11513].

For a finite \(G\)-set \(T\), the free \(O\)-Tambara functor on one generator at level \(T\) is
\[
A^O[x_T] := P_O^G(T,-)^+,
\]
the group completion of the represented functor. It satisfies the universal property
\[
O\backslash \mathrm{Tamb}_G(A^O[x_T],R) \cong R(T).
\]
If \(R\) is any \(O\)-Tambara functor, the free \(R\)-algebra on one generator at level \(T\) is
\[
R[x_T] := R \boxtimes A^O[x_T],
\]
where \(\boxtimes\) is the box product of Mackey functors [2105.11513].

The box product makes Mackey functors into a symmetric monoidal category with unit \(A\), the Burnside Mackey functor. If \(R\) is a Green functor, then an \(R\)-module is a Mackey functor \(M\) equipped with an action map \(R\boxtimes M \to M\). In \(R\backslash \mathrm{Mod}\), “free” means a direct sum of \(R\{x_T\}\)’s, “projective” means a summand of a free, and “flat” means exactness of \((-) \boxtimes_R M\). Base change along a map \(R \to S\) preserves free, projective, and flat objects [2105.11513].

The category of incomplete Tambara functors is complete and cocomplete. The forgetful functor from \(O\)-Tambara functors to Mackey functors is strong symmetric monoidal and has a left adjoint \(\mathrm{Sym}_O\), given by left Kan extension. Change-of-indexing-system and change-of-groups functors admit adjoints as well: if \(O \subseteq O'\), there is a forgetful functor \(O'\text{–Tambara} \to O\text{–Tambara}\) with left adjoint given by Kan extension, and for \(H \le G\), restriction \(i_H^*\) has both a right adjoint \(\mathrm{CoInd}_H^G\) and a left adjoint \(n_H^G\) [1603.03292]. For finite cyclic groups of prime order, the right adjoint to the operadic forgetful functor admits an explicit description in terms of pullbacks [1711.11246].

## 4. Freeness, flatness, and the failure of the classical analogy

Classically, free algebras are always free as modules over the base ring. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. A central result is that free incomplete Tambara functors often fail to be free as Mackey functors, and for solvable groups the precise flatness criterion is very restrictive [2105.11513].

A sufficient criterion for freeness is available. If \(H \le G\), \(i_H^*O = O^{\mathrm{triv}}\), and \(G/H\) is admissible in \(O\), then the free \(O\)-Tambara functor \(A^O[x_{G/H}]\) is free as an \(A\)-module, hence free as a Mackey functor. The proof uses the norm left adjoint \(n_H^G\) and the fact that norms preserve freeness in the relevant setting [2105.11513].

The converse direction is sharper. If \(A^O[x_{G/H}]\) is flat as an \(A\)-module, then \(i_H^*O \cong O^{\mathrm{triv}}\) and \(H\) is normal in \(G\). Moreover, if \(G/H\) is solvable, then \(G/H\) is admissible in \(O\). For solvable \(G\), the following are equivalent:
1. the underlying Mackey functor \(U(A^O[x_{G/H}])\) is flat;
2. it is free;
3. \(H \trianglelefteq G\), \(G/H\) is admissible in \(O\), and \(i_H^*O = O^{\mathrm{triv}}\) [2105.11513].

The obstruction comes from norms. The key mechanism is that norms impose nontrivial multiplicative relations tied to admissible sets, and symmetric powers appearing in Green functors lead to non-flat summands. In particular, if \(n=[G:H]\), then \(\mathrm{Sym}^n(A\{x_{G/H}\})\) is not flat. The proof reduces, after restriction and passage to cyclic \(p\)-groups, to the fact that for \(G=C_p\), neither the constant Mackey functor nor the dual constant Mackey functor is flat [2105.11513].

This failure is asymptotically dominant. If \(T(G)\) counts pairs \((O,H)\) and \(P(G)\) counts those pairs yielding flat underlying Mackey functors, then
\[
\lim_{n\to\infty}\frac{\sum_{i=1}^n P(G(i))}{\sum_{i=1}^n T(G(i))}=0.
\]
For solvable \(G\), the bound \(P(G)/T(G)\le 1/d(G)\), where \(d(G)\) is the depth of the subgroup lattice, implies that free incomplete Tambara functors are almost never flat as Mackey functors [2105.11513].

## 5. Localization and representative examples

The global failure of flatness admits a precise localization remedy. Let \(S^{-1}A\) denote the localization of the Burnside Tambara functor at the class \([G/e]\). Then there is an isomorphism of Tambara functors
\[
A\Big[\frac{1}{[G/e]}\Big] \cong \mathbb{Z}\Big[\frac{1}{|G|}\Big],
\]
and any \(A[1/[G/e]]\)-module \(M\) is isomorphic to the fixed point functor of its underlying module \(M(G/e)\). Equivalently,
\[
A\Big[\frac{1}{[G/e]}\Big]\backslash \mathrm{Mod}
\;\simeq\;
\mathbb{Z}\Big[\frac{1}{|G|}\Big][G]\backslash \mathrm{Mod}.
\]
In particular, for any indexing category \(O\) and subgroup \(H \le G\), the localized free object \(S^{-1}A^O[x_{G/H}]\) is free as an \(S^{-1}A\)-module [2105.11513].

For \(G=C_p\), the Burnside Tambara functor has
\[
A(G/e)=\mathbb{Z}, \qquad A(G/G)=\mathbb{Z}[t]/(t^2-pt),
\]
with \(\mathrm{res}_e^G(t)=p\), transfer \(\mathrm{tr}_e^G\) given by multiplication by \(t\), and norm
\[
N_e^G(a)=a+\frac{a^p-a}{p}\,t.
\]
This formula makes visible the torsion-type terms introduced by norms [2105.11513].

Small-group examples show the sharpness of the freeness criterion. For \(G=C_p\), the indexing categories are \(O^{\mathrm{triv}}\) and \(O^{\mathrm{comp}}\); \(A^{O^{\mathrm{triv}}}[x_{C_p/e}]\) is free, while \(A^{O^{\mathrm{comp}}}[x_{C_p/C_p}]\) is not free. For \(G=C_{p^n}\), the pattern remains sparse: freeness persists only for generators at normal subgroups with trivial restriction of \(O\) and admissibility as dictated by the theorem. For the dihedral group \(D_6\), freeness of \(A^O[x_{D_6/H}]\) occurs only where \(H\) is normal, \(O\) restricts trivially at \(H\), and \(D_6/H\) is admissible; after localization at \([D_6/e]\), all such examples become free [2105.11513].

## 6. Relation to \(N_\infty\) ring spectra and later developments

Incomplete Tambara functors arise as \(\pi_0\) of \(N_\infty\) algebras. If \(O\) is an \(N_\infty\) operad and \(R\) is an \(O\)-algebra in orthogonal \(G\)-spectra, then \(\pi_0(R)\) is an \(O\)-Tambara functor. The allowed norms on \(\pi_0(R)\) are exactly those prescribed by \(O\). This gives the algebraic reflection of \(N_\infty\) operads at the level of \(\pi_0\), and it explains why Bousfield localization can produce algebraic structures lying strictly between Green functors and complete Tambara functors [1603.03292].

A later extension restricts additive transfers as well as multiplicative norms. In the bi-incomplete setting, one works with a compatible pair \((O_m,O_a)\) of transfer systems or indexing categories, where \(O_m\) controls norms and \(O_a\) controls transfers. Coefficient systems, Green functors, and full Tambara functors then become the cases \((O^{\mathrm{triv}},O^{\mathrm{triv}})\), \((O^{\mathrm{triv}},O^{\mathrm{comp}})\), and \((O^{\mathrm{comp}},O^{\mathrm{comp}})\), and bi-incomplete Tambara functors are characterized as \(O_m\)-commutative monoids in \(O_a\)-Mackey functors [2104.10521] [2208.05555]. Prime ideals and spectra have also been extended to this setting, simultaneously generalizing Lewis’s notion for Green functors and Nakaoka’s notion for Tambara functors [2605.07895].

Homological algebra over free incomplete Tambara functors has developed in parallel. For odd primes \(p\), cyclic-\(p\)-group-equivariant analogues of the Koszul resolution resolve the Burnside Mackey functor as a module over free incomplete Tambara functors, and for free incomplete Tambara functors whose underlying Mackey functor is projective there is an isomorphism
\[
\mathrm{HH}_*(A^O[x_{G/H}])
\cong
A^O[x_{G/H}] \boxtimes \mathrm{Tor}^{A^O[x_{G/H}]}_*(A,A).
\]
These constructions are used to compute Mackey functor-valued Hochschild homology for cyclic groups of odd prime order and for \(C_9\) [2407.18382]. By contrast, later computations over cyclic groups exhibit pathological behavior: unlike the classical polynomial ring case, where \(\mathrm{Tor}\) vanishes above degree one, there are examples in which Mackey functor-valued \(\mathrm{Tor}\) is nonvanishing in almost every degree [2410.11974]. This suggests that incomplete Tambara functors retain the formal role of equivariant polynomial algebras while exhibiting substantially different homological behavior from their nonequivariant analogues.

Source: https://www.emergentmind.com/topics/incomplete-tambara-functors