Showing 1–32 of 32 results for author: Mandell, M A

Relative cyclotomic structures and equivariant complex cobordism

Authors: Andrew J. Blumberg, Michael A. Mandell, Allen Yuan

Abstract: We describe a structure on a commutative ring (pre)cyclotomic spectrum $R$ that gives rise to a (pre)cyclotomic structure on topological Hochschild homology ($THH$) relative to its underlying commutative ring spectrum. This lets us construct $TC$ relative to $R$, denoted $TC^{R}$, and we prove some descent results relating $TC^{R}$ and $TC$. We explore several examples of this structure on familia… ▽ More We describe a structure on a commutative ring (pre)cyclotomic spectrum $R$ that gives rise to a (pre)cyclotomic structure on topological Hochschild homology ($THH$) relative to its underlying commutative ring spectrum. This lets us construct $TC$ relative to $R$, denoted $TC^{R}$, and we prove some descent results relating $TC^{R}$ and $TC$. We explore several examples of this structure on familiar $\mathbb{T}$-equivariant commutative ring spectra including the periodic $\mathbb{T}$-equivariant complex cobordism spectrum $MUP_{\mathbb{T}}$ and a new (connective) equivariant version of the complex cobordism spectrum $MU$. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: This is a preliminary version that depends on the work in progress [Cyc23]

MSC Class: Primary 19D10; Secondary 55P60

Norms for compact Lie groups in equivariant stable homotopy theory

Authors: Andrew J. Blumberg, Michael A. Hill, Michael A. Mandell

Abstract: We propose a construction of an analogue of the Hill-Hopkins-Ravenel relative norm $N_{H}^{G}$ in the context of a positive dimensional compact Lie group $G$ and closed subgroup $H$. We explore expected properties of the construction. We show that in the case when $G$ is the circle group (the unit complex numbers), the proposed construction here agrees with the relative norm constructed by Angeltv… ▽ More We propose a construction of an analogue of the Hill-Hopkins-Ravenel relative norm $N_{H}^{G}$ in the context of a positive dimensional compact Lie group $G$ and closed subgroup $H$. We explore expected properties of the construction. We show that in the case when $G$ is the circle group (the unit complex numbers), the proposed construction here agrees with the relative norm constructed by Angeltveit, Gerhardt, Lawson, and the authors using the cyclic bar construction. Our construction is based on a new perspective on equivariant factorization homology, using framings to convert from actions of one group to another. △ Less

Submitted 21 December, 2022; originally announced December 2022.

MSC Class: Primary 55P91. Secondary 19D55; 16E40

Chromatic convergence for the algebraic K-theory of the sphere spectrum

Authors: Andrew J. Blumberg, Michael A. Mandell, Allen Yuan

Abstract: We show that the map from $K({\mathbb S})$ to its chromatic completion is a connective cover and identify the fiber in $K$-theoretic terms. We combine this with recent work of Land-Mathew-Meier-Tamme to prove a form of "Waldhausen's Chromatic Convergence Conjecture": we show that the map $K({\mathbb S}_{(p)})_{(p)}\to \mathop{\rm holim} K(L^{f}_{n}{\mathbb S})_{(p)}$ is the inclusion of a wedge su… ▽ More We show that the map from $K({\mathbb S})$ to its chromatic completion is a connective cover and identify the fiber in $K$-theoretic terms. We combine this with recent work of Land-Mathew-Meier-Tamme to prove a form of "Waldhausen's Chromatic Convergence Conjecture": we show that the map $K({\mathbb S}_{(p)})_{(p)}\to \mathop{\rm holim} K(L^{f}_{n}{\mathbb S})_{(p)}$ is the inclusion of a wedge summand. △ Less

Submitted 7 October, 2021; originally announced October 2021.

MSC Class: Primary 19D10; Secondary 55P60

A version of Waldhausen's chromatic convergence for $TC$

Authors: Andrew J. Blumberg, Michael A. Mandell, Allen Yuan

Abstract: The map $TC(\mathbb{S})^{\wedge}_{p}\to \text{holim } TC(L_{n}\mathbb{S})^{\wedge}_{p}$ is a weak equivalence. The map $TC(\mathbb{S})^{\wedge}_{p}\to \text{holim } TC(L_{n}\mathbb{S})^{\wedge}_{p}$ is a weak equivalence. △ Less

Submitted 1 June, 2021; originally announced June 2021.

MSC Class: 19D10; 55P42; 55P60

