1: \begin{abstract}

2: %  \cite[\S 8]{Gmonster2}

3: We give a new construction of the equivariant $K$-theory of group actions of Barwick et al., by producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausen's functor $\bA(X)$, and we show that the $H$-fixed points are the bivariant $A$-theory of the fibration $X_{hH}\to BH$. We then use the framework of spectral Mackey functors to produce a second equivariant refinement $\bA_G(X)$ whose fixed points have tom Dieck type splittings. We expect this second definition to be suitable for an equivariant generalization of the parametrized $h$-cobordism theorem.

4: 

5: \end{abstract}

6: