Algebraically Closed Fields in Equivariant Algebra

Let S be a commutative ring with G-action and T be a G-Tambara functor. We’ll describe the unit and counit of the adjunction.

The unit map, \eta_T:T\to \underline{T(G/e)}, is given componentwise by the restriction maps \operatorname{res}^H_e : T(G/H)\to T(G/e)^H. That these maps are compatible with the norms and transfers follows from the rules for composition. The counit map is even more straightforward, since \operatorname{ev}_{G/e}(\underline{S})=S^e=S, and the counit map will just be the identity map.

The triangle identities follow from the facts that \eta_{\underline{S}} reduces to the identity map \underline{S}\to \underline{S} and that the G/e component of \eta_T is the identity map T(G/e)\to T(G/e).

If S is a Green functor, then a map \phi: R\otimes A\to S has ring maps \phi_X : R(X)\otimes A\to S(X) as components.

The component of our natural transformation corresponding to the pair (\iota_R,\iota_A) is the map \mathsf{Green}_{G}(R\otimes A, S)\to \mathsf{Green}_{G}(R,S)\otimes \mathsf{Ring}(A, S(*)) that sends \phi: R\otimes S to the pair (\phi\iota_R, \phi_*\iota_A).

To show that this is an isomorphism, we’ll show that this map is invertible. So suppose we’re given f:R\to S and g:A\to S(*). Then if we let t_X:X\to * be the terminal map and t_X^* : S(*)\to S(X) be the restriction, then we can define \psi_X : R(X)\otimes A \to S(X) to be

Then for any map \alpha:X\to Y, if \alpha^* is the restriction map along \alpha, then

Similarly, if T_{\alpha} represents the transfer map along \alpha, then

So \psi is a valid map of Green functors.

Then \psi\iota_R(r) = \psi(r\otimes 1) = f(r), and \psi_*\iota_A(a) = \psi_*(1\otimes a) = g(a). Conversely, if we start with a map \phi and build \psi from f=\phi\iota_R and g=\phi_*\iota_A, then

By the above corollary, since \mathcal{A} is initial in Green functors, so the category of Green functors is equivalent to the category of \mathcal{A}-algebras, the adjoint to evaluation at * from Green functors is A\mapsto \mathcal{A} \otimes A. Then since \boxtimes is the coproduct of Green functors, S\mapsto R\boxtimes S is left adjoint to the forgetful functor from R-algebras to Green functors.

The key is to show that there is a natural isomorphism \mathsf{Green}_{G}(\mathcal{A}[\underline{M}],S) \cong \mathsf{Mon}(M, S(*)). Then we have the sequence of natural isomorphisms

which shows \mathcal{A}[\underline{M}]\cong \mathcal{A}\otimes \mathbb{Z}[M].

Nakaoka’s theorem constructs the same object regardless of what subcategory of allowed norms you take, so if we take the minimal subcategory generated by the fold maps, then in fact, Nakaoka’s theorem tells us

where \mathsf{Coeff}_{\mathsf{Mon}} is the category of coefficient systems in monoids, which is to say product preserving functors from \mathsf{Set}^{G}{}^{\text{op}} to \mathsf{Mon}.

Write the elements of the monoid \mathbb{N} as t^n so that we can distinguish them from ordinary uses of the integers. Then since \mathbb{Z}[x]\cong \mathbb{Z}[\mathbb{N}], with x going to t^1, we have

and \operatorname{nm}_K^H t^1 = t^{[H:K]} in \underline{\mathbb{N}}.

Let S be a commutative ring with G-action, and let R be an ordinary commutative ring.

If \varphi : S \to \operatorname{Fun}(G,R) is a map of commutative rings with G action, then the adjoint, \tilde{\varphi}:US\to R, is given by \tilde{\varphi}(s) := \varphi_s(e). On the other hand, if we start with some ring map \tilde{\varphi}: US\to R, we can recover \varphi from the fact that if \varphi exists, it must satisfy

but that gives us a definition of \varphi.

We note that R^G_e = k \mapsto k(G/e) : \mathsf{Tamb}_{G} \to \mathsf{CRing} factors through \mathsf{CRing}^{G}, by first remembering the Weyl action on k(G/e) and then forgetting it. Thus, we compute C_e^G as a composition of two right adjoints, which are as follows:

This comes from the fact that \boxtimes is the coproduct in the category of Tambara functors. Given a Tambara functor T and a k-algebra \alpha : k \to K, a morphism of k-algebras k \boxtimes T \to K is a morphism f : k \boxtimes T \to K of Tambara functors making the diagram

commute, where i and j are the structure maps of the coproduct k \boxtimes T. By the universal property of coproducts, f is uniquely determined by the data of a pair of morphisms (f_1 : k \to K, f_2 : T \to K) such that f_1 \circ i = \alpha. Sending f to f_2 \circ j gives a natural bijection from \mathsf{Alg}_{k}(k \boxtimes T, K) to \mathsf{Tamb}_{G}(T,K).

In fact, k[x_H] is given by k \boxtimes \mathcal{A}[x_H]. For any k-algebra K, we have

This isomorphism is natural in K, so this verifies the desired universal property.

By Proposition 3.5, we have an isomorphism

for filtered diagrams K : I \to \mathsf{Alg}_{k}.

We start with the case k = \mathcal{A}. Because coinduction is given by precomposition with restriction, we have

naturally in T. Thus, R^G_H \mathcal{A}[x_G] \cong \mathcal{A}[x_H].

Next, since R^G_H is a left adjoint, it preserves coproducts. Thus,

We induct on the order of G. When G=e is the trivial group, \mathcal{A}_e[x_e] \cong \mathbb{Z}[x], which is certainly finitely generated. Otherwise, assume that the result holds for all subgroups of G. Note that R^G_H \mathcal{A}_G[x_G] = \mathcal{A}_H[x_H], so this tells us that all of the rings \mathcal{A}_G[x_G](G/H) are finitely generated for G\ne H.

Now for each H < G choose generators y^H_i of \mathcal{A}_G[x_G](G/H), and for later convenience assume that y^H_0 = \operatorname{res}^G_H x_G for each subgroup H. For each y^H_i, by integrality of restriction maps we can choose a monic polynomial m^H_i(s) \in \mathcal{A}_G[x_G][s] such that m^H_i(y^H_i)=0.

Let S be the subring of \mathcal{A}_G[x_G](G/G) generated by \mathcal{A}_G(G/G), the coefficients of the m^H_i, and the elements \operatorname{nm}_H^G y^H_i. This is a finitely generated ring, since \mathcal{A}_G(G/G) is finitely generated, and there are only finitely many elements y^H_i. Moreover, by construction each of the rings \mathcal{A}_G[x_G](G/H) is still integral over S, since S contains the coefficients of monic polynomials killing the generators of those rings. Therefore, since the rings \mathcal{A}_G[x_G](G/H) are finitely generated and integral over S, they are module finite over S. So for each proper subgroup H we can choose finitely many elements z^H_j which generate \mathcal{A}_G[x_G](G/H) as a module over S.

Then S and the elements \operatorname{tr}_H^G z^H_j together generate all of \mathcal{A}_G[x_G](G/G). This is because \mathcal{A}_G[x_G](G/G) is generated over \mathcal{A}_G(G/G) by elements of the form

for some choice of K_i\le H\le G. Now if H=G, all of the elements \operatorname{nm}_{K_i}^G\operatorname{res}^G_{K_i} x_G are in S already, since \operatorname{res}^G_{K_i}x_G = y^{K_i}_0 and S includes the norms of our chosen generators.

Otherwise, when H\ne G, the generator is of the form \operatorname{tr}_H^G a for some element a of \mathcal{A}_G[x_G](G/H), and we can write a in the form \sum_{k=1}^n \operatorname{res}^G_H(a_k)z^H_k for elements a_k\in S. But then

which is in our ring.

Consider the Tambara functor S:=R[\underline{x}], which is isomorphic to the levelwise tensor product by Proposition 2.17, so we have that S(G/H)\cong R(G/H)[x].