The eigensplitting of the fiber of the cyclotomic trace for the sphere spectrum

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: Let $p\in \mathbb Z$ be an odd prime. We show that the fiber sequence for the cyclotomic trace of the sphere spectrum $\mathbb S$ admits an "eigensplitting" that generalizes known splittings on $K$-theory and $TC$. We identify the summands in the fiber as the covers of $\mathbb Z_{p}$-Anderson duals of summands in the $K(1)$-localized algebraic $K$-theory of $\mathbb Z$. Analogous results hold for… ▽ More Let $p\in \mathbb Z$ be an odd prime. We show that the fiber sequence for the cyclotomic trace of the sphere spectrum $\mathbb S$ admits an "eigensplitting" that generalizes known splittings on $K$-theory and $TC$. We identify the summands in the fiber as the covers of $\mathbb Z_{p}$-Anderson duals of summands in the $K(1)$-localized algebraic $K$-theory of $\mathbb Z$. Analogous results hold for the ring $\mathbb Z$ where we prove that the $K(1)$-localized fiber sequence is self-dual for $\mathbb Z_{p}$-Anderson duality, with the duality permuting the summands by $i\mapsto p-i$ (indexed mod $p-1$). We explain an intrinsic characterization of the summand we call $Z$ in the splitting $TC(\mathbb Z)^{\wedge}_{p}\simeq j \vee Σj'\vee Z$ in terms of units in the $p$-cyclotomic tower of $\mathbb Q_{p}$. △ Less

Submitted 4 August, 2022; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: Minor corrections and improvements

MSC Class: 19D10; 19D55; 19F05

MREC: a fast and versatile framework for aligning and matching point clouds with applications to single cell molecular data

Authors: Andrew J. Blumberg, Mathieu Carriere, Michael A. Mandell, Raul Rabadan, Soledad Villar

Abstract: Comparing and aligning large datasets is a pervasive problem occurring across many different knowledge domains. We introduce and study MREC, a recursive decomposition algorithm for computing matchings between data sets. The basic idea is to partition the data, match the partitions, and then recursively match the points within each pair of identified partitions. The matching itself is done using bl… ▽ More Comparing and aligning large datasets is a pervasive problem occurring across many different knowledge domains. We introduce and study MREC, a recursive decomposition algorithm for computing matchings between data sets. The basic idea is to partition the data, match the partitions, and then recursively match the points within each pair of identified partitions. The matching itself is done using black box matching procedures that are too expensive to run on the entire data set. Using an absolute measure of the quality of a matching, the framework supports optimization over parameters including partitioning procedures and matching algorithms. By design, MREC can be applied to extremely large data sets. We analyze the procedure to describe when we can expect it to work well and demonstrate its flexibility and power by applying it to a number of alignment problems arising in the analysis of single cell molecular data. △ Less

Submitted 20 February, 2020; v1 submitted 6 January, 2020; originally announced January 2020.

Operads and Operadic Algebras in Homotopy Theory

Authors: Michael A. Mandell

Abstract: This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads, the definition of algebras over operads, structural aspects of categories of algebras over operads, model structures on algebra categories, and comparison of alg… ▽ More This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads, the definition of algebras over operads, structural aspects of categories of algebras over operads, model structures on algebra categories, and comparison of algebra categories when changing operad or underlying category. In addition, it includes two applications of the theory: The original application to $n$-fold loop spaces, and an application to algebraic models of homotopy types (chosen purely on the basis of author bias). △ Less

Submitted 3 January, 2022; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: Expository article; book chapter. Final version (some minor corrections from previous version)

MSC Class: 55P48

$E_{2}$ Structures and Derived Koszul Duality in String Topology

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We construct an equivalence of $E_{2}$ algebras between two models for the Thom spectrum of the free loop space that are related by derived Koszul duality. To do this, we describe the functoriality and invariance properties of topological Hochschild cohomology. We construct an equivalence of $E_{2}$ algebras between two models for the Thom spectrum of the free loop space that are related by derived Koszul duality. To do this, we describe the functoriality and invariance properties of topological Hochschild cohomology. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Journal ref: Algebr. Geom. Topol. 19 (2019) 239-279

The strong Künneth theorem for topological periodic cyclic homology

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: Topological periodic cyclic homology (i.e., $\mathbb{T}$-Tate fixed points of $THH$) has the structure of a strong symmetric monoidal functor of smooth and proper dg categories over a perfect field of finite characteristic. Topological periodic cyclic homology (i.e., $\mathbb{T}$-Tate fixed points of $THH$) has the structure of a strong symmetric monoidal functor of smooth and proper dg categories over a perfect field of finite characteristic. △ Less

