
We give a new construction of the equivariant $K$theory of group actions
(cf. Barwick et al.), 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 $A(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 $A_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.

We prove that the BeckerGottlieb transfer is functorial up to homotopy, for
all fibrations with finitely dominated fibers. This resolves a lingering
foundational question about the transfer, which was originally defined in the
late 1970s in order to simplify the proof of the Adams conjecture. Our approach
differs from previous attempts in that we closely emulate the geometric
argument in the case of a smooth fiber bundle. This leads to a
"multiplicative'" description of the transfer, different from the standard
presentation as the trace of a diagonal map.

For any perfect fibration $E \rightarrow B$, there is a "free loop transfer
map" $LB_+ \rightarrow LE_+$, defined using topological Hochschild homology. We
prove that this transfer is compatible with the BeckerGottlieb transfer,
allowing us to extend a result of Dorabia\l{}a and Johnson on the transfer map
in Waldhausen's $A$theory. In the case where $E \rightarrow B$ is a smooth
fiber bundle, we also give a concrete geometric model for the free loop
transfer in terms of PontryaginThom collapse maps. We recover the previously
known computations of the free loop transfer due to Schlichtkrull, and make a
few new computations as well.

This paper was written in 2015, and published in the Journal of Humanistic
Mathematics. This paper announces the first issue (2015) of Enchiridion:
Mathematics User's Guides, a project to produce peerreviewed User's Guides as
companions to published papers. These User's Guides are meant to explain the
key insights and organizing principles in their companion papers, the metaphors
and imagery used by the authors, the story of the development of the companion
papers, and a colloquial summary appropriate for a nonmathematical audience.
Examples of User's Guides can be found at https://mathusersguides.com/

We give a Quillen equivalence between May and Sigurdsson's model category of
parametrized spectra over BG, and Mandell, May, Schwede, and Shipley's model
category of modules over the orthogonal ring spectrum \Sigma^\infty_+ G, for
each topological group G. More generally, for a topological category C we
introduce an "aggregate" model structure on the category of diagrams of spectra
indexed by C, and prove that it is Quillen equivalent to spectra over BC. This
lifts several earlier results, and leads to a complete characterization of the
dualizable parametrized spectra, answering a question of May and Sigurdsson.

The topological Hochschild homology $THH(A)$ of an orthogonal ring spectrum
$A$ can be defined by evaluating the cyclic bar construction on $A$ or by
applying B\"okstedt's original definition of $THH$ to $A$. In this paper, we
construct a chain of stable equivalences of cyclotomic spectra comparing these
two models for $THH(A)$. This implies that the two versions of topological
cyclic homology resulting from these variants of $THH(A)$ are equivalent.

Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of
spectra. We demonstrate that the Poincar\'e/Koszul duality between $THH(DX)$
and the free loop space $\Sigma^\infty_+ LX$ is in fact a genuinely
$S^1$equivariant duality that preserves the $C_n$fixed points. Our proof uses
an elementary but surprisingly useful rigidity theorem for the geometric fixed
point functor $\Phi^G$ of orthogonal $G$spectra.

We study the $K$theory and Swan theory of the group ring $R[G]$, when $G$ is
a finite group and $R$ is any ring or ring spectrum. In this setting, the
wellknown assembly map for $K(R[G])$ has a companion called the coassembly
map. We prove that their composite is the equivariant norm of $K(R)$. This
gives a splitting of both assembly and coassembly after $K(n)$localization, a
new map between Whitehead torsion and Tate cohomology, and a partial
computation of $K$theory of representations in the category of spectra.

We give a new proof of a result of Lazarev, that the dual of the circle
$S^1_+$ in the category of spectra is equivalent to a strictly squarezero
extension as an associative ring spectrum. As an application, we calculate the
topological cyclic homology of $DS^1$ and rule out a Koszuldual reformulation
of the Novikov conjecture.

We develop a variant of calculus of functors, and use it to relate the gauge
group G(P) of a principal bundle P over M to the Thom ring spectrum
(P^Ad)^{TM}. If P has contractible total space, the resulting Thom ring
spectrum is LM^{TM}, which plays a central role in string topology. R.L. Cohen
and J.D.S. Jones have recently observed that, in a certain sense, (P^Ad)^{TM}
is the linear approximation of G(P). We prove an extension of that relationship
by demonstrating the existence of higherorder approximations and calculating
them explicitly. This also generalizes calculations done by G. Arone.