• ### Equivariant $A$-theory(1609.03429)

March 18, 2019 math.AT, math.KT
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.
• ### The Transfer is Functorial(1603.01872)

Sept. 26, 2018 math.AT
We prove that the Becker-Gottlieb 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.
• ### The transfer map of free loop spaces(1604.03067)

Jan. 17, 2018 math.AT, math.KT
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 Becker-Gottlieb 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 Pontryagin-Thom collapse maps. We recover the previously known computations of the free loop transfer due to Schlichtkrull, and make a few new computations as well.
• ### The user's guide project: giving experiential context to research papers(1801.06056)

Jan. 11, 2018 math.HO
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 peer-reviewed 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 non-mathematical audience. Examples of User's Guides can be found at https://mathusersguides.com/
• ### The Morita equivalence between parametrized spectra and module spectra(1702.07794)

Sept. 27, 2017 math.AT
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.
• ### Comparing cyclotomic structures on different models for topological Hochschild homology(1707.07862)

May 31, 2019 math.AT, math.KT
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.
• ### Cyclotomic structure in the topological Hochschild homology of $DX$(1505.06778)

Feb. 18, 2017 math.AT, math.KT
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.
• ### Coassembly and the $K$-theory of finite groups(1503.06504)

Nov. 15, 2016 math.AT, math.KT
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 well-known 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.
• ### The topological cyclic homology of the dual circle(1610.06898)

Oct. 21, 2016 math.AT, math.KT
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 square-zero extension as an associative ring spectrum. As an application, we calculate the topological cyclic homology of $DS^1$ and rule out a Koszul-dual reformulation of the Novikov conjecture.
• ### A tower connecting gauge groups to string topology(1209.1778)

Feb. 6, 2015 math.AT
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 higher-order approximations and calculating them explicitly. This also generalizes calculations done by G. Arone.