Then if a\in R(G/K), let p(x) = \operatorname{nm}_K^H (x-a) \in R(G/H)[x]. The Mackey double coset formula tells us that (x-a) divides \operatorname{res}^H_K\operatorname{nm}_K^H (x-a), and p(a) = \operatorname{res}^H_K(p)(a), so p(a)=0. Since p is monic (its leading term is N_K^H x = x^{[H:K]}), a is integral over R(G/H).

This follows immediately from [Adamek_Rosicky_1994, Corollary 3.13] once we establish that the category of k-algebras is a multi-sorted variety. So, we will encode the category of k-algebras as the category of algebras for a multi-sorted equational theory.

We have one sort for each subgroup of G, so that a k-algebra X consists of sets \{X(G/H)\}_{H \leq G}. We have a nullary operation x : * \to X(G/H) for each x \in k(G/H), encoding the structure map k \to X. We additionally have unary operations \operatorname{res}, \operatorname{nm}, \operatorname{tr}, \operatorname{c} to encode the Tambara operations of X, and nullary, unary, and binary operations at each level of X to encode the commutative ring structures of the levels of X. Then we impose equational axioms which encode the axioms of a Tambara functor, as well as the fact that k \to X is a homomorphism of Tambara functors. Algebras for this equational theory are precisely k-algebras.

This is shown in [BSY22], Theorem 6.1. It is essentially an immediate consequence of Hilbert’s Nullstellensatz.

Let x be a compact object of \mathsf{C}, and let Y : I \to \mathsf{D} be a filtered diagram in \mathsf{D}. We have

so Fx is a compact object of \mathsf{D}.

The first claim is [osmond_coslices_2021, Corollary 1.4]. The second claim reduces to the first: notice that f^* : y/\mathsf{C} \to x/\mathsf{C} is also given by

Consider the diagram

All of the squares are pullback squares. The lower right square being a pullback square proves the first claim, and then the fact that the upper left square is a pullback square (by definition of the category of cocones to \alpha) and that the upper right is a pullback square tell us that the upper rectangle is also a pullback square, so the category of cocones to \alpha is equivalent to the category of cocones to \alpha_+.

Suppose that we have a diagram \alpha:I\to y/\mathsf{D} where I is a filtered category and suppose this has a colimit given by an extension \beta:I^+\to y/\mathsf{D}. Then by Lemma 4.10 above, since \alpha has a colimit the corresponding diagram \alpha_+ has a colimit which will be given by \beta_+. If I is filtered then I_+ is also filtered, so G\circ \beta_+ gives the colimit of G\circ \alpha_+ since G preserves filtered colmits. And G\circ\beta_+\cong ((y/G)\circ \beta)_+, so (y/G)\circ \beta is the colimit of (y/G)\circ \alpha. Therefore y/G preserves filtered colimits.

Let f : x \to y be a compact morphism in \mathsf{C}. The functor x/F : x/ \mathsf{C} \to Fx / \mathsf{D} has a right adjoint given by \eta^* \circ Fx/G, where \eta is the unit of the adjunction F \dashv G. Since \eta^* preserves filtered colimits by Lemma 4.9 and since Fx/G preserves filtered colimits by Corollary 4.11 we have that (x/F) f = Ff is a compact object in Fx / \mathsf{D}, i.e. Ff is a compact morphism in \mathsf{D}.

Let f : x \to y and g : y \to z be compact morphisms in \mathsf{C}. Now let \omega : I \to x/\mathsf{C} be a filtered diagram in x/ \mathsf{C}, and consider a morphism \varphi : g \circ f \to \operatorname{colim} \omega in x/\mathsf{C}.

Since f is compact, the morphism \varphi \circ g : f \to \operatorname{colim} \omega factors through \omega(i_0) for some i_0 \in I. Let w_0 be the codomain of \omega(i_0), so that we have

for some morphism \alpha. Now we consider the composition

which is a filtered diagram in y/C. Note that the following diagram commutes:

