Showing 1–27 of 27 results for author: Malkiewich, C

Scissors automorphism groups and their homology

Authors: Alexander Kupers, Ezekiel Lemann, Cary Malkiewich, Jeremy Miller, Robin J. Sroka

Abstract: In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-t… ▽ More In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-theory, as well as a method to compute the homology of scissors automorphism groups. We apply this to various families of groups, such as interval exchange groups and Brin--Thompson groups, recovering results of Szymik--Wahl, Li, and Tanner, and obtaining new results as well. △ Less

Submitted 26 August, 2024; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 58 pages, 16 figures. Comments welcome! v2: Corrected examples 6.35-37, updated references

MSC Class: 18F25; 19D99; 20J05; 55P42; 52B45

A concise proof of the stable model structure on symmetric spectra

Authors: Cary Malkiewich, Maru Sarazola

Abstract: It is well-known that the stable model structure on symmetric spectra cannot be transferred from the one on sequential spectra through the forgetful functor. We use the fibrant transfer theorem of Guetta--Moser--Sarazola--Verdugo to show it can be transferred between fibrant objects, providing a new, short and conceptual proof of its existence. It is well-known that the stable model structure on symmetric spectra cannot be transferred from the one on sequential spectra through the forgetful functor. We use the fibrant transfer theorem of Guetta--Moser--Sarazola--Verdugo to show it can be transferred between fibrant objects, providing a new, short and conceptual proof of its existence. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 5 pages, comments welcome!

MSC Class: 55P42; 18N40; 55U35

Periodic-point structures on parametrized spectra: An application of rigidity

Authors: Cary Malkiewich, Kate Ponto

Abstract: The bicategory of parameterized spectra has a remarkably rich structure. In particular, it is possible to take traces in this bicategory, which give classical invariants that count fixed points. We can also take equivariant traces, which give significant generalizations of the classical invariants that count periodic points. Unfortunately, the existence of these traces in general depends on tech… ▽ More The bicategory of parameterized spectra has a remarkably rich structure. In particular, it is possible to take traces in this bicategory, which give classical invariants that count fixed points. We can also take equivariant traces, which give significant generalizations of the classical invariants that count periodic points. Unfortunately, the existence of these traces in general depends on technical statements about the bicategory that can be difficult to verify directly. In this paper, we demonstrate the effectiveness of two tools -- rigidity and deformable functors -- by using them establish the structure we need to take these equivariant traces and to construct periodic-point invariants in a formal way. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 39 pages

MSC Class: 18D30; 18M05; 18N10; 55P42; 55R70

A convenient category of parametrized spectra

Authors: Cary Malkiewich

Abstract: We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are preserved by the most common operations. They allow us to reduce sophisticated statements about the homotopy category to straightforward claims at the point-set le… ▽ More We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are preserved by the most common operations. They allow us to reduce sophisticated statements about the homotopy category to straightforward claims at the point-set level. We use this framework to give a construction of the bicategory of parametrized spectra, one that is far more direct than earlier approaches. This gives a clean bridge between the concrete index theory pioneered by Dold, and the formal bicategorical theory developed by May and Sigurdsson, Ponto, and Shulman. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 97 pages with references. This article is a condensation of arXiv:1906.04773

MSC Class: 18D05; 55M20; 55P42; 55R70

On the functoriality of the space of equivariant smooth $h$-cobordisms

Authors: Thomas Goodwillie, Kiyoshi Igusa, Cary Malkiewich, Mona Merling

Abstract: We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new id… ▽ More We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new ideas. In the non-equivariant case $G=e$, our $(\infty,1)$-functor agrees with previous constructions of the smooth $h$-cobordism space as a functor to the homotopy category. △ Less

Submitted 21 April, 2025; v1 submitted 26 March, 2023; originally announced March 2023.

Comments: 91 pages. Thorough revision and improved exposition. Notably, the smooth extension and tubular neighborhood results for equivariant manifolds with corners are much more detailed now. We thank a very careful referee for many useful suggestions

A trace map on higher scissors congruence groups

Authors: Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, Inna Zakharevich

Abstract: Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case… ▽ More Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case of the $K$-theory of polyhedra, also called scissors congruence $K$-theory. We introduce an explicit, computable trace map from the higher scissors congruence groups to group homology, and use this trace to prove the existence of some nonzero classes in the higher scissors congruence groups. We also show that the $K$-theory of polyhedra is a homotopy orbit spectrum. This fits into Thomason's general framework of $K$-theory commuting with homotopy colimits, but we give a self-contained proof. We then use this result to re-interpret the trace map as a partial inverse to the map that commutes homotopy orbits with algebraic $K$-theory. △ Less

