Source author record

Gregory Arone

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.KT math.OA math.CO math.QA

Catalog footprint

Research overview

9works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Noncommutative CW-spectra as enriched presheaves on matrix algebras

Motivated by the philosophy that $C^*$ -algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$ -algebras. We focus on $C^*$ -algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable $\infty$ -category of noncommutative CW-spectra, which we denote by $\mathtt{NSp}$ . Let $\mathcal{M}$ be the full spectral subcategory of $\mathtt{NSp}$ spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that $\mathtt{NSp}$ is equivalent to the $\infty$ -category of spectral presheaves on $\mathcal{M}$ . To prove this we first prove a general result which states that any compactly generated stable $\infty$ -category is naturally equivalent to the $\infty$ -category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an $\infty$ -categorical version of a result by Schwede and Shipley [ScSh1]. In proving this we use the language of enriched $\infty$ -categories as developed by Hinich [Hin2,Hin3]. We end by presenting a "strict" model for $\mathcal{M}$ . That is, we define a category $\mathcal{M}_s$ strictly enriched in a certain monoidal model category of spectra $\mathtt{Sp^M}$ . We give a direct proof that the category of $\mathtt{Sp^M}$ -enriched presheaves $\mathcal{M}_s^{op}\to\mathtt{Sp^M}$ with the projective model structure models $\mathtt{NSp}$ and conclude that $\mathcal{M}_s$ is a strict model for $\mathcal{M}$ .

preprint2021arXiv

Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra

In a companion paper [ABS1] we introduced the stable $\infty$ -category of noncommutative CW-spectra, which we denoted $\mathtt{NSp}$ . Let $\mathcal{M}$ denote the full spectrally enriched subcategory of $\mathtt{NSp}$ whose objects are the non-commutative suspension spectra of matrix algebras. In [ABS1] we proved that $\mathtt{NSp}$ is equivalent to the $\infty$ -category of spectral presheaves on $\mathcal{M}$ . In this paper we investigate the structure of $\mathcal{M}$ , and derive some consequences regarding the structure of $\mathtt{NSp}$ . To begin with, we introduce a rank filtration of $\mathcal{M}$ . We show that the mapping spectra of $\mathcal{M}$ map naturally to the connective $K$ -theory spectrum $ku$ , and that the rank filtration of $\mathcal{M}$ is a lift of the classical rank filtration of $ku$ . We describe the subquotients of the rank filtration in terms of complexes of direct-sum decompositions which also arose in the study of $K$ -theory and of Weiss's orthogonal calculus. We prove that the rank filtration stabilizes rationally after the first stage. Using this we give an explicit model of the rationalization of $\mathtt{NSp}$ as presheaves of rational spectra on the category of finite-dimensional Hilbert spaces and unitary transformations up to scaling. Our results also have consequences for the $p$ -localization and the chromatic localization of $\mathcal{M}$ .

preprint2015arXiv

A branching rule for partition complexes

Let $S_n$ be the symmetric group, and let $Y$ be a Young subgroup of $S_n$ . Let $Π_n$ be the complex of partitions of $\{1, \ldots, n\}$ . Our main result is a $Y$ -equivariant decomposition of $Π_n$ . As an application, we obtain new information about the quotient space of $|Π_n|$ by a Young subgroup.

preprint2014arXiv

A classification of Taylor towers of functors of spaces and spectra

We describe new structure on the Goodwillie derivatives of a functor, and we show how the full Taylor tower of the functor can be recovered from this structure. This new structure takes the form of a coalgebra over a certain comonad which we construct, and whose precise nature depends on the source and target categories of the functor in question. The Taylor tower can be recovered from standard cosimplicial cobar constructions on the coalgebra formed by the derivatives. We get from this an equivalence between the homotopy category of polynomial functors and that of bounded coalgebras over this comonad. For functors with values in the category of spectra, we give a rather explicit description of the associated comonads and their coalgebras. In particular, for functors from based spaces to spectra we interpret this new structure as that of a divided power right module over the operad formed by the derivatives of the identity on based spaces.

preprint2014arXiv

Cross-effects and the classification of Taylor towers