Thus, by Lemma 4.9 we have

and since I is filtered, the image of \operatorname{cod} : i_0/I \to I is a final subcategory of I. Overall, this gives

and in particular we note \operatorname{cod} \operatorname{colim} \omega' = \operatorname{cod} (f^* \operatorname{colim} \omega') = \operatorname{cod} \operatorname{colim} \omega.

So, we have a diagram

which we have not yet checked commutes. The commutativity is easy to check, however, because we know that \operatorname{colim} \omega' factors through \omega'(\operatorname{id}_{i_0}), i.e. the lower triangle in the commutative square

commutes. Now, since g is a compact morphism in \mathsf{C}, we know that \varphi factors through \omega'(\gamma) for some \gamma \in i_0/I. We have \gamma : i_0 \to i_1 for some i_1 \in I; letting w_1 denote the codomain of \omega(i_1), we get

for some morphism \beta. Putting these diagrams together, we have

and we recall \operatorname{colim} \omega' \circ f = f^* \operatorname{colim} \omega' = \operatorname{colim} \omega. Thus, \beta factors \varphi through \omega(i_1). Since \varphi was arbitrary, we conclude that g \circ f is a compact morphism in \mathsf{C}, as desired.

Since \mathsf{D} is Nullstellensatzian it has an initial object 0_\mathsf{D}. By the first assumption, G0_\mathsf{D} is initial in \mathsf{C}, so \mathsf{C} has an initial object. Now let x be a compact, nonterminal object in \mathsf{C}. By the second assumption and Lemma 4.8, Fx is compact and nonterminal in \mathsf{D}. Then by the third assumption, there exists a map Fx\to 0_\mathsf{D}. Now the adjunction F \dashv G gives a map x\to G0_\mathsf{D}, and G0_\mathsf{D} is initial in \mathsf{C}.

x is Nullstellensatzian by definition if and only if x is nonterminal and (x/\mathsf{D}) is Nullstellensatzian,

So since Gx is assumed to be nonterminal, this follows from applying the previous theorem to the composite adjunction

The left adjoint in the first adjunction is given by Gx/F with right adjoint \eta_{Gx}^*\circ (FGx/G). In the second adjunction the right adjoint is \epsilon_x^* and the left adjoint is \epsilon_{x*}.

The composite left adjoint reflects terminal objects by assumption, so we just need to check that the composite right adjoint preserves filtered colimits and sends the initial object to the initial object. By the triangle identity, the composite right adjoint is given by x/G which preserves filtered colimits by Corollary 4.11 and sends 1_x to 1_{Gx} as required.

If x is Nullstellensatzian, then it is nonterminal and since G reflects terminal objects Gx is nonterminal. So condition 1 of the proposition holds. Also when \mathsf{D} has pushouts, then for any f:a\to b in \mathsf{D}, f^*:b/\mathsf{D}\to a/\mathsf{D} has a left adjoint, which is given by pushout along f. Therefore \epsilon_{x*} is given by pushout along \epsilon_x. So condition 2 holds. That then makes the pushout condition above a restatement of condition 3 of the proposition.

\operatorname{Fun}(G,-) is right adjoint to the forgetful functor, and if \operatorname{Fun}(G,A)=0, then A=0, so it reflects terminal objects. Moreover, \mathsf{CRing}^{G} and \mathsf{CRing} both have all filtered colimits which are computed in \mathsf{Set}, and since G is finite, \operatorname{Fun}(G,-) commutes with filtered colimits in \mathsf{Set} and therefore commutes with filtered colimits of commutative rings as well.

Therefore we are in the situation of Corollary 4.16, so we just need to check the pushout condition. If k is a commutative ring, then the counit \epsilon_k is evaluation at the identity element of G, \operatorname{ev}_e:\operatorname{Fun}(G,k)\to k.

If A is an algebra over \operatorname{Fun}(G,k) in \mathsf{CRing}^{G}, via a map \alpha: \operatorname{Fun}(G,k)\to A, then the idempotents \delta_g \in \operatorname{Fun}(G,k) which are the indicator functions for each of the elements g\in G induce a product decomposition

