Equivariant K-theory as a global localization

(a)\Longrightarrow(b) Since the morphism v^\flat\colon R\wedge S^V\longrightarrow R is an equivalence of G-spectra, the induced map of homotopy groups v^\flat_*\colon\pi_0^G(R\wedge S^V)\longrightarrow\pi_0^G(R) is bijective. In particular, the class 1\in \pi_0^G(R) has a preimage.

(b)\Longrightarrow(c) We let H be a closed subgroup of G. Applying the geometric fixed point homomorphism \Phi^H\colon \pi_0^G(R)\longrightarrow\Phi^H_0(R) to the relation v^\flat_*(u)=1 yields

in \Phi_0^H(R). A choice of orientation of V^H induces a well-defined homotopy class of equivalence S^l\sim S^{V^H}, for l=\dim(V^H). This, in turn, induces isomorphisms

Moreover, composition of this isomorphism with the map \Phi^H_m(v^\flat)\colon\Phi^H_m(R\wedge S^V)\longrightarrow \Phi^H_m(R) is multiplication by the element \Phi^H(v).

For m=0, we use this isomorphism to turn the class \Phi^H(u)\in\Phi^H_0(R\wedge S^V) into a class \bar u\in\Phi_{-l}^H(R). The relation (?) then becomes the relation \bar u\cdot\Phi^H(v)=1. So the class \Phi^H(v) has a left inverse. Since the homotopy G-ring spectrum R is commutative, the graded ring \Phi^H_*(R) is graded-commutative, so \Phi^H(v) also has a right inverse, and is thus a graded unit.

(c)\Longrightarrow(a) For every closed subgroup H of G and choice of orientation of V^H, the composite of the isomorphism (?) with \Phi^H_m(v^\flat)\colon \Phi^H_m(R\wedge S^V) \longrightarrow\Phi^H_m(R) is multiplication by the class \Phi^H(v). Because \Phi^H(v) is a graded unit, multiplication by \Phi^H(v) is bijective, hence so is the map \Phi^H_m(v^\flat). So the morphism v^\flat induces isomorphisms of geometric fixed point groups for all closed subgroups of G. Hence v^\flat is an equivalence of G-spectra, which means that v is invertible.

(i) For every closed subgroup H of G, the morphism i induces a homomorphism of graded rings \Phi^H_*(i)\colon \Phi^H_*(R)\longrightarrow\Phi^H_*(S). Since \Phi^H(v) is a graded unit by Proposition 1.6, the class

is a graded unit in the graded ring \Phi^H_*(S). Since this holds for all closed subgroups H of G, Proposition 1.6 shows that the class i_*(v) is invertible.

(ii) The morphism \operatorname{res}^G_H(v)^\flat\colon R\wedge S^V\longrightarrow R is obtained from v^\flat\colon R\wedge S^V\longrightarrow R by applying the restriction functor \operatorname{res}^G_H\colon {\mathcal S} p_G\longrightarrow{\mathcal S} p_H. So if v^\flat is an equivalence of G-spectra, then \operatorname{res}^G_H(v)^\flat is an equivalence of H-spectra.

(iii) We let H be a closed subgroup of G. We choose orientations of V^H and W^H, and then orient (V\oplus W)^H by concatenating the chosen orientations. Then

in \Phi^H_{k+l}(R), where k=\dim(V^H) and l=\dim(W^H). So \Phi^H(v\cdot w) is invertible in the graded ring \Phi^H_*(R) if and only if \Phi^H(v) and \Phi^H(w) are invertible. Since this holds for all closed subgroups H of G, Proposition 1.6 shows that v\cdot w is invertible if and only if both v and w are invertible.

We let L be a closed subgroup of K, and we set H=\gamma(L), a closed subgroup of G. The restriction of \gamma to L factors as a continuous epimorphism \beta\colon L\longrightarrow H, followed by the inclusion of H into G. Since v is invertible, the class \Phi^H(v) is a graded unit in the ring \Phi^H_*(R), by Proposition 1.6. Since the inflation homomorphism \beta^*\colon\Phi^H_*(R)\longrightarrow\Phi^L_*(R) is a morphism of graded rings, the class

is invertible in the graded ring \Phi^L_*(R). The first equation is the compatibility of inflation with geometric fixed point homomorphisms (?), applied to \beta\colon L\longrightarrow H. Since this holds for all closed subgroups of K, the class \gamma^*(v) is invertible by Proposition 1.6.

Throughout the proof we simplify notation by abbreviating \pi_*(\Phi^j(R)) to \Phi^j_*(R). In the examples where \Phi^j is a geometric fixed point functor \Phi^G, the resulting notational ambiguity is resolved by Corollary B.15.

We let f\colon R\longrightarrow P be any object of {\mathcal W}. Since {\mathcal C} is presentably symmetric monoidal, the \infty-category \operatorname{CAlg}({\mathcal C}) has colimits. We choose a pushout in \operatorname{CAlg}({\mathcal C}):

For every j\in J, the functor \operatorname{CAlg}(\Phi^j) preserves colimits, so the square

is a pushout of commutative ring spectra. By hypothesis, \Phi_*^j(i)\colon \Phi_*^j(R)\longrightarrow \Phi_*^j(S) is a localization of graded-commutative rings by some multiplicative subset T of homogeneous elements of \Phi_*^j(R). So the morphism of commutative ring spectra \Phi^j(i)\colon \Phi^j(R)\longrightarrow \Phi^j(S) is also a localization by T, compare [lurie:ellipticII, Proposition 4.3.17]. Hence its cobase change \Phi^j(h)\colon \Phi^j(P)\longrightarrow \Phi^j(Q) is a localization by the subset \Phi^j_*(f)(T)=\{\Phi^j_*(f)(x)\mid x\in T\} of \Phi^j_*(P). Since \Phi_*^j(i) inverts the elements of T, and since \Phi_*^j(f) factors through \Phi_*^j(i), also \Phi_*^j(f) inverts the elements of T. So \Phi^j(h) is a localization by a set of elements that are already invertible, and hence an equivalence. So h is an equivalence by the joint conservativity of the functors \Phi^j.

Since {\mathcal W} is closed under postcomposition, q=h f\simeq g i\colon R\longrightarrow Q lies in {\mathcal W}, and the pushout square exhibits q as a coproduct of f and i in {\mathcal W}. As a coproduct, the map

is an equivalence of animae. Since h is an equivalence, the first projection is an equivalence. And since {\mathcal W}(f,f) is non-empty, the anima {\mathcal W}(i,f) must be contractible. Since f was an arbitrary object of {\mathcal W}, this proves that i\colon R\longrightarrow S is indeed an initial object of {\mathcal W}.

We apply the localization recognition of Theorem 1.17 to the presentably symmetric monoidal \infty-category {\mathcal S} p^\wedge_{\operatorname{gl}} of global spectra, and to the family of geometric fixed point functors \Phi^K\circ\operatorname{res}_K^\wedge\colon{\mathcal S} p^\wedge_{\operatorname{gl}}\allowbreak\longrightarrow {\mathcal S} p^\wedge, for K ranging through representatives of all isomorphism classes of compact Lie groups. These functors are strong symmetric monoidal left adjoints, and jointly conservative. The full subcategory {\mathcal W} of R\backslash\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) is spanned by the {\mathcal X}-inverting morphisms; it is closed under postcomposition by Proposition 1.10 (i). The morphism i\colon R\longrightarrow S lies in {\mathcal W}: for every v\in {\mathcal X} supported at G, and all closed subgroups K of G, the class \Phi^K(i_*(v))=\Phi^K_*(i)(\Phi^K(\operatorname{res}^G_K(v))) is invertible by hypothesis, and so the class i_*(v) is invertible by Proposition 1.6.

We claim that hypothesis (c) of Theorem 1.17 holds for every compact Lie group K. Indeed, \Phi^K_*(i)\colon \Phi^K_*(R)\longrightarrow \Phi^K_*(S) is a localization by hypothesis, by the set of classes \Phi^K(\beta^*(x)) as in the statement of the theorem. Moreover, if f\colon R\longrightarrow P belongs to {\mathcal W}, then it inverts {\mathcal X}, and hence it inverts all the classes \Phi^K(\beta^*(x)) by Propositions 1.6 and 1.14. Since \Phi^K_*(i)\colon \Phi^K_*(R)\longrightarrow \Phi^K_*(S) is a localization by these classes, the morphism \Phi^K_*(f) factors through \Phi^K_*(i). So Theorem 1.17 applies and shows that i\colon R\longrightarrow S is a global localization by {\mathcal X} in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}).

The morphism of G-spectra v^\flat\colon R\wedge S^V\longrightarrow R was defined in (?). Proposition 1.6 provides an element u\in\pi_0^G(R\wedge S^V) such that v^\flat_*(u)=1 in \pi_0^G(R). We suppose that u is represented by the continuous based G-map f\colon S^U\longrightarrow R(U)\wedge S^V. We define P^m(u)\in \pi_0^{\Sigma_m\wr G}(R\wedge S^{V^m}) as the class represented by the (\Sigma_m\wr G)-map

Then this class satisfies the relation

in the group \pi_0^{\Sigma_m\wr G}(R). So the class P^m(u) witnesses criterion (b) of Proposition 1.6 for the class P^m(v), and thus P^m(v) is invertible.

(i) We choose a pushout of \epsilon_R and \lambda_{\operatorname{gl}}(u_{\operatorname{gl}} i) in \operatorname{URing}_{\operatorname{gl}}:

Since \lambda_{\operatorname{gl}} is a left adjoint, it preserves pushouts and thus epimorphisms, so \lambda_{\operatorname{gl}}(u_{\operatorname{gl}} i) is an epimorphism in \operatorname{URing}_{\operatorname{gl}}. Hence also its cobase change j is an epimorphism. Since the functor u_{\operatorname{gl}} is a left adjoint, it preserves pushouts and thus epimorphisms, so u_{\operatorname{gl}}(\lambda_{\operatorname{gl}}(u_{\operatorname{gl}} i)) and u_{\operatorname{gl}} j are epimorphisms in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}).

The universal property of the pushout (Proof) provides a unique morphism h\colon Q\longrightarrow S equipped with homotopies

Since (u_{\operatorname{gl}} h)\circ (u_{\operatorname{gl}} j)\sim u_{\operatorname{gl}} i and both u_{\operatorname{gl}} j and u_{\operatorname{gl}} i are epimorphisms, also u_{\operatorname{gl}} h\colon u_{\operatorname{gl}} Q\longrightarrow u_{\operatorname{gl}} S is an epimorphism. We write \eta_P\colon P\longrightarrow u_{\operatorname{gl}}(\lambda_{\operatorname{gl}}(P)) for the unit of the adjunction. The sequence of homotopies

and the fact that u_{\operatorname{gl}} j is an epimorphism show that the composite

is homotopic to the identity. So u_{\operatorname{gl}} h is an epimorphism with a retraction, and thus an equivalence. Since u_{\operatorname{gl}} is conservative, also h\colon Q\longrightarrow S is an equivalence. Since the square (Proof) is a pushout, so is the square of the theorem.

(ii) For every ultra-commutative ring spectrum E, the upper rectangle in the commutative diagram of animae

is a pullback, by the universal property of pushouts. The two lower vertical maps are the adjunction equivalences. So the outer rectangle is a pullback, too. Since j is a localization by {\mathcal X} in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge), the lower horizontal map is an equivalence onto the path components of {\mathcal X}-inverting morphisms. A morphism R\longrightarrow E in \operatorname{URing}_{\operatorname{gl}} is {\mathcal X}-inverting if and only if the underlying morphism in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) is {\mathcal X}-inverting. Hence the upper horizontal map is an equivalence onto the path components of {\mathcal X}-inverting morphisms. So i has the defining property of an ultra-commutative localization by {\mathcal X}.

(iii) Since localizations are epimorphisms, the square of part (i) is a pushout in \operatorname{URing}_{\operatorname{gl}}. Since u_{\operatorname{gl}} i\colon u_{\operatorname{gl}} R\longrightarrow u_{\operatorname{gl}} S is a global localization by {\mathcal X} in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) by hypothesis, i is an ultra-commutative localization by {\mathcal X} in \operatorname{URing}_{\operatorname{gl}} by (ii).

Since \phi^k\colon {\mathbf P}\longrightarrow{\mathbf P} is objectwise the k-th power map, its effect on \pi_0^G({\mathbf P}) is the k-th power map in the abelian monoid structure, for every compact Lie group G. In particular, the effect of \phi^k on the unstable tautological class u_T \in \pi_0^T({\mathbf P}) is given by

The stabilization map \sigma^T\colon \pi_0^T({\mathbf P})\longrightarrow \pi_0^T(\Sigma^\infty_+{\mathbf P}) is multiplicative, and the stable tautological class e_T=\sigma^T(u_T) is the stabilization of u_T. So the first relation (\Sigma^\infty_+\phi^k)_*(e_T) = e_T^k follows.

The T-equivariant fixed point inclusion i\colon S^0\longrightarrow S^{\nu_1} induces a commutative square:

We thus obtain the relation

The second relation then follows because the restriction map i^* is injective.

We refer to [lms, IV Theorem 6.3] or [schwede:global, Theorem 3.4.9] for the general double coset formula for \operatorname{res}^G_K\circ\operatorname{tr}_H^G for two closed subgroups H and K of a compact Lie group G; we specialize it to the situation at hand. We write {\mathcal L}_{m+n} for the space of sets \{L_1,\dots,L_{m+n}\} of m+n pairwise orthogonal lines in {\mathbb C}^{m+n}. The tautological U(m+n)-action on {\mathbb C}^{m+n} induces a transitive action on {\mathcal L}_{m+n}, and the stabilizer of the set of coordinate lines is the subgroup \Sigma_{m+n}\wr T, embedded into U(m+n) by (2.4). So the map

that sends A\cdot(\Sigma_{m+n}\wr T) to the set of lines spanned by the columns of A is an equivariant homeomorphism.

Now we let \{L_1,\dots,L_{m+n}\} be any set of m+n pairwise orthogonal lines in {\mathbb C}^{m+n}. We consider the special case where at least one line L_i is neither contained in {\mathbb C}^m\oplus 0^n nor in 0^m\oplus {\mathbb C}^n. We claim that then the intersection of the stabilizer of the set \{L_1,\dots,L_{m+n}\} with the center of U(m,n) is 1-dimensional. The center Z(U(m,n)) of U(m,n) consists of the matrices (\lambda E_m)\oplus (\mu E_n) for all \lambda,\mu\in T. Since some line L_i is neither contained in {\mathbb C}^m\oplus 0^n nor in 0^m\oplus {\mathbb C}^n, it is not stabilized by the matrix (\lambda E_m)\oplus (\mu E_n) for any \lambda,\mu\in T with \lambda\ne \mu. So the intersection of the stabilizer of L_i with Z(U(m,n)) equals the center of U(m+n). Since any line is stabilized by the center of U(m+n), also the intersection of the stabilizer of the tuple (L_1,\dots,L_{m+n}) of lines with Z(U(m,n)) equals the center of U(m+n), and is thus 1-dimensional. The stabilizer of the tuple (L_1,\dots,L_{m+n}) has finite index in the stabilizer of the set \{L_1,\dots,L_{m+n}\}. So the intersection of the stabilizer of the set \{L_1,\dots,L_{m+n}\} with Z(U(m,n)) is also 1-dimensional, as claimed.

For every compact Lie group G, the center Z(G) of G normalizes any given closed subgroup H, so the group Z(G)/(H\cap Z(G)) injects into the Weyl group W_G H=(N_G H)/H. The center of G=U(m,n) is isomorphic to T\times T, and hence 2-dimensional. We take H=\text{Stab}\{L_1,\dots,L_{m+n}\}\cap U(m,n) as the intersection of the stabilizer of the set \{L_1,\dots,L_{m+n}\} with U(m,n); the claim we just established says that H\cap Z(U(m,n)) is 1-dimensional. So the group Z(U(m,n))/(H\cap Z(U(m,n))) is 1-dimensional, and the Weyl group of \text{Stab}\{L_1,\dots,L_{m+n}\}\cap U(m,n) inside U(m,n) is infinite. This means that the U(m,n)-orbit of the set \{L_1,\dots,L_{m+n}\} does not contribute to the double coset formula.

We conclude that all contributions to the double coset formula come from sets \{L_1,\dots,L_{m+n}\} of pairwise orthogonal lines for which each line is either contained in {\mathbb C}^m\oplus 0^n or in 0^m\oplus{\mathbb C}^n. The group U(m,n) acts transitively on these, so they only contribute the principal summand to the double coset formula.

(i) We need a property of the power operations (?) that specializes to the ‘restriction relation’ in the definition of a global power functor for V=0, compare [schwede:global, Definition 5.1.6]. The concatenation group monomorphism +\colon \Sigma_m\times \Sigma_n \longrightarrow \Sigma_{m+n} is defined by

We embed a product of wreath products by the monomorphism

Then for all x\in \pi_V^G(R), the power operations satisfy the relation

in \pi_{V^m\times V^n}^{(\Sigma_m\wr G)\times(\Sigma_n\wr G)}(R), exploiting that \operatorname{res}^{\Sigma_{m+n}\wr G}_{ (\Sigma_m\wr G)\ \times\ (\Sigma_n\wr G)}(V^{m+n})=V^m\times V^n as representations of the group (\Sigma_m\wr G)\times(\Sigma_n\wr G). This relation is proved by direct comparison of representatives. Thus

The second relation is the double coset formula of Proposition 2.11.

(ii) We may assume that V=\alpha^*(\nu_m) and W=\beta^*(\nu_n) for continuous homomorphisms \alpha\colon G\longrightarrow U(m) and \beta\colon G\longrightarrow U(n). Then V\oplus W is the restriction of the tautological U(m+n)-representation \nu_{m+n} along the composite

Hence

(i) The counterclockwise composite sends the class of a continuous map f\colon S^{V\oplus{\mathbb R}^n}\longrightarrow S^V\wedge {\mathbf P}(V)_+=(\Sigma^\infty_+{\mathbf P})(V) to the class of the composite

supported in the colimit system (A.12) for \Phi^{\Sigma_k}_n(\Sigma^\infty_+ {\mathbf P}) at the trivial \Sigma_k-representation V. We get another representative for the same class in \Phi^{\Sigma_k}_n(\Sigma^\infty_+{\mathbf P}) by stabilizing this representative along the \Sigma_k-equivariant linear isometric embedding \lambda_V\colon V\longrightarrow V^k. By expansion of definitions, this stabilized representative features as the counterclockwise composite in the following diagram:

The unnamed isomorphisms consist of shuffling of factors and instances of \lambda_V. The clockwise composite around the diagram sends the class of f to the class of \Phi^{\Sigma_k}(P^k[f]), so the claim comes down to the commutativity of the outer diagram up to based homotopy. The proof of that homotopy commutativity has two ingredients:

1. a path in {\mathbb R}_{>0} from 1/\sqrt{k} to 1 to eliminate the scaling factor that is needed to make \lambda_V an isometry; this rescaling path is used in the upper left triangle and in the lower trapezoid;

2. the homotopy commutativity of the following diagram of spaces:

   \xymatrix@C=25mm{ {\mathbf P}(V)\ar[d]_{\phi^k(V)}\ar[r]^-{\text{diag}} & ( {\mathbf P}(V)^k)^{\Sigma_k} \ar[d]^{(\mu_{V,\dots,V})^{\Sigma_k}}\\ {\mathbf P}(V) \ar[r]_-{{\mathbf P}(\lambda_V)} & {\mathbf P}(V^k)^{\Sigma_k} }

   We write i_1,\dots,i_k\colon V\longrightarrow V^k for the embeddings of the summands. The clockwise composite sends L\in {\mathbf P}(V) to {\mathbf P}(i_1)(L)\cdot\ldots\cdot {\mathbf P}(i_k)(L), whereas the counterclockwise composite sends it to {\mathbf P}(\lambda_V)(L^k)=({\mathbf P}(\lambda_V)(L))^k. We set \theta=\arccos(1/\sqrt{k}). For 1\leq j\leq k, we consider the path of linear isometries H_j\colon [0,1]\longrightarrow {\mathbf L}(V,V^k) from i_j to \lambda_V defined by

   H_j(t)(v)\ = \ \cos(t\theta)\cdot (0,\dots,0,v,0,\dots,0)\ +\ \frac{\sin(t\theta)}{\sqrt{k-1}}\cdot (v,\dots,v,0,v,\dots,v)\ ,

   with the distinguished entries in this formula occurring in the j-th coordinate. Then

   {\mathbf P}(V)\times [0,1]\ \longrightarrow \ {\mathbf P}(V^k)^{\Sigma_k}\ , \quad (L,t)\ \longmapsto \ {\mathbf P}(H_1(t))(L)\cdot\ldots\cdot {\mathbf P}(H_k(t))(L)

   is the desired homotopy for the above diagram.

This concludes the proof that p_{\Sigma_k}^*((\Sigma^\infty_+\phi^k)_*[f])=\Phi^{\Sigma_k}(P^k[f]).

(ii) The restriction homomorphism \operatorname{res}^T_{\{1\}}\colon\pi_0^T(\Sigma^\infty_+{\mathbf P})\longrightarrow \pi_0(\Sigma^\infty_+{\mathbf P}) takes the stable tautological class e_T to the multiplicative unit 1. So

The third equation is provided by Proposition 2.10. Since \Phi^{\Sigma_k}(P^k(b_{\operatorname{cl}}))=p_{\Sigma_k}^*((\Sigma^\infty_+\phi^k)_*(b_{\operatorname{cl}})) by part (i), this proves the claim.

(i) By [schwede:global, Proposition 2.2.23], the bijection (?), (?) is multiplicative in the sense that

in \pi_0^G({\mathbf P}), for all continuous homomorphisms \alpha,\beta\colon G\longrightarrow T. The stabilization map [schwede:global, (3.3.12)] is multiplicative and natural for restriction homomorphisms, and thus

This relation and the multiplicativity of the geometric fixed point map yield

For every compact Lie group G and every G-space A, the abelian group \Phi_0^G(\Sigma^\infty_+ A) is free, with a basis indexed by the set \pi_0(A^G). More precisely, the composite

of the stabilization map and the geometric fixed point map identifies \pi_0(A^G) with a {\mathbb Z}-basis of \Phi_0^G(\Sigma^\infty_+ A). For the underlying G-space of the global space {\mathbf P}, we have \pi_0({\mathbf P}^G)=\pi_0^G({\mathbf P}), and (?), (?) identifies this set with \operatorname{Hom}(G,T). Moreover,

for every continuous homomorphism \alpha\colon G\longrightarrow T, and hence these classes form a {\mathbb Z}-basis of \Phi_0^G(\Sigma^\infty_+ {\mathbf P}).

(ii) Part (i) shows that the graded ring \Phi_0^G(\Sigma^\infty_+{\mathbf P})\otimes \pi_*(\Sigma^\infty_+ {\mathbf P}) is a free module over \pi_*(\Sigma^\infty_+ {\mathbf P}) with basis the classes \alpha^\sharp\otimes 1 for all \alpha\in \operatorname{Hom}(G,T). Suspension spectra and geometric fixed points commute, in the sense that the composite

of the stabilization map and the geometric fixed point map is an isomorphism. The fixed point space {\mathbf P}^G=P(\operatorname{Sym}({\mathcal U}_G^{\mathbb C}))^G is the space of G-invariant lines in a complete complex G-universe, and hence the disjoint union over all \alpha\in \operatorname{Hom}(G,T) of copies of {\mathbb C} P^\infty. More precisely, choices of linear isometries \alpha_\flat\colon {\mathbb C}^\infty\cong \operatorname{Hom}^G(\alpha,\operatorname{Sym}({\mathcal U}_G^{\mathbb C})) to the \alpha-isotypical summands in the complete universe \operatorname{Sym}({\mathcal U}_G^{\mathbb C}) assemble into a homeomorphism

Stable homotopy groups take disjoint unions to direct sums, so the induced map

is an isomorphism.

(iii) Like for any ultra-commutative monoid, the stabilization maps \sigma^G\colon\pi_0^G({\mathbf P})\longrightarrow\pi_0^G(\Sigma^\infty_+{\mathbf P}) send power operations in the global power monoid {\underline \pi}_0({\mathbf P}) to power operations in the global power functor {\underline \pi}_0(\Sigma^\infty_+ {\mathbf P}), by direct inspection. We abbreviate

Then

(iv) We show first that for every ultra-commutative ring spectrum R, the composite \Phi^G\circ\Psi_{\bar g}^*\circ P^m\colon \pi_0^H(R)\longrightarrow\Phi_0^G(R) is additive. Indeed, the composite

classifies the action of G on G/H by left translation. Since this action is transitive, the image of the composite is a transitive subgroup of \Sigma_m, and hence not subconjugate to \Sigma_k\times \Sigma_{m-k} for any 1\leq k\leq m-1. Consequently, the image of \Psi_{\bar g}\colon G\longrightarrow\Sigma_m\wr H is not subconjugate to (\Sigma_k\wr H)\times(\Sigma_{m-k}\wr H) for any 1\leq k\leq m-1. Thus the composite

vanishes for 1\leq k\leq m-1, by [schwede:global, Proposition 3.4.2 (ii)]. So the desired additivity follows:

The first equation is the generic formula for a power operation on a sum in a global power functor, proved for {\underline \pi}_0(R) in [schwede:global, Theorem 5.1.11].

Now we turn to R=\Sigma^\infty_+{\mathbf P}. The class \Psi_{\bar g}^*(P^m(b_{H,\chi})) has representation-grading \Psi_{\bar g}^*(\chi^m). Since \chi\colon H\longrightarrow T is nontrivial, the G-fixed points of \Psi_{\bar g}^*(\chi^m) are also trivial. So the geometric fixed point homomorphism \Phi^G\colon \pi^G_{\Psi_{\bar g}^*(\chi^m)}(\Sigma^\infty_+{\mathbf P})\allowbreak\longrightarrow \Phi^G_0(\Sigma^\infty_+{\mathbf P}) factors as the composite

Altogether we can now conclude

(v) We apply part (iv) to the ambient group \Sigma_m\wr G, its subgroup H=G\times(\Sigma_{m-1}\wr G) of index m, and with \chi=\alpha\circ q, for q\colon G\times(\Sigma_{m-1}\wr G)\longrightarrow G the projection to the first coordinate. We use the transversal \bar g of G\times(\Sigma_{m-1}\wr G) in \Sigma_m\wr G consisting of the elements ((1 i);1,\dots,1) for 1\leq i\leq m. Then the associated monomorphism (3.4)

is a section to the homomorphism \Sigma_m\wr q\colon\Sigma_m \wr(G\times(\Sigma_{m-1}\wr G))\longrightarrow\Sigma_m\wr G. So we obtain

The final equation uses that \operatorname{tr}_{G\times(\Sigma_{m-1}\wr G)}^{\Sigma_m\wr G}(\alpha\circ q)=[m](\alpha), see [schwede:global, Proposition 2.2.30 (iv)].

Every monomial datum is supported on the unique subgroup H of G of index \dim(V). By uniqueness, the group H is in particular normal in G, so if (H,\chi) is a monomial datum, then

So any other monomial datum equals (H,\chi\circ c_g) for some g\in G, and is thus conjugate to (H,\chi).

We start with the special case where G is a closed subgroup of U(m), and V=\operatorname{res}^{U(m)}_G(\nu_m) is the restriction of the tautological representation. The proof of Proposition 2.11 provides a U(m)-equivariant homeomorphism from U(m)/(\Sigma_m\wr T) to the space {\mathcal L}_m of sets \ell=\{L_1,\dots,L_m\} of m pairwise orthogonal 1-dimensional subspaces of {\mathbb C}^m, by taking the columns of a matrix, see (Proof). Hence the induced map on G-fixed points

is a homeomorphism, too.

An element \ell of {\mathcal L}_m is G-fixed precisely if G permutes the m lines in \ell. Since G acts irreducibly on \nu_m, the action of G on such a set \ell\in({\mathcal L}_m)^G must be transitive. Hence the stabilizer H of every element L\in\ell has index m in G. We let \chi\colon H\longrightarrow T be the character that encodes the H-action on L, i.e.,

for all (h,x)\in H\times L. We let x\in L be any unit vector. Then the map

is an isomorphism of G-representations, so (H,\chi) is a monomial datum for V. If L' is another element of \ell, then L'=g L for some g\in G, so the stabilizer of L' is {^g H}, and ^g H acts on L' through the character \chi\circ c_g. So the G-conjugacy class of the monomial datum is independent of the choice of line in \ell\in ({\mathcal L}_m)^G. In other words, the map

is well-defined.

Now we let \ell, \ell' be two elements of ({\mathcal L}_m)^G such that [H,\chi]=[H',\chi'] in \operatorname{mon}(V). Then there are lines L\in\ell and L'\in \ell' such that the associated monomial data (H,\chi) and (H',\chi') are G-conjugate. So after replacing L' by a suitable G-translate, if necessary, we can assume that L and L' have the same stabilizer group H, and the H-action on L and L' is given by the same character \chi. After choosing unit vectors x\in L and x'\in L', each of them defines an isomorphism of G-representations (?). By direct inspection, these send x and x', respectively, to the distinguished function \chi^\dagger\colon G\longrightarrow{\mathbb C} defined by

Since V is irreducible, the two isomorphisms differ by multiplication by a scalar in T, so we must have x'=\lambda x for some \lambda\in T. In particular L'={\mathbb C}\cdot x'={\mathbb C}\cdot x=L. Hence also the G-orbits \ell=G\cdot L and \ell'=G\cdot L' are equal in ({\mathcal L}_m)^G. In other words, the map (?) is injective.

If (H,\chi) is any monomial datum for V, then the induced representation \operatorname{ind}_H^G(\chi) comes with a preferred G-invariant set of pairwise orthogonal lines, namely the set

of lines spanned by the G-translates of the distinguished function (?). Moreover, H is the stabilizer group of the line {\mathbb C}\cdot \chi^\dagger, and H acts on this line by the character \chi. So the image of this set under any isomorphism of G-representations

is an element of ({\mathcal L}_m)^G, and the image of {\mathbb C}\cdot \chi^\dagger is an element with stabilizer group H and character \chi. So the map (?) is surjective, and hence bijective. In sum, we have now established a bijection

that sends a G-fixed coset A\cdot(\Sigma_m\wr T) to the monomial structure [H,\chi], where H is the stabilizer group of the line {\mathbb C}\cdot A\cdot e_1, and \chi\colon H\longrightarrow T encodes the H-action on this line.

Now we prove the claim in the special case. Proposition 3.4.2 (ii) of [schwede:global] shows that

Here G^A=A^{-1} G A, and A_\star is restriction along the conjugation homomorphism c_A\colon G\longrightarrow G^A. We have used that the space (U(m)/(\Sigma_m\wr T))^G is finite by the bijection (?) and the finiteness of \operatorname{mon}(V), so that its path components are points and have Euler characteristic equal to 1. Then

We use the bijection (?) to replace the indexing set of the sum by the set of monomial structures on V, and we rewrite the corresponding summand.

Given any G-fixed point A (\Sigma_m\wr T)\in (U(m)/(\Sigma_m\wr T))^G, we set v_i=A\cdot e_i, where e_i is the ith vector of the standard basis of {\mathbb C}^m. Then (v_1,\dots,v_m) is a monomial basis for V, i.e., an orthonormal basis in which the G-action is given entirely by monomial matrices in \Sigma_m\wr T. We let H be the stabilizer group of the line {\mathbb C}\cdot v_1, and we let \chi\colon H\longrightarrow T encode the H-action on this line, so that [H,\chi] is the monomial structure corresponding to A (\Sigma_m\wr T) under the bijection (?).

Because G acts irreducibly on V, it acts transitively on the set of lines \{{\mathbb C}\cdot v_1,\dots,{\mathbb C}\cdot v_m\}. So we can choose an H-transversal \bar g=(g_1,\dots,g_m) such that g_i\cdot v_1=\lambda_i\cdot v_i for some \lambda_i\in T. The matrix B=A\cdot(1;\lambda_1,\dots,\lambda_m) is then another representative of the same coset A (\Sigma_m\wr T)=B (\Sigma_m\wr T). Moreover, B \cdot e_i=A \cdot \lambda_i\cdot e_i=\lambda_i\cdot v_i. We claim that the following diagram commutes:

To this end we consider \gamma\in G and set \Psi_{\bar g}(\gamma)=(\sigma;h_1,\dots,h_m), which means that

for all 1\leq i\leq m. Then

also for all 1\leq i\leq m. Since the matrices c_B(\gamma) and ((\Sigma_m\wr \chi)\circ\Psi_{\bar g})(\gamma) have the same effect on a basis of {\mathbb C}^m, they agree. The commutative square then yields

The second equation is the naturality of power operations for restriction along continuous homomorphisms. The final equation is Proposition 3.6 (iv); we use here that \chi is nontrivial because V is nontrivial irreducible. This completes the proof in the special case.

Now we consider a general nontrivial and irreducible G-representation V. It is isomorphic to \alpha^*(\nu_m) for some continuous homomorphism \alpha\colon G\longrightarrow U(m), so we may assume that V=\alpha^*(\nu_m). We let K=\alpha(G) be the image of \alpha, a closed subgroup of U(m). We let \epsilon\colon G\longrightarrow K be the continuous epimorphism given by \alpha, with restricted codomain. Then \operatorname{res}^{U(m)}_K(\nu_m) is nontrivial irreducible, and the special case applies to it. As we explained in Example 3.10, the inflation map (3.10) that sends a monomial structure [L,\lambda] on \operatorname{res}^{U(m)}_K(\nu_m) to the monomial structure [\epsilon^{-1}(L),\lambda\circ \epsilon|_{\epsilon^{-1}(L)}] on \epsilon^*(\operatorname{res}^{U(m)}_K(\nu_m))=V is bijective. Transfers commute with inflation, in the sense that

Hence

So the theorem holds for the G-representation V.

If G is abelian and not cyclic, then it admits an epimorphism onto C_p\times C_p, for some prime p. So if G is abelian and near-cyclic, it belongs to class (a).

Now we suppose that G is nonabelian, i.e., its commutator subgroup G' is nontrivial. If the commutator subgroup is perfect, then G belongs to class (c). We let H be a nontrivial cyclic subgroup of G', and we let \chi\colon H\longrightarrow T be any nontrivial character. Since G' is perfect, every G'-character is trivial, so in particular \operatorname{tr}_H^{G'}(\chi)=1. Transitivity of transfers then yields

For the rest of the argument we assume that G is near-cyclic, nonabelian and the commutator subgroup G' is not perfect. We will argue in several steps that then G has property (b). Since the commutator subgroup G' is nontrivial and normal, and since G is near-cyclic, the abelianization G_{\operatorname{ab}}=G/G' is cyclic. The iterated commutator subgroup G''=[G',G'] is a normal subgroup of G. Since G' is not perfect, G'' is strictly contained in G'. So G/G'' is a nonabelian quotient of G. Since G is near-cyclic, G'' must be trivial, i.e., G' is abelian.

Now we show that the center Z(G) of G is trivial. Otherwise, G/Z(G) would be cyclic, by near-cyclicity of G. Then G is generated by Z(G) and any lift of a generator of G/Z(G); since these elements commute with themselves and each other, G would be abelian, contradicting the hypothesis.

Now we show that G belongs to class (b). For any element g\in G\setminus G', we consider the centralizer of g inside the commutator subgroup G',

We show that N is normal in G. Since G' is abelian and normal, the conjugation action of G on G' factors through G_{\operatorname{ab}}=G/G', making G' a {\mathbb Z}[G_{\operatorname{ab}}]-module. For any g\in G with image \bar g=g G' in G_{\operatorname{ab}}, we have N=C_{G'}(g)=\{a\in G'\colon {^{\bar g} a}=a\}, i.e., N is the fixed subgroup of \bar g acting on G'. Since G_{\operatorname{ab}} is cyclic, hence abelian, \bar g commutes with every element of G_{\operatorname{ab}}, so the fixed-point subgroup N is G_{\operatorname{ab}}-invariant, and hence normal in G, as claimed.

Now we show that N is strictly smaller than G'. To prove that we argue by contradiction. If N=G', then g would centralize G'. We let t\in G be an element whose coset t G'\in G/G'=G_{\operatorname{ab}} generates the abelianization. We write g=t^i\cdot \gamma for some i\geq 0 and some \gamma\in G'. Because G' is abelian, \gamma centralizes G'. Hence t^i=g\gamma^{-1} centralizes G'. Since t^i also commutes with t, the element t^i is central in G. Since G is centerless, we conclude that t^i=1, and thus g=\gamma\in G', contradicting the hypothesis on g. This proves that N is a proper subgroup of G'. So G/N is a nonabelian quotient of G. Since G is near-cyclic, we must have N=\{1\}. So conjugation by g does not fix any element of G'\setminus\{1\}, i.e., G_{\operatorname{ab}} acts freely on G'\setminus\{1\}. So G belongs to class (b).

Since G_{\operatorname{ab}} acts freely on G'\setminus\{1\}, the order of G' is congruent to 1 modulo the order of G_{\operatorname{ab}}; in particular, the orders of G' and G_{\operatorname{ab}} are coprime. We let \chi\colon G'\longrightarrow T be any nontrivial character, which exists because G' is abelian and nontrivial. The transfer \operatorname{tr}_{G'}^G\colon\operatorname{Hom}(G',T)\longrightarrow \operatorname{Hom}(G,T) is a group homomorphism; its source has the same order as G', and its target has the same order as \operatorname{Hom}(G_{\operatorname{ab}},T), and hence as G_{\operatorname{ab}}. Since the orders of G' and G_{\operatorname{ab}} are coprime, this transfer homomorphism must be trivial. Hence \operatorname{tr}_{G'}^G(\chi)=1, and the addendum holds for H=G'.