Submitted 4 May, 2022; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: Final version

MSC Class: 19D55

K-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: Let $p\in \mathbb{Z}$ be an odd prime. We prove a spectral version of Tate-Poitou duality for the algebraic $K$-theory spectra of number rings with $p$ inverted. This identifies the homotopy type of the fiber of the cyclotomic trace $K(\mathcal{O}_{F})^{\scriptscriptstyle\wedge}_{p} \to TC(\mathcal{O}_{F})^{\wedge}_{p}$ after taking a suitably connective cover. As an application, we identify the h… ▽ More Let $p\in \mathbb{Z}$ be an odd prime. We prove a spectral version of Tate-Poitou duality for the algebraic $K$-theory spectra of number rings with $p$ inverted. This identifies the homotopy type of the fiber of the cyclotomic trace $K(\mathcal{O}_{F})^{\scriptscriptstyle\wedge}_{p} \to TC(\mathcal{O}_{F})^{\wedge}_{p}$ after taking a suitably connective cover. As an application, we identify the homotopy type at odd primes of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic $K$-theory of $\mathbb{Z}$. △ Less

Submitted 2 February, 2020; v1 submitted 31 July, 2015; originally announced August 2015.

Comments: This draft omits material in previous drafts including: review of homotopy theory of presheaves of spectra (incl. hypercover descent and models for derived functors); review of pairings in localized and mod-p^n K-theory; proofs of some transfer and pairing folk results in the Thomason SS; details on duality in the splitting of the fiber sequence of the cyclotomic trace. For these and more, see v3

The homotopy groups of the algebraic K-theory of the sphere spectrum

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We calculate $π_*K(\mathbb S)[1/2]$, the homotopy groups of $K(\mathbb S)$ away from 2, in terms of the homotopy groups of $K(\mathbb Z)$, the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$. This builds on the work of Waldhausen, who computed the rational homotopy groups (building on work of Quillen and Borel) and Rognes, who calculated the groups at regular… ▽ More We calculate $π_*K(\mathbb S)[1/2]$, the homotopy groups of $K(\mathbb S)$ away from 2, in terms of the homotopy groups of $K(\mathbb Z)$, the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$. This builds on the work of Waldhausen, who computed the rational homotopy groups (building on work of Quillen and Borel) and Rognes, who calculated the groups at regular primes in terms of the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$. △ Less

Submitted 14 December, 2020; v1 submitted 1 August, 2014; originally announced August 2014.

Comments: Last draft version of this 2018 paper, substantially similar (but not identical to) published version. Includes a correction on p.11

MSC Class: 19D10

Journal ref: Geom. Topol. 23 (2019) 101-134

The nilpotence theorem for the algebraic $K$-theory of the sphere spectrum

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We prove that in the graded commutative ring $K_{*}(\mathbb{S})$, all positive degree elements are multiplicatively nilpotent. The analogous statements also hold for $TC_{*}(\mathbb{S};\mathbb{Z}^{\wedge}_p)$ and $K_{*}(\mathbb{Z})$. We prove that in the graded commutative ring $K_{*}(\mathbb{S})$, all positive degree elements are multiplicatively nilpotent. The analogous statements also hold for $TC_{*}(\mathbb{S};\mathbb{Z}^{\wedge}_p)$ and $K_{*}(\mathbb{Z})$. △ Less

Submitted 23 May, 2014; originally announced May 2014.

MSC Class: 19D10

Journal ref: Geom. Topol. 21 (2017) 3453-3466

E_n Genera

Authors: Steven Greg Chadwick, Michael A. Mandell

Abstract: Let R be an E_2 ring spectrum with zero odd dimensional homotopy groups. Every map of ring spectra MU to R is represented by a map of E_2 ring spectra. If 2 is invertible in pi_0(R), then every map of ring spectra MSO to R is represented by a map of E_2 ring spectra. Let R be an E_2 ring spectrum with zero odd dimensional homotopy groups. Every map of ring spectra MU to R is represented by a map of E_2 ring spectra. If 2 is invertible in pi_0(R), then every map of ring spectra MSO to R is represented by a map of E_2 ring spectra. △ Less

Submitted 12 October, 2013; originally announced October 2013.

MSC Class: Primary 55N22; Secondary 55P43

Journal ref: Geom. Topol. 19 (2015) 3193-3232