and since G acts transitively on the \delta_g, we have that if A_0 = A\delta_e, then A\cong \operatorname{Fun}(G,A_0). Moreover if we let \alpha_0 be the map k\cong k\delta_e\to A\delta_e \cong A_0, then \alpha\cong \operatorname{Fun}(G,\alpha_0).

Then the pushout square we get is

and if A_0 is 0, then so was A.

Let S be a commutative ring with G-action. Since fixed points are finite limits they commute with filtered colimits and arbitrary limits, and we know that the fixed point Tambara functor is right adjoint to \operatorname{ev}_{G/e}, and if \underline{S}=0, then S must have been zero in the first place. So we just need to check the pushout condition.

If A is an \underline{S}-algebra, then the pushout is A(G/e)\otimes_{\underline{S}(G/e)} S \cong A(G/e). So if the pushout is zero, then A(G/e) is zero, which implies that A is zero.

Let A be a commutative ring. We can (functorially) write A as a coequalizer of free commutative rings, \operatorname{coeq} \mathbb{Z}[x_j:j\in J]\rightrightarrows \mathbb{Z}[x_i:i\in I] for some indexing sets I and J and maps of commutative rings. Then we can construct the exact same diagram in Tambara functors by adjoining the variables at level X and define

Then for any Tambara functor S, we have that \mathsf{Tamb}_{G}(LA,S) is naturally isomorphic to maps I\to S(X) picking out families of elements of S(X) that satisfy the relations imposed by the coequalizer. And that is naturally isomorphic to \mathsf{CRing}(A, S(X)). Therefore a left adjoint exists.

The same proof works when we remember the Weyl action.

By the lemma above \operatorname{ev}_{G/e} preserves filtered colimits and has a left adjoint. It also reflects terminal objects, because if k(G/e)=0, then 1_G = \operatorname{nm}_e^G 1_e =0, so k=0. So we just need to verify the pushout condition.

Let L_e be the left adjoint to \operatorname{ev}_{G/e} constructed above. Then if A is a k(G/e) algebra, let B:= L_e A \boxtimes_{L_e k(G/e)} k denote the pushout. We want to show that if B is zero, then A must have already been zero. Now recall that \operatorname{ev}_{G/e} is also a left adjoint whose right adjoint is the fixed point Tambara functor construction. So \operatorname{ev}_{G/e} B = (\operatorname{ev}_{G/e}L_e A) \boxtimes_{\operatorname{ev}_{G/e}L_e k(G/e)} k(G/e). However, if S is any commutative ring with a G-action, \operatorname{ev}_{G/e}L_e S \cong S, since for any other commutative ring with G-action, T, we have the following natural isomorphisms

since \operatorname{ev}_{G/e}\underline{T} = T^{e} = T by definition.

Therefore \operatorname{ev}_{G/e} B \cong A\boxtimes_{k(G/e)} k(G/e)\cong A. So if B is zero, A is also zero.

Let k_e = k(G/e). We have

natural in k(G/e)-algebras S.

This can be checked directly from the coend formula for the box product.

\underline{\mathbb{Z}[x]} is generated as a \underline{\mathbb{Z}}-algebra (indeed, even as a Tambara functor) by the element x at level G/G. Thus, we have a surjection \underline{\mathbb{Z}}[x_G] \to \underline{\mathbb{Z}[x]}.

Next, we note that \mathcal{A} \to \underline{\mathbb{Z}} is surjective, so

is surjective. Since \mathcal{A}[x_G] is levelwise finitely generated, we conclude that \underline{\mathbb{Z}}[x_G] is also levelwise finitely generated (in particular, levelwise Noetherian). Thus, every ideal of \underline{\mathbb{Z}}[x_G] is finitely generated. In particular, the kernel of \underline{\mathbb{Z}}[x_G] \to \underline{\mathbb{Z}[x]} is finitely generated, so \underline{\mathbb{Z}[x]} is compact in \mathsf{Alg}_{\underline{\mathbb{Z}}}.