Submitted 13 September, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 32 pages, 3 figures. Revision of the paper previously entitled "A Farrell--Jones isomorphism for $K$-theory of polyhedra."

On the multiplicativity of the Euler characteristic

Authors: John R. Klein, Cary Malkiewich, Maxime Ramzi

Abstract: In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $π_0$. In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $π_0$. △ Less

Submitted 27 March, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Accepted version. 13 pages plus references

Report number: CPH-GEOTOP-DNRF151 MSC Class: Primary: 55R12; Secondary: 19A31

On higher scissors congruence

Authors: Cary Malkiewich

Abstract: We solve the higher version of Hilbert's Third Problem for one-dimensional geometries, and in higher dimensions we reduce the problem to a computation in group homology. Our central result concerns the scissors congruence $K$-theory spectrum of Zakharevich, whose homotopy groups are the correct higher version of the classical scissors congruence groups. We prove that this spectrum is a Thom spectr… ▽ More We solve the higher version of Hilbert's Third Problem for one-dimensional geometries, and in higher dimensions we reduce the problem to a computation in group homology. Our central result concerns the scissors congruence $K$-theory spectrum of Zakharevich, whose homotopy groups are the correct higher version of the classical scissors congruence groups. We prove that this spectrum is a Thom spectrum, whose base space is the homotopy orbit space of a Tits complex. The relevant computations quickly follow from this more foundational result. △ Less

Submitted 23 August, 2024; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: v3: Expanded introduction and changed title to be more accessible to non-homotopy theorists. The original title was "Scissors congruence $K$-theory is a Thom spectrum."

MSC Class: 19D99; 55P42; 52B45

Coherence for bicategories, lax functors, and shadows

Authors: Cary Malkiewich, Kate Ponto

Abstract: Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems… ▽ More Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: 35 pages

MSC Class: 18M05; 18N10

$K$-theoretic torsion and the zeta function

Authors: John R. Klein, Cary Malkiewich

Abstract: We generalize to higher algebraic $K$-theory an identity (originally due to Milnor) that relates the Reidemeister torsion of an infinite cyclic cover to its Lefschetz zeta function. Our identity involves a higher torsion invariant, the endomorphism torsion, of a parametrized family of endomorphisms as well as a higher zeta function of such a family. We also exhibit several examples of families of… ▽ More We generalize to higher algebraic $K$-theory an identity (originally due to Milnor) that relates the Reidemeister torsion of an infinite cyclic cover to its Lefschetz zeta function. Our identity involves a higher torsion invariant, the endomorphism torsion, of a parametrized family of endomorphisms as well as a higher zeta function of such a family. We also exhibit several examples of families of endomorphisms having non-trivial endomorphism torsion. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Comments: 39 pages incl. references. Comments welcome

MSC Class: 19J10; 57Q10

Journal ref: Ann. K-Th. 7 (2022) 77-118

Spectral Waldhausen categories, the $S_\bullet$-construction, and the Dennis trace

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

Abstract: We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category $\mathcal{C}$. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $\mathcal{C}$ indexed by an… ▽ More We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category $\mathcal{C}$. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $\mathcal{C}$ indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen's $S_{\bullet}$-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for $\mathrm{THH}$, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery. △ Less

Submitted 6 June, 2020; originally announced June 2020.

Comments: This paper is a companion to arxiv:2005.04334

MSC Class: 55N15; 55P42; 18D20; 16E40

$K$-theory of endomorphisms, the $\mathit{TR}$-trace, and zeta functions

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

Abstract: We show that the characteristic polynomial and the Lefschetz zeta function are manifestations of the trace map from the $K$-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthy's map from $K$-theory of endomorphisms to topological restriction homology, defining it for any Waldhausen category with a compatible enrichment in orthogo… ▽ More We show that the characteristic polynomial and the Lefschetz zeta function are manifestations of the trace map from the $K$-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthy's map from $K$-theory of endomorphisms to topological restriction homology, defining it for any Waldhausen category with a compatible enrichment in orthogonal spectra. In particular, this extends their construction from rings to ring spectra. We also give a revisionist treatment of the original Dennis trace map from $K$-theory to topological Hochschild homology (THH) and explain its connection to traces in bicategories with shadow (also known as trace theories). △ Less

Submitted 8 June, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: Minor revisions to make references consistent with arXiv:2006.04006. arXiv:2006.04006 is a companion to this paper and provides extended discussion of technical foundations

MSC Class: 55N15; 18D05; 55P42

The equivariant parametrized $h$-cobordism theorem, the non-manifold part

Authors: Cary Malkiewich, Mona Merling

Abstract: We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize… ▽ More We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize different definitions of the suspension $G$-spectrum as a spectral Mackey functor, we present a new perspective on spectral Mackey functors, viewing them as multifunctors on indexing categories for "rings on many objects" and modules over such. This perspective should be of independent interest. △ Less

Submitted 21 April, 2021; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: Improved exposition, reorganized and slightly expanded arguments in chapter 4

MSC Class: Primary 19D10; 57R80; 57R85; Secondary 55P91; 57R91; 55P42; 55P92; 55N91; 19M05

Parametrized spectra, a low-tech approach

Authors: Cary Malkiewich

Abstract: We give an alternative treatment of the foundations of parametrized spectra, with an eye toward applications in fixed-point theory. We cover most of the central results from the book of May and Sigurdsson, sometimes with weaker hypotheses, and give a new construction of the bicategory $\mathcal Ex$ of parametrized spectra. We also give a careful account of coherence results at the level of homotop… ▽ More We give an alternative treatment of the foundations of parametrized spectra, with an eye toward applications in fixed-point theory. We cover most of the central results from the book of May and Sigurdsson, sometimes with weaker hypotheses, and give a new construction of the bicategory $\mathcal Ex$ of parametrized spectra. We also give a careful account of coherence results at the level of homotopy categories. This is an expository work, akin to a set of lecture notes, encompassing and extending the more novel material in the paper "A convenient category of parametrized spectra." Our primary goal is to give careful and explicit explanations for the standard facts surrounding the bicategory of parametrized spectra and the Reidemeister trace. In particular, our proof of Costenoble-Waner duality gives a more explicit account of how the concrete index formulas of Dold are related to the abstract theory of bicategorical duality from May and Sigurdsson, Ponto, and Shulman. △ Less

Submitted 24 May, 2023; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 183 pages including references and index, 5 figures. v3: small changes made to refer to the new condensed version "A convenient category of parametrized spectra." A short user's guide accompanies the text, see https://people.math.binghamton.edu/malkiewich/users_guide_parametrized.pdf

MSC Class: 18D05; 55M20; 55P42; 55R70

Coassembly is a homotopy limit map

Authors: Cary Malkiewich, Mona Merling

Abstract: We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears in the statement of the topological Riemann-Roch theorem. We prove a claim by Williams that the coassembly map is a homotopy limit map. As an application, we show that the homotopy limit map for the coarse version of equivariant $A$-theory agrees with the coassembly map for bivariant $A$-theory that appears in the statement of the topological Riemann-Roch theorem. △ Less

Submitted 17 February, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: Accepted version. Several improvements from the referee, including a more elegant proof of Lemma 3.8

MSC Class: 19D10; 55P91; 55P42

Journal ref: Ann. K-Th. 5 (2020) 373-394

Coherence for indexed symmetric monoidal categories

Authors: Cary Malkiewich, Kate Ponto

Abstract: Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise generalizations. In this paper, we extend existing coherence theorems to the setting of indexed symmetric monoidal categories. The most central theorem states that… ▽ More Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise generalizations. In this paper, we extend existing coherence theorems to the setting of indexed symmetric monoidal categories. The most central theorem states that a large family of operations on a bicategory defined from an indexed symmetric monoidal category are all canonically isomorphic. As a part of this theorem, we introduce a rigorous graphical calculus that specifies when two such operations admit a canonical isomorphism. △ Less

Submitted 19 June, 2023; v1 submitted 30 November, 2018; originally announced November 2018.

Comments: If looking for the results of this paper in context of parameterized spectra please see arXiv:2306.03817 instead

MSC Class: 18D05; 18D10; 18D30

Periodic points and topological restriction homology

Authors: Cary Malkiewich, Kate Ponto

Abstract: We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this obstruction defines a class in topological restriction homology. We prove these results using duality and trace for bicategories. This allows for immediate gene… ▽ More We answer in the affirmative two conjectures made by Klein and Williams. First, in a range of dimensions, the equivariant Reidemeister trace defines a complete obstruction to removing $n$-periodic points from a self-map $f$. Second, this obstruction defines a class in topological restriction homology. We prove these results using duality and trace for bicategories. This allows for immediate generalizations, including a corresponding theorem for the fiberwise Reidemeister trace. △ Less

Submitted 3 September, 2021; v1 submitted 30 November, 2018; originally announced November 2018.

Comments: Accepted version. 39 pages, 9 figures

MSC Class: 55M20; 55P42; 18D05; 55R70; 18D30; 55P91

Journal ref: International Mathematics Research Notices, 2020

The user's guide project: giving experiential context to research papers

Authors: Cary Malkiewich, Mona Merling, David White, Luke Wolcott, Carolyn Yarnall