Quantitative Homotopy Theory in Topological Data Analysis

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: This paper lays the foundations of an approach to applying Gromov's ideas on quantitative topology to topological data analysis. We introduce the "contiguity complex", a simplicial complex of maps between simplicial complexes defined in terms of the combinatorial notion of contiguity. We generalize the Simplicial Approximation Theorem to show that the contiguity complex approximates the homotopy t… ▽ More This paper lays the foundations of an approach to applying Gromov's ideas on quantitative topology to topological data analysis. We introduce the "contiguity complex", a simplicial complex of maps between simplicial complexes defined in terms of the combinatorial notion of contiguity. We generalize the Simplicial Approximation Theorem to show that the contiguity complex approximates the homotopy type of the map** space as we subdivide the domain. We describe algorithms for approximating the rate of growth of the components of the contiguity complex under subdivision of the domain; this procedure allows us to computationally distinguish spaces with isomorphic homology but different homotopy types. △ Less

Submitted 25 September, 2013; originally announced September 2013.

MSC Class: 55U10; 68U05

Journal ref: Found. Comput. Math. 13 (2013), no. 6, 885-911

The homotopy theory of cyclotomic spectra

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in these categories. Specifically, the derived map** spectrum out of the sphere spectrum in the category of cyclotomic spectra corepresents the finite completion… ▽ More We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in these categories. Specifically, the derived map** spectrum out of the sphere spectrum in the category of cyclotomic spectra corepresents the finite completion of $TC$ and the derived map** spectrum out of the sphere spectrum in the category of $p$-cyclotomic spectra corepresents the $p$-completion of $TC(-;p)$. △ Less

Submitted 16 December, 2020; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: This is a last draft version (May 5, 2015) of an article whose final version was first published in Geometry & Topology in 2015, published by Mathematical Sciences Publishers

MSC Class: Primary 19D55; Secondary 18G55; 55Q91

Journal ref: Geom. Topol. 19 (2015) 3105-3147

Robust statistics, hypothesis testing, and confidence intervals for persistent homology on metric measure spaces

Authors: Andrew J. Blumberg, Itamar Gal, Michael A. Mandell, Matthew Pancia

Abstract: We study distributions of persistent homology barcodes associated to taking subsamples of a fixed size from metric measure spaces. We show that such distributions provide robust invariants of metric measure spaces, and illustrate their use in hypothesis testing and providing confidence intervals for topological data analysis. We study distributions of persistent homology barcodes associated to taking subsamples of a fixed size from metric measure spaces. We show that such distributions provide robust invariants of metric measure spaces, and illustrate their use in hypothesis testing and providing confidence intervals for topological data analysis. △ Less

Submitted 17 January, 2014; v1 submitted 20 June, 2012; originally announced June 2012.

Localization for THH(ku) and the topological Hochschild and cyclic homology of Waldhausen categories

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We prove a conjecture of Hesselholt and Ausoni-Rognes, establishing localization cofiber sequences of spectra for THH(ku) and TC(ku). These sequences support Hesselholt's view of the map l to ku as a "tamely ramified" extension of ring spectra, and validate the hypotheses necessary for Ausoni's simplified computation of V(1)_* K(KU). In order to make sense of the relative term THH(ku|KU) in the… ▽ More We prove a conjecture of Hesselholt and Ausoni-Rognes, establishing localization cofiber sequences of spectra for THH(ku) and TC(ku). These sequences support Hesselholt's view of the map l to ku as a "tamely ramified" extension of ring spectra, and validate the hypotheses necessary for Ausoni's simplified computation of V(1)_* K(KU). In order to make sense of the relative term THH(ku|KU) in the cofiber sequence and prove these results, we develop a theory of THH and TC of Waldhausen categories and prove the analogues of Waldhausen's theorems for K-theory. We resolve the longstanding confusion about localization sequences in THH and TC, and establish a specialized devissage theorem. △ Less

Submitted 17 March, 2014; v1 submitted 16 November, 2011; originally announced November 2011.

Comments: 100 pages. Revised, corrected, expanded

MSC Class: 19D55 (Primary); 55P43; 19L41; 19D10 (Secondary)

The Multiplication on BP

Authors: Maria Basterra, Michael A. Mandell

Abstract: BP is an E_4 ring spectrum. The E_4 structure is unique up to automorphism. BP is an E_4 ring spectrum. The E_4 structure is unique up to automorphism. △ Less

Submitted 29 December, 2010; originally announced January 2011.

MSC Class: Primary 55P43; Secondary 55N22; 55S35

Homology of E_n Ring Spectra and Iterated THH