We start with the case where G is near-cyclic. Then G has one of the three properties (a), (b) or (c) specified in Proposition 3.19. We give separate constructions of the desired G-representation.

(a) For G=C_p\times C_p for some prime p, we can let V be the reduced regular representation, which is isomorphic to the direct sum of all nontrivial irreducible G-representations; hence

where the product is over all nontrivial homomorphisms \chi\colon C_p\times C_p\longrightarrow T. The relation

holds in the group ring {\mathbb Z}[\operatorname{Hom}(C_p\times C_p,T)]. Multiplicativity of the pre-Bott classes then yields

(b) We suppose that G is nonabelian, the commutator subgroup G' is abelian, and the conjugation action of G_{\operatorname{ab}}=G/G' on G'\setminus\{1\} is free. In this case the order of the commutator subgroup G' is congruent to 1 modulo the order of G_{\operatorname{ab}}, so the orders of G' and G_{\operatorname{ab}} are coprime. Because G_{\operatorname{ab}} acts freely on G'\setminus\{1\}, it also acts freely on the set of nontrivial homomorphisms from G' to T. We let \chi\colon G'\longrightarrow T be any nontrivial homomorphism. Then \chi\circ c_g\ne \chi for all g\in G\setminus G'. The induced G-representation \operatorname{ind}_{G'}^G(\chi) is thus irreducible. The transfer \operatorname{tr}_{G'}^G\colon\operatorname{Hom}(G',T)\longrightarrow \operatorname{Hom}(G,T) is a group homomorphism; its source has the same order as G', and its target has the same order as \operatorname{Hom}(G_{\operatorname{ab}},T), and hence as G_{\operatorname{ab}}. Since the orders of G' and G_{\operatorname{ab}} are coprime, this transfer homomorphism must be trivial. In particular, \operatorname{tr}_{G'}^G(\chi)=1.

Since the orders of G' and G_{\operatorname{ab}}=G/G' are coprime, G' is the only subgroup of G of index [G:G']. So [G',\chi] is the only monomial structure on \operatorname{ind}_{G'}^G(\chi), by Proposition 3.9. Hence for V=\operatorname{ind}_{G'}^G(\chi), the formula of Theorem 3.12 has only one summand, and it yields the relation

(c) If G is not solvable, then G cannot be a monomial group, see [taketa:monomial] or [isaacs:character, Corollary 5.13]. Hence G has an irreducible representation V that is not induced from a 1-dimensional representation of any subgroup of G. Then \Phi^G(b_{G,V})=0 by Theorem 3.12.

It remains to treat the case of a general non-cyclic finite group. Any non-cyclic group G admits an epimorphism \epsilon\colon G\longrightarrow K onto a near-cyclic group. By the above, there is a K-representation W with W^K=0 and such that \Phi^K(b_{K,W})=0. Then V=\epsilon^*(W) is the desired G-representation, because the geometric fixed point homomorphisms commute with inflation, see (?), and thus

We first show a reduction scheme for epimorphisms. Let \epsilon\colon K\longrightarrow G be a continuous epimorphism, and suppose that the conclusion of the theorem holds for G. Then the conclusion of the theorem also holds for K. Indeed, if V is a unitary G-representation with V^G=0 and \Phi^G(b_{G,V})=0, the inflated K-representation W=\epsilon^*(V) satisfies W^K=V^G=0 and

And if \chi\colon H\longrightarrow T is a nontrivial continuous homomorphism from a finite index subgroup of G such that \operatorname{tr}_H^G(\chi)=1, then L=\epsilon^{-1}(H) is a finite index subgroup of K and \beta=\chi\circ \epsilon|_L\colon L\longrightarrow T is a nontrivial continuous homomorphism such that

So whenever properties (i) and (ii) hold for G, they also hold for K.

Now we prove the theorem in three steps, for successively more general classes of groups. In the proof of the following first case, we shall need an algebraic fact. We let A be a torsion-free abelian group equipped with a faithful action of a finite cyclic group C of order n. Such an action has a free orbit, i.e., there is an element a\in A whose orbit C a has n elements. Now let \tau\colon A\longrightarrow B be a homomorphism of abelian groups that is C-equivariant for the trivial C-action on the target. We define b\in A by

where t is a generator of C. Then b lies in the kernel of \tau, and the C-orbit of b also has n elements. Indeed, if t^k b = b for some 0 < k < n, then expanding gives n(t^k a - a) = 0, so t^k a = a by torsion-freeness, contradicting the freeness of the orbit C a. So the kernel of \tau contains a free C-orbit.

Case 1: The conjugation action of \pi_0(G) on G^\circ is faithful. Then also the induced \pi_0(G)-action on \operatorname{Hom}(G^\circ,T) is faithful. Since G^\circ is a torus, the abelian group \operatorname{Hom}(G^\circ,T) is torsion-free. Each element of \pi_0(G) acts on G^\circ by the restriction of an inner automorphism of G. So the transfer homomorphism

is equivariant for the trivial \pi_0(G)-action on the target. Since the \pi_0(G)-action on \operatorname{Hom}(G^\circ,T) is faithful, the kernel of this transfer homomorphism contains a free \pi_0(G)-orbit, by the comment above. In other words: there is a continuous homomorphism \chi\colon G^\circ\longrightarrow T such that \operatorname{tr}_{G^\circ}^G(\chi)=1 and such that \chi\circ c_g\ne \chi for all g\in G\setminus G^\circ. In particular, condition (ii) holds for H=G^\circ.

The fact that \chi\circ c_g\ne \chi for all g\in G\setminus G^\circ means that the induced G-representation \operatorname{ind}_{G^\circ}^G(\chi) is irreducible. Since G^\circ is the only subgroup of G whose index equals [G:G^\circ], [G^\circ,\chi] is the only monomial structure on \operatorname{ind}_{G^\circ}^G(\chi), by Proposition 3.9. Theorem 3.12 then lets us conclude

So condition (i) holds for V=\operatorname{ind}_{G^\circ}^G(\chi).

Case 2: The projection q\colon G\longrightarrow G/G^\circ=\pi_0(G) has a multiplicative section. We can assume without loss of generality that G=C\ltimes_\psi G^\circ is the semidirect product of an action of a finite cyclic group C on a torus G^\circ, given by a homomorphism \psi\colon C\longrightarrow \operatorname{Aut}(G^\circ). We let D be the kernel of \psi, i.e., the subgroup of C consisting of the elements that act trivially on G^\circ. Then the C-action descends uniquely to a faithful action \bar\psi\colon C/D\longrightarrow\operatorname{Aut}(G^\circ) of the quotient group, and the group G surjects onto the semidirect product \bar G=(C/D)\ltimes_{\bar\psi}G^\circ. Since G is nonabelian, the C-action on G^\circ is nontrivial. Hence also the induced (C/D)-action on G^\circ is nontrivial, and the group \bar G is nonabelian. Moreover the component group \pi_0(\bar G) is isomorphic to C/D, hence cyclic, in a way that identifies the conjugation action on \bar G^\circ=G^\circ with the action \bar\psi\colon C/D\longrightarrow\operatorname{Aut}(G^\circ). Since C/D acts faithfully on G^\circ by design, the group \bar G satisfies the hypothesis of case 1. Since the theorem holds for \bar G by case 1, the epimorphic reduction scheme proves the theorem for the group G.

Case 3, the general case: We let N=Z(G)\cap G^\circ be the intersection of the center of G with the identity component G^\circ. We claim that the quotient group G/N is nonabelian. If G/N were abelian, then the commutator subgroup G' of G would be contained in N, and hence central in G. Since the abelianization G_{\operatorname{ab}}=G/G' has a cyclic component group \pi_0(G_{\operatorname{ab}})=(\pi_0(G))_{\operatorname{ab}}=\pi_0(G), the abelianization is itself cyclic. But any group that has a central subgroup with cyclic quotient is abelian, contradicting the hypothesis on G. This shows that G/N is nonabelian. The identity component of G/N is G^\circ/N, and thus abelian. Since N is contained in G^\circ, the quotient map G\longrightarrow G/N induces an isomorphism of component groups \pi_0(G)\cong\pi_0(G/N).

We claim that the projection G/N\longrightarrow\pi_0(G/N) has a multiplicative section. To this end we let t\in G be an element whose class t\cdot G^\circ in G/G^\circ=\pi_0(G) generates the cyclic component group. Then the image of t also generates the cyclic group \pi_0(G/N). If n=[G:G^\circ] is the order of \pi_0(G), and hence also of \pi_0(G/N), then t^n\in G^\circ. Since G^\circ is abelian, t^n commutes with t and with G^\circ. Since G is generated by t and G^\circ, the element t^n is central, and thus t^n\in N. So the quotient map G/N\longrightarrow \pi_0(G/N) has a multiplicative section, as claimed. Since the theorem holds for G/N by case 2, the epimorphic reduction scheme proves the theorem for the group G.

We distinguish three cases.

(a) If the component group \pi_0(G) is not cyclic, then Theorem 3.20 provides a \pi_0(G)-representation W such that W^{\pi_0(G)}=0 and \Phi^{\pi_0(G)}(b_{\pi_0(G),W})=0. We let q\colon G\longrightarrow G/G^\circ=\pi_0(G) denote the projection. Then the inflation q^*(W) has the desired property, because (q^*(W))^G=W^{\pi_0(G)}=0 and

(b) If the identity component G^\circ is nonabelian, then G^\circ has irreducible representations of arbitrarily large dimensions, see for example [broecker-tomdieck, Chapter VI, (1.20), Exercise 2]. Since every irreducible G^\circ-representation is a G^\circ-equivariant summand of some irreducible G-representation, G itself has irreducible representations of arbitrarily large dimensions. In particular, there is an irreducible G-representation V whose dimension exceeds the cardinality of the finite group \pi_0(G). Then G has no closed subgroup of finite index equal to the dimension of V, so V has no monomial structure. Hence \Phi^G(b_{G,V})=0 by Theorem 3.12.

(c) If the component group \pi_0(G) is cyclic and the identity component G^\circ is abelian, then G itself must be nonabelian, for otherwise it would be cyclic. So Theorem 3.21 (i) provides the desired G-representation.

We start with the case m=1, showing that \eta_*(b_1) is invertible. We use that \eta_*(b_1) equals the equivariant Bott class \beta=\beta_{T,\nu_1}, see Remark 4.2. While the Thom isomorphism says that exterior multiplication by \beta is an isomorphism of reduced equivariant K-groups, this is not quite the same statement as invertibility in the sense of Definition 1.3, so we need an extra argument. The right square in the following diagram commutes because \beta^\flat\colon{\mathbf{KU}}\wedge S^{\nu_1}\longrightarrow {\mathbf{KU}} is a morphism of T-spectra:

The left square commutes because

for all x\in\pi_0^T({\mathbf{KU}}). We claim that both rows are exact. The upper row is part of the long exact homology sequence of the cofiber sequence of based T-spaces (2.4), combined with the Wirthmüller isomorphism \pi_0^T({\mathbf{KU}}\wedge T_+\wedge S^1)\cong\pi_0({\mathbf{KU}}\wedge S^2). It is short exact because the adjacent terms are non-equivariant and T-equivariant homotopy groups of {\mathbf{KU}} of odd degrees, and thus trivial. The lower row is exact because \pi_0^T({\mathbf{KU}}) is a Laurent polynomial ring on the class [\nu_1], and hence a domain whose augmentation ideal is generated by 1-[\nu_1].

The T-equivariant Bott class restricts to the classical non-equivariant Bott class in \pi_2({\mathbf{KU}}), which is invertible in the graded ring \pi_*({\mathbf{KU}}); in the model for complex K-theory that we work with, this is proved in [schwede:global, Theorem 6.4.29]. So the right vertical map in the above commutative diagram is bijective. The middle vertical map is thus bijective by the five lemma. In particular, there is a class u\in\pi_0^T({\mathbf{KU}}\wedge S^{\nu_1}) such that \beta^\flat_*(u)=1, and so the class \beta=\eta_*(b_1) is invertible by Proposition 1.6.

Now we consider m\geq 2. Since the class \eta_*(b_1)=\beta is invertible, so is its power P^m(\beta), by Proposition 1.21. We let \lambda\in \pi_0^{\Sigma_m\wr T}({\mathbf{KU}}\wedge S^{\nu_1^m}) be the inverse of P^m(\beta), i.e., the unique class such that (P^m(\beta))^\flat_*(\lambda)=1. We claim that

is inverse to \eta_*(b_m). To this end we calculate

The second equation uses Theorem 2.14 (i) and the double coset formula \operatorname{res}^{U(m)}_{T^m}\circ \operatorname{tr}_{\Sigma_m\wr T}^{U(m)}=\operatorname{res}^{\Sigma_m\wr T}_{T^m}, compare [lms, IV Corollary 6.7 (i)].

The restriction homomorphism \operatorname{res}^{U(m)}_{T^m}\colon \pi_0^{U(m)}({\mathbf{KU}})\longrightarrow \pi_0^{T^m}({\mathbf{KU}}) is isomorphic to the restriction homomorphism of representation rings \operatorname{res}^{U(m)}_{T^m}\colon RU(U(m))\longrightarrow RU(T^m), which is injective. So we can conclude that (\eta_*(b_m))^\flat_*\allowbreak(\operatorname{tr}_{\Sigma_m\wr T}^{U(m)}(\lambda))=1, as claimed. In particular, the class \eta_*(b_m) is invertible.

If the group G is not cyclic, then Theorem 3.22 provides a G-representation V with V^G=0 such that \Phi^G(b_{G,V})=0 in the ring \Phi^G_0(\Sigma^\infty_+{\mathbf P}). So the localization of \Phi^G_*(\Sigma^\infty_+{\mathbf P}) by \Phi^G(b_{G,V}) is trivial. Since \Phi^G_*({\mathbf{KU}}) is also trivial, for example by Remark 4.4, the claim holds for all non-cyclic groups.

Now we treat the case where G is cyclic, hence abelian. Then all irreducible G-representations are 1-dimensional, so we must show that \Phi^G_*(\eta) is a localization away from the classes \Phi^G(b_{G,\lambda}) for all continuous homomorphisms \lambda\colon G\longrightarrow T. The following diagram of graded rings commutes because

and by naturality and multiplicativity of the geometric fixed point maps:

The upper horizontal map is an isomorphism by Proposition 3.6 (ii); the left lower horizontal map is an isomorphism because G is abelian, and hence all irreducible G-representations are 1-dimensional. We showed in Remark 4.2 that \eta sends the pre-Bott class b_1 to the T-equivariant Bott class \beta_{T,\nu_1}. So the underlying morphism of non-equivariant ring spectra sends the classical non-equivariant pre-Bott class b_{\operatorname{cl}}=\operatorname{res}^T_{\{1\}}(b_1) in \pi_2(\Sigma^\infty_+{\mathbf P}) to the classical Bott class in \pi_2({\mathbf{KU}}). By Snaith’s theorem, the morphism \eta_*\colon \pi_*(\Sigma^\infty_+ {\mathbf P})\longrightarrow K U_* of non-equivariant homotopy rings is a localization by b_{\operatorname{cl}}. So the left vertical morphism in the diagram is a localization by 1\otimes b_{\operatorname{cl}}.

If \lambda\colon G\longrightarrow T is nontrivial, then \Phi^G(b_{G,\lambda})=1-\lambda^\sharp by (3.1); hence the isomorphism of Proposition 3.6 (i) identifies \Phi^G(b_{G,\lambda}) with 1-\lambda. The first two maps in the above composite send 1-\lambda to 1-[\lambda]\in\pi_0^G({\mathbf{KU}}). It is a well-known fact that the geometric fixed point map \Phi^G\colon \pi_*^G({\mathbf{KU}})\longrightarrow \Phi_*^G({\mathbf{KU}}) is localization away from the set of classes 1-[\lambda] for all nontrivial continuous homomorphisms \lambda\colon G\longrightarrow T; we recall the classical argument. The global K-theory spectrum is G-equivariantly complex oriented, with the Bott classes as Thom classes. So the geometric fixed point morphism \Phi^G\colon \pi_*^G({\mathbf{KU}})\longrightarrow \Phi^G_*({\mathbf{KU}}) presents the target as the localization of the source by the Euler classes of all nontrivial irreducible complex G-representations, see [tomDieck:and, representation, theory, Proposition 7.4.1] or [greenlees-may:equivariant_stable, Proposition 3.20]. Moreover, the Euler class of \lambda is precisely

After inverting the upper horizontal isomorphism in the diagram, we have factored the morphism \Phi^G_*(\eta)\colon\allowbreak \Phi^G_*(\Sigma^\infty_+ {\mathbf P})\longrightarrow\Phi^G_*({\mathbf{KU}}) as the composite of two localizations:

• a morphism \Phi^G_*(\Sigma^\infty_+{\mathbf P})\longrightarrow\pi_*^G({\mathbf{KU}}) that inverts the class p_G^*(b_{\operatorname{cl}})=\Phi^G(b_{G,{\mathbb C}}) in \Phi^G_2(\Sigma^\infty_+{\mathbf P}) arising from the trivial homomorphism G\longrightarrow T;

• followed by the morphism \Phi^G\colon \pi_*^G({\mathbf{KU}})\longrightarrow\Phi_*^G({\mathbf{KU}}) that inverts the images of the classes \Phi^G(b_{G,\lambda}) for all nontrivial homomorphisms \lambda\colon G\longrightarrow T.

So the composite \Phi^G_*(\eta)\colon \Phi^G_*(\Sigma^\infty_+{\mathbf P})\longrightarrow\Phi^G_*({\mathbf{KU}}) is a localization by the classes \Phi^G(b_{G,\lambda}) for all continuous homomorphisms \lambda\colon G\longrightarrow T, trivial or not.

Theorem 4.5 witnesses the geometric fixed point criterion of Theorem 1.18 for the pre-Bott classes \{b_m\}_{m\geq 1}, and for the morphism \eta\colon \Sigma^\infty_+ {\mathbf P} \longrightarrow {\mathbf{KU}}, proving (i). In the situation of (ii), the underlying morphism of commutative global ring spectra is a global localization in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) by \{b_m\}_{m\geq 1}, by (i). Theorem 1.23 (iii) then shows that \eta is also an ultra-commutative localization in \operatorname{URing}_{\operatorname{gl}} by \{b_m\}_{m\geq 1}.