Abstract: 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… ▽ More 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/ △ Less

Submitted 11 January, 2018; originally announced January 2018.

Journal ref: Journal of Humanistic Mathematics, Volume 5 Issue 2 (July 2015), pages 186-188

Comparing cyclotomic structures on different models for topological Hochschild homology

Authors: Emanuele Dotto, Cary Malkiewich, Irakli Patchkoria, Steffen Sagave, Calvin Woo

Abstract: 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ökstedt'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 resul… ▽ More 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ökstedt'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. △ Less

Submitted 31 May, 2019; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: v2: 26 pages, exposition improved. Accepted for publication by the Journal of Topology

Report number: CPH-SYM-DNRF92 MSC Class: 19D55; 55Q91; 55P43

Journal ref: Journal of Topology, 12 (2019), no. 4, 1146-1173

The Morita equivalence between parametrized spectra and module spectra

Authors: John A. Lind, Cary Malkiewich

Abstract: 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 Σ^\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 pr… ▽ More 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 Σ^\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. △ Less

Submitted 26 September, 2017; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: 24 pages, to appear in Contemporary Mathematics

The topological cyclic homology of the dual circle

Authors: Cary Malkiewich

Abstract: 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. 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. △ Less

Submitted 21 October, 2016; originally announced October 2016.

Comments: 18 pages, 2 figures, 2 tables. Replaces the second half of the earlier preprint "On the topological Hochschild homology of $DX$."

MSC Class: 19D55; 55P43

Equivariant $A$-theory

Authors: Cary Malkiewich, Mona Merling

Abstract: 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$-theor… ▽ More 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. △ Less

Submitted 18 March, 2019; v1 submitted 12 September, 2016; originally announced September 2016.

Comments: Introduction and acknowledgements have been updated with more references to earlier work. Improved Theorem 2.9 (strictification of pseudoequivariant functors). The section on coassembly has been removed and will be treated in a forthcoming paper

MSC Class: 19D10; 55P91; 55P42

The transfer map of free loop spaces

Authors: John A. Lind, Cary Malkiewich

Abstract: 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ł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 a… ▽ More 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ł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. △ Less

Submitted 16 January, 2018; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: v. 2; new string diagrams added, 54 pages, 7 figures. To appear in Trans. AMS

MSC Class: 55R12; 19D55; 16E40; 55M05

The Transfer is Functorial

Authors: John R. Klein, Cary Malkiewich

Abstract: 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… ▽ More 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. △ Less

Submitted 6 June, 2023; v1 submitted 6 March, 2016; originally announced March 2016.

Comments: This paper contains an error: the diagram (13) in the proof of Proposition 6.5 does not strictly commute as claimed. See https://doi.org/10.1016/j.aim.2022.108752 for more details. The authors would like to thank Shachar Carmeli and Bastiaan Cnossen for finding this error and bringing it to their attention

MSC Class: Primary: 55R12; Secondary: 55M05; 55P25

Cyclotomic structure in the topological Hochschild homology of $DX$

Authors: Cary Malkiewich

Abstract: Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of spectra. We demonstrate that the Poincaré/Koszul duality between $THH(DX)$ and the free loop space $Σ^\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 $Φ^G$ of orth… ▽ More Let $X$ be a finite CW complex, and let $DX$ be its dual in the category of spectra. We demonstrate that the Poincaré/Koszul duality between $THH(DX)$ and the free loop space $Σ^\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 $Φ^G$ of orthogonal $G$-spectra. △ Less

Submitted 17 February, 2017; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: Accepted version, 46 pages. Replaces the first half of the earlier preprint "On the topological Hochschild homology of $DX$." Part of the author's thesis

MSC Class: 19D55; 55P25; 55P43; 55P91

Journal ref: Algebr. Geom. Topol. 17 (2017) 2307-2356

Coassembly and the $K$-theory of finite groups

Authors: Cary Malkiewich

Abstract: 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 Wh… ▽ More 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. △ Less

Submitted 15 November, 2016; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: Accepted version. 44 pages

MSC Class: 18F25; 19D10; 55R12; 55R70

Journal ref: Advances in Mathematics 307C (2017) pp. 100-146

A tower connecting gauge groups to string topology

Authors: Cary Malkiewich

Abstract: 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 approxima… ▽ More 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. △ Less

Submitted 6 February, 2015; v1 submitted 9 September, 2012; originally announced September 2012.

Comments: 50 pages. Most recent version has a new section on convergence. Accepted for publication in the Journal of Topology

MSC Class: 55P65; 55P42; 55P50; 55R70

Journal ref: Journal of Topology (2015) 8 (2): 529-570