Authors: Maria Basterra, Michael A. Mandell

Abstract: We describe an iterable construction of THH for an E_n ring spectrum. The reduced version is an iterable bar construction and its n-th iterate gives a model for the shifted cotangent complex at the augmentation, representing reduced topological Quillen homology of an augmented E_n algebra. We describe an iterable construction of THH for an E_n ring spectrum. The reduced version is an iterable bar construction and its n-th iterate gives a model for the shifted cotangent complex at the augmentation, representing reduced topological Quillen homology of an augmented E_n algebra. △ Less

Submitted 29 December, 2010; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: Some additional exposition added. Minor corrections

MSC Class: Primary 55P43; Secondary 55P48

Journal ref: Algebr. Geom. Topol. 11 (2011) 939-981

The smash product for derived categories in stable homotopy theory

Authors: Michael A. Mandell

Abstract: An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an E_4 structure then the braided monoidal product is symmetric monoidal. An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an E_4 structure then the braided monoidal product is symmetric monoidal. △ Less

Submitted 5 April, 2012; v1 submitted 31 March, 2010; originally announced April 2010.

Comments: Minor corrections

MSC Class: 55P43; 18D10; 18D50

Journal ref: Adv. Math. 230 (2012), no. 4-6, 1531-1556

An Inverse K-Theory Functor

Authors: Michael A. Mandell

Abstract: Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a non-completed variant. Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a non-completed variant. △ Less

Submitted 5 October, 2010; v1 submitted 18 February, 2010; originally announced February 2010.

Comments: Minor corrections. Final version

MSC Class: 19D23; 55P47; 18D10; 55P42

Journal ref: Documenta Math. 15 (2010) 765--791

Derived Koszul Duality and Involutions in the Algebraic K-Theory of Spaces

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We interpret different constructions of the algebraic $K$-theory of spaces as an instance of derived Koszul (or bar) duality and also as an instance of Morita equivalence. We relate the interplay between these two descriptions to the homotopy involution. We define a geometric analog of the Swan theory $G^{\bZ}(\bZ[π])$ in terms of $Σ^{\infty}_{+} ΩX$ and show that it is the algebraic $K$-theory of… ▽ More We interpret different constructions of the algebraic $K$-theory of spaces as an instance of derived Koszul (or bar) duality and also as an instance of Morita equivalence. We relate the interplay between these two descriptions to the homotopy involution. We define a geometric analog of the Swan theory $G^{\bZ}(\bZ[π])$ in terms of $Σ^{\infty}_{+} ΩX$ and show that it is the algebraic $K$-theory of the $E_{\infty}$ ring spectrum $DX=S^{X_{+}}$. △ Less

Submitted 12 November, 2010; v1 submitted 9 December, 2009; originally announced December 2009.

MSC Class: 19D10; 18F25

Journal ref: J. Topology 4 (2011), no. 2, 327-342

Localization theorems in topological Hochschild homology and topological cyclic homology

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a global construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the inclusi… ▽ More We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a global construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the inclusion of an open subscheme. These are the targets of the cyclotomic trace from the localization sequence of Thomason-Trobaugh in K-theory. We also deduce versions of Thomason's blow-up formula and the projective bundle formula for THH and TC. △ Less

Submitted 24 May, 2012; v1 submitted 26 February, 2008; originally announced February 2008.

Comments: Some important corrections. Major revision of treatment of cyclotomic spectra. Final version

MSC Class: 19D55; 14F43

Journal ref: Geom. Topol. 16 (2012) 1053-1120

Permutative categories, multicategories, and algebraic K-theory

Authors: A. D. Elmendorf, M. A. Mandell

Abstract: We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative structure still preserved. The source category of arXiv:math/0403403, whose objects are permutative categories, maps fully and faithfully to the new source category, whose objects are (based) multicate… ▽ More We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative structure still preserved. The source category of arXiv:math/0403403, whose objects are permutative categories, maps fully and faithfully to the new source category, whose objects are (based) multicategories. △ Less

Submitted 1 September, 2009; v1 submitted 29 September, 2007; originally announced October 2007.

MSC Class: 19D23

Journal ref: Algebr. Geom. Topol. 9 (2009) 2391-2441

Algebraic K-theory and abstract homotopy theory

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria appearing in the literature. We show that under mild hypotheses, a weakly exact functor that induces an equivalence of homotopy categories induces an equivalen… ▽ More We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria appearing in the literature. We show that under mild hypotheses, a weakly exact functor that induces an equivalence of homotopy categories induces an equivalence of K-theory spectra. △ Less