We apply the localization recognition of Theorem 1.17 to the presentably symmetric monoidal \infty-category {\mathcal S} p^\wedge_G of G-spectra, to the morphism \eta_G\colon\Sigma^\infty_+ {\mathbf P}_G\longrightarrow{\mathbf{KU}}_G, and to the family of geometric fixed point functors \Phi^H\circ\operatorname{res}^G_H\colon{\mathcal S} p^\wedge_G\longrightarrow {\mathcal S} p^\wedge, for H ranging over all closed subgroups of G. These functors are strong symmetric monoidal left adjoints, and jointly conservative. The full subcategory {\mathcal W} of (\Sigma^\infty_+{\mathbf P}_G)\backslash\operatorname{CAlg}({\mathcal S} p^\wedge_G) is spanned by the morphisms that invert the pre-Bott classes b_{G,V} for all unitary G-representations V; it is closed under postcomposition by Proposition 1.10 (i), and it contains \eta_G by Theorem 4.3 and Proposition 1.14.

We claim that hypothesis (c) of Theorem 1.17 holds for every closed subgroup H of G. Since {\mathbf{KU}} is a global ring spectrum, \operatorname{res}^G_H({\mathbf{KU}}_G) is equivalent to {\mathbf{KU}}_H. By Theorem 4.5, the morphism \Phi^H_*(\eta_G)\colon \Phi^H_*(\Sigma^\infty_+{\mathbf P}_G)\longrightarrow \Phi^H_*({\mathbf{KU}}_G) is a localization by the set of classes \Phi^H(b_{H,W}) for all unitary H-representations W. While not every H-representation underlies a G-representation, every H-representation is a direct summand in a G-representation. Since the pre-Bott classes are multiplicative (Theorem 2.14 (ii)), and a product in a graded-commutative ring is invertible if and only if its factors are, we deduce that \Phi^H_*(\eta_G) is also a localization by the set of classes \Phi^H(b_{G,V}) for all unitary G-representations V.

Any f\colon \Sigma^\infty_+{\mathbf P}_G\longrightarrow P in {\mathcal W} inverts b_{G,V} for all unitary G-representations V, and hence it inverts all the classes \Phi^H(b_{G,V}) by Propositions 1.6 and 1.10 (ii). Since \Phi^H_*(\eta_G)\colon\allowbreak\Phi^H_*(\Sigma^\infty_+{\mathbf P}_G)\longrightarrow \Phi^H_*({\mathbf{KU}}_G) is a localization by these classes, the morphism \Phi^H_*(f) factors through \Phi^H_*(\eta_G). So Theorem 1.17 applies and shows that \eta_G\colon \Sigma^\infty_+{\mathbf P}_G\longrightarrow{\mathbf{KU}}_G is a localization by \{b_{G,V}\} in \operatorname{CAlg}({\mathcal S} p^\wedge_G).

The forgetful functor u\colon\operatorname{Mod}_{\Sigma^\infty_+{\mathbf P}_G}({\mathcal S} p_G^\wedge)\longrightarrow{\mathcal S} p_G preserves colimits and is conservative. The geometric fixed point functors \Phi^H\circ\operatorname{res}^G_H\colon {\mathcal S} p_G\longrightarrow {\mathcal S} p preserve colimits, and are jointly conservative for all closed subgroups of G. And the functor \pi_*\colon {\mathcal S} p\longrightarrow \operatorname{GrAb} is conservative and preserves sequential colimits. So it suffices to show that \pi_*\circ \Phi^H\circ\operatorname{res}^G_H\circ u\circ\bar F\colon {\mathbb N}^\triangleright\longrightarrow\operatorname{GrAb} is a colimit, for all H\leq G. Since the \{U_i\} are an exhaustive sequence of G-representations, the underlying H-representations are also exhaustive, and thus contain every irreducible H-representation infinitely often. So the colimit of \pi_*\circ \Phi^H\circ\operatorname{res}^G_H\circ u\circ F\colon {\mathbb N}\longrightarrow\operatorname{GrAb} calculates the localization of the geometric fixed point ring \Phi^H_*(\Sigma^\infty_+{\mathbf P}_G) obtained by inverting the classes \Phi^H(b_{H,\lambda}) for all irreducible H-representations \lambda. By Theorem 4.5, the morphism \Phi^H_*(\eta_G) exhibits \Phi^H_*({\mathbf{KU}}_G) as such a localization. Hence \pi_*\circ \Phi^H\circ\operatorname{res}^G_H\circ u\circ \bar F is a colimit for all H\leq G, and so \bar F\colon {\mathbb N}^\triangleright\longrightarrow\operatorname{Mod}_{\Sigma^\infty_+{\mathbf P}_G}({\mathcal S} p_G^\wedge) is a colimit, too.

(i) The functor -\wedge_{\Sigma^\infty_+{\mathbf P}_G}M\colon\operatorname{Mod}_{\Sigma^\infty_+{\mathbf P}_G}({\mathcal S} p_G^\wedge)\longrightarrow{\mathcal S} p_G preserves all colimits. So Theorem 5.16 shows that the cocone diagram \bar F\wedge_{\Sigma^\infty_+{\mathbf P}_G}M\colon {\mathbb N}^\triangleright\longrightarrow{\mathcal S} p_G presents {\mathbf{KU}}_G\wedge_{\Sigma^\infty_+{\mathbf P}_G}M as a colimit in {\mathcal S} p_G of the sequence

We have exploited

By design, the morphism M\wedge h_n induces multiplication by the pre-Bott class \mathbbm{b}_{G,\langle U_n\rangle} on RO(G)-graded homotopy groups.

For every \alpha\in RO(G), the functor \pi_\alpha^G\colon {\mathcal S} p_G\longrightarrow\operatorname{Ab} preserves sequential colimits. So \pi_\star^G({\mathbf{KU}}_G\allowbreak\wedge_{\Sigma^\infty_+{\mathbf P}_G}M) is exhibited as a sequential colimit, over multiplications by pre-Bott classes, of appropriate RO(G)-graded shifts of instances of \pi_\star^G(M). Since the sequence of G-representations (5.13) is exhaustive, the algebraic effect of the sequential colimit is precisely RO(G)-graded localization by the pre-Bott classes of all unitary G-representations.

(ii) By the finiteness of A, the assembly morphism

is an equivalence of {\mathbf{KU}}_G-modules. So part (ii) follows from part (i), applied to the \Sigma^\infty_+{\mathbf P}_G-module \operatorname{map}_*(A,\Sigma^\infty_+{\mathbf P}_G).

(iii) The localization property in the category of graded-commutative RO(G)-graded rings is detected by the analogous localization property of the underlying RO(G)-graded \pi_\star^G(\Sigma^\infty_+ {\mathbf P}_G)-modules. So property (iii) follows from (i) for M=\Sigma^\infty_+{\mathbf P}_G.

(i) The abelian group \pi_0^C(\Sigma^\infty_+{\mathbf P}) is torsion-free, see for example [schwede:global, Corollary 4.1.13]; so the result is tautologically true in dimension zero. By design, the graded ring \pi_0^C(\Sigma^\infty_+{\mathbf P})[b_{\operatorname{nv}}] is concentrated in even degrees, and the class b_{\operatorname{nv}} acts bijectively in non-negative degrees. Since the claim holds in dimension 0, it remains to show that the graded ring \pi_*^C(\Sigma^\infty_+{\mathbf P}) is torsion in all odd degrees, and the naive pre-Bott class acts bijectively modulo torsion, i.e.,

is bijective for all k\geq 0.

We use the classical fact that the composite

is an isomorphism of graded rings, with b_{\operatorname{cl}}=\operatorname{res}^T_{\{1\}}(b_1) the classical pre-Bott class. Indeed, the quotient of \pi_*(\Sigma^\infty_+ {\mathbb C} P^\infty) by its torsion ideal embeds into {\mathbb Q}\otimes\pi_*(\Sigma^\infty_+ {\mathbb C} P^\infty)\allowbreak\cong H_*({\mathbb C} P^\infty;{\mathbb Q})={\mathbb Q}[b_{\operatorname{cl}}], and the powers of b_{\operatorname{cl}} cannot be divisible because their images in \pi_*(KU) are not divisible. In particular, \pi_*(\Sigma^\infty_+ {\mathbb C} P^\infty) is torsion in odd degrees, and the classical pre-Bott class acts bijectively modulo torsion.

For the suspension spectrum of any C-space X, the geometric fixed point homomorphism is a split epimorphism. So the isotropy separation sequence becomes a split short exact sequence:

Here q\colon EC\times X\longrightarrow X is the projection. Since the sequence is split exact, it remains exact after dividing out the torsion subgroups everywhere.

Now we specialize to X={\mathbf P}_C, the underlying C-space of the global space {\mathbf P}. We let b_{\operatorname{nv}} act on \pi_*(\Sigma^\infty_+ ({\mathbf P}_C)^C)\cong\Phi_*^C(\Sigma^\infty_+ {\mathbf P}) by multiplication by the class \Phi^C(b_{\operatorname{nv}}). The torsion subgroups are invariant under the b_{\operatorname{nv}}-action, so we arrive at a short exact sequence of graded {\mathbb Z}[b_{\operatorname{nv}}]-modules:

The above classical fact and the description of Proposition 3.6 (ii) show that the term \Phi_*^C(\Sigma^\infty_+ {\mathbf P})/\allowbreak(\text{torsion}) is trivial in all odd degrees, and that b_{\operatorname{nv}} acts bijectively on it.

We claim that also \pi_*^C(\Sigma^\infty_+ (EC\times {\mathbf P}_C))/(\text{torsion}) is trivial in odd degrees, and b_{\operatorname{nv}} acts bijectively on it. Granted this, the five lemma shows that b_{\operatorname{nv}} acts bijectively on \pi_*^C(\Sigma^\infty_+ {\mathbf P})/(\text{torsion}), which is also concentrated in even degrees.

Since {\mathbf P} is a global classifying space for the circle group T, the C-space {\mathbf P}_C is C-homotopy equivalent to (E_C T)/T, with E_C T a universal (C\times T)-space for the family of graph subgroups of C\times T, see [schwede:global, Proposition 1.1.26 (i)]. The (C\times T)-space EC\times (E_C T) is free and underlying contractible, so

is a non-equivariant classifying space for C\times T. The Adams isomorphism thus identifies \pi_*^C(\Sigma^\infty_+ (EC \times {\mathbf P}_C)) with the non-equivariant stable homotopy groups \pi_*(\Sigma^\infty_+ (BC \times {\mathbb C} P^\infty)). A choice of basepoint of B C splits this graded group as the direct sum of

The second of these summands is p-power torsion because the reduced suspension spectrum \Sigma^\infty BC becomes trivial in the stable homotopy category after inverting p; so it contributes a torsion direct summand to \pi_*^C(\Sigma^\infty_+ (EC \times {\mathbf P}_C)). The torsion subgroup is b_{\operatorname{nv}}-invariant, so \pi_*^C(\Sigma^\infty_+ (EC\times {\mathbf P}_C))/(\text{torsion}) is {\mathbb Z}[b_{\operatorname{nv}}]-linearly isomorphic to \pi_*(\Sigma^\infty_+ {\mathbb C} P^\infty)/(\text{torsion}), with b_{\operatorname{nv}} acting as the classical pre-Bott class b_{\operatorname{cl}}. One more time by the above classical fact, b_{\operatorname{nv}} indeed acts bijectively on \pi_*(\Sigma^\infty_+ {\mathbb C} P^\infty)/(\text{torsion}), and hence also on \pi_*^C(\Sigma^\infty_+ (EC\times {\mathbf P}_C))/(\text{torsion}), as claimed. This completes the proof of (i).

(ii) We show first that the ring homomorphism \pi_0^C(\eta)\colon \pi_0^C(\Sigma^\infty_+{\mathbf P})\longrightarrow\pi_0^C({\mathbf{KU}}) is not a localization by any multiplicative subset of the source. We argue by contradiction and suppose that \pi_0^C(\eta) presents \pi_0^C({\mathbf{KU}}) as a localization by a multiplicative subset S of \pi_0^C(\Sigma^\infty_+{\mathbf P}). We set \xi=\operatorname{res}^T_C(e_T)\in \pi_0^C(\Sigma^\infty_+{\mathbf P}), for some embedding C\longrightarrow T. The abelian group \pi_0^C(\Sigma^\infty_+{\mathbf P}) is free of rank p+1, with basis the classes \xi^k for 0\leq k\leq p-1, and the class t=\operatorname{tr}_{\{1\}}^C(1), see for example [schwede:global, Corollary 4.1.13]. The ring structure is determined by the relations

The kernel of \pi_0^C(\eta) is free of rank 1 as an abelian group, generated by the element

The localization property provides an element s\in S such that s\cdot \kappa=0. The ring homomorphism \pi_0^C(\eta) has a section \sigma\colon\pi_0^C({\mathbf{KU}})\longrightarrow \pi_0^C(\Sigma^\infty_+{\mathbf P}) by a ring homomorphism, determined by sending \operatorname{res}^T_C[\nu_1]=\pi_0^C(\eta)(\xi) to the element \xi in \pi_0^C(\Sigma^\infty_+{\mathbf P}). The element \pi_0^C(\eta)(s) is a unit in \pi_0^C({\mathbf{KU}}) by the localization property. So u=\sigma(\pi_0^C(\eta)(s)) is a unit in \pi_0^C(\Sigma^\infty_+{\mathbf P}), and \pi_0^C(\eta)(s\cdot u^{-1})=1. Hence

for some a\in{\mathbb Z}, because \kappa generates the kernel of \pi_0^C(\eta). The relation \kappa^2=p\cdot\kappa yields

Since \kappa is not a torsion element, (1+pa)\cdot\kappa is non-zero, and hence s\cdot\kappa is non-zero. We have arrived at a contradiction, so \pi_0^C(\eta) is not a localization by any multiplicative subset, as claimed.

Now we show that the composite

is not a localization of graded-commutative rings by any set of homogeneous elements of the source, where \beta_{\operatorname{nv}}=\pi_2^C(\eta)(b_{\operatorname{nv}})=p_C^*(\operatorname{res}^T_{\{1\}}(\beta_{T,\nu_1}))\in \pi_2^C({\mathbf{KU}}). Again we argue by contradiction and suppose that (?) were a localization by such a set {\mathcal Y}. We write each element of this set as y=w\cdot b_{\operatorname{nv}}^k, with w\in \pi_0^C(\Sigma^\infty_+{\mathbf P}) and k\geq 0. Then k must be positive for at least one element of {\mathcal Y}, for else the localization would be concentrated in non-negative degrees. Inverting y can be achieved by first inverting b_{\operatorname{nv}}, if k>0, and then inverting w. Hence the extension of (?) to a homomorphism

is a localization by the set of factors w of degree 0 in the above products. Thus \pi_0^C(\eta)\colon\pi_0^C(\Sigma^\infty_+{\mathbf P})\longrightarrow\pi_0^C({\mathbf{KU}}) is a localization by the set of these w, contradicting the previous paragraph.

Now we prove part (ii) by contradiction and suppose that \pi_*^C(\eta)\colon \pi_*^C(\Sigma^\infty_+{\mathbf P})\allowbreak\longrightarrow\pi_*^C({\mathbf{KU}}) were a localization by a set {\mathcal Y} of homogeneous elements of the source. Since \pi_*^C({\mathbf{KU}}) is torsion-free, every torsion element of \pi_*^C(\Sigma^\infty_+{\mathbf P}) lies in the kernel of \pi_*^C(\eta). Since localization is exact, any localization of \pi_*^C(\Sigma^\infty_+{\mathbf P}) by {\mathcal Y} is thus also a localization of \pi_*^C(\Sigma^\infty_+{\mathbf P})/(\text{torsion}) by the image of {\mathcal Y}. Part (i) identifies \pi_*^C(\Sigma^\infty_+{\mathbf P})/(\text{torsion}) with \pi_0^C(\Sigma^\infty_+{\mathbf P})[b_{\operatorname{nv}}], so we deduce that the composite (?) is a localization, contradicting the previous paragraph.

Every nontrivial compact Lie group G has a closed cyclic subgroup C\leq G of prime order. If {\mathbf{KU}}_G were a telescopic localization by a set {\mathcal Y} of homogeneous elements of \pi_*^G(\Sigma^\infty_+{\mathbf P}), then the underlying C-spectrum {\mathbf{KU}}_C would be a telescopic localization of \Sigma^\infty_+{\mathbf P}_C by the set \{\operatorname{res}^G_C(y)\mid y\in{\mathcal Y}\}. Telescopically inverting a set of integer-graded equivariant homotopy classes induces the algebraic localization on equivariant homotopy groups, so this would contradict Proposition 5.21 (ii).

It suffices to exhibit any morphism of ultra-commutative ring spectra from \Sigma^\infty_+{\mathbf P} that inverts b_m but not b_{m+1}. We write {\mathcal F}_m for the global class of compact Lie groups that are isomorphic to a subgroup of \Sigma_k\wr U(m) for some k\geq 1. This global class is multiplicative because (\Sigma_k\wr U(m))\times (\Sigma_l\wr U(m)) embeds into \Sigma_{k+l}\wr U(m). And {\mathcal F}_m is closed under wreath products because \Sigma_k\wr(\Sigma_l\wr U(m)) embeds into \Sigma_{k l}\wr U(m). By design, {\mathcal F}_m is the minimal multiplicative global class that contains U(m) and is closed under wreath products.

We let \delta\colon L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}})\longrightarrow{\mathbf{KU}} be an {\mathcal F}_m-approximation of the global K-theory spectrum in the \infty-category \operatorname{URing}_{\operatorname{gl}} of ultra-commutative ring spectra, in the sense of Remark C.11. So this morphism is terminal in the full subcategory of \operatorname{URing}_{\operatorname{gl}}/{\mathbf{KU}} spanned by morphisms whose source is {\mathcal F}_m-left induced as a global spectrum. Such a morphism exists by Theorem C.10 (iv).