Let F be a homotopy functor with values in the category of spectra. We show that partially stabilized cross-effects of F have an action of a certain operad. For functors from based spaces to spectra, it is the Koszul dual of the little discs operad. For functors from spectra to spectra it is a desuspension of the commutative operad. It follows that the Goodwillie derivatives of F are a right module over a certain `pro-operad'. For functors from spaces to spectra, the pro-operad is a resolution of the topological Lie operad. For functors from spectra to spectra, it is a resolution of the trivial operad. We show that the Taylor tower of the functor F can be reconstructed from this structure on the derivatives.

preprint2014arXiv

Manifolds, K-theory and the calculus of functors

The Taylor tower of a functor from based spaces to spectra can be classified according to the action of a certain comonad on the collection of derivatives of the functor. We describe various equivalent conditions under which this action can be lifted to the structure of a module over the Koszul dual of the little L-discs operad. In particular, we show that this is the case when the functor is a left Kan extension from a certain category of `pointed framed L-manifolds' and pointed framed embeddings. As an application we prove that the Taylor tower of Waldhausen's algebraic K-theory of spaces functor is classified by an action of the Koszul dual of the little 3-discs operad.

preprint2013arXiv

Graph-complexes computing the rational homotopy of high dimensional analogues of spaces of long knots

We continue our investigation of spaces of long embeddings (long embeddings are high-dimensional analogues of long knots). In previous work we showed that when the dimensions are in the stable range, the rational homology groups of these spaces can be calculated as the homology of a direct sum of certain finite graph-complexes, which we described explicitly. In this paper, we establish a similar result for the rational homotopy groups of these spaces. We also put emphasis on different ways how the calculations can be done. In particular we describe three different graph-complexes computing the rational homotopy of spaces of long embeddings. We also compute the generating functions of the Euler characteristics of the summands in the homological splitting.

preprint2013arXiv

On the rational homology of high dimensional analogues of spaces of long knots

We study high-dimensional analogues of spaces of long knots. These are spaces of compactly-supported embeddings (modulo immersions) of $\mathbb{R}^m$ into $\mathbb{R}^n$ . We view the space of embeddings as the value of a certain functor at $\mathbb{R}^m$ , and we apply manifold calculus to this functor. Our first result says that the Taylor tower of this functor can be expressed as the space of maps between infinitesimal bimodules over the little disks operad. We then show that the formality of the little disks operad has implications for the homological behavior of the Taylor tower. Our second result says that when $2m+1<n$ , the singular chain complex of these spaces of embeddings is rationally equivalent to a direct sum of certain finite chain complexes, which we describe rather explicitly.

preprint2008arXiv

Derivatives of embedding functors I: the stable case

For smooth manifolds $M$ and $N$ , let $\Ebar(M, N)$ be the homotopy fiber of the map $\Emb(M, N)\longrightarrow \Imm(M, N)$. Consider the functor from the category of Euclidean spaces to the category of spectra, defined by the formula $V\mapsto Σ^\infty\Ebar(M, N\times V)$. In this paper, we describe the Taylor polynomials of this functor, in the sense of M. Weiss' orthogonal calculus, in the case when $N$ is a nice open submanifold of a Euclidean space. This leads to a description of the derivatives of this functor when $N$ is a tame stably parallelizable manifold (we believe that the parallelizability assumption is not essential). Our construction involves a certain space of rooted forests (or, equivalently, a space of partitions) with leaves marked by points in $M$ , and a certain ``homotopy bundle of spectra'' over this space of trees. The $n$ -th derivative is then described as the ``spectrum of restricted sections'' of this bundle. This is the first in a series of two papers. In the second part, we will give an analogous description of the derivatives of the functor $\Ebar(M, N\times V)$, involving a similar construction with certain spaces of connected graphs (instead of forests) with points marked in $M$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Gregory Arone

Research overview

Is this your work?

9 publications

Noncommutative CW-spectra as enriched presheaves on matrix algebras

Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra

A branching rule for partition complexes

A classification of Taylor towers of functors of spaces and spectra

Cross-effects and the classification of Taylor towers

Manifolds, K-theory and the calculus of functors

Graph-complexes computing the rational homotopy of high dimensional analogues of spaces of long knots

On the rational homology of high dimensional analogues of spaces of long knots

Derivatives of embedding functors I: the stable case

See the researcher in context

Building this map preview