BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael A. Mandell appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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).
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}$.
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.
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}$.
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.
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.
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.
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.
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 mapping 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.
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.
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.
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.
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.
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_{+}}$.
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.
BP is an E_4 ring spectrum. The E_4 structure is unique up to automorphism.