\subsection{Definition of $\textbf{A}^{\! \textup{coarse}}_G(X)$}

Applying \myref{df:deloop_waldhausen} and \myref{inf loop} to the category of retractive spaces $R_{hf}(X)$ provides our first equivariant generalization of Waldhausen's functor.
\begin{df} We define the $G$-space $A_G^{\! \textup{coarse}}(X) := \Omega | w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, R_{hf}(X)) |$. \end{df}
\begin{cor}\mylabel{coarseomega} The $G$-space $A_G^{\! \textup{coarse}}(X)$ is the zeroth space of a $\Omega$-$G$-spectrum $\textbf{A}_G^{\! \textup{coarse}}(X)$. \end{cor}

The upper script ``coarse" indicates that the $H$-fixed point spectrum is the nonequivariant $K$-theory of the category of $H$-equivariant retractive spaces over $X$ with the coarse equivalences. We will proceed to explain how this fixed point spectrum is related to Williams's bivariant $A$-theory functor $\textbf{A}(E \to B)$.

\subsection{Relation to bivariant $A$-theory}
For each fibration $p: E \to B$ into a cell complex $B$, form a Waldhausen category $R_{hf}(E \overset{p}\to B)$ whose objects are retractive spaces
\[ E \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow E \overset{p}\longrightarrow B \]
for which $p \circ p_Y$ is a fibration, and over each point $b \in B$ the retractive space $Y_b$ over the fiber $E_b$ is homotopy finite. The weak equivalences are the maps giving  weak homotopy equivalences on $Y$. The cofibrations are the maps with the fiberwise homotopy extension property (FHEP) over $E$.

\begin{df} The bivariant $A$-theory of a fibration is defined as  $$\textbf{A}(E \overset{p}\to B) := K(R_{hf}(E \overset{p}\to B)).$$ \end{df}

\noindent This contains as a special case both Waldhausen's $\textbf{A}(X) = \textbf{A}(X \to *)$ and the contravariant analog $\rotatebox[origin=c]{180}{A}(X) = \textbf{A}(X \overset{\textup{id}}\to X)$.

\begin{remark}
This definition of bivariant $A$-theory is equivalent to the one given in \cite{raptis_steimle} by an easy application of the approximation property. Their cofibrations are the maps having the homotopy extension property (HEP) on each fiber separately.
\end{remark}

We may now begin proving \myref{intro_bivariant}. We regard $\textbf{A}_G^{\textup{coarse}}(X)$ as a symmetric spectrum with a $G$-action by iteration of the $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$-construction. We are therefore only considering its underlying a na\"ive $G$-spectrum.

\begin{prop}\mylabel{prop:coarse_equals_bivariant} There is a natural equivalence of symmetric spectra
\[ \textbf{A}_G^{\textup{coarse}}(X)^H \simeq \textbf{A}(EG \times_H X \to BH) \]
In particular,
\[ \textbf{A}_G^{\textup{coarse}}(X)^{\{e\}} \simeq \textbf{A}(X), \qquad \textbf{A}_G^{\textup{coarse}}(*)^H \simeq \rotatebox[origin=c]{180}{A}(BH) \]
\end{prop}

\begin{proof}
From \myref{fixed_points_agree}, the fixed points  $\textbf{A}_G^{\textup{coarse}}(X)^H$ are given by the Waldhausen $K$-theory of the category  $R_{hf}(X)^{hH}$, which we identify with the category of retractive $H$-equivariant spaces over $X$ with underlying  homotopy finite space, as in \myref{rxhh}. As explained in Remark \ref{rmk:could_be_strong}, we may restrict $R_{hf}(X)$ to the spaces with the homotopy type of relative cell complexes, with strong homotopy equivalences and HEP cofibrations. We do so in this proof.

We adopt the shorthand
\[ E = EG \times_H X = B(*,G,G \times_H X), \qquad B = BH = B(*,G,G/H) \]
We freely use the result from \cite{may}, Cor 8.3 that for a well-based topological group $H$ the map $B(*,H,H) \to B(*,H,*)$ is a principal $H$-bundle. This implies that $B(*,H,X) \to B(*,H,*)$ is a fiber bundle with fiber $X$. Since realization of simplicial spaces commutes with strict pullbacks, our desired map $p: E \to B$ is a pullback of this fiber bundle, hence also a fiber bundle.

The equivalence of $K$-theory spectra will be induced by the functor $$\Phi: R_{hf}(X)^{hH} \longrightarrow R_{hf}(EG \times_H X \overset{p}\to BH)$$ that applies $EG \times_H -$ to the retractive space $(Y,i_Y,p_Y)$ over $X$, obtaining a retractive space over $EG \times_H X$:
\[ \xymatrix @C=5em{ EG \times_H X \ar[r]^-{EG \times_H i_Y} & EG \times_H Y \ar[r]^-{EG \times_H p_Y} & EG \times_H X } \]
The composite map $EG \times_H Y \to BH$ is a fiber bundle with fiber $Y$, which is assumed to be a homotopy finite retractive space over $X$.
Therefore $\Phi$ indeed lands in the Waldhausen category $R_{hf}(EG \times_H X \overset{p}\to BH)$.
It is elementary to check that weak equivalences and cofibrations are preserved, and therefore $\Phi$ induces a map on $K$-theory

To prove that this map is an equivalence we verify the approximation property from \cite{waldhausen}. We observe that the category $\Cat(\mathcal{E}H, R_{hf}(X))$ has a tensoring with unbased simplicial sets sending the $H$-space $Y$ over $X$ and a simplicial set $K$ to the external smash product $Y \,\overline\wedge\, |K|_+$. This has the pushout-product property, by the usual formula for an NDR-pair structure on a product of NDR-pairs. Therefore $\Cat(\mathcal{E}H, R_{hf}(X))$ has a cylinder functor.