For the empty coproduct we have directly that \underline{\mathbb{Z}} is initial in \mathsf{Alg}_{\underline{\mathbb{Z}}}. [LRZ-etale, Lemma 5.1] shows that \underline{S \otimes S'} \cong \underline{S} \boxtimes \underline{S'}, and we must show that this agrees with \underline{S} \boxtimes_{\underline{\mathbb{Z}}} \underline{S'}. This is simply because \underline{S} \boxtimes_{\underline{\mathbb{Z}}} \underline{S'} is defined as a coequalizer of two morphisms which are already equal—morphisms from \underline{\mathbb{Z}} are unique whenever they exist, because such a morphism consists levelwise of ring homomorphisms from \mathbb{Z}.

Given a morphism \varphi : \underline{S} \to T, define a morphism \widetilde{\varphi} : S \to \mathsf{Alg}_{\underline{\mathbb{Z}}}(\underline{\mathbb{Z}[x]},T) by

It is easy to check that \widetilde{\varphi}(s) is a homomorphism of Tambara functors for all s, and then that \widetilde{\varphi} is a ring homomorphism. Thus, we obtain a function

which is clearly natural in S and T. In the other direction, let \psi : S \to \mathsf{Alg}_{\underline{\mathbb{Z}}}(\underline{\mathbb{Z}[x]},T) be a ring homomorphism. Then define \widehat\psi : \underline{S} \to T by

We check that

and

so these constructions are mutually inverse.

By Corollary 4.24, \mathsf{Alg}_{\underline{\mathbb{Z}}}(\underline{\mathbb{Z}[x]},{-}) preserves filtered colimits. By Lemma 4.12, we are done.

Because A/\mathsf{Alg}_{\underline{\mathbb{Z}}} \cong \mathsf{Alg}_{A} = A/\mathsf{Tamb}_{G}, a morphism in \mathsf{Alg}_{\underline{\mathbb{Z}}} is compact if and only if it is compact in \mathsf{Tamb}_{G}. Next, consider a compact object R \in \mathsf{CRing}. Then (equivalently) \mathbb{Z} \to R is compact in \mathsf{CRing}, so \underline{\mathbb{Z}} \to \underline{R} is compact in \mathsf{Alg}_{\underline{\mathbb{Z}}}, so \underline{\mathbb{Z}} \to \underline{R} is compact in \mathsf{Tamb}_{G}. Since \mathcal{A} \to \underline{\mathbb{Z}} is also compact (it is surjective), we conclude that \mathcal{A} \to \underline{R} is compact, i.e., \underline{R} is compact in \mathsf{Tamb}_{G}.

Let H \leq G and x \in k(G/H) be arbitrary. If (x)\ne k, then q:k\to k/(x) is a nonzero, compact k-algebra, so it admits a retraction r:k/(x)\to k such that r\circ q = 1_k. Then r(q(x)) = 0 = x, so x=0. So k has no proper nonzero ideals.

This is true of any field-like Tambara functor, see [Nak11a, Remark 4.36].

The components of the counit map k\to \underline{k(G/e)}, are the restriction maps \operatorname{res}^H_E:k(G/H)\to k(G/e)^H. Since k is a Tambara field these are injective, so we just need to show that the restriction maps are also surjective to the fixed points.

Let y\in k(G/e)^H, and consider the k-algebra k[x_{G/H}]/(\operatorname{res}^H_e x_{G/H} -y). This is nonzero, since it admits a map to \underline{k(G/e)} sending x_{G/H} to y, and it is finitely presented, so it admits a retraction, q, to k. Then \operatorname{res}^H_e q(x_{G/H}) = q(y) = y is a lift of y to k(G/H).

Since filtered colimits are pointwise in Tambara functors, \operatorname{ev}_{*} preserves filtered colimits. By Lemma 4.20, \operatorname{ev}_{*} is a right adjoint. If \operatorname{ev}_*k=0, then k=0, since for any subgroup H, 1_H\in k(G/H) is the restriction of 1_G\in k(G/G)=k(*), so if 1_G=0, 1_H=0 for all H, so k=0. Therefore \operatorname{ev}_* reflects terminal objects.