Submitted 2 November, 2010; v1 submitted 1 August, 2007; originally announced August 2007.

Comments: Final version

MSC Class: 19D99; 55U35

Journal ref: Advances in Mathematics 226 (2011), no. 4, 3760-3812

The localization sequence for the algebraic K-theory of topological K-theory

Authors: Andrew J. Blumberg, Michael A. Mandell

Abstract: We prove a conjecture of Rognes by establishing a localization cofiber sequence of spectra, K(Z) to K(ku) to K(KU) to Sigma K(Z), for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence of a devissage theorem identifying the K-theory of the Waldhausen category of Postnikov towers of modules over a connective A-infinity ring spectrum R with th… ▽ More We prove a conjecture of Rognes by establishing a localization cofiber sequence of spectra, K(Z) to K(ku) to K(KU) to Sigma K(Z), for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence of a devissage theorem identifying the K-theory of the Waldhausen category of Postnikov towers of modules over a connective A-infinity ring spectrum R with the Quillen K-theory of the abelian category of finitely generated pi_0(R)-modules. △ Less

Submitted 31 August, 2007; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: Updated final version. Small change in definition of S' construction and correction to the proof of 2.9

MSC Class: 19D99; 19L99; 55P43

Journal ref: Acta Math. 200 (2008), no. 2, 155--179.

Modules in Monoidal Model Categories

Authors: L. Gaunce Lewis Jr, Michael A. Mandell

Abstract: This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories. This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories. △ Less

Submitted 12 June, 2006; originally announced June 2006.

MSC Class: 18G55; 55P99

Journal ref: J. Pure Appl. Algebra 210 (2007), no. 2, 395-421.

Equivariant Universal Coefficient and Kunneth Spectral Sequences

Authors: L. Gaunce Lewis Jr, Michael A. Mandell

Abstract: We construct hyper-homology spectral sequences of Z-graded and ROG-graded Mackey functors for Ext and Tor over G-equivariant S-algebras (A-infty ring spectra) for finite groups G. These specialize to universal coefficient and Kunneth spectral sequences. We construct hyper-homology spectral sequences of Z-graded and ROG-graded Mackey functors for Ext and Tor over G-equivariant S-algebras (A-infty ring spectra) for finite groups G. These specialize to universal coefficient and Kunneth spectral sequences. △ Less

Submitted 6 October, 2004; originally announced October 2004.

MSC Class: Primary 55N91; Secondary 55P43; 55U20; 55U25

Journal ref: Proc. Lond. Math. Soc. (3) 92 (2006), no. 2, 505-544.

Homology and Cohomology of E-infinity Ring Spectra

Authors: Maria Basterra, Michael A. Mandell

Abstract: Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads. Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads. △ Less

Submitted 12 July, 2004; originally announced July 2004.

MSC Class: Primary 55P43; Secondary 55P48; 55U35

Journal ref: Math. Z. 249 (2005), no. 4, 903-944

Rings, modules, and algebras in infinite loop space theory

Authors: A. D. Elmendorf, M. A. Mandell

Abstract: We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a… ▽ More We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a generalization of symmetric monoidal category that precisely captures the multiplicative structure we have present at all stages of the construction. Our method ends up in Smith's category of symmetric spectra, with an intermediate stop at a new category that may be of interest in its own right, whose objects we call symmetric functors. △ Less

Submitted 23 March, 2004; originally announced March 2004.

Comments: 59 pages, 1 figure

MSC Class: 19D23

Journal ref: Adv. in Math. 205 (2006), no. 1, 163-228

Cochains and Homotopy Type

Authors: Michael A. Mandell

Abstract: Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full. Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full. △ Less

Submitted 2 November, 2003; originally announced November 2003.

MSC Class: 55P15; 55Q05

Journal ref: Publ. Math. IHES, 103 (2006), 213-246

A telescope comparison lemma for THH

Authors: M. A. Mandell, B. Shipley

Abstract: We extend to the non-connective case a lemma of Bokstedt about the equivalence of the telescope with a more complicated homotopy colimit of symmetric spectra used in the construction of THH. We extend to the non-connective case a lemma of Bokstedt about the equivalence of the telescope with a more complicated homotopy colimit of symmetric spectra used in the construction of THH. △ Less

Submitted 5 December, 2000; originally announced December 2000.

Comments: To appear in Topology and its Applications

MSC Class: 55P42; 19D99

Journal ref: Topology Appl. 117 (2002), no. 2, 161-174.