For the approximation property, we use the right adjoint $F(EG,-)$ of the functor $\Phi$ when regarded as a functor from $H$-equivariant spaces under $X$ to spaces under $\Phi(X) = EG \times_H X$. Given a cofibrant retractive $H$-space $Y$ and a map of retractive $\Phi(X)$-spaces $\Phi(Y) \to Z$, we factor the adjoint into a mapping cylinder
\[ \xymatrix{ Y \ar[r] & Y' = Y \,\overline\wedge\, I_+ \cup_{Y \times 1} F_{BH}(EG,Z) \ar[r]^-\sim & F_{BH}(EG,Z) \ar[r] & F(EG,Z) } \]
We observe that this map is under $X$ and over $F(EG,EG \times_H X)$. The map $Y \to Y'$ is a cofibration of spaces under $X$ and over $F(EG,EG \times_H X)$ by the pushout-product property. Pushing $Y'$ back through the adjunction, we get a factorization of retractive spaces over $\Phi(X)$
\[ \xymatrix{ \Phi(Y) \ar[r] & \Phi(Y') \ar[r]^-\sim & Z } \]
The map $\Phi(Y') \to Z$ is an equivalence because it is a map of fibrations whose induced map of fibers is measured by the equivalence $Y' \to F_{BH}(EG,Z)$ from above. This finishes the proof.
\end{proof}

The following proposition implies the rest of \myref{intro_bivariant}, and its proof occupies the remainder of the section.
\begin{prop}\mylabel{thm:homotopy_fixed_equals_coassembly}
Under the equivalence of Proposition \ref{prop:coarse_equals_bivariant}, the coassembly map for bivariant $A$-theory agrees up to homotopy with the map from fixed points to homotopy fixed points:
\[ \xymatrix{
\textbf{A}_G^{\textup{coarse}}(X)^H \ar[d]^-\sim \ar[r] & \textbf{A}_G^{\textup{coarse}}(X)^{hH} \ar[d]^-\sim \\
\textbf{A}(EG \times_H X \to BH) \ar[r] & \Gamma_{BH}(\textbf{A}_{BH}(EG \times_H X)) } \]
\end{prop}

In fact, we prove a much more general fact about coassembly maps agreeing with homotopy fixed point maps. Our approach takes three steps. We first observe:
\begin{prop}\mylabel{adjunctions}
The coassembly map of a functor on spaces over $BG$, and the homotopy fixed point map for a na\" ive $G$-spectrum, are each given by the unit of an adjunction of homotopy categories.
\end{prop}
To be more specific, for each subgroup $H$, the map $(-)^H \to (-)^{hH}$ is the unit of the following adjunction evaluated on the $H$-fixed points.
\[ \xymatrix @C=1.5in @R=0.5in{
*+<16pt>[F-:<16pt>]\txt{ na\" ive \\ $G$-spectra } \ar@/^/[r]^-*\txt{localize} \ar@{}[r]|-{\perp} &
*+<16pt>[F-:<16pt>]\txt{ coarse \\ $G$-spectra } \ar@/^/[l]^-*\txt{$F(EG,-)$} \\ } \]
For coassembly, the relevant adjunction is
\[ \xymatrix @C=1.5in @R=0.5in{
*+<16pt>[F-:<16pt>]\txt{ Homotopy functors \\ $F: \mathcal U_{BG}^\textup{op}$-spaces$ \rightarrow \mathcal Sp$ } \ar@/^/[r]^-*\txt{restrict} \ar@{}[r]|-{\perp} &
*+<16pt>[F-:<16pt>]\txt{ Homotopy functors \\ $F: \Delta_{BG}^\textup{op}$-spaces$ \rightarrow \mathcal Sp$ } \ar@/^/[l]^-*\txt{$\underset{\Delta^p \to X}\textup{holim}\, F(\Delta^p)$} } \]
where $\mathcal U_{BG}^\textup{op}$ is the opposite of the category of unbased spaces over $BG$, and the subcategory $\Delta_{BG}$ consists of only the simplices $\Delta^p \to BG$ for varying $p$ and the compositions of face maps. A homotopy functor is one which sends weak equivalences of spaces to equivalences of spectra.

\begin{proof}
In the category of symmetric or orthogonal $G$-spectra, the functor $EG_+ \wedge -$ is equivalent to the localization to coarse $G$-spectra, and preserves cofibrant objects. Its right adjoint is the function spectrum $F(EG,-)$, which preserves fibrant objects. The adjunction on the homotopy category immediately follows. We may then modify the unit by collapsing away the extra $EG$ inside, and we are left with the map from fixed points to homotopy fixed points.

The claim about the coassembly map follows from the standard fact that the homotopy right Kan extension is the right adjoint of restriction, on the homotopy category of all functors. Furthermore, the canonical map of $F$ into the extension of the restriction of $F$ is the unit of this adjunction. By \cite{malkiewich2015tower}, this particular model for the homotopy right Kan extension preserves homotopy functors, so the adjunction on all functors descends to the subcategories of homotopy functors, with the same unit.
\end{proof}

Next we observe that every homotopy functor over $BG$ gives a na\" ive $G$-spectrum, because it may be restricted to the spaces of the form $BH = EG/H$, and the mapping spaces between these spaces over $BG$ are homeomorphic to the mapping spaces of the orbit category of $G$:
\[ \textup{Map}_{BG}(EG/H, EG/K) \cong \textup{Map}_{G}(G/H,G/K) \]
This gives a contravariant functor on the orbit category $\mathcal O(G)$. Since Elmendorf's theorem applies to symmetric and orthogonal spectra (cf. \cite{stephan}), the homotopy category of such diagrams is equivalent to the homotopy category of na\" ive $G$-spectra. Therefore we compare our two constructions as $\mathcal O(G)^\textup{op}$-diagrams.

\begin{prop}
The equivalence of Proposition \ref{prop:coarse_equals_bivariant} gives a map of diagrams of symmetric spectra over $\mathcal O(G)^\textup{op}$.
\end{prop}

\begin{proof}
We give an explicit model for the pullback of $EG \times_G X \to BG$ to $EG/H$ for all $H$ that illuminates the $\mathcal O(G)^\textup{op}$-action. Each map of $G$-sets $f: G/H \to G/K$ and $K$-space $X$ gives a pullback square
\[ \xymatrix{
B(*,G,G \times_H X) \ar[r] \ar[d] & B(*,G,G \times_K X) \ar[d] \\
B(*,G,G/H) \ar[r] & B(*,G,G/K) } \]
Recall that a map $f: G/H \to G/K$ of $G$-sets is determined by the image $f(eH)=g^{-1}K$ where $g \in G$ has the property that $H \leq g^{-1}Kg$. We define the action of each $h \in H$ on $X$ to be the given action of $ghg^{-1} \in K$. In the pullback above, vertical maps collapse $X$ to a point, and the map $G \times_H X \to G \times_K X$ sends $(\gamma,x)$ to $(\gamma g^{-1},x)$.
The functoriality of bivariant $A$-theory with respect to pullbacks gives the dashed map
\[ \xymatrix{
\textbf{A}_G^{\textup{coarse}}(X)^K \ar[r]^-\Phi_-\sim \ar[d]^-{f^*} & \textbf{A}(EG \times_K X \to EG/K) \ar@{-->}[d]^-{f^*} \\
\textbf{A}_G^{\textup{coarse}}(X)^H \ar[r]^-\Phi_-\sim & \textbf{A}(EG \times_H X \to EG/H) } \]
This defines the action of $\mathcal O(G)^\textup{op}$, which is strict by functoriality of bivariant $A$-theory (see \cite{raptis_steimle}, Remark 3.2.1).

We first prove that the above square commutes up to canonical homotopy for each $f: G/H \to G/K$. The top leg takes each retractive $K$-space $Y$ to $EG \times_H Y$, where the $H$-action on $Y$ is defined as above. For the other leg, we need to describe the action of the orbit category on the symmetric-spectrum variant of $\textbf{A}_G^{\textup{coarse}}(X)^H$. If we let $G/H$ denote the category on the object set $G/H$ with only identity morphisms, we get isomorphisms of symmetric spectra
\[ | w_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal S^{(n)}_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, R_{hf}(X)) |^H \cong | w_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal S^{(n)}_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(G/H,\Cat(\mathcal{E}G, R_{hf}(X))) |^G \]
under which the $\mathcal O(G)^\textup{op}$-action becomes composition of functors out of $G/K$ with $f: G/H \to G/K$. By the proof of \myref{all the actual work} below, the resulting exact functor takes retractive $K$-spaces $Y$ to retractive $H$-spaces given by $Y$, with $h \in H$ acting by $ghg^{-1} \in K$, precisely as above. Therefore the two legs give canonically isomorphic exact functors, which give homotopic maps on $K$-theory.

To eliminate the homotopies we strictify $\textbf{A}_G^{\textup{coarse}}(X)^H$ and $\textbf{A}(EG \times_H X \to EG/H)$ in the following way. We define a new category $\widetilde{R}_{hf}(X)^{hH}$ whose objects are triples $(f,K,Y)$ where $K \leq G$, $f: G/H \to G/K$, and $Y$ is a retractive $K$-space over $X$. The morphisms are defined so that the map which applies $f$ to $Y$ to obtain a retractive $H$-space, gives an equivalence of categories $\widetilde{R}_{hf}(X)^{hH} \to R_{hf}(X)^{hH}$. This is an equivalence of strict $\mathcal O(G)^{\textup{op}}$-diagrams, if we have $\mathcal O(G)^\textup{op}$ act on triples simply by composition with the map $f$.

There is a strictification $\widetilde{R}_{hf}(EG \times_H X \to EG/H)$ defined in a similar way. We lift $\Phi$ to the unique functor $\widetilde{\Phi}$ between strictifications which on the objects sends the triple $(f,K,Y)$ to $(f,K,\Phi(Y))$, and which agrees with $\Phi$ along our equivalences of categories. Then $\widetilde{\Phi}$ clearly commutes with the action of $\mathcal O(G)^\textup{op}$ on the objects. That $\Phi$ commutes on morphisms is a straightforward diagram-chase boiling down to the fact that our canonical isomorphisms above respect compositions of maps of $G$-sets.
\end{proof}

The final step is to formally identify the two adjunctions we gave above. Once this is done, the units must agree, and this proves that coassembly agrees with the homotopy fixed point map up to homotopy.

We observe that our passage from homotopy functors to $\mathcal O(G)^\textup{op}$ diagrams becomes and equivalence of homotopy categories if we localize our homotopy functors by measuring the weak equivalences on the spaces $EG/H$. We have already remarked that na\" ive $G$-spectra are equivalent to diagrams over $\mathcal O(G)^\textup{op}$. These equivalences of homotopy categories are collected in the figure below.

\begin{figure}[h]\label{big diagram of categories}
\[ \resizebox{\textwidth}{!}{
\xymatrix @C=1.5in @R=0.5in{
*+<16pt>[F-:<16pt>]\txt{ Homotopy functors \\ $F: \mathcal U_{BG}^\textup{op}$-spaces$ \rightarrow \mathcal Sp$ \\ (localized) } \ar@/^/[r]^-*\txt{restrict} \ar@{}[r]|-{\perp} \ar@/^/[d]^-*\txt{restrict}_-\sim &
*+<16pt>[F-:<16pt>]\txt{ Homotopy functors \\ $F: \Delta_{BG}^\textup{op}$-spaces$ \rightarrow \mathcal Sp$ } \ar@/^/[l]^-*\txt{$\underset{\Delta^p \to X}\textup{holim}\, F(\Delta^p)$} \ar@/^/[d]^-*\txt{$\underset{(\Delta^p \to BG)^\textup{op}}\textup{hocolim}\, F(\Delta^p)$}_-\sim \\
*+<16pt>[F-:<16pt>]\txt{ Functors \\ $\{EG/H_{/BG} : H \leq G \}^\textup{op} \rightarrow \mathcal Sp$ } \ar@/^/[rd]^-*\txt{restrict} \ar@{}[rd]|-{\perp} \ar@{<->}[d]^-\cong &
*+<16pt>[F-:<16pt>]\txt{ Parametrized spectra \\ over $|\Delta_{BG}^\textup{op}|$ } \\
*+<16pt>[F-:<16pt>]\txt{ Functors \\ $\mathcal O(G)^\textup{op} \rightarrow \mathcal Sp$ } &
*+<16pt>[F-:<16pt>]\txt{ Functors \\ $\{EG_{/BG} \}^\textup{op} \rightarrow \mathcal Sp$ } \ar@/^/[lu]^-*\txt{$EG/H \mapsto F^H(EG,-)$} \ar@{<->}[d]^-\cong \ar@/_/[u]_-{|\Delta_{EG}^\textup{op}| \times_G -}^-\sim \\
*+<16pt>[F-:<16pt>]\txt{ na\" ive \\ $G$-spectra } \ar@/_/[u]_-*\txt{$-^H$}^-\sim  \ar@/^/[r]^-*\txt{localize} \ar@{}[r]|-{\perp} &
*+<16pt>[F-:<16pt>]\txt{ coarse \\ $G$-spectra } \ar@/^/[l]^-*\txt{$F(EG,-)$} \\ }
} \]
\end{figure}
\begin{prop}
This figure commutes, as a diagram of adjunctions of homotopy categories.
\end{prop}

\begin{proof}
For this proof, $\mathcal Sp$ will denote orthogonal spectra, so we use the Quillen equivalence from \cite{mmss} to push our earlier constructions from symmetric spectra forward to orthogonal spectra. The adjunction at the top comes from factoring the adjunction of \myref{adjunctions} through localization. The middle adjunction will fall out from the rest of the proof.

First we show that the left adjoints in the topmost region commute. As before, the category $\Delta_{BG}$ consists of simplices over $BG$; its classifying space $|\Delta_{BG}|$ admits a weak equivalence to $BG$. The construction $|\Delta_X| = |N_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Delta_X|$ preserves covering spaces, so that $|\Delta_{EG}| \to |\Delta_{BG}|$ is a covering map, equivalent to $EG \to BG$. The homotopy colimit over $\Delta_{BG}^\textup{op}$ is taken in the unbased sense on each spectrum level, giving a parametrized spectrum over $|\Delta_{BG}^\textup{op}|$. By Quillen's Theorem B the levels of this spectrum are quasifibrations. It is well-known that this gives an equivalence of homotopy categories; an explicit proof for the spectrum case can be found in \cite{lind_malkiewich_morita}.

In addition, when $F$ is a functor on spaces over $BG$, $F(EG)$ has a left $G$-action coming from the right $G$-action on $EG$. We use the functoriality of $F$ to form a map on each spectrum level of $F(EG)$
\[ |\Delta_{EG}^\textup{op}| \times F(EG) = \underset{\Delta_{EG}^\textup{op}}\textup{hocolim}\, F(EG) \longrightarrow \underset{\Delta^p \in \Delta_{EG}^\textup{op}}\textup{hocolim}\, F(\Delta^p) \]
and observe that it descends to the quotient $|\Delta_{EG}^\textup{op}| \times_G F(EG)$, where it becomes an equivalence of quasifibrations. This gives a natural levelwise equivalence of parametrized spectra, and proves that the left adjoints in the topmost region commute.

In the bottom half of the diagram, it is elementary to check that both the claimed left adjoints and the claimed right adjoints give commuting squares. Therefore the claimed adjunction in the middle is actually an adjunction, which agrees with the one at the bottom. Since the left adjoints in the top region all commute, the right adjoints must commute as well by the universal property.
\end{proof}

This finishes the proof of \myref{thm:homotopy_fixed_equals_coassembly} and concludes our analysis of the functor $\textbf{A}_G^{\textup{coarse}}(X)$.

\subsection*{Acknowledgements}
It is a pleasure to acknowledge the contributions to this project arising from conversations with Clark Barwick, Andrew Blumberg, Anna Marie Bohmann, Wojciech Dorabia\l{}a, Emanuele Dotto, Bert Guillou, Tom Goodwillie, Mike Hill, Wolfgang L\" uck, Akhil Mathew, Peter May, Randy McCarthy, Ang{\'e}lica Osorno, Daniel Sch\"{a}ppi, and Stefan Schwede. We particularly thank Clark Barwick for helpful explanations of the $K$-theory of group actions, and we thank Anna Marie Bohmann and Ang{\'e}lica Osorno for sharing some of their work in progress that we use in this paper. Finally, we thank the Hausdorff Institute for Mathematics in Bonn for their hospitality while the draft of this paper was completed. Both authors were partially supported by AMS Simons Travel Grants.

\section{Equivariant $K$-theory of Waldhausen $G$-categories}

\input{section2_S1}

\section{The Waldhausen $G$-category of retractive spaces $R(X)$}

Let $G$ be a finite group and let $X$ be an unbased space with a continuous left $G$-action.
Let $R(X)$ be the category of non-equivariant retractive spaces over $X$. That is, an object of $R(X)$ is an unbased space $Y$ and two maps
\[ X \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow X \]
which compose to the identity on $X$. A morphism $f$ in $R(X)$ is given by a commutative diagram
$$\xymatrix @R=1em {
& Y \ar[dr]^{p_Y} \ar[dd]^f & \\
X \ar[ur]^{i_Y} \ar[dr]_{i_{Y'}} && X\\
& Y' \ar[ur]_{p_{Y'}} &
}$$

\subsection{Action of $G$ on $R(X)$}\label{g_action_on_rx}
The category $R(X)$ inherits a left action by $G$, which we describe explicitly. For any $g\in G$, the functor $g\colon R(X)\to R(X)$ sends an object
\[ X \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow X \] to the object
\[X\overset{g^{-1}}\longrightarrow X \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow X\overset{g}\longrightarrow X, \]

\noindent and for a map $f\colon (Y, i_Y, p_Y)\to (Y', i_{Y'}, p_{Y'})$, the map $gf$ is defined as the  diagram

$$\xymatrix @R=1em {
& Y \ar[dr]^{g \circ p_Y} \ar[dd]^f & \\
X \ar[ur]^{i_Y \circ g^{-1}} \ar[dr]_{i_{Y'} \circ g^{-1}} && X\\
& Y' \ar[ur]_{g \circ p_{Y'}} &
}$$
which clearly also commutes.

We take the weak equivalences in $R(X)$ to be the weak homotopy equivalences, and the cofibrations to be the the maps that have the fiberwise homotopy extension property (FHEP). Then the subcategory of cofibrant objects is a Waldhausen category. By abuse of notation, we will also call this subcategory $R(X)$. It is easy to check that the $G$-action we defined above is through exact functors.

\subsection{Homotopy fixed points of $R(X)$}
Recall from \myref{waldfixedpts} that the fixed point categories $R(X)^H$ may not be Waldhausen. In fact, if $X$ has a nontrivial $G$-action, the category $R(X)^G$ is not Waldhausen because it is empty and hence fails to contain a zero object. However by \myref{htpyfixedpts} the homotopy fixed point categories $R(X)^{hH}$ have a Waldhausen category structure. In this case they admit a more explicit description.

\begin{prop}\mylabel{rxhh}
The homotopy fixed point category $R(X)^{hH}$ is equivalent to the Waldhausen category of retractive objects over $X$ in the category of $H$-equivariant spaces. The cofibrations and weak equivalences are the $H$-equivariant maps which are nonequivariantly cofibrations, resp. weak equivalences.
\end{prop}

\begin{proof}
By \myref{hfixed}, it is enough to prove the result for $H=G$. The objects of the homotopy fixed point category $R(X)^{hG}= \Cat(\mathcal{E}G, R(X))^G$ are retractive spaces $(Y, i_Y, p_Y)$ together with isomorphisms $\psi_g\colon Y \xrightarrow{\cong} Y$ for all $g$ making the following diagram commute:
$$ \xymatrix{
X \ar[rr]^{i_Y} \ar[d]^{g^{-1}} && Y \ar[d]^{\psi_g} \ar[rr]^{p_Y} && X \\
X \ar[rr]^{i_Y} && Y \ar[rr]^{p_Y} && X\ar[u]^g
}$$
The maps $\psi_g\colon Y\to Y$ define the $G$-action on $Y$ and from the commutativity of the above diagram it follows that $i_Y$ and $r_Y$ are equivariant.  It is then clear that the maps in $R(X)^{hG}$ are the $G$-equivariant maps.
\end{proof}

Before taking $K$-theory, we will restrict to a subcategory of finite objects. Let $R_{hf}(X)$ denote the subcategory of retractive spaces that are homotopy finite. Recall that a retractive space $Y$ is \emph{homotopy finite} if it is a retract in the homotopy category of an actual finite relative cell complex over $X$.

Clearly the action of $G$ on $R(X)$ respects this condition, and so restricts to a $G$-action on $R_{hf}(X)$. The proof of \myref{rxhh} applies verbatim to give us that $R_{hf}(X)^{hH} = \Cat(\mathcal{E}G,R_{hf}(X))^H$ is the Waldhausen category of retractive $H$-equivariant spaces over $X$ whose underlying space is homotopy finite.

\begin{remark}\label{rmk:could_be_strong}
By an easy application of Waldhausen's approximation theorem, if we restrict to the subcategory of spaces that are  homotopy equivalent to cell complexes, with the homotopy equivalences on the total space and the HEP cofibrations, we get equivalent $K$-theory.
\end{remark}

\input{a_coarse}

\section{Transfers on Waldhausen $G$-categories}

In this section, we give the construction of $\textbf{A}_G(X)$ and prove the following main theorem (\myref{thm:agx_exists} from the Introduction.)

\begin{thm}\mylabel{agx_exists2}
For $G$ a finite group, there exists a functor $\textbf{A}_G$ from $G$-spaces to genuine $G$-spectra with the property that on $G$-fixed points,
\[ \textbf{A}_G(X)^H \simeq \prod_{(H) \leq G} \textbf{A}(X^H_{hWH}), \]
and a similar formula for the fixed points of each subgroup $H$.
\end{thm}

We construct $\textbf{A}_G(X)$ as a spectral Mackey functor because we need the flexibility to refine the weak equivalences in each of the homotopy fixed point categories $R_{hf}(X)^{hH}$. We describe the framework of spectral Mackey functors as models of $G$-spectra, developed by Guillou and May in \cite{GM1}, followed by the work of Bohmann and Osorno \cite{bohmann_osorno}, which constructs categorical input that directly feeds into their theorem. We then construct this categorical input by a 1-categorical variant of a general construction due to Barwick, Glasman and Shah \cite[\S 8]{Gmonster2}. In particular, \myref{clark} should be viewed as a reinterpretation of \cite[8.1]{Gmonster2}. Finally, we construct $\textbf{A}_G(X)$ by descending the structure to the Waldhausen categories with refined weak equivalences for each $H\subseteq G$.

\subsection{Review of spectral Mackey functors}

We start with a description of the framework in broad strokes. By a general result of Schwede and Shipley \cite{schwede_shipley_morita}, if $\mathcal{C}$ is a stable model category with a finite set of generators $\{X_1,\ldots,X_n\}$, then the derived mapping spectra $\mathcal{C}(X_i,X_j)$ form a spectrally enriched category $\mathcal B(C)$ on the objects $\{X_1,\ldots,X_n\}$. Thinking of such a spectral category as the many-objects version of a ring spectrum, and spectrally-enriched functors into spectra as modules over that ring, there is a model category $\mathcal Mod_{\mathcal B(\mathcal{C})}$ of modules over $\mathcal B(C)$ and a Quillen equivalence $\mathcal Mod_{\mathcal B(\mathcal{C})} \simeq C$ given by coend with $\{X_i\}$ and its right adjoint:
\[ L(\{M_i\}) = \{X_i\} \wedge_{\mathcal B(\mathcal{C})} \{M_i\}, \qquad R(Y)_i = \mathcal{C}(X_i,Y) \]
This is the spectral analog of classical Morita theory; when $R$ is a ring and $M$ a perfect $R$-module generator, this construction gives a Quillen equivalence between $R$-modules and $\textup{End}_R(M)$-modules.

Taking $\mathcal{C}$ to be the category of orthogonal $G$-spectra for a finite group $G$, $\mathcal{C}$ is generated by the suspension spectra $\Sigma^\infty_+ G/H$ for conjugacy classes of subgroups $(H) \leq G$. By the self-duality of the orbits $\Sigma^\infty_+ G/H$, the mapping spectrum from $G/H$ to $G/K$ may be written as the genuine fixed points of a suspension spectrum
\[ (\Sigma^\infty_+ G/H \times G/K)^G \]
and the compositions are given by stable $G$-maps
\[ G/H \times G/L \times G/L \times G/K \longrightarrow G/H \times G/L \times G/K \longrightarrow G/H \times G/K \]
which collapse away the complement of the diagonal of $G/L$ and then fold that diagonal to a single point.

Guillou and May prove that this spectral category is equivalent to a spectral version of the Burnside category, namely a spectral category $\mathcal{GB}$  with objects $G/H$, and morphisms spectra $\mathcal{GB}(G/H,G/K)$  given by the $K$-theory of the permutative category of finite equivariant spans from $G/H$ to $G/K$.  The composition is by pullback of spans, which can be made strictly associative by using a skeleton of the category of finite $G$-sets and by picking explicit models for pullbacks of spans (cf. \cite{GM1}).

\begin{thm}[Guillou-May]\mylabel{thm:guillou_may}There is a string of Quillen equivalences between $\mathcal{GB}$-modules $\{M_H\}$ and genuine $G$-spectra $X$, and the fixed points $X^H$ are equivalent to the spectrum $M_H$ for every subgroup $H$.
\end{thm}

Therefore, by \myref{thm:guillou_may}, to create a $G$-spectrum whose $H$-fixed points are $K(R^H_{hf}(X))$, it is enough to show that the spectra $K(R^H_{hf}(X))$ form a module over the ``ring on many objects'' $\mathcal{GB}$. The spectral category $\mathcal{GB}$ from \cite{GM1} is built using permutative categories; following \cite{bohmann_osorno}, we give an alternate version $\mathcal{GB}_{Wald}$ using Waldhausen categories.

\begin{df}\label{def:Wald_cat_of_spans}
For each pair of subgroups $H,K \leq G$ let $S_{H,K}$ denote the category of finite $G$-sets containing $G/H \times G/K$ as a retract. Such sets are of the form $S \amalg (G/H \times G/K)$, which we abbreviate to $S_+$ when $H$ and $K$ are understood. This is a Waldhausen category in which the weak equivalences are isomorphisms and the cofibrations are injective maps. Of course, the coproduct is disjoint union along $G/H \times G/K$. We adopt the conventions of  \cite[Def. 1.2, Def. 1.5]{GM1}, assuming that each of the $G$-sets $S$ is one of the standard sets $\{1,\ldots,n\}$ with a $G$-action, so that the coproduct, product, and pullback are given by specific formulas that make them associative and unital on the nose.

Define a pairing
\[ S_{H,L} \times S_{L,K} \longrightarrow S_{H,K} \]
by sending each pair of composable spans $S_+ = S \amalg (G/H \times G/L)$ and $T_+ = T \amalg (G/L \times G/K)$ to the span $(S * T)_+ = (S * T) \amalg (G/H \times G/K)$, where $(S * T)$ is the pullback span
\[ \xymatrix @R=1em @C=1em{
&& (S * T) \ar[ld]_-{p_3} \ar[rd]^-{q_3} && \\
& S \ar[ld]_-{p_1} \ar[rd]^-{q_1} && T \ar[ld]_-{p_2} \ar[rd]^-{q_2} & \\
G/H && G/L && G/K } \]
This pairing is biexact and strictly associative by our adopted conventions. The units are given by the spans $(G/H)_+ = G/H \amalg (G/H\times G/H)$ with identity projections
\[ \xymatrix @R=1em @C=1em{
& G/H \ar[ld]_-{\textup{id}} \ar[rd]^-{\textup{id}} & \\
G/H && G/H } \]
\end{df}

\begin{df}
Let $\mathcal{GB}_{Wald}$ be the spectrally-enriched category on the objects $G/H$, $(H) \leq G$ whose mapping spectra are the Waldhausen $K$-theory spectra $K(S_{H,K})$.
\end{df}

We use the following formulation of a hard and technical result of Bohmann-Osorno, which will appear in \cite{bohmann_osorno}, in order to translate Theorem \ref{thm:guillou_may} into something that interacts more readily with Waldhausen categories.

\begin{thm}[Bohmann-Osorno]\mylabel{thm:bohmann_osorno}
There is an equivalence of spectrally enriched categories $\mathcal{GB}$ and $\mathcal{GB}_{Wald}$.\end{thm}

Since equivalences of spectral categories induce Quillen equivalences on their module categories (\cite{schwede_shipley_equivalences}, Thm 6.1), by \myref{thm:bohmann_osorno}, it is now enough to show that the spectra $K(R^H_{hf}(X))$ form a module over $\mathcal{GB}_{Wald}$. We will spell out  explicit categorical conditions that will imply this and then verify these conditions in examples.

\begin{prop}\mylabel{our conditions}
Suppose we are given
\begin{enumerate}
\item[1.] a Waldhausen category $R^H$ for each $H \leq G$,
\item[2.] an exact functor $(-*S): R^H \to R^K$ for each retractive span $S_+$ in the category $S_{H,K}$,
\item[3.] a natural transformation of functors $\overline{f}: (-*S) \Rightarrow (-*T)$ for each map of retractive spans $f: S_+ \to T_+$,
\end{enumerate}
subject to the conditions
\begin{enumerate}
\item[4.] for fixed $A \in R^H$, the assignment $S_+ \mapsto A * S$ defines a functor $S_{H,K} \to R^K$,
\item[5.] we have $A\ast \emptyset \cong *$ and $(A * S) \vee (A * T) \to A * (S \amalg T)$ is an isomorphism in $R^K$ for all spans $S_+, T_+$ ,
\item[6.] the unit span action $(- * G/H): R^H \to R^H$ is the identity,
\item[7.] if $(S * T)$ is the horizontal composition of $S$ and $T$ as above then $(- * (S * T)) = ((- * S) * T)$ as functors $R^H \to R^K$.
\end{enumerate}

Then the spectra $K(R^H)$ form a module over $\mathcal{GB}_{Wald}$, and therefore, also over $\mathcal{GB}$.
\end{prop}

Basically, we are asking for a ``right action" map of spans on the categories $R^H$, such that the action map is a bi-exact functor, associative and unital.

\begin{proof}
By (5) the functor $S_+ \mapsto A * S$ preserves all sums. Observe that every cofibration $S_+ \to T_+$ is a coproduct of the identity of $S_+$ and the map $\emptyset_+ \to (T-S)_+$. Therefore $A * S \to A * T$ is isomorphic to a sum of the identity of $A * S$ and the inclusion $* \to A * (T-S)$ which is a cofibration. Of course, equivalences of spans are isomorphisms, which go to isomorphisms in $R^K$. Therefore the pairing $R^H \times S_{H,K} \to R^K$ is exact in the span variable, and it is exact in the $R^H$ variable by condition 2.

To complete the verification of biexactness, note given an inclusion $S_+ \to T_+$ and a cofibration $A \to B$ in $R^H$, the map $A * T \cup_{A * S} B * S \to B * T$ is a pushout of the map $A * (T-S) \to B * (T-S)$, which is a cofibration because $(T-S)$ acts by an exact functor.

Therefore we have biexact pairings $R^H \times S_{H,K} \to R^K$ with a strict associativity property. By the multifunctoriality of Waldhausen $K$-theory, this gives us a module over $\mathcal{GB}_{Wald}$.
\end{proof}

In the next section we show how to give such data for $\mathcal C^{hH}$ when $\mathcal C$ is any Waldhausen $G$-category.

\subsection{Categorical transfer maps}\label{transfer_section}
Suppose that $\mathcal{C}$ is a $G$-category with a chosen sum bifunctor $\oplus$ isomorphic to the categorical coproduct $\amalg$. Since $G$ acts through equivalences of categories, it preserves $\oplus$ up to coherent isomorphism. Let $f: S \longrightarrow T$ be a map of finite $G$-sets. Note that a finite $G$-set $S$ can be regarded as a category with objects the elements of $S$ and only identity morphisms, so the functor category $\Cat(S, \mathcal{C})$ is isomorphic to the $S$-indexed product $\prod_S \mathcal{C}$. We can define a map
\[ f_! : \Cat(S, \mathcal{C})\to  \Cat(T, \mathcal{C}),\]  by
\[ (f_!F)(t) := \bigoplus_{i \in f^{-1}(t)} F(i),  \] or equivalently,
\[  f_! :  \prod_S \mathcal{C}  \to \prod_T \mathcal{C}\]
\[ (c_1, \dots, c_j) \mapsto \left(   \bigoplus_{i \in f^{-1}(1)} c_i, \dots,  \bigoplus_{i \in f^{-1}(k) }c_i
\right), \] where $j=|S|$ and $k=|T|$.
Note that this map is not on the nose equivariant even if the sum $\oplus$ in $\mathcal{C}$ commutes with the $G$-action strictly, but it is only pseudo-equivariant. When we apply the $\Cat(\mathcal{E}G, -)$, by \myref{pseudo equiv}, we get an on the nose equivariant functor
\[ f_!: \Cat(S \times \mathcal{E}G, \mathcal{C}) \cong\Cat(\mathcal{E}G, \Cat(S, \mathcal{C}))  \longrightarrow  \Cat(\mathcal{E}G, \Cat(T, \mathcal{C}))\cong \Cat(T \times \mathcal{E}G, \mathcal{C}), \]which upon taking $G$-fixed points gives a transfer (or pushforward map) along the map of $G$-sets  $f: S \longrightarrow T$. We make this more explicit in the following definition.

\begin{df}\mylabel{pbpf}
Let $\mathcal{C}$ be a $G$-category with coproduct $\oplus$, and let $f: S \longrightarrow T$ be a map of unbased finite $G$-sets. Define a {\bf pullback (restriction) functor}
\[ f^*: \Cat(T \times \mathcal{E}G, \mathcal{C})^G \longrightarrow \Cat(S \times \mathcal{E}G,\mathcal{C})^G \]
for objects and for maps by the formulas
\[ (f^*F)(s,g) = F(f(s),g) \]
\[ (f^*F)(s,g \longrightarrow h) = F(f(s),g \longrightarrow h) \]
Define a {\bf pushforward (transfer) functor}
\[ f_!: \Cat(S \times \mathcal{E}G,\mathcal{C})^G \longrightarrow \Cat(T \times \mathcal{E}G,\mathcal{C})^G \]
on objects by
\[ (f_!F)(t,g) := g\left( \bigoplus_{i \in f^{-1}(g^{-1}t)} F(i,1) \right) \]
To get the morphisms we use the canonical isomorphism
\[ g\left( \bigoplus_{i \in f^{-1}(g^{-1}t)} F(i,1) \right) \cong \bigoplus_{i \in f^{-1}(g^{-1}t)} F(gi,g) = \bigoplus_{j \in f^{-1}(t)} F(j,g) \]
Under this isomorphism, the morphism $(f_!F)(t,g \longrightarrow h)$ is chosen to be the coproduct
\[ \bigoplus_{j \in f^{-1}(t)} F(j,g \longrightarrow h) \]
\end{df}

\begin{remark}
In the special case where $H$ is a subgroup of $K$ and $f:G/H\longrightarrow G/K$ is the quotient map, $f_!$ defines a transfer map
\[ \mathcal{C}^{hH} \longrightarrow \mathcal{C}^{hK}. \]
\end{remark}
\noindent More generally, for a span
\[ \xymatrix @R=1em @C=1em{
& S \ar[ld]_-{p} \ar[rd]^-{q} & \\
G/H && G/K } \]
one can define a functor $\mathcal{C}^{hH} \to \mathcal{C}^{hK}$ by $q_!p^*$. To prove that this defines a bifunctor that respects compositions of spans, one needs the following formal properties of $f_!$ and $f^*$ (cf. \cite[\S 10]{Gmonster}).

\begin{prop}\mylabel{adj}
For each equivariant map $f: S \to T$ of finite $G$-sets, the functors $(f_!,f^*)$ form an adjoint pair.
\end{prop}

\begin{proof}

We have a natural bijection between natural transformations $f_!F \Rightarrow F'$  of functors $T\times \mathcal{E}G\to \mathcal{C}$ which send $(t', g)$ to the zero object for $t'\in T'$ and natural transformations $F\Rightarrow f^\ast F'$ of functors $S\times \mathcal{E}G \to \mathcal{C}$ which send $(s',g)$ to the zero object if $s'\in S'$.

The transformation $f_!F \Rightarrow F'$, at $(t,g)$ is just $\oplus\ast \to \ast$ if $t\in T'$, and by applying the canonical isomorphism from the above definition, for $t\notin T'$, it is given by
\[ \bigoplus_{s \in f^{-1}(t)} F(s,g) \longrightarrow F'(t,g) \]
Since $\oplus$ is a coproduct, these are in canonical bijection with maps
\[ F(s,g) \longrightarrow F'(f(s),g) \]
for all $(s,g)$ for which $f(s)\notin T'$, which specify the natural transformation $F\Rightarrow f^\ast F'$ at these values. This natural transformation, at values $(s, g)$ for which $f(s)\in T'$ is specified by the unique maps $F(s,g)\to \ast.$
\end{proof}

\begin{prop}\mylabel{beck-chevalley}
Given a pullback square of finite $G$-sets
\[ \xymatrix @R=1.2em @C=1.2em{
A \ar[r]^-k \ar[d]_-h & B \ar[d]^-f \\
C \ar[r]_-j & D } \]
there is a ``Beck-Chevalley'' isomorphism
\[ \xymatrix{ \Cat(B \times \mathcal{E}G, \mathcal{C})^G \ar@/^1em/[rr]^-{h_!k^*} \ar@/_1em/[rr]_-{j^*f_!} \ar@{}[rr]|-{\Downarrow BC} & & \Cat(C \times \mathcal{E}G, \mathcal{C})^G } \]
defined as the composite
\[ \xymatrix @R=.4em{ h_!k^* \ar[r]^-\eta & j^*j_!h_!k^* \ar[r]^-\cong & j^*f_!k_!k^* \ar[r]^-\epsilon & j^*f_! } \]
\end{prop}

\begin{proof}
Unwinding the definitions gives a natural transformation between the two functors on $C \times \mathcal{E}G$ defined by
\[ h_!k^*F(c,g) = g\left( \bigoplus_{a \in h^{-1}(g^{-1}c)} F(k(a),1) \right), \quad
j^*f_!F(c,g) = g\left( \bigoplus_{b \in f^{-1}(g^{-1}j(c))} F(b,1) \right) \]
that sends each $F(k(a),1)$ to the $F(b,1)$ where $b = k(a)$, by an identity map. Since the square is a pullback, $k$ defines a bijection $h^{-1}(c) \to f^{-1}(j(c))$ for all $c \in C$, so this is a natural isomorphism.
\end{proof}

\begin{prop}\mylabel{oreo_cookie}
Each diagram of G-sets
\[ \xymatrix @R=.8em {
& S \ar[dl]_-p \ar[dr]^-q \ar[dd]^-f & \\
U && V \\
& T \ar[ul]^-r \ar[ur]_-s & } \]
induces a natural transformation $f_\sharp: q_!p^* \longrightarrow s_!r^*$. These natural transformations depend in a functorial way on the maps $f$.
\end{prop}

\begin{proof}
\[ \xymatrix @R=.8em {
& \Cat(S \times \mathcal{E}G, \mathcal{C})^G \ar@{<-}[dl]_-{p^*} \ar[dr]^-{q_!} \ar@/^/[dd]^-{f_!} & \\
\Cat(U \times \mathcal{E}G, \mathcal{C})^G && \Cat(V \times \mathcal{E}G, \mathcal{C})^G \\
& \Cat(T \times \mathcal{E}G, \mathcal{C})^G \ar@{<-}[ul]^-{r^*} \ar[ur]_-{s_!} \ar@/^/[uu]^-{f^*} & } \]
The identities $p = rf$, $q = sf$ and the counit of $(f_!,f^*)$ gives a natural transformation
\[ q_!p^* = s_!f_!f^*r^* \overset\epsilon\longrightarrow s_!r^* \]
which we take as the definition of $f_\sharp$. Functoriality follows from the fact that the counit of a composite adjunction is equal to the composite of the counits.
\end{proof}

We conclude this section by checking that the action of spans on $\mathcal C^{hH}$ gives a spectral Mackey functor, in the sense of the previous section, for any Waldhausen $G$-category $\mathcal C$. As mentioned earlier, our argument appears to be a concrete special case of the general unfurling construction of \cite[\S 11]{Gmonster}.

\begin{prop}\mylabel{clark}(cf. \cite[8.1]{Gmonster2})
Let $\mathcal{C}$ be a Waldhausen $G$-category. The spectra $K(\mathcal{C}^{hH})$ form a module over $\mathcal{GB}$.
\end{prop}

\begin{proof} By \myref{our conditions}, it suffices to check the following seven points.
\begin{enumerate}
\item[\textbf{1.}] We set $R^H = \Cat(G/H \times \mathcal{E}G,\mathcal C)^G \cong \mathcal C^{hH}$.
\item[\textbf{2.}] Given $S_+ \in S_{H,K}$ with maps $G/H \overset{p}\leftarrow S \overset{q}\rightarrow G/K$, we define $(-)*S: R^H \to R^K$ by $q_!p^*$.
\item[\textbf{3.}] Given a map of retractive spans
\[ \xymatrix @R=.8em {
& S \amalg (G/H \times G/K) \ar[dl]_-{p \amalg \pi_1} \ar[dr]^-{q \amalg \pi_2} \ar[dd]^-f & \\
G/H && G/K \\
& T \amalg (G/H \times G/K) \ar[ul]^-{r \amalg \pi_1} \ar[ur]_-{s \amalg \pi_2} & } \]
we recognize canonical isomorphisms
\[ (q \amalg \pi_2)_!(p \amalg \pi_1)^* \cong q_!p^* \vee (\pi_2)_!\pi_1^* \]
and take $\overline{f}$ to be the summand of $f_\sharp$ taking $q_!p^*$ to $s_!r^*$. Note that because $f$ restricts to the identity of $G/H \times G/K$, we have the commuting diagram
\[ \xymatrix{
(\pi_2)_!\pi_1^* \ar[r] \ar@{=}[d] & q_!p^* \vee (\pi_2)_!\pi_1^* \ar[r] \ar[d]^-{f_\sharp} & q_!p^* \ar[d]^-{\overline{f}} \\
(\pi_2)_!\pi_1^* \ar[r] & s_!r^* \vee (\pi_2)_!\pi_1^* \ar[r] & s_!r^*
} \]
\item[\textbf{4.}] Given two maps of spans
\[ \xymatrix @R=1.5em @C=5em{
& S \amalg (G/H \times G/K) \ar[dl]_-{p \amalg \pi_1} \ar[dr]^-{q \amalg \pi_2} \ar[d]^-f & \\
G/H & T \amalg (G/H \times G/K) \ar[l]_{r \amalg \pi_1} \ar[r]^{s \amalg \pi_2} \ar[d]^-h & G/K \\
& U \amalg (G/H \times G/K) \ar[ul]^-{m \amalg \pi_1} \ar[ur]_-{n \amalg \pi_2} & } \]
\myref{oreo_cookie} tells us that $(hf)_\sharp = h_\sharp f_\sharp$. A simple chase of the diagram below confirms that $\overline{hf} = \overline{h} \circ \overline{f}$.
\[ \xymatrix{
q_!p^* \vee (\pi_2)_!\pi_1^* \ar[r] \ar[d]^-{f_\sharp} \ar@/_4em/[dd]_-{(hf)_\sharp} & q_!p^* \ar[d]^-{\overline{f}} \\
s_!r^* \vee (\pi_2)_!\pi_1^* \ar[r] \ar[d]^-{h_\sharp} & s_!r^* \ar[d]^-{\overline{h}} \\
m_!n^* \vee (\pi_2)_!\pi_1^* \ar[r] & m_!n^*
} \]
\item[\textbf{5.}] If $\iota$ is the inclusion of the empty set then $\iota_!$ always gives a zero object. The isomorphism $A * S \vee A * T \to A * (S \amalg T)$ is immediate from the definition of the transfer $q_!$.
\item[\textbf{6.}]\textbf{and 7.} For these last two we change our choice of $R^H$ up to equivalence; by formal arguments this does not destroy any of the previous properties. We let $\underline{R}^H$ have as objects the triples $(Y,K,(S_+,p,q))$ where $K \leq G$, $S_+$ is a retractive span from $G/K$ to $G/H$, and $Y$ is an object of $R^K = \Cat(G/K\times\mathcal{E}G,\mathcal C)^G$. The morphisms are defined so that the map to $R^H = \Cat(G/H \times \mathcal{E}G,\mathcal C)^G$ is an equivalence of categories; more explicitly,
\[ \underline{R}^H((K,Y,S_+),(K',Y',S_+')) := R^H(Y * S, Y' * S') \]

The action of $S_{H,L}$ on $\underline{R}^H(X)$ is defined on objects by
\[ T(K,Y,S_+) = (K,Y,(S * T)_+) \]
This is clearly associative and unital by our conventions on compositions of retractive spans.

The action of $S_{H,L}$ on morphisms in $\underline{R}^H$ is subtle and uses the Beck-Chevalley isomorphisms from \myref{beck-chevalley}. We define the action of the span $T_+$ on morphisms by
\[ \underline{R}^H((K,Y,S_+),(K',Y',S_+')) = R^H(Y * S, Y' * S') \overset{*T}\longrightarrow R^L((Y * S) * T, (Y' * S') * T) \]

\vspace{-2.2em}
\[ \overset{BC}\cong R^L(Y * (S * T), Y' * (S' * T)) = \underline{R}^L((K,Y,(S * T)_+),(K',Y',(S' * T)_+)) \]
By a straightforward diagram chase, these actions strictly respect composition and identity maps. The only needed ingredient is the standard fact that the Beck-Chevalley natural transformations agree with composition along pasting of pullback squares.
\end{enumerate}

\end{proof}

\subsection{Construction of $\textbf{A}_G(X)$}\label{sec:final}

By the previous section, the spectra $K(R_{hf}(X)^{hH})$ form a spectral Mackey functor. To construct $\textbf{A}_G(X)$ we simply need to check that the structure thus defined on $R_{hf}(X)^{hH}$ respects the subcategory of retractive $H$-cell complexes and the equivariant weak equivalences and cofibrations between them.

\begin{df} Let $R^H(X)$ be the category of relative $H$-cell complexes $X \longrightarrow Y$. The weak equivalences are those inducing weak equivalences rel $X$ on the fixed points for all subgroups of $H$. The cofibrations are the maps $Y \longrightarrow Z$ with the $H$-equivariant FHEP: there is an $H$-equivariant, fiberwise retract
\[ Z \times I \longrightarrow Y \times I \cup_{Y \times 1} Z \times 1. \]
In particular, when $L \leq H$, the $L$-fixed points of a cofibration are a cofibration in $R(X^L)$. Finally, let $R^H_{hf}(X)$ be the subcategory of objects which are retracts in the homotopy category of $R^H(X)$ of finite relative complexes.
\end{df}

We want to define an action of spans on $R^H_{hf}(X)$. From the previous section, each span $S$ over $G/H$ and $G/K$ acts on the larger category $R^H(X) \simeq R(X)^{hH}$. It will suffice to describe this action explicitly, and check that it respects the subcategory $R^H_{hf}(X)$ and its Waldhausen structure.

\begin{prop}\mylabel{all the actual work}
The functor $(-*S): R(X)^{hH} \to R(X)^{hK}$ restricts to an exact functor $R^H_{hf}(X) \to R^K_{hf}(X)$.
\end{prop}

\begin{proof}
From the definition of $q_!p^\ast$ it is clear that up to isomorphism the resulting retractive space over $X$ is a coproduct of the spaces one would get from considering each orbit of $S$ separately. Therefore, without loss of generality, we assume $S \cong G/L$. Recall that there is a $G$-map $G/L\to G/H$ if and only if  $L$ is subconjugate to $H$. So it is enough to show:

\begin{enumerate}
\item if $L \leq H$ is a subgroup, the pullback of $G/L\to G/K$  gives an exact functor $R_{hf}^H(X) \longrightarrow R_{hf}^L(X)$,
\item if $L$ and $L'$ are conjugate by $L' = gLg^{-1}$ the pullback and pushforward of the isomorphism $f: G/L \xrightarrow{\cong} G/L'$ gives and exact functor $f^\ast: R_{hf}^{L'}(X) \longrightarrow R_{hf}^{L}(X)$.
\item if $L \leq K$ is a subgroup, the pushforward of $G/L\to G/K$ gives an exact functor $f_!\colon R_{hf}^{L}(X) \longrightarrow R_{hf}^K(X)$.
\end{enumerate}

\noindent To show (1), suppose $L \leq H$, and let $p:G/L\to G/H$ be the map $gL\mapsto gH$. Through the equivalence of categories
\[  R^H(X)\simeq \Cat(\mathcal{E}G, R(X))^H\cong  Cat(G/H \times \mathcal{E}G,R(X))^G  \]
a retractive space $Y$ in $R^H(X)$ is naturally isomorphic  to $F(eH, e)$  for some $G$-equivariant functor $F:G/H\times \mathcal{E}G\to R(X)$, and through the reverse chain of equivalences of categories
\[     Cat(G/L \times \mathcal{E}G,R(X))^G\cong \Cat(\mathcal{E}G, R(X))^L \simeq R^L(X) \]
the object $(p^*F)(eL, e)$ gets sent to the retractive space $Y$ with $L$-action restricted from $H$. So the induced map
\[ R^H(X) \longrightarrow R^L(X) \]
is the forgetful functor which restricts from the $H$-action to the $L$-action, which preserves our cofibrations and weak equivalences. Since all groups are finite, it also preserves finite complexes, so it restricts to an exact functor $R^H_{hf}(X) \to R^L_{hf}(X)$.

For (2) consider $L' = gLg^{-1}$, and let $f: G/L \overset\cong\longrightarrow G/L'$ be the isomorphism of $G$-sets given by $hL \mapsto hg^{-1}L'$. Given a retractive space $X \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow X$ that is $L'$-equivariant, it is naturally isomorphic to $F(eL', e)$ for some $F\in  \Cat(G/L' \times \mathcal{E}G,R(X))^G$, and under the
the  functor \[ f^\ast: \Cat(G/L' \times \mathcal{E}G,R(X))^G \to \Cat(G/L \times \mathcal{E}G,R(X))^G \] it maps to
$$(f^\ast F)(eL, e)=F(g^{-1}L', e)=g^{-1}F(eL', g).$$
with action of $\ell \in L$ given by the usual recipe applied to the morphism
$$(f^\ast F)(eL, e \longrightarrow \ell)=F(g^{-1}L', e \longrightarrow \ell)=g^{-1}F(eL', g \longrightarrow g\ell).$$

We observe that the map $-g^{-1}: \widetilde G \longrightarrow \widetilde G$ that multiplies on the right by $g^{-1}$ is a $G$-equivariant isomorphism of categories, and that any $G$-equivariant functor $\Phi: \widetilde G \longrightarrow \mathcal C$ is $G$-equivariantly isomorphic to $\bar{\Phi} = \Phi \circ -g^{-1}$. The components of the natural transformation that give the isomorphism $\Phi\Rightarrow \bar{\Phi} $ are just $\Phi$ applied to the unique isomorphisms $g_0 \xrightarrow{\cong} g_0g^{-1}$ in $\mathcal{E}G$. We precompose  $f^\ast$ with the automorphism of the category $\Cat(G/L' \times \mathcal{E}G,R(X))^G$ induced by  $-g^{-1}: \widetilde G \longrightarrow \widetilde G$, thus $(f^\ast F)(eL, e)$  is naturally isomorphic to
$$(f^\ast \bar{F})(eL, e)=(f^\ast F)(eL, g^{-1})=F(g^{-1}L', g^{-1})=g^{-1}F(eL', e).$$
with action of $\ell \in L$ given by the usual recipe applied to the morphism
$$(f^\ast \bar{F})(eL, e \longrightarrow \ell)=(f^\ast F)(eL, g^{-1} \longrightarrow \ell g^{-1})=F(g^{-1}L', g^{-1} \longrightarrow \ell g^{-1})$$
$$=g^{-1}F(eL', e \longrightarrow g\ell g^{-1}) = g^{-1} F(eL',e) \longrightarrow \ell g^{-1} F(eL',e)$$
Since $F(eL',e)=X \overset{i_Y}\longrightarrow Y \overset{p_Y}\longrightarrow X$,  diagrammatically, this morphism is \[ \xymatrix{
X \ar[d]^-{\ell^{-1}}   \ar[r]^-{g} &X   \ar[r]^-{i_Y}  & Y \ar[r]^-{p_Y} \ar[d]^{} & X  \ar[r]^-{g^{-1}} & X \\
X \ar[r]^-{g}  & X\ar[r]^-{i_Y} & Y \ar[r]^-{p_Y} & X \ar[r]^-{g^{-1}} & X \ar[u]_-\ell } \]  which is equivalent to the diagram
\[ \xymatrix{
X \ar[d]^-{\ell^{-1}} \ar@{<-}[r]^-{g^{-1}} &X   \ar[r]^-{i_Y}  & Y \ar[r]^-{p_Y} \ar[d]^{} & X  \ar@{<-}[r]^-{g} & X \\
X \ar[r]^-{g}  & X\ar[r]^-{i_Y} & Y \ar[r]^-{p_Y} & X \ar[r]^-{g^{-1}} & X \ar[u]_-\ell } \]
where the middle vertical map  defines the $\ell$-action on $Y$.

Now, for $\ell' = g\ell g^{-1}$, this diagram is equal to the diagram
$$ \xymatrix{
X \ar[rr]^{i_Y} \ar[d]^{l'^{-1}} && Y \ar[d]^{} \ar[rr]^{r_Y} && X \\
X \ar[rr]^{i_Y} && Y \ar[rr]^{r_Y} && X\ar[u]^{l'}
}$$ which is the diagram that defines the $l'$-action on $Y$. Therefore pullback functor $f^*$ is naturally isomorphic to the functor that sends a retractive $L'$-space $Y$ to the retractive $L$-space $Y$ with action defined by letting $\ell\in L$ act as $\ell' = g\ell g^{-1}\in L'$.  This functor clearly preserves cofibrations, weak equivalences and finite cell complexes, and therefore, so does $f^\ast$, so we get an exact functor $f^\ast: R_{hf}^{L'}(X) \longrightarrow R_{hf}^{L}(X)$.

Now consider $L \leq K$. Since the pushforward along $f: G/L \longrightarrow G/K$ is the left adjoint to the pullback, and left adjoints are unique up to natural isomorphism, it must induce on $R^L(X) \longrightarrow R^K(X)$ the left adjoint to the forgetful functor which restricts the group action from $K$ to $L$. On each retractive $L$-equivariant space $Y$, this left adjoint $f_!Y$ is given by the pushout
\[ \xymatrix{
K \times_L Y \ar[r] & f_!Y \\
K \times_L X \ar[r] \ar[u] & X \ar[u] } \]

\noindent We recall that if $H \leq K$ then the $H$-fixed points of $K \times_L Y$ can be computed as
\[ (K \times_L Y)^H \cong \coprod_{\{kL\in K/L \ | \  k^{-1} H k \ \leq \ L\}} Y^{k^{-1} H k} \]

Since fixed points commute with pushouts along a closed inclusion, we get the pushout square
\[ \xymatrix{
\coprod_{\{kL\in K/L \ | \  k^{-1} H k \ \leq \ L\}} Y^{k^{-1} H k} \ar[r] & (f_!Y)^H \\
\coprod_{\{kL\in K/L \ | \  k^{-1} H k \ \leq \ L\}} X^{k^{-1} H k} \ar[r] \ar[u] & X^H \ar[u] } \]
From this it is clear that if $Y \longrightarrow Z$ is a map of $L$-spaces giving an equivalence on all fixed points, it induces an equivalence of pushouts. Similarly, these constructions all commute up to isomorphism with mapping cylinder, so this construction preserves cofibrations.
Finally we check that it preserves finite complexes by an induction on the number of cells.
For the base case, we observe that if $N \leq L$ is any subgroup, $X \amalg (L/N \times D^n)$ is sent to $X \amalg (K/N \times D^n)$, and similarly with $S^{n-1}$ in the place of $D^n$. Therefore cells are sent to cells.
For the inductive step, we observe that each cell attaching diagram is sent to a cell attaching diagram, because by exactness the pushouts along cofibrations are preserved. Thus the pushforward of $G/L\to G/K$ gives an exact functor $f_!\colon R_{hf}^{L}(X) \longrightarrow R_{hf}^K(X)$.

\end{proof}

This establishes the first two conditions from \myref{our conditions}. The remaining five conditions automatically descend from $R(X)^{hH}$ to any a full subcategory with the same coproducts. Therefore the spectra $K(R^H_{hf}(X))$ form a spectral Mackey functor, so there exists a $G$-spectrum $\textbf{A}_G(X)$ whose fixed points are $\textbf{A}_G(X)^H\simeq K(R^H_{hf}(X))$. It has been long known that  the $K$-theory of the Waldhausen category $R^H_{hf}(X)$ has a splitting  $$ K(R^H_{hf}(X))\simeq \prod_{(H) \leq G} \textbf{A}(X^H_{hWH}).$$ A proof of this can be found in \cite{wojciech}. Therefore, we can conclude that the fixed points of the genuine $G$-spectrum $\textbf{A}_G(X)$ have a tom Dieck type splitting:

\[ \textbf{A}_G(X)^H \simeq \prod_{(H) \leq G} \textbf{A}(X^H_{hWH}), \]
This finishes the proof of \myref{agx_exists2}.

  \bibliographystyle{amsalpha}

\section{Introduction}

Waldhausen's celebrated $\textbf{A}(X)$ construction, and the ``parametrized $h$-cobordism'' theorem relating it to the space of $h$-cobordisms $\mathcal H^\infty(X)$ on $X$, provides a critical link in the chain of homotopy-theoretic constructions relating the behavior of compact manifolds to that of their underlying homotopy types \cite{waldhausen1978alg} \cite{waldhausennew}. While the $L$-theory assembly map provides the primary invariant that distinguishes the closed manifolds in a given homotopy type, $\textbf{A}(X)$ provides the secondary information that accesses the diffeomorphism and homeomorphism groups in a stable range \cite{ww}. And in the case of compact manifolds up to stabilization, $\textbf{A}(X)$ accounts for the entire difference between the manifold and its underlying homotopy type with tangent information \cite{dww}. As a consequence, calculations of $\textbf{A}(X)$ have immediate consequences for the automorphism groups of high-dimensional closed manifolds, and of compact manifolds up to stabilization.

When the manifolds in question have an action by a group $G$, there is a similar line of attack for understanding the equivariant homeomorphisms and diffeomorphisms. One expects to replace $\mathcal H^\infty(X)$ with an appropriate space $\mathcal H^\infty(X)^G$ of $G$-isovariant $h$-cobordisms on $X$, stabilized with respect to representations of $G$. The connected components of such a space would be expected to coincide with the equivariant Whitehead group of \cite{luck}, which splits as
\begin{equation}\label{eq:pi0_splitting}
Wh^G(X) \cong \bigoplus_{(H) \leq G} Wh(X^H_{hWH})
\end{equation}
where $(H) \leq G$ denotes conjugacy classes of subgroups. This splitting is reminiscent of the tom Dieck splitting for genuine $G$-suspension spectra
\[ (\Sigma^\infty_G X_+)^G \cong \bigvee_{(H) \leq G} \Sigma^\infty_+ X^H_{hWH} \]
and suggests that the variant of $A$-theory most directly applicable to manifolds will in fact be a genuine $G$-spectrum, whose fixed points have a similar splitting.

In this paper we begin to realize this conjectural framework. We define an equivariant generalization $\textbf{A}_G(X)$ of Waldhausen's $A$-theory functor, when $X$ is a space with an action by a finite group $G$, whose fixed points have the desired tom Dieck style splitting.
\begin{thm}[\myref{agx_exists2}]\mylabel{thm:agx_exists}
For $G$ a finite group, there exists a functor $\textbf{A}_G$ from $G$-spaces to genuine $G$-spectra with fixed points
\[ \textbf{A}_G(X)^G \simeq \prod_{(H) \leq G} \textbf{A}(X^H_{hWH}), \]
and a similar formula for the fixed points of each subgroup $H$.
\end{thm}

To be more specific, the fixed points are the $K$-theory of the category $R^G_{hf}(X)$ of finite retractive $G$-cell complexes over $X$, with equivariant weak homotopy equivalences between them. The splitting of this $K$-theory is a known consequence of the additivity theorem, and an explicit proof appears in \cite{wojciech}.

In a subsequent paper, we plan to explain how $\textbf{A}_G(X)$ fits into a genuinely $G$-equivariant generalization of Waldhausen's parametrized $h$-cobordism theorem. The argument we have in mind draws significantly from an analysis of the fixed points of our $\textbf{A}_G(X)$ carried out by Badzioch and Dorabia\l{}a \cite{wojciech}, and a forthcoming result of Goodwillie and Igusa that defines $\mathcal H^\infty(X)^G$ and gives a splitting that recovers \eqref{eq:pi0_splitting}. We emphasize that lifting these theorems to genuine $G$-spectra permits the tools of equivariant stable homotopy theory to be applied to the calculation of $\mathcal H^\infty(X)^G$, in addition to the linearization and trace techniques that have been used so heavily in the nonequivariant case.

Most of the work in this paper is concerned with constructing equivariant spectra out of category-theoretic data. One approach is to generalize classical delooping constructions such as the operadic machine of May \cite{MayGeo} or  the $\Gamma$-space machine of Segal \cite{segal} to allow for deloopings by representations of $G$. Using the equivariant generalization of the operadic infinite loop space machine from \cite{GM3}, we show how this approach generalizes to deloop Waldhausen $G$-categories.

The theory of Waldhausen categories with $G$-action is subtle. Even when the $G$-action is through exact functors, the fixed points of such a category do not necessarily have Waldhausen structure (\myref{waldfixedpts}). Define $\mathcal{E}G$ be the category with objects the elements of $G$ and precisely one morphism between any two objects, whose classifying space is $EG$. Let $\Cat(\mathcal{E}G, \mathcal{C})$ be the category of all functors and all natural transformations with $G$ acting by conjugation; we define the \emph{homotopy fixed points} $\mathcal{C}^{hG}$ of a $G$-category $\mathcal{C}$ as the fixed point category $\Cat(\mathcal{E}G, \mathcal{C})^G$, and we explain in \S\ref{waldhausen gcat} how this category does have a Waldhausen structure.

The ``equivariant $K$-theory of group actions'' of Barwick, Glasman, and Shah produces a genuine $G$-spectrum (using the framework of \cite{Gmonster}) whose $H$-fixed points are $K(\mathcal C^{hH})$ \cite[\S 8]{Gmonster2}. We complement this with a result that shows the $G$-space $|\Cat(\mathcal{E}G, \mathcal{C})|$ may be directly, equivariantly delooped.

\begin{thm}[\myref{inf loop} and \myref{fixed_points_agree}]\mylabel{thm:can_deloop_gwalds}
If $\mathcal C$ is a Waldhausen $G$-category then the $K$-theory space defined as $K_G(\mathcal{C}):=\Omega |w\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, \mathcal{C})|$, where $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} $ is Waldhausen's construction from \cite{waldhausen},  is an equivariant infinite loop space. The $H$-fixed points of the resulting $\Omega$-$G$-spectrum are equivalent to the $K$-theory of the Waldhausen category $\mathcal{C}^{hH}$ for every subgroup $H$.
\end{thm}

The downside of this approach is that one does not have much freedom to modify the weak equivalences in the fixed point categories. Note that if $X$ is a $G$-space, then the category $R_{hf}(X)$ of homotopy finite retractive spaces over $X$ has a $G$-action. For a retractive space $Y$, $gY$ is defined by precomposing the inclusion map by $g^{-1}$ and postcomposing the retraction map by $g$.  We can apply \myref{thm:can_deloop_gwalds} to this category, and the resulting theory $\textbf{A}_G^\textup{coarse}(X)$ has as its $H$-fixed points the $K$-theory of $H$-\emph{equivariant} spaces over $X$, as we expect, but the weak equivalences are the $H$-maps which are \emph{nonequivariant} homotopy equivalences. Thus, Theorem \ref{thm:can_deloop_gwalds} does not suffice to prove Theorem \ref{thm:agx_exists}.

Although $\textbf{A}_G^\textup{coarse}(X)$ does not match our expected input for the $h$-cobordism theorem, it does have a surprising connection to the bivariant $A$-theory of Williams \cite{bruce}:
\begin{thm}[\myref{prop:coarse_equals_bivariant} and \myref{thm:homotopy_fixed_equals_coassembly}]\mylabel{intro_bivariant}
There is a natural equivalence of spectra
\[ \textbf{A}_G^{\textup{coarse}}(X)^H \simeq \textbf{A}(EG \times_H X \longrightarrow BH) \]
Under this equivalence, the coassembly map for bivariant $A$-theory agrees up to homotopy with the map from fixed points to homotopy fixed points:
\[ \xymatrix{
\textbf{A}_G^{\textup{coarse}}(X)^H \ar[d]^-\sim \ar[r] & \textbf{A}_G^{\textup{coarse}}(X)^{hH} \ar[d]^-\sim \\
\textbf{A}(EG \times_H X \longrightarrow BH) \ar[r] & \Gamma_{BH}(\textbf{A}_{BH}(EG \times_H X)) } \]
\end{thm}
\begin{remark}
This provides one half of an argument that would significantly generalize the main theorem of \cite{coassembly}. The other half relies on a conjectural connection between assembly maps and the Adams isomorphism, which we do not pursue here.
\end{remark}

In order prove Theorem \ref{thm:agx_exists} it is necessary to modify the weak equivalences in the fixed point categories giving $\textbf{A}_G^{\textup{coarse}}(X)^H$, and to do this we use the framework of spectral Mackey functors. These are diagrams over a certain spectral variant of the Burnside category, denoted $\mathcal{GB}$. By celebrated work of Guillou and May, the homotopy theory of $\mathcal{GB}$-diagrams is equivalent to that of genuine $G$-spectra \cite{GM1}. Moreover, there are by now a few different ways to pass from combinatorial, category-theoretic data to diagrams of spectra over $\mathcal{GB}$ \cite{Gmonster, Gmonster2, BO, bohmann_osorno}. In essence, one is allowed to give separately for each $H \leq G$ some permutative category, Waldhausen category, or $\infty$-category $R^H$ whose algebraic $K$-theory will become the $H$-fixed points. The rest of the glue that creates the $G$-spectrum is generated by a large collection of exact functors giving the restrictions, transfers, and sums thereof, between the categories $\{ R^H : H \leq G \}$.

Barwick's approach to managing this large collection of data is to define certain adjoint pairs of functors between the categories $R^H$, satisfying Beck-Chevalley isomorphisms \cite[\S 10]{Gmonster}. These may then be ``unfurled'' to create suitably coherent actions of spans on the categories $R^H$, giving a spectral Mackey functor on the $K$-theory  spectra $K(R^H)$. In \S\ref{transfer_section}, we describe concretely how spans act on the categories $\{\mathcal{C}^{hH} : H\leq G\}$ -- this is essentially the application of Barwick's ``unfurling" construction found in \cite[\S 8]{Gmonster2}, but formulated for ordinary Waldhausen categories with a $G$-action. Our variant of this construction is then a  ``Mackey functor of Waldhausen categories" in the sense of Bohmann and Osorno  \cite{bohmann_osorno}, which combined with the theorem of Guillou and May \cite{GM1} gives a genuine $G$-spectrum. This in particular allows an alternative ``spectral Mackey functor" definition of $\textbf{A}_G^{\textup{coarse}}(X)$ when one plugs in the category $R(X)$ with the $G$-action described above.

However, as we pointed out, the categories $R_{hf}^H(X)$ are \emph{not} of the form $\mathcal{C}^{hH}$ -- they have the same objects and maps as $R(X)^{hH}$ but more restricted weak equivalences. In  order to get the desired tom Dieck style splittings of the fixed points, in \S\ref{sec:final}, we   descend the action of spans on the categories $R(X)^{hH}$ to get a ``Mackey functor of Waldhausen categories" with values $G/H\mapsto  R_{hf}^H(X)$, thereby proving Theorem \ref{thm:agx_exists}. Though we work in the framework of \cite{GM1} and \cite{bohmann_osorno} to build $A_G(X)$, the same constructions appear to also make $R_{hf}^H(X)$ into a Mackey functor of Waldhausen categories within Barwick's framework.

\begin{remark}
There is a ``Cartan'' map
\[ \textbf{A}_G(X) \longrightarrow \textbf{A}_G^\textup{coarse}(X). \]
This becomes a map of genuine $G$-spectra if we define $\textbf{A}_G^\textup{coarse}(X)$ using the Mackey structure on $K(\mathcal{C}^{hH})$.
We believe that this Mackey structure gives the same $G$-spectrum as the one produced by delooping the space $K_G(\mathcal{C})$ using Theorem \ref{thm:can_deloop_gwalds}, and that more generally the $K$-theory of group actions from \cite[\S 8]{Gmonster2} gives the same $G$-spectrum as Theorem \ref{thm:can_deloop_gwalds}. The argument we have in mind for the former claim depends on multifunctoriality properties of equivariant $K$-theory that have not yet been carefully established.
\end{remark}

Our constructions are inspired by, but distinct from, the construction of Real algebraic $K$-theory by Hesselholt and Madsen \cite{hesselholt_madsen_real}. We consider Waldhausen categories with (covariant) actions by $G$ through exact functors, whereas the basic input for Real $K$-theory is categories with a contravariant involution. We do not formulate an equivariant version of $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$ here, but we consider this to be a problem of significant importance for future work.

\subsection{The category $\Cat(\mathcal{E}G, \mathcal{C})$}
For $G$-categories $\mathcal{A}$ and $\mathcal{B}$, we define $\Cat(\mathcal{A},\mathcal{B})$ to be the category of all functors and natural transformations, with $G$ acting by conjugation. Therefore the fixed point category $\Cat(\mathcal{A}, \mathcal{B})^G$ is the category of equivariant functors and equivariant natural transformations.
\begin{df}
Define $\mathcal{E}G$ to be the  $G$-groupoid with objects the elements of   $G$ and a unique morphism between any two objects. Up to $G$-isomorphism, this is the translation category of $G$, and its classifying space is the space $EG$. Define  the {\bf homotopy $G$-fixed points} $\mathcal{C}^{hG}$ of a $G$-category $\mathcal{C}$ as $\Cat(\mathcal{E}G, \mathcal{C})^G$. \end{df}

\begin{remark}\mylabel{hfixed} For each $H \leq G$, there is an equivalence of $H$-categories $\mathcal{E}G\simeq \widetilde H$. So, we can unambiguously define the homotopy $H$-fixed points $\mathcal{C}^{hH}$ as $\Cat(\mathcal{E}G, \mathcal{C})^H\simeq \Cat(\widetilde H, \mathcal{C})^H.$
\end{remark}

Recall from \cite{thesispaper} the following explicit description of the homotopy fixed point category $\Cat(\mathcal{E}G, \mathcal{C})$. Its objects of $C$ together with isomorphisms $\psi_g\colon C\xrightarrow{\cong} gC$ for all $g\in G$,  such that $\psi_e=\mathrm{id}_C$ and and the following cocycle  condition is satisfied:
\begin{equation}\mylabel{wrong cocycle}
 \psi_{gh}=(g\psi_h)\psi_g.
\end{equation}

A morphism is given by a morphism  $\alpha: C\rightarrow  C'$ in $\mathcal{C}$ such that the following diagram commutes for any $g\in G$ :
$$ \xymatrix{
C \ar[d]_\alpha \ar[rr]^{\psi_g} && g C \ar[d]^{g \alpha}\\
C' \ar[rr]^{\psi'_g} && g C'} $$

We may think of a $G$-category as a functor $\mathcal BG\to\Cat$, where $\mathcal BG$ is the groupoid with one object and morphism group $G$. Then an equivariant functor is just a natural transformation between the corresponding functors $\mathcal BG\to \Cat$, and a \emph{pseudo equivariant} functor is a pseudo natural transformation. So, a functor between $G$-categories $\Theta \colon \mathcal{C} \to \mathcal{D}$ is pseudo equivariant if we have coherent isomorphisms $\theta_g\colon \Theta(gC)\xrightarrow{\cong}g\Theta(C).$ (The needed coherence is spelled out explicitly in \cite{thesispaper}.)

\begin{prop}[\cite{thesispaper}]\mylabel{pseudo equiv}
A pseudo equivariant functor $\Theta \colon \mathcal{C} \to \mathcal{D}$ naturally induces an on the nose equivariant functor $$\widetilde{\Theta}\colon \Cat(\mathcal{E}G, \mathcal{C})\to \Cat(\mathcal{E}G, \mathcal{D}),$$ where for a functor $F\colon \mathcal{E}G\to \mathcal{C}$,  the functor $\widetilde{\Theta}(F)\colon \mathcal{E}G\to \mathcal{D}$ is defined on objects by
$$\widetilde{\Theta}(F)(g)=g\Theta ((g^{-1}F)(e))=g \Theta(g^{-1} F(g))$$ and on morphisms $g\rightarrow g'$ it is defined defined as the composite
$$ g \Theta(g^{-1} F(g)) \xrightarrow[\cong]{\theta_g^{-1}}  \Theta(gg^{-1} F(g))  \xrightarrow{\Theta(F(g\rightarrow g'))}  \Theta(g'g'^{-1} F(g'))  \xrightarrow[\cong]{\theta_{g'}} g' \Theta(g'^{-1} F(g')).$$
\end{prop}
The induced map on homotopy fixed points $\widetilde{\Theta}^H\colon \mathcal{C}^{hH}\to \mathcal{D}^{hH}$
takes an object $C$ with choices of isomorphisms $\psi_g\colon C\xrightarrow{\cong} gC$ to $\Theta(C)$ with isomorphisms $\Theta(C)\xrightarrow{\cong} g\Theta(C)$ defined as the composites $$\Theta(C)\xrightarrow[\cong]{\Theta(\psi_g)} \Theta(gC)\xrightarrow[\cong]{\theta_g} g\Theta(C).$$ It was checked explicitly in \cite{thesispaper} that these composites satisfy the required cocycle condition.

\subsection{Rectification of symmetric monoidal $G$-categories}\label{rect_symm}
One application of \myref{pseudo equiv} is to strictify $G$-actions on symmetric monoidal categories.

Suppose $\mathcal{C}$ is a symmetric monoidal category, with a $G$-action that preserves the symmetric monoidal structure $\oplus$ up to coherent isomorphism. In other words, $\mathcal{C}$ is a functor $\mathcal BG\rightarrow \mathrm{Sym} \Cat^\mathrm{strong}$ from $\mathcal BG$ to the category of strict symmetric monoidal categories and \emph{strong} monoidal functors. Then the symmetric monoidal structure map $$\mathcal{C}\times \mathcal{C} \xrightarrow{\oplus} \mathcal{C}$$ is pseudoequivariant, where the $G$-action on $\mathcal{C}\times \mathcal{C}$ is diagonal. In addition, we get coherent isomorphisms $gI\cong I$ for every $g\in G$, where $I$ is the unit object of $\mathcal{C}$.

If $\mathcal{C}$ is such a symmetric monoidal category, then $\Cat(\mathcal{E}G, \mathcal{C})$ is a symmetric monoidal category whose sum and unit are strictly $G$-equivariant. This is because \myref{pseudo equiv} gives an on the nose equivariant functor
$$\oplus\colon \Cat(\mathcal{E}G, \mathcal{C}\times \mathcal{C}) \cong \Cat(\mathcal{E}G, \mathcal{C}) \times \Cat(\mathcal{E}G, \mathcal{C}) \longrightarrow \Cat(\mathcal{E}G, \mathcal{C})$$
which we take as the sum in $\Cat(\mathcal{E}G, \mathcal{C})$. The unit is the functor $F_I\colon \mathcal{E}G \longrightarrow \mathcal{C}$ defined by $F_I(g)=gI$, where $I$ is the unit of $\mathcal{C}$. Explicitly, $F_1\oplus F_2$
in $\Cat(\mathcal{E}G, \mathcal{C})$  is defined on objects as
$$(F_1\oplus F_2)(g)= g\big(g^{-1}F_1(g)\oplus g^{-1}F_2(g)\big),$$ which, of course, is the same as $F_1(g)\oplus F_2(g)$ when the $G$-action on $\mathcal{C}$ preserves $\oplus$ strictly, and a morphism $g\rightarrow g'$, it is defined as
$$(F_1\oplus F_2) (g)\xrightarrow{\cong} F_1(g)\oplus F_2(g) \xrightarrow{F_1(g\rightarrow g')\oplus F_2(g\rightarrow g')}    F_1(g')\oplus F_2(g')\xrightarrow{\cong} (F_1\oplus F_2)(g').$$
These sum formulas motivate our definition of transfers on $\mathcal C^{hH}$ in \S\ref{transfer_section} below.

When we take the $K$-theory of $\mathcal{C}$ below, we will actually want to strictify $\mathcal{C}$ in two ways: we will want to make the $G$-action commute with the sum strictly, but we will also want to strictify the symmetric monoidal category $\mathcal{C}$ to a monoidally $G$-equivalent permutative category with $G$-action. We give the details in the discussion before \myref{rectify_symmetric}.

\subsection{Rectification of Waldhausen $G$-categories}\label{waldhausen gcat}
Now suppose that $\mathcal{C}$ is a Waldhausen category with $G$-action through exact functors.
In other words, for each $g\in G$ the functor $g\cdot : \mathcal{C} \rightarrow \mathcal{C}$ preserves cofibrations, weak equivalences , the zero object, and pushouts along cofibrations. (In fact, the last two are automatic since $g\cdot$ is an equivalence of categories.) However, we emphasize that $g\cdot$ preserves the zero object and pushouts only \emph{up to unique isomorphism,} and not on the nose.

\begin{obs}\mylabel{waldfixedpts}
In general, the fixed point category $\mathcal{C}^H$ is \emph{not} a Waldhausen category, because it is not closed under pushouts. A pushout diagram in $\mathcal{C}^H$ has a pushout in $\mathcal{C}$, but it is only preserved by the $H$-action up to isomorphism, and so in general it does not lie in $\mathcal{C}^H$.
\end{obs}

We will get around this by showing that the homotopy fixed points $\mathcal{C}^{hH}$ form a Waldhausen category (\myref{htpyfixedpts}). First we check that $\Cat(\mathcal{E}G, \mathcal{C})$ is a Waldhausen $G$-category, by defining the cofibrations and weak equivalences pointwise. More precisely, for $F_1, F_2 \in \Cat(\mathcal{E}G, \mathcal{C})$ , $$F_1 \xrightarrow{\eta} F_2 $$ is a cofibration or a weak equivalence if for every $g\in \mathcal{E}G$, the map
$F_1(g) \rightarrow F_2(g) $ is a cofibration or a weak equivalence, respectively, in $\mathcal{C}$. If we define the zero object and pushouts in a pointwise manner, they will not be fixed, so we show a little more care:

\begin{lem}\mylabel{zero}
There is a zero object in $\Cat(\mathcal{E}G, \mathcal{C})$, which is $G$-fixed.
\end{lem}

\begin{proof}
Consider the functor $Z:\ast\longrightarrow\mathcal{C}$ from the one object category $\ast$ to $\mathcal{C}$, which picks out the zero object 0 of  $\mathbb C$. Note that this functor is not equivariant since $ 0\neq g\cdot 0$, but for every $g$ we have a unique isomorphism $\theta_g\colon0\xrightarrow{\cong} g\cdot 0$. Since these isomorphisms are unique, it must be that the isomorphisms $0\xrightarrow{\theta_g} g\cdot 0 \xrightarrow{g \theta_h} (gh)\cdot 0$ and $0\xrightarrow{\theta_{gh}} (gh)\cdot 0$ coincide, and therefore $Z$ is pseudo equivariant.

By \myref{pseudo equiv}, since $Z$ is pseudo equivariant, there is an induced on the nose equivariant functor $\ast\cong \sC\! at(\mathcal{E}G, \ast) \longrightarrow \sC\! at(\mathcal{E}G, \mathcal{C}),$ which sends the one object of $\ast$ to the functor $F_0\in \Cat(\mathcal{E}G, \mathcal{C})$ defined on objects by  $F_0(g)=g\cdot0$, and defined on the unique morphism
from $g$ to $h$   by composing the unique isomorphisms $0\cong g\cdot 0$ and $0\cong h\cdot 0$ to get an isomorphism $g\cdot 0 \xrightarrow{\cong} h\cdot 0$ in $\mathcal{C}$. Since the functor $\ast\longrightarrow\sC\! at(\mathcal{E}G, \mathcal{C})$ with value $F_0$ is equivariant by \myref{pseudo equiv},  the object $F_0$ of $\sC\! at(\mathcal{E}G, \mathcal{C})$ lies in the $G$-fixed point subcategory. It is easy to check that this is a zero object in $\Cat(\mathcal{E}G, \mathcal{C})$.

\end{proof}

\begin{lem}\mylabel{pushout}
There exist pushouts along cofibrations in $\Cat(\mathcal{E}G, \mathcal{C})$, so that pushouts of $H$-fixed diagrams are $H$-fixed.
\end{lem}

\begin{proof}
The same argument as in the previous proof applies: if one considers the category of $\mathcal P(\mathcal C)$ pushout diagrams along cofibrations, and a functor $\mathcal P(\mathcal C) \longrightarrow \mathcal C$ which assigns each diagram to a choice $P$ of pushout, this functor is not equivariant. However, the unique isomorphisms $P\cong g\cdot P$ that exist for any pushout $P$ in $\mathcal{C}$ and any $g\in G$, ensure that the functor is pseudo equivariant. Therefore by \myref{pseudo equiv}, we get the nose equivariant functor
\[ \mathcal P(\Cat(\mathcal{E}G,\mathcal C)) \simeq \Cat(\mathcal{E}G,\mathcal P(\mathcal C)) \longrightarrow \Cat(\mathcal{E}G,\mathcal C) \]
Since pushouts of functors are defined objectwise, this assigns to each diagram in $\Cat(\mathcal{E}G,\mathcal C)$ a pushout, and if the diagram is $H$-fixed then the pushout is $H$-fixed as well.
\end{proof}
From the construction of the corresponding equivariant functor from a pseudo equivariant functor in the proof of \myref{pseudo equiv}, we get  an explicit description for the pushouts in $\Cat(\mathcal{E}G, \mathcal{C})$. For a diagram
\[
\xymatrix{
F_1 \ar[d] \ \ar@{>->}[r] & F_2 \\
F_3 &
}
\]
in $\Cat(\mathcal{E}G, \mathcal{C})$, the pushout ${\bf P}\colon \mathcal{E}G\to \mathcal{C}$ is defined on objects by
$${\bf P}(g)= g\cdot (g^{-1} F_3(g) \coprod_{g^{-1}F_1(g)} g^{-1} F_2(g) ).$$

If the pushout diagram is $G$-fixed, then the pushout {\bf P} is defined by ${ \bf P}(e)=P$, where $P$ is a pushout of the above diagram evaluated at $e$, and ${\bf P}(g)= g\cdot P.$ On morphisms, ${\bf P}(g, g')$ is the composite of the unique isomorphisms $P\cong g\cdot P$ and $P\cong g'\cdot P$.

\begin{thm}\mylabel{htpyfixedpts}
Let $\mathcal{C}$ be a $G$-equivariant Waldhausen category, and let $H$ be a subgroup of $G$. Then $\mathcal{C}^{hH}$ is a Waldhausen category with cofibrations and weak equivalences the $H$-fixed cofibrations and weak equivalences in $\Cat(\mathcal{E}G, \mathcal{C})$. \end{thm}

\begin{proof}

Note that composition of $H$-fixed maps is $H$-fixed, thus the classes of cofibrations and weak equivalences in $\Cat(\mathcal{E}G, \mathcal{C})^H$ are closed under composition, and an $H$-fixed isomorphism is in particular a $H$-fixed cofibration and weak equivalence.

By \myref{zero}, there is a zero object $F_0$ in $\Cat(\mathcal{E}G, \mathcal{C})^H$. Moreover,  for any functor $F$ in $\Cat(\mathcal{E}G, \mathcal{C})$, each map $F_0(g) \rightarrowtail F(g)$ is a cofibration since it is the composite of $g\cdot 0\cong 0 $ and the unique map $ 0 \rightarrowtail F(g)$, which are both cofibrations. Thus the map $F_0\rightarrowtail F$ is by definition a cofibration.

By \myref{pushout}, for a pushout diagram along a cofibration in $\Cat(\mathcal{E}G, \mathcal{C})^H$, there exists a pushout in this fixed point subcategory. The gluing axiom for weak equivalences is inherited from $\mathcal{C}$.
\end{proof}

Note that the equivalence from \myref{hfixed}
$\Cat(\mathcal{E}G, \mathcal{C})^H\simeq \Cat(\widetilde H, \mathcal{C})^H$ is an equivalence of Waldhausen categories.

\subsection{Delooping symmetric monoidal $G$-categories}
Classical operadic infinite loop space theory \cite{MayGeo} gives a machine for constructing, from  a space $X$ with an action by an $E_\infty$ operad, an $\Omega$-spectrum whose zeroth space is the group completion of $X$. If in addition $X$ has an action of a finite group $G$ through $E_\infty$ maps, then the resulting spectrum has a $G$-action, namely it is a \emph{na\"ive} $\Omega$-$G$-spectrum. By definition, ``na\"ive" means that the deloopings are only for spheres with trivial $G$-action.

In order to get deloopings by representation spheres $S^V$ for all finite-dimensional representations $V$ of $G$, the $G$-space $X$ needs to be an algebra over a genuine $E_\infty$-$G$-operad.
The difference between a na\"ive and a genuine $E_\infty$ operad $\mathcal{O}$ lies in the fixed points of the $G \times \Sigma_n$-space $\mathcal{O}(n)$ for each $n$. For each subgroup $\Lambda \leq G \times \Sigma_n$ we have:
\begin{center}
\begin{tabular}{c|c|c|c}
& $(\Lambda \cap \Sigma_n) \neq \{1\}$ & $(\Lambda \cap \Sigma_n) = \{1\}$ & $
(\Lambda \cap \Sigma_n) = \{1\}$ \\
&& $\Lambda \cap G=\{1\}$ &  $\Lambda \cap G \neq \{1\}$  \\\hline
na\"ive $E_\infty$ operad & $\mathcal{O}(n)^\Lambda = \emptyset$ & $\mathcal{O}(n)^\Lambda = \emptyset$ & $\mathcal{O}(n)^\Lambda \simeq *$ \\
genuine $E_\infty$ operad & $\mathcal{O}(n)^\Lambda = \emptyset$ & $\mathcal{O}(n)^\Lambda \simeq *$ & $\mathcal{O}(n)^\Lambda \simeq *$
\end{tabular}
\end{center}

\begin{remark} In a na\"ive $E_\infty$ operad $\mathcal{O}$, the spaces $\mathcal{O}(n)$ are the total spaces of universal principal $\Sigma_n$-bundles with $G$-action, whereas in a genuine $E_\infty$ operad $\mathcal{O}_G$, the spaces $\mathcal{O}_G(n)$ are the total spaces of equivariant universal principal $G$-$\Sigma_n$-bundles. For a thorough discussion of equivariant bundle theory, see \cite[Ch.VII]{alaska}
\end{remark}

There are a few different machines that produce these equivariant deloopings, though they are all equivalent \cite{MMO}. We will focus on the machine of Guillou and May \cite{GM3}. Consider the categorical Barratt-Eccles operad $\mathcal{O}(j) = \widetilde \Sigma_j$, and apply $\Cat(\mathcal{E}G,-)$ levelwise. Since $\Cat(\mathcal{E}G, -)$ preserves products, this gives an operad $$\mathcal{O}_G(j)=\Cat(\mathcal{E}G, \widetilde \Sigma_j)$$ in $G$-categories. Guillou and May show that the levelwise realizations $|\mathcal{O}_G(j)|$ then form a genuine $E_\infty$-operad in unbased $G$-spaces.
\begin{thm}[\cite{GM3}]\mylabel{omega}
There is a functor $\textbf{K}_G(-)$ from $|\mathcal{O}_G|$-algebras $X$ to orthogonal $G$-spectra, whose output is an $\Omega$-$G$-spectrum in the sense that the maps
$$\textbf{K}_G(X)(V) \to \Omega^{W-V}\textbf{K}_G(X)(W)$$
are equivariant equivalences. There is a natural equivariant group completion map $$X\longrightarrow \textbf{K}_G(X)(0)$$ and a natural weak equivalence of nonequivariant orthogonal spectra
$$\textbf{K}(X^H) \to (\textbf{K}_G X)^H$$
for all subgroups $H$ of $G$.
\end{thm}
Recall that an equivariant group completion is a map that is a group completion on the $H$-fixed points for all subgroups $H$ of $G$. In particular, if the fixed points $X^H$ are connected for all subgroups $H$, then the map $X\longrightarrow \textbf{K}_G(X)(0)$ is an equivalence.

Since realization is a monoidal functor, if $\mathcal{C}$ is a $G$-category with an action of $\mathcal{O}_G$, its classifying space $|\mathcal{C}|$ is an algebra over $|\mathcal{O}_G|$ in $G$-spaces. We are therefore interested in constructing examples of $\mathcal{O}_G$-algebras $\mathcal C$. We first recall that a category $\mathcal{C}$ with an action of the Barratt-Eccles operad $\mathcal{O}$ in $\Cat$ is a \emph{permutative category}, i.e.., it is symmetric monoidal with strict unit and strict associativity \cite{MayPerm2}. Any symmetric monoidal category $\mathcal{C}$ can be rectified to an equivalent permutative category by a well known trick of MacLane \cite{MacLane}. The MacLane strictification functor $(-)^\mathrm{str}: \mathrm{Sym}\Cat^\mathrm{strong} \to \mathrm{Sym}\Cat^\mathrm{strict}$ is the left adjoint of the forgetful map $\mathbb{U}$. The category $\mathcal{C}^\mathrm{str}$ has as objects lists  $(c_1,\ldots,c_n)$ of objects in $\mathcal{C}$ with sum given by concatenation, and morphisms between  $(c_1,\ldots,c_n)$ and  $(d_1,\ldots,d_m)$ are given by morphisms $c_1\oplus \ldots \oplus c_n\to d_1\oplus \ldots d_m$ in $\mathcal{C}$.

If $\mathcal{C}$ has a coherent $G$-action as in \S\ref{rect_symm}, then the composition $\mathcal BG \to \mathrm{Sym} \Cat^\mathrm{strong} \to \mathrm{Sym} \Cat^\mathrm{strict}$ describes $\mathcal{C}^\mathrm{str}$ as a category with a $G$-action that commutes with the symmetric monoidal product strictly. This action is defined on objects by $g(c_1,\ldots, c_n)=(gc_1,\ldots, gc_n)$, and on morphisms by
$$gc_1\oplus\ldots \oplus gc_n\cong g(c_1\oplus \ldots \oplus c_n)\to g(d_1\oplus \ldots \oplus d_m)\cong (gd_1\oplus \ldots \oplus gd_m).$$
The components of the unit of the adjunction $\eta: \mathcal C \to \mathbb{U} \mathcal C^\mathrm{str}$ are monoidal equivalences of symmetric monoidal categories with inverses $\eta^{-1}$ sending the list $(c_1,\ldots,c_n)$ to $c_1 \oplus \ldots \oplus c_n$. We have observed in \cite{thesispaper} that the equivalence of $\mathcal{C}$ and $\mathcal{C}^\mathrm{str}$ is through $G$-equivariant functors, when the action on $\mathcal{C}$ commutes with $\oplus$ strictly. However, now we are assuming that $g$ commutes with $\oplus$ only up to coherent isomorphism. In this case, $\eta$ is still equivariant, but the inverse equivalence $\eta^{-1}$ is only pseudo-equivariant. After applying $\Cat(\mathcal{E}G, -)$, we conclude by \myref{pseudo equiv} that $\eta$ and $\eta^{-1}$ give a $G$-equivariant monoidal equivalence of categories
\[ \Cat(\mathcal{E}G,\mathcal C) \simeq \Cat(\mathcal{E}G,\mathcal C^\mathrm{str}). \]

We summarize this discussion in the next proposition.

\begin{prop}\mylabel{rectify_symmetric}
Let $\mathcal{C}$ be a symmetric monoidal category with $G$-action given through strong monoidal endofunctors. Then the symmetric monoidal $G$-category $\Cat(\mathcal{E}G, \mathcal{C})$ is $G$-equivalent to the $\mathcal{O}_G$-algebra $\Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str})$.
\end{prop}

We may therefore deloop the classifying space $|\Cat(\mathcal{E}G, \mathcal{C})|$ by representations, simply by applying \myref{omega} to the equivalent classifying space $|\Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str})|$.

\subsection{Delooping Waldhausen $G$-categories}\label{sec:deloop_wald}
Recall that the algebraic $K$-theory of the Waldhausen category $\mathcal C$ is defined as $\Omega|w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal C|$, where $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal C$ is the simplicial Waldhausen category constructed in \cite{waldhausen}. The $w$ means that we restrict to the subcategory of weak equivalences when we take the nerves of the categories $w\mathcal S_n \mathcal C$ for varying $n$, before taking the realization of the resulting bisimplicial set $w  N_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal C$.

This is an infinite loop space whose deloopings are given by iterations of the $S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$-construction. However Waldhausen remarks that it is enough to apply $S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$ once, which has the effect of splitting the exact sequences, and then to use an alternate infinite loop space machine with the group completion property on the space $|w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal C|$. Waldhausen notes that the comparison can be achieved by fitting the two resulting spectra into a bispectrum, and a detailed  proof of this result is written down in \cite{coassembly}. We will use this idea to produce equivariant deloopings of Waldhausen $G$-categories.

Suppose that $\mathcal{C}$ is a Waldhausen category, with an action of $G$ through exact functors. We give $\Cat(\mathcal{E}G, \mathcal{C})$ the Waldhausen category structure defined in \S\ref{waldhausen gcat}. The $G$-action on $\Cat(\mathcal{E}G, \mathcal{C})$ induces a $G$-action on the simplicial Waldhausen category $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, \mathcal{C})$, which commutes with fixed points:
$$(\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, \mathcal{C}))^H\cong \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} (\Cat(\mathcal{E}G, \mathcal{C})^H).$$
\begin{remark}
It does not make sense to ask whether $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$ commutes with fixed points in general, because the fixed point categories $\mathcal{C}^H$ do not in general have Waldhausen structure.
\end{remark}

\begin{df}\mylabel{df:deloop_waldhausen}
We define the algebraic $K$-theory $G$-space of a Waldhausen $G$-category $\mathcal{C}$ as
$$ K_G(\mathcal{C}) := \Omega|w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,\mathcal{C})|$$
\end{df}

From the above discussion, the $H$-fixed points of this space coincide with the algebraic $K$-theory space of the Waldhausen category $\mathcal C^{hH}$.

\begin{thm}\mylabel{inf loop}
The space $K_G(\mathcal{C})$ is an infinite loop $G$-space.
\end{thm}

\begin{proof}
By forgetting structure, each Waldhausen $G$-category $\mathcal{C}$ is a symmetric monoidal $G$-category under the coproduct $\vee$. The $G$-coherence is automatic because each $g$ acts by exact endomorphisms of the category, and therefore preserves coproducts up to canonical isomorphism.

By  \myref{rectify_symmetric} we obtain an $\mathcal{O}_G$-algebra $\Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str})$ that is monoidally $G$-equivalent to $\mathcal{C}$. Since we have an actual $G$- equivalence of categories between $$\Cat(\mathcal{E}G, \mathcal{C}) \rightleftarrows \Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str}),$$
$\Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str})$ has Waldhausen structure obtained by transporting the Waldhausen structure of $\Cat(\mathcal{E}G, \mathcal{C})$ along the equivalence, so that the functors in the equivalence are exact. By applying $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$, we obtain a simplicial $\mathcal{O}_G$-algebra $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, \mathcal{C}^\mathrm{str})$.

By the gluing lemma, a coproduct of weak equivalences is also a weak equivalence, so the subcategories of weak equivalences $w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\mathcal{E}G,\mathcal{C}^\mathrm{str})$ also form a simplicial $\mathcal{O}_G$-algebra.

Since the nerve and geometric realization functors are monoidal, the space $|w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,\mathcal{C}^\mathrm{str})|\simeq |w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,C)|$ is an $|\mathcal{O}_G|$-algebra. Furthermore, since geometric realization and $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$ commute with taking fixed points of $\Cat(\mathcal{E}G, \mathcal{C})$, we get a homeomorphism
\[ |w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,C)|^H \cong |w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,C)^H|. \]
These spaces are all connected, so the $G$-space $|w \mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} Cat(\widetilde G,C)|$ is already group complete in the equivariant sense. By \myref{omega} it is therefore an infinite loop $G$-space.
\end{proof}

\begin{df}
For a Waldhausen $G$-category $\mathcal{C}$, define $\textbf{K}_G (\mathcal{C})$ as the orthogonal $\Omega$-$G$-spectrum with zeroth space $K_G(\mathcal{C})$ obtained by looping once the spectrum given by applying  \myref{omega}. \end{df}

\begin{prop}\mylabel{fixed_points_agree}
For every subgroup $H$ of $G$, the orthogonal fixed point spectrum $\textbf{K}_G(\mathcal{C})^H$ is equivalent to the prolongation to orthogonal spectra of the Waldhausen $K$-theory symmetric spectrum of $\mathcal{C}^{hH}$ defined by iterating the $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$-construction. \end{prop}
\begin{proof}
By \myref{omega}, we get that $$\textbf{K}_G(\mathcal{C})^H\simeq \Omega \textbf{K}(|w\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \mathcal{C}^{hH}|), $$ where $\textbf{K}$ is the nonequivariant operadic infinite loop space machine landing in orthogonal spectra. By \cite[Thm 3.11.]{coassembly}, the orthogonal spectrum above is equivalent to the prolongation of the symmetric spectrum of $\mathcal{C}^{hH}$ defined by $\Omega|w\mathcal S^{(n)}_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}\mathcal{C}^{hH}|$, which is Waldhausen's $K$-theory spectrum of the Waldhausen category $\mathcal{C}^{hH}$.

\end{proof}

\begin{remark}
The argument \cite[Thm 3.11.]{coassembly}  applies verbatim for a Waldhausen category with $G$-action to give an equivalence of na{\"i}ve $G$-spectra. In particular, by applying the argument to the category with $G$-action $\Cat(\mathcal{E}G, \mathcal{C})$, we can conclude that the underlying na{\"i}ve orthogonal $G$-spectrum of $\textbf{K}_G(\mathcal{C})$ is $G$-equivalent to the prolongation of the symmetric spectrum with $G$-action $\Omega |w\mathcal S^{(n)}_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}} \Cat(\mathcal{E}G, \mathcal{C})|$. On fixed points $\mathcal{C}^{hH}$, the equivalences are obtained by repeating the nonequivariant argument for each $H$, since $\mathcal S_{\,\begin{picture}(-1,1)(0.5,-1)\circle*{1.8}\end{picture}\hspace{.05cm}}$ commutes with taking fixed points of $\Cat(\mathcal{E}G, \mathcal{C})$.

\end{remark}