Since {\mathbf P} is a global classifying space of the abelian compact Lie group U(1), the global spectrum \Sigma^\infty_+{\mathbf P} is left induced from the global family {\mathcal A}b of abelian compact Lie groups. Hence \Sigma^\infty_+{\mathbf P} is also left induced from the larger global class {\mathcal F}_m. So the morphism \eta\colon\Sigma^\infty_+{\mathbf P}\longrightarrow{\mathbf{KU}} factors uniquely as a morphism of ultra-commutative ring spectra \psi\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) followed by \delta\colon L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}})\longrightarrow{\mathbf{KU}}. Since \delta is an {\mathcal F}_m-equivalence, since U(m)\in{\mathcal F}_m, and since \eta inverts b_m, the morphism \psi\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) also inverts b_m. We will show that \psi does not invert b_{m+1}. Incidentally, for m=1 the family {\mathcal F}_1 is the family {\mathcal A}b^\circ of compact Lie groups with abelian identity component, and we show in Theorem 6.3 below that the morphism \psi\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal A}b^\circ}^{\operatorname{uc}}({\mathbf{KU}}) is an ultra-commutative localization by b_1. For m\geq 2, I do not know whether \psi\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) is an ultra-commutative localization by b_m.

To show that \psi\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) does not invert b_{m+1} we consider the group S U(m+1). Since S U(m+1) is connected, every continuous homomorphism from S U(m+1) to \Sigma_k\wr U(m) takes values in the identity component U(m)^k of the target. Since every nontrivial irreducible S U(m+1)-representation has dimension at least m+1, any such homomorphism is trivial. Hence the unique homomorphism p_{SU(m+1)}\colon S U(m+1)\longrightarrow\{1\} is initial among morphisms from S U(m+1) to groups in {\mathcal F}_m. Since L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) is {\mathcal F}_m-left induced, and since this global class is multiplicative, the inflation homomorphism

is an isomorphism by Proposition C.5 (ii). Because L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}) is non-equivariantly equivalent to {\mathbf{KU}}, the source ring \pi_0(L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}})) is isomorphic to \pi_0({\mathbf{KU}})={\mathbb Z}. We conclude that \Phi^{S U(m+1)}_0(L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}))\allowbreak\cong{\mathbb Z}. Since SU(m+1) is connected, it has no proper closed subgroups of finite index. So the tautological S U(m+1)-representation \nu_{m+1} is not induced from any 1-dimensional representation of a closed subgroup of S U(m+1), and we obtain the relation

in \Phi^{S U(m+1)}_0(\Sigma^\infty_+ {\mathbf P}), by Theorem 3.12. If \psi_*(b_{m+1}) were invertible in L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}}), then \psi_*(\Phi^{S U(m+1)}\allowbreak(b_{S U(m+1),\nu_{m+1}}))=0 would be invertible in the ring \Phi_0^{S U(m+1)}(L_{{\mathcal F}_m}^{\operatorname{uc}}({\mathbf{KU}})), contradicting the fact that this ring is nontrivial.

We let G be a compact Lie group. The projection q_G\colon G\longrightarrow G_{\operatorname{ab}} to the abelianization is initial among continuous homomorphisms to abelian compact Lie groups; so the global family {\mathcal A}b is reflexive in the sense of [schwede:global, Definition 4.5.7]. The underlying global spectra of both \Sigma^\infty_+{\mathbf P} and L_{{\mathcal A}b}({\mathbf{KU}}) are left induced from the global family {\mathcal A}b. So [schwede:global, Proposition 4.5.8] shows that both vertical inflation morphisms in the commutative square of graded-commutative rings

are isomorphisms, see also Proposition C.5. By Theorem 4.5, the morphism \Phi_*^{G_{\operatorname{ab}}}(\eta) is a localization by the classes \Phi^{G_{\operatorname{ab}}}(b_{G_{\operatorname{ab}},V}) for all unitary G_{\operatorname{ab}}-representations V. Since \epsilon\colon L_{{\mathcal A}b}({\mathbf{KU}})\longrightarrow{\mathbf{KU}} is an {\mathcal A}b-equivalence, it induces an isomorphism of G_{\operatorname{ab}}-geometric fixed points, and so also the morphism \Phi_*^{G_{\operatorname{ab}}}(\eta^\natural) is a localization by the same classes. Since G_{\operatorname{ab}} is abelian, every G_{\operatorname{ab}}-representation is a direct sum of 1-dimensional representations. By the multiplicativity of the pre-Bott classes (Theorem 2.14 (ii)), the morphism \Phi^{G_{\operatorname{ab}}}_*(\eta^\natural) is also a localization by the classes \Phi^{G_{\operatorname{ab}}}(b_{G_{\operatorname{ab}},\chi}) for all continuous homomorphisms \chi\colon G_{\operatorname{ab}}\longrightarrow T. Since q_G^*(\Phi^{G_{\operatorname{ab}}}(b_{G_{\operatorname{ab}},\chi}))= \Phi^G(b_{G,\chi\circ q_G}), and since every continuous homomorphism G\longrightarrow T factors uniquely through q_G\colon G\longrightarrow G_{\operatorname{ab}}, this shows that the lower horizontal morphism \Phi^G_*(\eta^\natural) is a localization by the classes \Phi^G(b_{G,\alpha})=\Phi^G(\alpha^*(b_1)) for all continuous homomorphisms \alpha\colon G\longrightarrow T. The geometric fixed point criterion of Theorem 1.18 applied to the single class b_1 thus shows that \eta^\natural\colon\Sigma^\infty_+{\mathbf P}\longrightarrow L_{{\mathcal A}b}({\mathbf{KU}}) is a global localization by b_1 in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge).

In a first step we show the following claim: For every group G in the global family {\mathcal A}b^\circ, the morphism of geometric fixed point rings

is a localization by the set of classes \Phi^G(\beta^*(P^m(b_1))) for all m\geq 1 and all continuous homomorphisms \beta\colon G\longrightarrow\Sigma_m\wr T.

We start with the case where G is cyclic. Then all irreducible unitary G-representations are 1-dimensional. Hence in this case the morphism \Phi^G_*(\eta)\colon\Phi^G_*(\Sigma^\infty_+{\mathbf P})\longrightarrow\Phi^G_*({\mathbf{KU}}) is a localization by the set of classes \Phi^G(b_{G,\chi})=\Phi^G(\chi^*(b_1)) for all continuous homomorphisms \chi\colon G\longrightarrow T, by Theorem 4.5. Since \eta is a morphism of ultra-commutative ring spectra, it is compatible with geometric fixed points, restrictions, and power operations, and each of these operations preserves invertibility by Propositions 1.6, 1.14, and 1.21, respectively. Since \eta_*(b_1) is invertible by Theorem 4.3, the classes

are all invertible in \Phi^G_*({\mathbf{KU}}) for all m\geq 2. Hence these classes are already invertible after inverting the classes for m=1, and thus \Phi^G_*(\eta) is also a localization by the larger set.

Now we assume that G is in the family {\mathcal A}b^\circ, but it is not cyclic. We claim that then G has at least one of the following two properties:

• (A) The group G admits a continuous epimorphism onto C_p\times C_p for some prime p.

• (B) There is a finite index subgroup H of G and a nontrivial character \chi\colon H\longrightarrow T such that \operatorname{tr}_H^G(\chi)=1.

If the component group \pi_0(G) is cyclic, then G must be nonabelian, for else G would be cyclic. Theorem 3.21 (ii) then provides the data (H,\chi) witnessing that G has property (B).

If the component group \pi_0(G) is not cyclic, then \pi_0(G) admits a homomorphism onto a near-cyclic group in the sense of Definition 3.18. So there is a continuous epimorphism \epsilon\colon G\longrightarrow K onto a finite near-cyclic group. This near-cyclic group K has one of the properties (a), (b) or (c) listed in Proposition 3.19. The groups in class (a) are of the form C_p\times C_p for some prime p; so if K has property (a), then G has property (A).

If K has property (b) or (c), then the addendum of Proposition 3.19 provides a subgroup L of K and a nontrivial character \lambda\colon L\longrightarrow T such that \operatorname{tr}_L^K(\lambda)=1. Then H=\epsilon^{-1}(L) is a finite index subgroup of G, and \chi=\lambda\circ \epsilon|_H\colon H\longrightarrow T is a nontrivial character such that

So G has property (B).

If G has property (A), we let \epsilon\colon G\longrightarrow C_p\times C_p be an epimorphism, for some prime p. The relation

holds in the integral group ring {\mathbb Z}[\operatorname{Hom}(C_p\times C_p,T)], where the product is over the p^2-1 nontrivial characters of C_p\times C_p. Hence the relation

holds in the group ring {\mathbb Z}[\operatorname{Hom}(G,T)], and the G-characters \lambda\circ\epsilon that occur are all nontrivial. In the ring \Phi^G_0(\Sigma^\infty_+{\mathbf P})\cong {\mathbb Z}[\operatorname{Hom}(G,T)], we are in particular inverting the classes

and hence also their product. So the relevant localization of \Phi^G_0(\Sigma^\infty_+{\mathbf P}) is the zero ring, consistent with the fact that \Phi^G_*({\mathbf{KU}})=0 for non-cyclic groups G.

If G has property (B), witnessed by (H,\chi), then we set \beta=(\Sigma_m\wr\chi)\circ\Psi_{\bar g}\colon G\longrightarrow\Sigma_m\wr T, where m=[G:H], and \Psi_{\bar g}\colon G\longrightarrow\Sigma_m\wr H is the monomorphism (3.4) arising from a choice of transversal of H in G. Then

The second equality (\Sigma_m\wr\chi)^*\circ P^m=P^m\circ\chi^* is naturality of the power operation with respect to restriction along group homomorphisms; the proof is straightforward from the definitions. The fourth equality is Proposition 3.6 (iv). So the localization of \Phi^G_*(\Sigma^\infty_+ {\mathbf P}) by \Phi^G(\beta^*(P^m(b_1))) is the zero ring, consistent with the fact that \Phi^G_*({\mathbf{KU}}) is trivial for non-cyclic groups G.

With the claim established, we now show that the underlying morphism in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) of \eta^\flat\colon \Sigma^\infty_+{\mathbf P}\allowbreak\longrightarrow L_{{\mathcal A}b^\circ}^{\operatorname{uc}}({\mathbf{KU}}) is a global localization by the set of classes \{P^m(b_1)\}_{m\geq 1}. The global family {\mathcal A}b^\circ is multiplicative, and hence reflexive by Proposition C.4, i.e., the inclusion of {\mathcal A}b^\circ into all compact Lie groups has a left adjoint. For a compact Lie group G, the initial homomorphism p\colon G\longrightarrow G_\diamond to a group in {\mathcal A}b^\circ is the projection onto the quotient group G_\diamond=G/(G^\circ)', where (G^\circ)'=[G^\circ,G^\circ] is the commutator subgroup of the identity component G^\circ of G.

Both \Sigma^\infty_+{\mathbf P} and L_{{\mathcal A}b^\circ}^{\operatorname{uc}}({\mathbf{KU}}) are left induced from the global family {\mathcal A}b^\circ. So [schwede:global, Proposition 4.5.8] or Proposition C.5 (ii) show that both vertical inflation morphisms in the commutative square of graded-commutative rings

are isomorphisms. The right upper horizontal map is an isomorphism because \delta is an {\mathcal A}b^\circ-equivalence.

By the above claim applied to G_\diamond, the morphism \Phi_*^{G_\diamond}(\eta) is a localization by the set of classes

for all m\geq 1 and all continuous homomorphisms \beta\colon G_\diamond\longrightarrow\Sigma_m\wr T. The commutative diagram (?) thus shows that the lower horizontal homomorphism \Phi^G_*(\eta^\flat) is a localization by the set of classes

for the same set of pairs (m,\beta). Every continuous homomorphism \alpha\colon G\longrightarrow\Sigma_m\wr T annihilates (G^\circ)', and hence factors uniquely as \alpha=\beta\circ p for a continuous homomorphism \beta\colon G_\diamond\longrightarrow \Sigma_m\wr T. So \Phi^G_*(\eta^\flat) is also a localization by the set of classes \Phi^G(\alpha^*(P^m(b_1))) for all m\geq 1 and all continuous homomorphisms \alpha\colon G\longrightarrow\Sigma_m\wr T. The geometric fixed point criterion of Theorem 1.18 thus proves the claim that \eta^\flat is a global localization in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) by the set \{P^m(b_1)\}_{m\geq 1}.

Since \eta^\flat arises as a morphism of ultra-commutative ring spectra, and since the underlying morphism is a global localization in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) by \{P^m(b_1)\}_{m\geq 1}, Theorem 1.23 (iii) shows that \eta^\flat is also an ultra-commutative localization by \{P^m(b_1)\}_{m\geq 1} in the more highly structured category \operatorname{URing}_{\operatorname{gl}}. A morphism of ultra-commutative ring spectra j\colon\Sigma^\infty_+{\mathbf P}\longrightarrow S is compatible with power operations, and thus inverts the class b_1 if and only if it inverts P^m(b_1) for all m\geq 1, compare Proposition 1.21. So every ultra-commutative localization in \operatorname{URing}_{\operatorname{gl}} by b_1 is also an ultra-commutative localization by \{P^m(b_1)\}_{m\geq 1}, and vice versa.

(i) By design we have

in the group \pi_0^T(\Sigma^\infty_+{\mathbf P}). Since the map i^*\colon\pi_{\nu_1}^T(\Sigma^\infty_+{\mathbf P})\longrightarrow\pi_0^T(\Sigma^\infty_+{\mathbf P}) is injective, this proves the desired relation.

(ii) The forgetful ring homomorphism \operatorname{res}^{\tilde T}_T\colon RR(\tilde T)\longrightarrow RU (T) from the Real representation ring of \tilde T is injective by [atiyah-segal:completion, page 13]. By Real-equivariant Bott periodicity [atiyah:elliptic, Theorem 5.1], the restriction homomorphism \operatorname{res}^{\tilde T}_T\colon \pi_{\nu_1}^{\tilde T}({\mathbf{KR}})\longrightarrow\pi_{\nu_1}^T({\mathbf{KR}}) is then injective, too. It also takes the \tilde T-equivariant Bott class \beta_{\tilde T,\nu_1} to the T-equivariant Bott class \beta_{T,\nu_1}. Since \eta is a morphism of C-global spectra, we have

where the third equation is Remark 4.2. Since \operatorname{res}^{\tilde T}_T is injective, the desired relation \eta_*(\tilde b_1)=\beta_{\tilde T,\nu_1} follows.

(iii) The underlying C-space of the C-global space {\mathbf P} is infinite complex projective space with C-action by complex conjugation. So the fixed point space {\mathbf P}^C is homeomorphic to {\mathbb R} P^\infty. The geometric fixed point groups of an equivariant suspension spectrum are isomorphic to the stable homotopy groups of the fixed point space, compare [schwede:global, Example 3.3.3]. So the ring \Phi^C_*(\Sigma^\infty_+{\mathbf P}) is isomorphic to \pi_*(\Sigma^\infty_+{\mathbb R} P^\infty). The non-equivariant stable homotopy groups of {\mathbb R} P^\infty are explicitly known in small degrees, see for example [liulevicius]. In particular, \pi_5(\Sigma^\infty_+ {\mathbb R} P^\infty)=0, so the fifth power of every class in \pi_1(\Sigma^\infty_+{\mathbb R} P^\infty) is zero. Hence also the fifth power of the class \Phi^C(\operatorname{res}^{\tilde T}_C(\tilde b_1)) is zero.

We apply the localization recognition of Theorem 1.17 to the presentably symmetric monoidal \infty-category {\mathcal S} p^\wedge_{C\operatorname{\!\text{-}gl}} of C-global spectra, to the morphism \eta\colon\Sigma^\infty_+ {\mathbf P}\longrightarrow{\mathbf{KR}}, and to the family of geometric fixed point functors \Phi^G\circ\operatorname{res}^\wedge_\alpha\colon{\mathcal S} p^\wedge_{C\operatorname{\!\text{-}gl}}\longrightarrow {\mathcal S} p^\wedge, for \alpha\colon G\longrightarrow C ranging through representatives of all isomorphism classes of augmented Lie groups. These functors are strong symmetric monoidal left adjoints, and jointly conservative, by the C-global analog of Theorem B.6. The full subcategory {\mathcal W} of (\Sigma^\infty_+{\mathbf P})\backslash\operatorname{CAlg}({\mathcal S} p^\wedge_{C\operatorname{\!\text{-}gl}}) is spanned by the morphisms that invert the pre-Bott classes \tilde b_1 and b_m for m\geq 2. It is closed under postcomposition by the C-global analog of Proposition 1.10 (i). The morphism \eta\colon\Sigma^\infty_+ {\mathbf P}\longrightarrow{\mathbf{KR}} inverts \tilde b_1 by Proposition 7.5 (ii) and Real-equivariant Bott periodicity [atiyah:elliptic, Theorem 5.1]; and it inverts the classes b_m by Theorem 4.3.

Now we verify hypothesis (c) for an augmented Lie group \alpha\colon G\longrightarrow C. If the augmentation \alpha is trivial, then {\mathbf{KR}}_\alpha={\mathbf{KU}}_G, and similarly for \Sigma^\infty_+{\mathbf P}. So in this case, the morphism of graded rings \Phi^\alpha_*(\eta)\colon\Phi^\alpha_*(\Sigma^\infty_+{\mathbf P})\longrightarrow \Phi^\alpha_*({\mathbf{KR}}) specializes to \Phi^G_*(\eta)\colon\Phi^G_*(\Sigma^\infty_+{\mathbf P})\longrightarrow \Phi^G_*({\mathbf{KU}}), with the understanding that now \Sigma^\infty_+{\mathbf P} and {\mathbf{KU}} denote the underlying global spectra. This homomorphism is a localization by the set of classes \Phi^G(b_{G,V}) for all unitary G-representations V, by Theorem 4.5. Moreover, if f\colon \Sigma^\infty_+{\mathbf P}\longrightarrow P belongs to {\mathcal W}, then it inverts b_m for all m\geq 1; for m=1, this is because f inverts \tilde b_1, and hence also its restriction b_1. So f inverts all the classes \Phi^G(b_{G,V}), by Propositions 1.14 and 1.6. Since \Phi^G_*(\eta) is a localization by these classes, the morphism \Phi^G_*(f) factors through \Phi^G_*(\eta). This verifies hypothesis (c) for trivial augmentations.

