Welcome to MathOverflow

Question

8

3

More generally, are there any remarkable properties enjoyed by the $\infty$-category of stable $\infty$-categories?

edited Mar 23 2011 at 12:26

David Carchedi
7,747●10●27

asked Mar 23 2011 at 8:23

Alex
83●1●2

Problably not, the problem is with the multiplicative structure (composition), e.g. the categories of DGAs or ring spectra are not stable. – Fernando Muro Mar 23 2011 at 11:47

@Fernando: Can you explain your comment? Are you saying that a DGA (or a ring spectrum) is somehow analogous to a stable $\infty$-category? – Tom Goodwillie Mar 23 2011 at 12:44

1

@Fernando: The categories of DGAs or ring spectra aren't stable, but these aren't the same as the categories of functors between their module categories. E.g. the category of R-S bimodules (which is stable) maps to the category of functors S-mod -> R-mod. – Tyler Lawson Mar 23 2011 at 15:22

@Tom: I'm thinking of the $\infty$-category of $\infty$-categories as a non-additive analog of the Morita model category of DG-algebras, or more generally DG-categories. This idea links up with Tyler's comment. @Tyler: you're right, but somehow bimodules represent morphisms, so the stable $\infty$-categories or morphisms in the $\infty$-category of $\infty$-categories would be stable, but not necessarily the $\infty$-category of $\infty$-categories itself. (This looks like a tongue twister!). I'll try to think of how to properly explain what I mean. I might eventually produce a (counter)exm. – Fernando Muro Mar 23 2011 at 16:16

Dustin Clausen · Accepted Answer · 2011-03-23 18:46:44Z UTC

8

No. It's pointed by the zero category, but then taking loops of a stable category C (in the sense of the pullback of 0 --> C along itself) always gives the zero category, so loops is definitely not an equivalence.

One important structural feature of the category of stable categories along these lines is that it has some nice cofiber sequences (Verdier localization sequences), but I'm not sure the categorical properties these satisfy have been axiomatized (into a possible definition of ``stable (infty,2)-category''?)

answered Mar 23 2011 at 18:46

Dustin Clausen
3,980●1●16●26

	As pretriangulated dg-categories are models for k-linear stable (infinity,1)-categories (for k being a field of characteristic zero), maybe it is of some relevance to compare what Tamarkin and Batanin had to say in their works on the question "What the dg-categories make ?" – Zoran Škoda Mar 23 2011 at 19:41
	To elaborate on Dustin's second paragraph, if $A\to B\to C$ is a Verdier localization sequence, then the square $$\matrix{A&\longrightarrow&B\cr \downarrow &&\downarrow\cr 0&\longrightarrow&C}$$ is both a pushout square and a pullback square, a suggestively stable property. I am curious which squares of stable categories should be considered exact. In a stable category, the question of exact squares reduces to exact sequences, but I don't see any symmetric way of making such a definition for squares of stable categories. – Ben Wieland Mar 24 2011 at 0:32

Is the $\infty$-category of stable $\infty$-categories stable?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.