Thus we just need to check that when \operatorname{ev}_{*}k\ne 0 the pushout condition of Corollary 4.16 holds. Let L_* be the left adjoint to \operatorname{ev}_*. Then we need to show that for a finitely presented k(*) algebra, A, if the pushout (L_*A)\boxtimes_{L_*k(*)}k is zero, then A must have been zero. Since A is finitely presented, we can write it as a polynomial algebra, A \cong k(*)[x_1,\ldots,x_n]/(f_1,\ldots,f_m), for some polynomials f_1,\ldots, f_m. Then we have that L_*A \cong L_*k(*)[x_{*,1},\ldots, x_{*,n}]/ (f_1,\ldots,f_m), and the pushout is

where the f_i are viewed as polynomials in the x_{*,1},\ldots,x_{*,n}.

Consider the Tambara functor k[\underline{x}_1,\ldots,\underline{x}_n], which is isomorphic to the levelwise tensor product of k with \mathbb{Z}[x_1,\ldots,x_n] by Proposition 2.17. Then we have a map k[x_{*,1},\ldots,x_{*,n}] \to k[\underline{x}_1,\ldots,\underline{x}_n] given by sending x_{*,i} to \underline{x}_i, so by taking quotients we can define a map from the pushout, k[x_{*,1},\ldots,x_{*,n}]/ (f_1,\ldots,f_m), to k[\underline{x}_1,\ldots,\underline{x}_n]/ (f_1,\ldots,f_m). Then we can complete the proof by showing that \operatorname{ev}_*(k[\underline{x}_1,\ldots,\underline{x}_n]/ (f_1,\ldots,f_m)) \cong A, since then if the pushout is zero, k[\underline{x}_1,\ldots,\underline{x}_n] is zero, and therefore A is zero.

To show this, let I be the ideal of k(*)[x_1,\ldots,x_n] generated by the polynomials f_1,\ldots,f_m and let J be the ideal of k[\underline{x}_1,\ldots,\underline{x}_n] generated by f_1,\ldots,f_m. Certainly we have that I\subseteq J(*), and we can complete the proof by showing that this is actually an equality.

Any element of J(*) can be written as a sum of elements of the form

for subgroups K\subseteq H\subseteq G, a\in \of*{ k[\underline{x}_1,\ldots,\underline{x}_n] }(G/H) and b\in I. so it suffices to show that these generators are all contained in I. The key here is to show that \operatorname{nm}_K^H \operatorname{res}^G_K b = \operatorname{res}^G_H b^{[H:K]}, since then

Then since k is a Tambara field, it satisfies the monomorphic restriction condition, so k[\underline{x}_1,\ldots,\underline{x}_n] also satisfies the monomorphic restriction condition, since at level G/H it is isomorphic to k(G/H)[x_1,\ldots,x_n].

Therefore we can verify our identity by applying \operatorname{res}^H_e to both sides, which gives us

The reverse direction is Corollary 4.19. For the forwards direction, we begin by constructing a useful compact k-algebra. Let K be the quotient of k[x_{G/e}] by the following relations at level G/e (recalling k[x_{G/e}](G/e) \cong k(G/e)[x_g | g \in G] from Proposition 4.22):

1. (idempotence) x_g^2 = x_g

2. (orthogonality) x_g x_h = 0 when g \neq h

3. (completeness) \displaystyle \sum_{g \in G} x_g = 1

To see that K is nonzero, observe that we may construct a k-algebra map K \rightarrow C_e^G k(G/e) as follows. First, choose k[x_{G/e}] \rightarrow C_e^G k(G/e) classifying the choice of any idempotent which determines a projection C_e^G k(G/e) \cong \operatorname{Fun}(G/e,k(G/e)) \rightarrow k(G/e). Next, observe that this map respects the three relations above, so that it descends to K \rightarrow C_e^G k(G/e). Since the codomain of this morphism is nonzero (here we use the assumption that k is nonzero), the domain is also nonzero.

Since K is a quotient of a finitely generated polynomial algebra by finitely many relations, K is a compact k-algebra, and hence admits a section K \rightarrow k. Let y_g \in k(G/e) denote the image of x_g \in K(G/e). Then the collection of y_g form a complete set of orthogonal idempotents in k(G/e), hence determine an isomorphism k(G/e) \cong \prod_{g \in G} k(G/e) \cdot y_g. Since the y_g form a G-orbit, the rings k(G/e)\cdot y_g are all isomorphic, so if we let A=k(G/e)\cdot y_e, we can rewrite this as an isomorphism k(G/e)\cong \operatorname{Fun}(G, A).

Now by Lemma 5.5 k\cong \underline{k(G/e)}, so k\cong \underline{\operatorname{Fun}(G,A)}, and we know that C_e^GA \cong \underline{\operatorname{Fun}(G,A)}, so this shows that k is coinduced. All that remains is to show that A is an algebraically closed field.

However, the diagonal map \Delta: A\to \operatorname{Fun}(G,A)^G is an isomorphism to the G-fixed points, so we have that k(*)\cong \operatorname{Fun}(G,A)^G \cong A, and k(*) is an algebraically closed field by Proposition 5.6.

Recall that any Tambara functor has the structure of a monoid with respect to the box product, and a module over a Tambara functor is a module over the underlying monoid. If k is any G-Green functor and M is a k-module, it follows that every abelian group M(G/H) is a k(G/H)-module. If k = C_e^G R, then we may view M(G/H) as an R-module through the restriction (i.e., the diagonal action). Note that the idempotents in \operatorname{Fun}(G/H,R) determine an R-module decomposition

for some R-module M_H.

The canonical map

of Mackey functors is surjective in every level by the double coset formula. Thus it suffices to show that all restriction maps for M are injective. To see this, recall the Frobenius reciprocity relations

for every f : G/e \rightarrow G/H. In C_e^G R, the unit of each ring C_e^G R(G/H) is in the image of the transfer. Choosing a preimage of the unit, x, we see that if R_f(m) = 0, then

hence R_f is injective, as desired.

Let C_e^G X and C_e^G Y denote two arbitrary C_e^G \mathbb{F}-modules. Since their box product over C_e^G \mathbb{F} is again a module, it is coinduced from a \mathbb{F}-module Z. Using the natural isomorphism

we deduce a natural isomorphism Z \cong X \otimes_{\mathbb{F}} Y. Applying coinduction we obtain the desired natural isomorphism

By Proposition 4.17, every G-ring of the form \operatorname{Fun}(G,\mathbb{F}) for \mathbb{F} an algebraically closed field is Nullstellensatzian. For the converse, if a G-ring k is Nullstellensatzian, then Lemma 4.18 tells us that \underline{k} is Nullstellensatzian. Therefore \underline{k}\cong C_e^G(\mathbb{F}) for some algebraically closed field \mathbb{F} by Theorem 5.7, and evaluating at G/e on both sides gives that k\cong \operatorname{Fun}(G,\mathbb{F}).

Fix a choice of algebraic closure k(G/e)^G \rightarrow \overline{k(G/e)^G}. Rotating the coinduction-restriction adjunction, we obtain C_e^G \left( \overline{k(G/e)^G} \right).

Now let k \rightarrow K any map with K algebraically closed. Then K \cong C_e^G \mathbb{F} for some algebraically closed field \mathbb{F}. Rotating the coinduction-restriction adjunction and applying fixed-points, we obtain a map

Since k(G/e) is integral over k(G/e)^G (by [AM69, Exercise 5.12]), this map factors through

where the first map is our fixed choice of algebraic closure of k(G/e)^G. Applying C_e^G to the second map yields a morphism of Nullstellensatzian Tambara functors which manifestly factors k \rightarrow K on the G/e level. Since all objects are fields, all restriction maps are injective, so checking that k \rightarrow C_e^G \overline{k(G/e)^G} factors k \rightarrow K may be done on the G/e level.