If the augmentation \alpha\colon G\longrightarrow C is surjective, then the inflation homomorphism \alpha^*\colon\Phi^C_*(\Sigma^\infty_+{\mathbf P})\longrightarrow \Phi^\alpha_*(\Sigma^\infty_+{\mathbf P}) is a ring homomorphism. Since \Phi^C(\operatorname{res}^{\tilde T}_C(\tilde b_1)) is nilpotent by Proposition 7.5 (iii), also the class

is nilpotent. Because f\colon\Sigma^\infty_+{\mathbf P}\longrightarrow P inverts \tilde b_1, it also inverts \alpha^*(\Phi^C(\operatorname{res}^{\tilde T}_C(\tilde b_1))) by Propositions 1.6 and 1.14. So \Phi^G(\alpha^*(\operatorname{res}^{\tilde T}_C(f_*(\tilde b_1)))) is both nilpotent and invertible, and the commutative ring spectrum \Phi^\alpha(P) is trivial. In particular, the ring spectrum \Phi^\alpha({\mathbf{KR}}) is trivial. So \Phi^\alpha_*(\eta)\colon\Phi^\alpha_*(\Sigma^\infty_+{\mathbf P})\longrightarrow \Phi^\alpha_*({\mathbf{KR}}) is a localization, namely the effect of inverting 0. And \Phi^\alpha_*(f)\colon \Phi^\alpha_*(\Sigma^\infty_+{\mathbf P})\longrightarrow\Phi^\alpha_*(P) factors through \Phi^\alpha_*(\eta), proving (c). So altogether, Theorem 1.17 applies and shows that \eta\colon \Sigma^\infty_+{\mathbf P}\longrightarrow{\mathbf{KR}} is a C-global localization by \{\tilde b_1, b_m\mid m\geq 2\} in \operatorname{CAlg}({\mathcal S} p^\wedge_{C\operatorname{\!\text{-}gl}}).

The morphism of based G-spaces \tilde E{\mathcal P}\wedge i\colon \tilde E{\mathcal P}\longrightarrow\tilde E{\mathcal P}\wedge\tilde E{\mathcal P} is an equivalence in {\mathcal S}_{G,\ast}, so the induced morphism of suspension spectra

is an equivalence in {\mathcal S} p_G; we have implicitly used the strong symmetric monoidal structure of the suspension spectrum functor. This means that the morphism \Sigma^\infty i\colon{\mathbb S}_G\longrightarrow\Sigma^\infty \tilde E{\mathcal P} is an idempotent object in the sense of [lurie:higher_algebra, Definition 4.8.2.1].

As in [mathew-naumann-noel:nilpotence, Theorem 6.11], we write {\mathcal S} p_G[{\mathcal P}^{-1}] for the full subcategory of {\mathcal S} p_G spanned by those G-spectra X such that the morphism X\wedge i\colon X\longrightarrow X\wedge\tilde E{\mathcal P} is an equivalence. Because \Sigma^\infty \tilde E{\mathcal P} is an idempotent algebra, this subcategory inherits a unique symmetric monoidal structure, denoted {\mathcal S} p_G^\wedge[{\mathcal P}^{-1}], such that the Bousfield localization functor

becomes strong symmetric monoidal, see [lurie:higher_algebra, Proposition 4.8.2.7]. In particular, this functor is a monoidal localization by the class of geometric fixed point equivalences, i.e., the functor

is an equivalence.

Mathew, Naumann and Noel show in [mathew-naumann-noel:nilpotence, Theorem 6.11] that the composite strong symmetric monoidal functor

is an equivalence of symmetric monoidal \infty-categories. So in the diagram

the first functor and the composite are equivalences, hence so is the second. Since \Phi^G is monoidally left inverse to i_G by (A.8), the functor

is an equivalence of \infty-categories, too. Since both i_G and \Phi^G are strong (as opposed to just lax) symmetric monoidal, composition with them preserves the full subcategories \operatorname{Fun}_{\otimes}^{\tilde E{\mathcal P}}({\mathcal S} p^\wedge_G,{\mathcal D}) and \operatorname{Fun}_{\otimes}({\mathcal S} p^\wedge,{\mathcal D}), so the restrictions to these full subcategories are equivalences, too.

(i) The \infty-category {\mathcal S} p_{\operatorname{gl}} is complete and cocomplete as the localization of a complete and cocomplete model category, see [barnea-harpaz-horel, Theorem 2.5.9]. Since the global model structure of [schwede:global, Theorem 4.3.18] is stable, the suspension functor on its homotopy category is invertible, so the \infty-category {\mathcal S} p_{\operatorname{gl}} is stable, compare [lurie:higher_algebra, Corollary 1.4.2.27]. Moreover, by [schwede:global, Theorem 4.4.3] the triangulated homotopy category of the stable \infty-category of global spectra is compactly generated by the unreduced suspension spectra of the global classifying spaces of all compact Lie groups; in particular, the \infty-category {\mathcal S} p_{\operatorname{gl}} of global spectra is presentable by [lurie:higher_algebra, Corollary 1.4.4.2].

(ii) Because the smash product is a Quillen bifunctor for the global model structure, the induced smash product on {\mathcal S} p_{\operatorname{gl}} preserves colimits in both variables. Since the underlying \infty-category is presentable by (i), the symmetric monoidal \infty-category {\mathcal S} p^{\wedge}_{\operatorname{gl}} is presentably symmetric monoidal.

Since {\mathcal S} p^{\wedge}_{\operatorname{gl}} is presentably symmetric monoidal by (ii), the \infty-category \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) of its commutative algebras is presentable by [lurie:higher_algebra, Corollary 3.2.3.5], proving (iii).

By [lurie:higher_algebra, Corollary 7.3.2.7], the functor F has a relative right adjoint G\colon {\mathcal D}\longrightarrow{\mathcal C} over \operatorname{\mathcal{F}in}_*, which is moreover a morphism of operads. So G is a lax symmetric monoidal structure on a right adjoint G_{\langle 1\rangle}\colon {\mathcal D}_{\langle 1\rangle}\longrightarrow{\mathcal C}_{\langle 1\rangle} to F_{\langle 1\rangle}. The unit and counit of the relative adjunction then induce the unit and counit of an adjunction between \operatorname{CAlg}(F)\colon \operatorname{CAlg}({\mathcal C})\longrightarrow\operatorname{CAlg}({\mathcal D}) and \operatorname{CAlg}(G). The horizontal right adjointability of the square is simply the statement that the underlying functor of the right adjoint \operatorname{CAlg}(G) to \operatorname{CAlg}(F) is the right adjoint G_{\langle 1\rangle} to the functor F_{\langle 1\rangle}.

(i) The functor \operatorname{res}_G is an exact functor between stable \infty-categories, and the induced functor of triangulated homotopy categories h(\operatorname{res}_G)\colon h({\mathcal S} p_{\operatorname{gl}})\longrightarrow h({\mathcal S} p_G) has adjoints on either side by [schwede:global, Theorem 4.5.24]. So h(\operatorname{res}_G) preserves sums and products. Hence the functor of \infty-categories \operatorname{res}_G is an exact functor preserving sums and products, and hence all limits and colimits. Since the source and target of \operatorname{res}_G are presentable, this functor has adjoints on either side, by Lurie’s adjoint functor theorem [lurie:htt, Corollary 5.5.2.9].

Property (ii) holds by design, since a morphism f\colon X\longrightarrow Y of orthogonal spectra is defined to be a global equivalence if and only if the morphisms of orthogonal G-spectra f_G\colon X_G\longrightarrow Y_G are {\underline \pi}_*-isomorphisms of orthogonal G-spectra for all compact Lie groups G. Property (iii) then follows from property (ii) and the fact that the geometric fixed point functors \Phi^H\circ\operatorname{res}^G_H\colon {\mathcal S} p_G\longrightarrow{\mathcal S} p are jointly conservative for all closed subgroups H of G, see [mathew-naumann-noel:nilpotence, Proposition 6.13] for an \infty-categorical treatment, and [schwede:global, Proposition 3.3.10] for a proof in the orthogonal spectrum model. We also use implicitly that the functor \Phi^H\circ\operatorname{res}^G_H\circ \operatorname{res}_G\colon {\mathcal S} p_{\operatorname{gl}}\longrightarrow {\mathcal S} p is naturally equivalent to \Phi^H\circ\operatorname{res}_H.

(iv) Strong (versus lax) monoidality can be tested on homotopy categories; at the level of homotopy categories, the argument is explained immediately before [schwede:global, Theorem 4.5.24]. The ultimate reason is the fact that for every flat orthogonal spectrum X (i.e., cofibrant in the global model structure) and every compact Lie group G, the functor X_G\wedge-\colon \operatorname{Sp}_G^O\longrightarrow\operatorname{Sp}_G^O preserves {\underline \pi}_*-isomorphisms, see [schwede:global, Theorem 3.5.10].

(v) Since \operatorname{res}_G^\wedge is a strong symmetric monoidal left adjoint, \operatorname{CAlg}(\operatorname{res}_G^\wedge) has a right adjoint by Lemma B.5. For every presentably symmetric monoidal \infty-category {\mathcal C}, the forgetful functor \operatorname{ev}_{\langle 1\rangle}\colon\allowbreak\operatorname{CAlg}({\mathcal C})\longrightarrow {\mathcal C}_{\langle 1\rangle} preserves and creates all limits and sifted colimits by Corollary 3.2.2.5 and Proposition 3.2.3.1 of [lurie:higher_algebra]. Since \operatorname{res}_G has adjoints on either side, \operatorname{ev}_{\langle 1\rangle}\circ\operatorname{CAlg}(\operatorname{res}_G^\wedge)\sim \operatorname{res}_G\circ\operatorname{ev}_{\langle 1\rangle} preserves limits and sifted colimits. Since \operatorname{ev}_{\langle 1\rangle} is conservative and creates limits and sifted colimits, we conclude that the functor \operatorname{CAlg}(\operatorname{res}_G^\wedge) preserves limits and sifted colimits. Since the source and target of \operatorname{CAlg}(\operatorname{res}_G^\wedge) are presentable, this functor has a left adjoint by the adjoint functor theorem [lurie:htt, Corollary 5.5.2.9].

For every orthogonal G-spectrum X, the geometric fixed point functor \Phi^G_k\colon\operatorname{Sp}^O_G\longrightarrow\operatorname{Ab} inverts the morphism X\wedge i\colon X\longrightarrow X\wedge\tilde E{\mathcal P}, simply because the G-fixed point functor (-)^G is strong monoidal for the smash product of based G-spaces, and the map i^G\colon S^0=(S^0)^G\longrightarrow (\tilde E{\mathcal P})^G is a homeomorphism. So the descended functor \bar\Phi^G_k\colon{\mathcal S} p_G\longrightarrow\operatorname{Ab} inverts geometric fixed point equivalences. The functor \bar\pi_*\circ\Phi^G also inverts geometric fixed point equivalences, so both \bar\Phi^G_* and \bar\pi_*\circ\Phi^G are objects of the \infty-category \operatorname{Fun}_{\operatorname{lax}}^{\tilde E{\mathcal P}}({\mathcal S} p^\wedge_G,\operatorname{GrAb}^\otimes). Theorem A.11 shows that the functor

is an equivalence of \infty-categories, which proves the claim.

We let

be a monoidal localization of the global model structure. We write {\mathcal M} od_A=({\mathcal M} od^\wedge_A)_{\langle 1\rangle} for the underlying \infty-category. The following diagram of lax symmetric monoidal functors commutes:

The composite \gamma_{\operatorname{gl}}^\wedge\circ u_A inverts global equivalences, and the functor u_{\gamma(A)} is conservative. So the functor \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}})\colon\operatorname{Mod}_A^\wedge \longrightarrow \operatorname{Mod}_{\gamma(A)}^\otimes({\mathcal S} p^\wedge_{\operatorname{gl}}) inverts global equivalences. The universal property of the monoidal localization provides a unique lax symmetric monoidal functor

equipped with a monoidal equivalence

We define a lax symmetric monoidal functor by

The monoidal equivalence

witnesses the commutativity of the following square:

So the lax symmetric monoidal functor \rho ‘is’ the monoidal descendant of the forgetful functor u_A.

The forgetful functor u_A\colon\operatorname{Mod}_A\longrightarrow\operatorname{Sp}^O is a right Quillen functor for the global model structures. Since the underlying functor \rho_{\langle 1\rangle}\colon {\mathcal M} od_A\longrightarrow {\mathcal S} p_{\operatorname{gl}} of \rho is descended from a right Quillen functor, it is a right adjoint, see [mazelgee:adjunctions, Theorem 2.1]. In particular, \rho_{\langle 1\rangle} preserves limits. Also, because the functor u_A detects and preserves global equivalences, its derived functor \rho_{\langle 1\rangle} is conservative.

Now we show that \rho_{\langle 1\rangle} also preserves colimits. The global model structure on \operatorname{Mod}_A is stable, hence so is the associated \infty-category {\mathcal M} od_A. Since the \infty-category {\mathcal S} p_{\operatorname{gl}} is also stable, and since \rho_{\langle 1\rangle}\colon {\mathcal M} od_A\longrightarrow {\mathcal S} p_{\operatorname{gl}} preserves limits, it therefore also preserves finite colimits. Arbitrary coproducts (i.e., wedges) of orthogonal spectra, and hence also of A-modules, are homotopical for global equivalences by [schwede:global, Corollary 3.1.37 (i)]. So coproducts in \operatorname{Sp}^O and in \operatorname{Mod}_A represent coproducts in {\mathcal S} p_{\operatorname{gl}} and {\mathcal M} od_A, respectively. Since the functor u_A\colon\operatorname{Mod}_A\longrightarrow\operatorname{Sp}^O preserves arbitrary coproducts, so does the descended functor \rho_{\langle 1\rangle}. Since \rho_{\langle 1\rangle} preserves finite colimits and arbitrary coproducts, it preserves arbitrary colimits.

Lurie shows in [lurie:higher_algebra] that the forgetful functor u_{\gamma(A)}\colon \operatorname{Mod}_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}})\longrightarrow{\mathcal S} p_{\operatorname{gl}} is conservative and preserves limits and colimits, see his Corollary 4.2.3.2 for conservativity, Corollary 4.2.3.3 for limits, and Corollary 4.2.3.5 for colimits, using the identification of \operatorname{Mod}_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) with left modules \operatorname{LMod}_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) from Corollary 4.5.1.6. Since \rho_{\langle 1\rangle}=u_{\gamma(A)}\circ\sigma_{\langle 1\rangle} is conservative and preserves limits and colimits, we conclude that also the functor \sigma_{\langle 1\rangle}\colon{\mathcal M} od_A\longrightarrow\operatorname{Mod}_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) that underlies \sigma is conservative and preserves limits and colimits.

By [schwede:global, Theorem 4.3.27 (ii)], the functor A\wedge-\colon\operatorname{Sp}^{O,\wedge}\longrightarrow \operatorname{Mod}^\wedge_A preserves global equivalences between cofibrant orthogonal spectra, and it sends cofibrant orthogonal spectra to cofibrant A-modules. So the restricted functor

is strong symmetric monoidal and preserves global equivalences. The strong symmetric monoidal composite

thus inverts global equivalences. The modified universal property of Remark A.2 (iii) provides a unique strong symmetric monoidal functor

equipped with a monoidal equivalence

By [mazelgee:adjunctions, Theorem 2.1] applied to the Quillen pair (A\wedge-,u_A), their derived functors are adjoint. The derived functor of A\wedge- is L_{\langle 1\rangle} by (?), and that of u_A is \rho_{\langle 1\rangle} by (Proof), so (L_{\langle 1\rangle},\rho_{\langle 1\rangle}) is an adjoint functor pair. We claim that the \infty-category {\mathcal M} od_A is generated under colimits by the image of the descended left adjoint L_{\langle 1\rangle}\colon {\mathcal S} p_{\operatorname{gl}}\longrightarrow {\mathcal M} od_A. As the localization of a model category, the \infty-category {\mathcal M} od_A is cocomplete, see [barnea-harpaz-horel, Theorem 2.5.9]. We showed above that the right adjoint \rho_{\langle 1\rangle} is conservative and preserves colimits. So \rho_{\langle 1\rangle} is monadic by Lurie’s Barr–Beck theorem [lurie:higher_algebra, Theorem 4.7.3.5]. Hence every object of {\mathcal M} od_A can be presented as a colimit of a diagram all of whose values are in the essential image of L_{\langle 1\rangle}, see [lurie:higher_algebra, Proposition 4.7.3.14]. In particular, the \infty-category {\mathcal M} od_A is generated under colimits by the objects in the image of L_{\langle 1\rangle}\colon {\mathcal S} p_{\operatorname{gl}}\longrightarrow {\mathcal M} od_A.

Now we will show that \sigma is strong, and not only lax, symmetric monoidal. The monoidal mate of the commutative diagram of lax symmetric monoidal functors

is the composite monoidal transformation

The underlying morphism in {\mathcal S} p^\wedge_{\operatorname{gl}} of the value of (?) at an orthogonal spectrum X is the monoidal structure morphism

of \gamma^\wedge_{\operatorname{gl}}\colon\operatorname{Sp}^{O,\wedge}\longrightarrow{\mathcal S} p^\wedge_{\operatorname{gl}}. This monoidal structure morphism is an equivalence on pairs of cofibrant objects, by Remark A.2 (ii). Moreover, for cofibrant orthogonal spectra X, the functor -\wedge X is fully homotopical for global equivalences by [schwede:global, Theorem 4.3.27 (i)]. So by cofibrant replacement, the monoidal structure morphism is an equivalence already if only X is cofibrant. So when restricted to cofibrant orthogonal spectra, the monoidal transformation (?) is a monoidal equivalence, witnessing that the restricted mate diagram

commutes. Here \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}})_{\operatorname{cof}} denotes the restriction of \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}}) to cofibrant A-modules. Since the functors \gamma^\wedge_{\operatorname{gl},\operatorname{cof}} and \gamma(A)\wedge- are strong symmetric monoidal, so is their composite, and thus also the functor \operatorname{Mod}(A|\gamma_{\operatorname{gl}}^\wedge)_{\operatorname{cof}}\circ(A\wedge-)|_{\operatorname{cof}}. The monoidal equivalences

then show that the lax symmetric monoidal functor \sigma\circ L\circ \gamma_{\operatorname{gl},\operatorname{cof}}^\wedge\colon\operatorname{Sp}^{O,\wedge}_{\operatorname{cof}}\longrightarrow \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) is strong. The first monoidal equivalence is (?) composed with \sigma; the second is (Proof), restricted to cofibrant A-modules, and composed with (A\wedge-)|_{\operatorname{cof}}.

