Skip to main content

All Questions

2 votes
1 answer
312 views

Filtered homotopy colimits of spectra

Let $\mathcal{I}: \mathbb{N} \to \operatorname{Sp}$ be a diagram in the infinity category of spectra. Let $\pi_0(\mathcal{I})$ denote the corresponding $1$-categorical diagram (i.e. compose $\mathcal{...
Laurent Cote's user avatar
13 votes
2 answers
520 views

How many automorphisms are there of the category of filtered spectra?

Dold-Kan type theorems tell us that lots of categories are Morita-equivalent to the simplex category $\Delta$. In other words, there are a lot of stable $\infty$-categories which are secretly ...
Tim Campion's user avatar
  • 62.6k
4 votes
0 answers
440 views

An $E_{\infty}$-algebra is a $C_{\infty}$-algebra?

Past this question in MO have raised the following questions for me. Question In characteristic $0$, it is well-known that a Kadeishvili‘s $C_{\infty}$-algebra is an $E_{\infty}$-algebra. However, do ...
Walterfield's user avatar
6 votes
0 answers
233 views

Flatness of objects in a prestable $\infty$-category

I wonder what is the correct concept of flatness of objects in a prestable $\infty$-category with appropriate conditions? The typical example is the following. Let $R$ be a connective $\mathbb E_1$-...
Z. M's user avatar
  • 2,446
4 votes
1 answer
201 views

Reference for the equivalence between chain complexes and sequential diagrams in a stable $\infty$-category

Lurie's $\infty$-categorical Dold-Kan Correspondence relates simplicial objects and sequential diagrams in a stable $\infty$-category. Is there any reference for an equivalence to a category of ...
Kaya Arro's user avatar
  • 728
14 votes
2 answers
700 views

When is a stable $\infty$-category the stabilization of an $\infty$-topos?

Let $\mathcal X$ be a presentable $\infty$-category. Then the stabilization $Stab(\mathcal X)$ of $\mathcal X$ is the universal presentable stable category on $\mathcal X$. Conversely, if $\mathcal A$ ...
Tim Campion's user avatar
  • 62.6k
8 votes
1 answer
467 views

Is there a Dold-Kan theorem for circle actions?

There are several interesting equivalences of "Dold-Kan type" in the setting of stable $\infty$-categories. Namely, let $\mathcal C$ be a stable $\infty$-category. Then the following 3 ...
Tim Campion's user avatar
  • 62.6k
2 votes
1 answer
259 views

A question about cofiber diagrams in stable $\infty$-categories

My question is as follows say I have a commutative diagram $\require{AMScd}$ \begin{CD} X @>f>> Y @>g>> Z\\ @V \alpha V V @VV \beta V @VV \gamma V\\ X’ @>>f’> Y @>>g’&...
user374433's user avatar
3 votes
0 answers
178 views

For which categories $D$ is a $D^{\vartriangleleft\vartriangleright}$-shaped diagram in a stable $\infty$-category a limit iff it is a colimit?

Throughout, I'll omit the "$\infty$" from the term "$\infty$-category". It is well-known (and sometimes even included in the definition, although not by Lurie) that pushouts and ...
Kaya Arro's user avatar
  • 728
5 votes
0 answers
233 views

$\mathbb Z \otimes_\mathbb S \mathbb Z$ is concentrated in degree $0$ : mistake in the argument

I'm not sure this is research level so if this is not appropriate, feel free to move the question to StackExchange. However, I post it here since my "fake proof" is based on a (recent) paper and I'm ...
Maxime Ramzi's user avatar
  • 14.4k
11 votes
1 answer
502 views

Generalized "Homology Whitehead" -- How much does stabilization remember?

Classically, the (non-local-coefficients) homology Whitehead theorem says that if $X \xrightarrow f Y$ is a map of simple spaces, and if the induced map $H_\ast(X;\mathbb Z) \to H_\ast(Y;\mathbb Z)$ ...
Tim Campion's user avatar
  • 62.6k
11 votes
1 answer
621 views

On the relation between categorification and chromatic redshift

In the introduction to the paper Higher traces, noncommutative motives, and the categorified Chern character, Hoyois, Scherotzke and Sibilla write the following. An important insight emerging from ...
Patriot's user avatar
  • 1,048
2 votes
2 answers
210 views

Spelling out explicitly the data of a two step filtration in terms of pieces and gluing data

Let $V$ be an object of some stable infinity category (nothing is lost by taking spectra but I see no reason to state the question in this way as it is irrelevant) and suppose we have a two step ...
Saal Hardali's user avatar
  • 7,689
23 votes
5 answers
3k views

What are _all_ of the exactness properties enjoyed by stable $\infty$-categories?

Alternate formulation of the question (I think): What's a precise version of the statement: "In a stable $\infty$-category, finite limits and finite colimits coincide"? Recall that a stable $\infty$-...
Tim Campion's user avatar
  • 62.6k
5 votes
0 answers
135 views

"Characteristics" (thick subcategories) in $n$-groupoids

$ \newcommand{\Ab}{\mathbf{Ab}} \newcommand{\Sp}{\mathbf{Sp}} $In 0-groupoids (sets), the thick subcategories of the category of abelian groups $\Ab$ are given by the primes $p$ and $0$, which we can ...
Yuri Sulyma's user avatar
  • 1,513