The restricted monoidal localization functor \gamma^\wedge_{\operatorname{gl},\operatorname{cof}}\colon\operatorname{Sp}_{\operatorname{cof}}^{O,\wedge}\longrightarrow{\mathcal S} p^\wedge_{\operatorname{gl}} is strong and essentially surjective on objects, so it detects strongness as explained in Remark A.2 (ii). Hence the lax symmetric monoidal functor \sigma\circ L\colon{\mathcal S} p^\wedge_{\operatorname{gl}}\longrightarrow \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) is strong. The monoidal products of both {\mathcal M} od^\wedge_A and \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) preserve colimits in each variable. Indeed, in {\mathcal M} od^\wedge_A we may consider an object of the form \gamma_A(M) for a cofibrant A-module M. Then \gamma_A(M)\otimes- is a total left derived functor of the left Quillen functor M\wedge_A-, and hence a left adjoint. And for \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}), this is [lurie:higher_algebra, Theorem 3.4.4.2] for {\mathcal O}={\mathcal C} omm, saying that \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) is presentably symmetric monoidal. Since \sigma_{\langle 1\rangle} preserves colimits, and since the \infty-category {\mathcal M} od_A is generated under colimits by the image of the strong symmetric monoidal left adjoint L\colon {\mathcal S} p^\wedge_{\operatorname{gl}}\longrightarrow{\mathcal M} od^\wedge_A, we conclude that \sigma\colon {\mathcal M} od^\wedge_A\longrightarrow \operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) is strong, as claimed.

Now we show that \sigma is an equivalence of underlying \infty-categories. To this end we apply [lurie:higher_algebra, Corollary 4.7.3.16], including its addendum, to the functors \sigma_{\langle 1\rangle}, u_{\gamma(A)} and \rho_{\langle 1\rangle}=u_{\gamma(A)}\circ\sigma_{\langle 1\rangle}. We need to verify the hypotheses of Lurie’s result. We argued above that (L_{\langle 1\rangle},\rho_{\langle 1\rangle}) is an adjoint functor pair. Also, (\gamma(A)\wedge-,u_{\gamma(A)}) is an adjoint functor pair, so hypothesis (1) holds. The \infty-categories {\mathcal M} od_A and \operatorname{Mod}_{\gamma(A)}({\mathcal S} p^\wedge_{\operatorname{gl}}) admit all colimits, and both \rho_{\langle 1\rangle} and u_{\gamma(A)} are conservative and preserve all colimits, verifying hypotheses (2), (3), (4) and the hypothesis of the addendum. The hypothesis that is most involved to verify is (5); in its equivalent form of [lurie:higher_algebra, Remark 4.7.3.17], it asks that the following composite natural transformation of endofunctors of {\mathcal S} p_{\operatorname{gl}} is an equivalence:

It suffices to show that this transformation becomes an equivalence after precomposition with the essentially surjective functor \gamma_{\operatorname{gl},\operatorname{cof}}\colon\operatorname{Sp}^O_{\operatorname{cof}}\longrightarrow{\mathcal S} p_{\operatorname{gl}}. Under the identifications (Proof) and (?), the unit of the derived adjunction (L_{\langle 1\rangle},\rho_{\langle 1\rangle}) corresponds to the image under \gamma_{\operatorname{gl}} of the 1-categorical adjunction unit X\longrightarrow u_A(A\wedge X), see the proof of [mazelgee:adjunctions, Theorem 2.1]. So the composite with \gamma_{\operatorname{gl},\operatorname{cof}} is homotopic to the following composite of equivalences:

This completes the verification of the hypothesis of [lurie:higher_algebra, Corollary 4.7.3.16], which then shows that the functor \sigma_{\langle 1\rangle} is an equivalence of \infty-categories.

We have now shown that \sigma\colon{\mathcal M} od_A^\wedge\longrightarrow\operatorname{Mod}^\otimes_{\gamma(A)}({\mathcal S} p_{\operatorname{gl}}^\wedge) is an equivalence of symmetric monoidal \infty-categories. So the functor \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}}) coincides with the monoidal localization \gamma^\wedge_A up to composition with an equivalence, by (Proof). So \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}}) is itself a monoidal localization.

As the localization of a model structure established in [schwede:global, Theorem 5.4.3], the \infty-category \operatorname{URing}_{\operatorname{gl}} is complete and cocomplete by [barnea-harpaz-horel, Theorem 2.5.9]. We shall show that the functor

preserves two particular kinds of colimits:

1. The functor \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) takes pushouts along cofibrations between cofibrant commutative orthogonal ring spectra to pushouts in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}).

2. The functor \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) takes coproducts of cofibrant commutative orthogonal ring spectra to coproducts.

Granted this for the moment, we now deduce from (1) and (2) the fact that

1. the functor u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) preserves all colimits.

To prove (3), we exploit that the cofibrations and weak equivalences of the global model category structure from [schwede:global, Theorem 5.4.3] make the category \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) of commutative orthogonal ring spectra into a category with weak equivalences and cofibrations in the sense of Cisinski [cisinski:book, Definition 7.4.12] that is moreover homotopy cocomplete in the sense of [cisinski:book, Definition 7.7.2]. In this language, property (1) and the fact that \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) preserves initial objects (a special case of (2)) mean that the functor \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) is right exact in the sense of [cisinski:book, Definition 7.5.2], with respect to the degenerate cofibration structure on the \infty-category \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}), i.e., where all morphisms are cofibrations, and the weak equivalences are the equivalences. And property (2) means that the functor \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) is homotopy cocontinuous in the sense of [cisinski:book, Definition 7.7.2]. Since the weak equivalences in the degenerate cofibration structure on \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) are already invertible, \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) is its own localization, and the left derived functor of \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) is nothing but the factorization u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) through the localization of the source. The dual (opposite) of [cisinski:book, Corollary 7.7.5] thus shows that u_{\operatorname{gl}} preserves all colimits.

Now we show properties (1) and (2). For (1) we consider a commutative algebra T in a symmetric monoidal \infty-category {\mathcal D}. As discussed in Construction B.16, the symmetric monoidal \infty-category \operatorname{Mod}_T^\otimes({\mathcal D}) comes with a lax symmetric monoidal forgetful functor

The induced functor of commutative algebras

takes the initial object of the source to T; so it lifts to a functor

and this lift is an equivalence by [lurie:higher_algebra, Corollary 3.4.1.7] for \mathcal O=\text{Comm}.

Next we consider a commutative orthogonal ring spectrum A. As before, we denote the commutative global ring spectrum it represents by \gamma(A)=\operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})(A). By Theorem B.17, the lax symmetric monoidal functor \operatorname{Mod}(A|\gamma^\wedge_{\operatorname{gl}}) is a monoidal localization. So the composite

is strong symmetric monoidal, see Remark A.2 (ii). Since finite coproducts in \infty-categories of commutative algebras are given by the underlying monoidal product, the induced functor on \infty-categories of commutative algebras preserves finite coproducts. This functor features in the composite:

The first functor in this composite preserves finite coproducts, and the second is an equivalence as a special case of (?). So also the composite (?) preserves finite coproducts.

Now we can wrap up and prove (1). We consider a pushout square in \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge})

in which all four commutative orthogonal ring spectra are cofibrant, and the morphism i is a cofibration, in the global model structure of \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) established in [schwede:global, Theorem 5.4.3]. By factoring j as a composite of a cofibration followed by a weak equivalence in the global model structure of \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) and appealing to the cube lemma we can assume without loss of generality that also the morphism j is a cofibration.

We write l=h i=k j\colon A\longrightarrow D for the composite. By [schwede:global, Theorem 5.4.3 (ii a)], the underlying morphisms of A-modules of i, j and l are cofibrations in the global model structure on A-modules from [schwede:global, Corollary 4.3.29 (i)]. Since A is cofibrant as a module over itself, we conclude that all of A, B, C and D have cofibrant underlying A-modules. So we can—and will—view the pushout square (?) as a pushout square in \operatorname{CAlg}(\operatorname{Mod}_{A,\operatorname{cof}}^\wedge). Since A is initial in \operatorname{CAlg}(\operatorname{Mod}_{A,\operatorname{cof}}^\wedge), this means that the morphisms h\colon B\longrightarrow D and k\colon C\longrightarrow D witness l\colon A\longrightarrow D as the coproduct of i\colon A\longrightarrow B and j\colon A\longrightarrow C in the \infty-category \operatorname{CAlg}(\operatorname{Mod}_{A,\operatorname{cof}}^\wedge). Since the composite (?) preserves binary coproducts, we conclude that \gamma(h) and \gamma(k) express \gamma(l)\colon \gamma(A)\longrightarrow\gamma(D) as the coproduct of \gamma(i)\colon \gamma(A)\longrightarrow\gamma(B) and \gamma(j)\colon \gamma(A)\longrightarrow\gamma(C) in the slice \infty-category \gamma(A)\backslash\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}). This precisely means that \gamma takes the pushout square (?) to a pushout in the \infty-category \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}), and we have shown claim (1).

Now we prove claim (2) by exploiting that infinite coproducts are specific filtered colimits of finite coproducts. The initial object in both \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) and \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) is given by the monoidal unit, the sphere spectrum, with its unique commutative algebra structure. So the functor \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) preserves initial objects. Since \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) preserves initial objects and pushouts along cofibrations between cofibrant objects, it also preserves all finite coproducts of cofibrant objects.

Now we let \{R_i\}_{i\in I} be an I-indexed family of cofibrant objects in the global model structure of \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}). We write P for the filtered poset, under inclusion, of finite subsets of I. We define a functor \Phi\colon P\longrightarrow \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) by sending a finite subset S of I to the coproduct \bigwedge_{i\in S} R_i, and an inclusion S\subset T to the canonical morphism \bigwedge_S R_i \longrightarrow \bigwedge_T R_i.

We claim that the underlying \operatorname{Sp}^O-valued functor of \Phi, i.e., the composite

is Reedy cofibrant, i.e., for every finite subset S of I, the latching morphism

is a flat cofibration of orthogonal spectra; here the colimit in the source of l_S is formed over the poset of proper subsets of S. We prove this by induction over the cardinality of S. For S=\emptyset there are no proper subsets, so the latching morphism is the unique morphism from the initial orthogonal spectrum to \Phi(\emptyset)_{\langle 1\rangle}={\mathbb S}, and thus a flat cofibration. If S is not empty, we choose an i\in S and we set S'=S\setminus\{i\}. Because the monoidal product preserves colimits in each variable, the latching object can be presented as the following pushout:

Under this interpretation, the latching morphism l_S\colon\operatorname{colim}_{C\subsetneq S} \Phi(C)_{\langle 1\rangle}\longrightarrow \Phi(S)_{\langle 1\rangle}=R_i\wedge \Phi(S')_{\langle 1\rangle} becomes the pushout product of the unit morphism {\mathbb S}\longrightarrow R_i and the latching morphism l_{S'}\colon\allowbreak\operatorname{colim}_{C\subsetneq S'} \Phi(C)_{\langle 1\rangle}\longrightarrow\Phi(S')_{\langle 1\rangle}. The former is a flat cofibration by [schwede:global, Theorem 5.4.3 (ii c)], and l_{S'} is a flat cofibration by induction. So the pushout product property lets us conclude that l_S is a flat cofibration. This concludes the proof that the underlying \operatorname{Sp}^O-valued functor of \Phi is Reedy cofibrant.

Now we let \bar\Phi\colon P^\triangleright\longrightarrow \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) be a colimit of \Phi. Then the value of \bar\Phi at the cone point is in particular a coproduct in the 1-category \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge}) of the family \{R_i\}_{i\in I}. We contemplate the following commutative diagram of \infty-categories:

The 1-categorical forgetful functor \operatorname{ev}_{\langle 1\rangle}\colon \operatorname{CAlg}(\operatorname{Sp}^{O,\wedge})\longrightarrow \operatorname{Sp}^O preserves filtered colimits, so the composite \operatorname{ev}_{\langle 1\rangle}\circ\bar\Phi is a colimit in the 1-category of orthogonal spectra. As a colimit of a Reedy cofibrant diagram, it represents the colimit in the associated \infty-category, i.e., the composite \gamma_{\operatorname{gl}}\circ \operatorname{ev}_{\langle 1\rangle}\circ\bar\Phi is a colimit in the \infty-category {\mathcal S} p_{\operatorname{gl}} of global spectra. The functor \operatorname{ev}_{\langle 1\rangle}\colon \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}})\longrightarrow{\mathcal S} p_{\operatorname{gl}} creates filtered colimits by [lurie:higher_algebra, Proposition 3.2.3.1]. So \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})\circ \bar\Phi is a colimit in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}). We have already shown that \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}}) preserves finite coproducts, so for every finite subset S of I, the object \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})(\Phi(S)) is a coproduct in \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) of \{\operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})(R_i)\}_{i\in S}. Hence the value of \operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})\circ \bar\Phi at the cone point is the P-filtered colimit of the finite coproducts, and hence the coproduct of the family \{\operatorname{CAlg}(\gamma^\wedge_{\operatorname{gl}})(R_i)\}_{i\in I}.

Now we show part (i). The weak equivalences in any model category are saturated, i.e., a morphism is a weak equivalence if and only if it becomes an equivalence in the localization. So the functor \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} is conservative. Since this composite is descended from a fully homotopical right Quillen functor of model categories, it has a left adjoint by [mazelgee:adjunctions, Theorem 2.1]. We showed above that u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) preserves all colimits. The forgetful functor \operatorname{ev}_{\langle 1\rangle}\colon \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}})\longrightarrow{\mathcal S} p_{\operatorname{gl}} preserves sifted colimits by [lurie:higher_algebra, Proposition 3.2.3.1]. So the composite \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} preserves sifted colimits. In particular, \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}} preserves geometric realization, i.e., colimits of simplicial objects. Since \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}} is conservative, has a left adjoint and preserves geometric realization, it is monadic by the Lurie–Barr–Beck theorem [lurie:higher_algebra, Theorem 4.7.3.5].

(ii) We exploit that the \infty-category {\mathcal S} p_{\operatorname{gl}} of global spectra is compactly generated, hence \kappa-presentable, for some regular cardinal \kappa. The functor \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} is monadic by (i). So there is a monad {\mathcal M} on the presentable \infty-category {\mathcal S} p_{\operatorname{gl}} such that \operatorname{URing}_{\operatorname{gl}} is equivalent to \operatorname{Alg}_{\mathcal M}({\mathcal S} p_{\operatorname{gl}}). Since the functor \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} preserves sifted colimits, the underlying endofunctor of {\mathcal S} p_{\operatorname{gl}} of the monad {\mathcal M} preserves sifted colimits. So the \infty-category of algebras over {\mathcal M}, and hence also \operatorname{URing}_{\operatorname{gl}}, is \kappa-presentable by [henry-meadows:monads, Corollary 6.8].

(iii) The functor \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} is conservative, hence so is the functor u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\allowbreak\longrightarrow \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}). We argued above that the functor u_{\operatorname{gl}} preserves all colimits; so it is in particular accessible. The functor \operatorname{ev}_{\langle 1\rangle}\circ u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} has a left adjoint, so it preserves all limits. Since \operatorname{ev}_{\langle 1\rangle}\colon \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}})\longrightarrow{\mathcal S} p_{\operatorname{gl}} creates all limits by [lurie:higher_algebra, Corollary 3.2.2.5], we deduce that the functor u_{\operatorname{gl}} preserves all limits. The \infty-category \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) is presentable by [lurie:higher_algebra, Corollary 3.2.3.5]. Since \operatorname{URing}_{\operatorname{gl}} is also presentable by (ii), and u_{\operatorname{gl}} preserves all limits and colimits, it has both a left adjoint and a right adjoint by Lurie’s adjoint functor theorem [lurie:htt, Corollary 5.5.2.9].

Since u_{\operatorname{gl}} is conservative, has a left adjoint, and preserves all colimits, u_{\operatorname{gl}} is monadic by the Lurie–Barr–Beck theorem [lurie:higher_algebra, Theorem 4.7.3.5]. Since the functor u_{\operatorname{gl}}^{\operatorname{op}}\colon (\operatorname{URing}_{\operatorname{gl}})^{\operatorname{op}}\longrightarrow(\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}))^{\operatorname{op}} is conservative, has a left adjoint and preserves all colimits, u_{\operatorname{gl}}^{\operatorname{op}} is monadic by the same theorem; thus u_{\operatorname{gl}} is comonadic.

We prove (i) and (ii) together. By design, {\mathcal S} p_{\mathcal F} is the full subcategory of {\mathcal S} p_{\operatorname{gl}} generated under colimits by the objects (\Sigma^\infty_+B_{\operatorname{gl}}G)[k] for all G\in{\mathcal F} and all k\in{\mathbb Z}. All these generating global spectra are compact objects of {\mathcal S} p_{\operatorname{gl}} by [schwede:global, Theorem 4.4.3 (ii)], so {\mathcal S} p_{\mathcal F} is a compactly generated stable \infty-category, and hence presentable. Since the objects (\Sigma^\infty_+B_{\operatorname{gl}}G)[k] are compact generators of {\mathcal S} p_{\mathcal F} and represent the functor \pi_k^G, by [schwede:global, Theorem 4.4.3 (i)], every {\mathcal F}-equivalence between objects in {\mathcal S} p_{\mathcal F} is an equivalence in {\mathcal S} p_{\operatorname{gl}}, i.e., a global equivalence.

(iii) By design, {\mathcal S} p_{\mathcal F} is closed under colimits inside {\mathcal S} p_{\operatorname{gl}}. So the inclusion {\mathcal S} p_{{\mathcal F}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} preserves colimits. Since source and target are presentable, the adjoint functor theorem [lurie:htt, Corollary 5.5.2.9] provides a right adjoint \rho_{\mathcal F}\colon{\mathcal S} p_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\mathcal F} to the inclusion. We write \epsilon_X\colon \rho_{\mathcal F}(X)\longrightarrow X for the adjunction counit. For all G\in{\mathcal F} and all integers k, the upper horizontal map in the following commutative diagram is the adjunction bijection:

The two vertical maps are isomorphisms because (\Sigma^\infty_+B_{\operatorname{gl}}G)[k] represents the functor \pi_k^G, compare [schwede:global, Theorem 4.4.3 (i)]. So the lower horizontal map is an isomorphism, and thus \epsilon_X is an {\mathcal F}-equivalence, as claimed.

(iv) As a right adjoint, \rho_{\mathcal F} preserves limits. Since source and target are stable, the functor \rho_{\mathcal F} preserves finite colimits. We claim that \rho_{\mathcal F} also preserves infinite sums. Indeed, for any family (X_i)_{i\in I} of global spectra and all G in {\mathcal F}, the following diagram commutes:

The two vertical maps are isomorphisms by (iii). The two horizontal isomorphisms exploit that the functor \pi_k^G takes coproducts of global spectra to direct sums of abelian groups. Since this holds for all G\in{\mathcal F}, the colimit exchange morphism \bigoplus_I \rho_{\mathcal F}(X_i)\longrightarrow\rho_{\mathcal F}(\bigoplus_I X_i) is an {\mathcal F}-equivalence between objects of {\mathcal S} p_{\mathcal F}, and hence a global equivalence by (ii). This concludes the proof that \rho_{\mathcal F} preserves arbitrary sums. Since \rho_{\mathcal F} preserves finite colimits and sums, it preserves all colimits. Since {\mathcal S} p_{\mathcal F} and {\mathcal S} p_{\operatorname{gl}} are presentable, the adjoint functor theorem [lurie:htt, Corollary 5.5.2.9] provides a right adjoint to \rho_{\mathcal F}. The functor \rho_{\mathcal F} thus has adjoints on both sides. In such cases, one adjoint is fully faithful if and only if the other one is. Since the left adjoint to \rho_{\mathcal F} is fully faithful, so is its right adjoint.

(v) The commutative square

and the fact, proved in (iii), that the adjunction counits are {\mathcal F}-equivalences, show that a morphism f of global spectra is an {\mathcal F}-equivalence if and only if \rho_{\mathcal F}(f) is an {\mathcal F}-equivalence. Since \rho_{\mathcal F}(X) and \rho_{\mathcal F}(Y) belong to {\mathcal S} p_{\mathcal F}, \rho_{\mathcal F}(f) is moreover an {\mathcal F}-equivalence if and only if it is a global equivalence, by (ii). We can then apply the dual of [lurie:htt, Proposition 5.2.7.12] to the functor L=\text{incl}\circ \rho_{\mathcal F}\colon{\mathcal S} p_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}}, which yields the desired universal property of a localization.

(vi) For any group G in {\mathcal F}, the functor \operatorname{res}_G^\wedge\colon{\mathcal S} p^\wedge_{\operatorname{gl}}\longrightarrow {\mathcal S} p^\wedge_G is strong symmetric monoidal, so \operatorname{res}_G(f\wedge Z) is equivalent in {\mathcal S} p_G to \operatorname{res}_G(f)\wedge \operatorname{res}_G(Z). The morphism \operatorname{res}_G(f) is an equivalence in {\mathcal S} p_G because G\in {\mathcal F}; hence also \operatorname{res}_G(f\wedge Z) is an equivalence. Since this holds for all G\in{\mathcal F}, the morphism f\wedge Z is an {\mathcal F}-equivalence.

(a)\Longrightarrow(b) We let K be a compact Lie group. We let N be the intersection of the kernels of all continuous homomorphisms from K to some group in {\mathcal F}. Then N is a closed normal subgroup of K, and we claim that the quotient homomorphism K\longrightarrow K/N is initial among continuous homomorphisms from K to groups in {\mathcal F}.

We must first show that the quotient group K/N indeed belongs to {\mathcal F}. Since compact Lie groups satisfy the descending chain condition for closed subgroups, there are finitely many N_1,\dots,N_k among the relevant closed normal subgroups such that N=N_1\cap \ldots\cap N_k. We choose continuous homomorphisms \alpha_i\colon K\longrightarrow G_i with kernel N_i and G_i\in{\mathcal F}. Then the homomorphism

has kernel N_1\cap\dots\cap N_k=N, so K/N embeds into G_1\times \dots\times G_k. Since the class is multiplicative, the product G_1\times \dots\times G_k belongs to {\mathcal F}, hence so does K/N.

Now we can complete the argument. If \beta\colon K\longrightarrow G is any continuous homomorphism to a group in {\mathcal F}, then N is contained in the kernel of \beta, so \beta factors uniquely through the quotient map K\longrightarrow K/N.

(b)\Longrightarrow(a) The argument for global families in [schwede:global, page 437f] can be adapted to global classes, as follows. For G, K\in{\mathcal F}, we let q\colon G\times K\longrightarrow L be an initial continuous homomorphism to a group L that belongs to {\mathcal F}. Then the projections p_G\colon G\times K\longrightarrow G and p_K\colon G\times K\longrightarrow K factor as p_G=i \circ q and p_K=j\circ q for unique continuous homomorphisms i\colon L\longrightarrow G and j\colon L\longrightarrow K. The composite

is the identity, so q is an isomorphism from G\times K onto a closed subgroup of L. Since L belongs to {\mathcal F}, so does G\times K.

(i) The image p(K) of p\colon K\longrightarrow u K is a closed subgroup of u K, hence also in the global class {\mathcal F}. Because p is initial among homomorphisms to groups in {\mathcal F}, there is a unique continuous homomorphism j\colon u K\longrightarrow p(K) such that the composite j\circ p\colon K\longrightarrow p(K) agrees with p (with restricted codomain). Since the composite

equals p, initiality shows that \text{incl}\circ j is the identity of u K. So p(K)=u K, and thus p is surjective. Part (ii) is proved in the same way as for global families in [schwede:global, Proposition 4.5.8].

(i) We let G and K be two compact Lie groups from the class {\mathcal F}. Then (\Sigma^\infty_+ B_{\operatorname{gl}}G)\wedge (\Sigma^\infty_+ B_{\operatorname{gl}}K) is globally equivalent to \Sigma^\infty_+ B_{\operatorname{gl}}(G\times K), by (1.3.5) and Proposition 4.1.18 of [schwede:global], and hence in {\mathcal S} p_{{\mathcal F}} by the multiplicativity hypothesis on {\mathcal F}. Since {\mathcal S} p_{{\mathcal F}} is the localizing subcategory of {\mathcal S} p_{\operatorname{gl}} generated by the suspension spectra \Sigma^\infty_+ B_{\operatorname{gl}}G for all G\in {\mathcal F}, and since the global smash product preserves colimits in each variable separately, this proves that {\mathcal S} p_{{\mathcal F}}\wedge {\mathcal S} p_{{\mathcal F}} is contained in {\mathcal S} p_{{\mathcal F}}.

(ii) and (iii): Because the subcategory {\mathcal S} p_{{\mathcal F}} is closed under the global smash product by (i), and it contains the monoidal unit {\mathbb S}\sim\Sigma^\infty_+ B_{\operatorname{gl}}\{1\}, Proposition 2.2.1.1 and Remark 2.2.1.2 of [lurie:higher_algebra] provide the ‘restricted’ symmetric monoidal structure on {\mathcal S} p_{{\mathcal F}} along with an extension of the inclusion to a strong symmetric monoidal functor. The induced functor

is then fully faithful with the essential image as described in (iii).

(iv) The global sphere spectrum {\mathbb S} is {\mathcal F}-left induced for any global class {\mathcal F}. So the adjunction counit \epsilon_{\mathbb S}\colon\rho_{\mathcal F}({\mathbb S})\longrightarrow{\mathbb S} is a global equivalence. This adjunction counit is the inverse of the unit morphism of the monoidal structure on \rho_{\mathcal F}, so the lax monoidal structure is unital.

For global spectra X and Y, the monoidal structure morphism \rho_{\mathcal F}(X)\wedge\rho_{\mathcal F}(Y)\longrightarrow\rho_{\mathcal F}(X\wedge Y) participates in the following commutative diagram in {\mathcal S} p_{\operatorname{gl}}:

Here \epsilon\colon\text{incl}\circ\rho_{\mathcal F}\longrightarrow \operatorname{Id}_{{\mathcal S} p_{\operatorname{gl}}} is the adjunction counit. The two vertical and the lower horizontal morphisms are {\mathcal F}-equivalences by parts (iii) and (vi) of Theorem C.2. So the upper horizontal morphism is an {\mathcal F}-equivalence between global spectra in {\mathcal S} p_{\mathcal F}, and hence a global equivalence, by Theorem C.2 (ii).

(v) The inclusion {\mathcal S} p_{\mathcal F}\longrightarrow{\mathcal S} p_{\operatorname{gl}} is a left adjoint by Theorem C.2 (iii). So the inclusion preserves and reflects colimits. Since the inclusion is strong monoidal and the global smash product preserves colimits in each variable separately, also the restricted global smash product \wedge\colon {\mathcal S} p_{{\mathcal F}}\times {\mathcal S} p_{{\mathcal F}}\longrightarrow {\mathcal S} p_{{\mathcal F}} preserves colimits in each variable separately. Since {\mathcal S} p_{\mathcal F} is presentable by Theorem C.2 (i), we conclude that {\mathcal S} p_{\mathcal F}^\wedge is presentably symmetric monoidal, and its \infty-category \operatorname{CAlg}({\mathcal S} p_{\mathcal F}^\wedge) of commutative algebras is presentable by [lurie:higher_algebra, Corollary 3.2.3.5].

(vi) The square is horizontally right adjointable by Lemma B.5. Since the vertical functors in the square also have left adjoints, horizontal right adjointability is equivalent to vertical left adjointability, compare [cnossen-lenz-linskens:partial, Lemma A.10]. So the square is also vertically left adjointable.

For use in several of the items we show as a first step that \operatorname{URing}_{{\mathcal F}} is closed under colimits in the ambient \infty-category \operatorname{URing}_{\operatorname{gl}}. We let F\colon I\longrightarrow \operatorname{URing}_{\operatorname{gl}} be a functor with values in \operatorname{URing}_{{\mathcal F}}, and we let R be a colimit of F in \operatorname{URing}_{\operatorname{gl}}. Since the functor u_{\operatorname{gl}}\colon \operatorname{URing}_{\operatorname{gl}}\longrightarrow\operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) preserves colimits by Theorem B.25 (iii), u_{\operatorname{gl}}(R) is a colimit of u_{\operatorname{gl}}\circ F in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge). The functor \operatorname{CAlg}(\text{incl}^\wedge)\colon\operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F})\longrightarrow \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) is a fully faithful left adjoint with essential image the {\mathcal F}-left induced objects, by parts (iii) and (vi) of Theorem C.6. So its essential image is closed under colimits in \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge). So the underlying global spectrum of u_{\operatorname{gl}}(R), which is the same as the underlying global spectrum of R, is {\mathcal F}-left induced.

(i) We show that for every group G in {\mathcal F} and every n\geq 0, the global spectrum underlying {\mathbb P}_{\operatorname{gl}}((\Sigma^\infty_+ B_{\operatorname{gl}}G)[-n]) is {\mathcal F}-left induced. The underlying global spectrum of a free ultra-commutative ring spectrum {\mathbb P}_{\operatorname{gl}}(X) is the sum of the homogeneous summands {\mathbb P}_{\operatorname{gl}}^{[k]}(X) for k\geq 0, where {\mathbb P}_{\operatorname{gl}}^{[k]}\colon {\mathcal S} p_{\operatorname{gl}}\longrightarrow{\mathcal S} p_{\operatorname{gl}} is the total left derived functor of the k-th symmetric smash power functor Y\mapsto (Y^{\wedge k})/\Sigma_k on the 1-category \operatorname{Sp}^O. Moreover,

is the global Thom spectrum associated to the negative of the (\Sigma_k\wr G)-representation \tau_k^n, the direct sum of n copies of the natural \Sigma_k-representation on {\mathbb R}^k. Since G belongs to {\mathcal F}, and {\mathcal F} is closed under wreath products, the group \Sigma_k\wr G belongs to {\mathcal F}. So the global Thom spectrum (B_{\operatorname{gl}}(\Sigma_k\wr G))^{- \tau_k^n} is {\mathcal F}-left induced by Example C.3. Hence also the global spectrum underlying {\mathbb P}_{\operatorname{gl}}((\Sigma^\infty_+B_{\operatorname{gl}}G)[-n]) is {\mathcal F}-left induced, i.e., {\mathbb P}_{\operatorname{gl}}((\Sigma^\infty_+ B_{\operatorname{gl}}G)[-n]) belongs to the subcategory \operatorname{URing}_{{\mathcal F}}.

By definition, {\mathcal S} p_{{\mathcal F}} is generated as a localizing subcategory of {\mathcal S} p_{\operatorname{gl}} by the suspension spectra \Sigma^\infty_+ B_{\operatorname{gl}}G for all compact Lie groups G in {\mathcal F}. So {\mathcal S} p_{{\mathcal F}} is generated under colimits in {\mathcal S} p_{\operatorname{gl}} by the objects (\Sigma^\infty_+ B_{\operatorname{gl}}G)[-n] for all G\in{\mathcal F} and all n\geq 0. As a left adjoint, {\mathbb P}_{\operatorname{gl}} preserves colimits. Since \operatorname{URing}_{{\mathcal F}} is closed under colimits in \operatorname{URing}_{\operatorname{gl}} by the previous paragraph, the functor {\mathbb P}_{\operatorname{gl}} takes all {\mathcal F}-left induced global spectra into \operatorname{URing}_{{\mathcal F}}.

(ii) By transitivity of adjoints we have {\mathbb P}_{\operatorname{gl}}\sim\lambda_{\operatorname{gl}}\circ{\mathbb E}_{\operatorname{gl}}, where {\mathbb E}_{\operatorname{gl}}\colon {\mathcal S} p_{\operatorname{gl}}\longrightarrow \operatorname{CAlg}({\mathcal S} p_{\operatorname{gl}}^\wedge) is left adjoint to the forgetful functor \operatorname{ev}_{\langle 1\rangle}. By the vertical left adjointability in Theorem C.6 (vi), the functor {\mathbb E}_{\operatorname{gl}} sends {\mathcal S} p_{{\mathcal F}} into \operatorname{CAlg}({\mathcal S} p_{\mathcal F}^\wedge). The functor {\mathbb P}_{\operatorname{gl}} sends {\mathcal S} p_{{\mathcal F}} into \operatorname{URing}_{{\mathcal F}} by part (i); so \lambda_{\operatorname{gl}} sends the image of the restricted functor {\mathbb E}_{\operatorname{gl}}\colon{\mathcal S} p_{{\mathcal F}}\longrightarrow\operatorname{CAlg}({\mathcal S} p_{\mathcal F}^\wedge) into \operatorname{URing}_{{\mathcal F}}. Since \operatorname{ev}_{\langle 1\rangle}\colon\operatorname{CAlg}({\mathcal S} p_{{\mathcal F}}^\wedge)\longrightarrow{\mathcal S} p_{{\mathcal F}} is a monadic right adjoint, the \infty-category \operatorname{CAlg}({\mathcal S} p_{{\mathcal F}}^\wedge) is generated under colimits by {\mathbb E}_{\operatorname{gl}}({\mathcal S} p_{{\mathcal F}}). Since \lambda_{\operatorname{gl}} preserves colimits and \operatorname{URing}_{{\mathcal F}} is closed under colimits in \operatorname{URing}_{\operatorname{gl}}, the functor \lambda_{\operatorname{gl}} sends all of \operatorname{CAlg}({\mathcal S} p_{{\mathcal F}}^\wedge) into \operatorname{URing}_{{\mathcal F}}, proving (ii).

(iii) By definition, the functor u_{\operatorname{gl}}\colon\operatorname{URing}_{\operatorname{gl}}\allowbreak\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}) takes the subcategory \operatorname{URing}_{{\mathcal F}} to the subcategory \operatorname{CAlg}({\mathcal S} p^\wedge_{{\mathcal F}}). By (ii), its left adjoint \lambda_{\operatorname{gl}} takes \operatorname{CAlg}({\mathcal S} p^\wedge_{{\mathcal F}}) to \operatorname{URing}_{{\mathcal F}}. The restricted functors

then form another adjoint pair, with respect to the restricted adjunction unit and counit. Since u_{\operatorname{gl}} is a monadic right adjoint by Theorem B.25 (iii), and since the restricted functor u_{{\mathcal F}}\colon\operatorname{URing}_{{\mathcal F}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{{\mathcal F}}) is a right adjoint, it is monadic by [henry-meadows:monads, Proposition 3.26].

Since \operatorname{URing}_{\mathcal F} is closed under colimits inside \operatorname{URing}_{\operatorname{gl}}, and \operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F}) is closed under colimits inside \operatorname{CAlg}({\mathcal S} p^\wedge_{\operatorname{gl}}), and since u_{\operatorname{gl}} also preserves colimits, also the restriction u_{{\mathcal F}}\colon\operatorname{URing}_{{\mathcal F}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F}) preserves colimits. Hence the underlying functor u_{\mathcal F}\circ\lambda_{\mathcal F}\colon\operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F})\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F}) of the monad for \operatorname{URing}_{\mathcal F} preserves all colimits. So u_{\mathcal F}\circ\lambda_{\mathcal F} is in particular \kappa-accessible for every sufficiently large regular cardinal \kappa. Since \operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F}) is presentable and the monad is \kappa-accessible, the \infty-category of algebras is again presentable by [henry-meadows:monads, Corollary 6.8]. Since \operatorname{URing}_{\mathcal F} is equivalent to the \infty-category of algebras, it is presentable, too.

Since source and target of the colimit preserving functor u_{{\mathcal F}}\colon\operatorname{URing}_{{\mathcal F}}\longrightarrow\operatorname{CAlg}({\mathcal S} p^\wedge_{\mathcal F}) are presentable, this functor admits a right adjoint by Lurie’s adjoint functor theorem [lurie:htt, Corollary 5.5.2.9]. Since we already know that u_{\mathcal F} is monadic, the existence of a right adjoint makes it comonadic, too, proving (iii).

(iv) The \infty-categories \operatorname{URing}_{\mathcal F} and \operatorname{URing}_{\operatorname{gl}} are presentable by part (iii) and Theorem B.25 (ii), and \operatorname{URing}_{\mathcal F} is closed under colimits inside \operatorname{URing}_{\operatorname{gl}} by the above. So the inclusion \operatorname{URing}_{\mathcal F}\longrightarrow\operatorname{URing}_{\operatorname{gl}} is a colimit preserving functor between presentable \infty-categories, and thus a left adjoint by Lurie’s adjoint functor theorem [lurie:htt, Corollary 5.5.2.9]. Hence \operatorname{URing}_{\mathcal F} is coreflective in \operatorname{URing}_{\operatorname{gl}}.

The design property that \lambda_{\mathcal F} is the restriction of \lambda_{\operatorname{gl}} precisely means that the pullback square in (iv) is vertically left adjointable. In this square, both horizontal functors also have right adjoints. In such situations, vertical left adjointability is equivalent to horizontal right adjointability, compare [cnossen-lenz-linskens:partial, Lemma A.10]. So the square is also horizontally right adjointable, proving (iv).