All Questions
Tagged with infinity-categories stable-homotopy
35 questions
26
votes
0
answers
642
views
Chromatic Spectra and Cobordism
I apologize in advance, if some of the things I've written are incorrect.
The cobordism hypothesis states that $\mathbf{Bord}^\mathrm{fr}_n$ is the free symmetric monoidal $(\infty,n)$-category with ...
- 865
20
votes
0
answers
348
views
Homotopic version of Freyd's AT category observations
Freyd was the first to formalize a striking comparison between abelian categories and topoi, showing that their exactness properties can be jointly captured by the axioms of AT categories, and the ...
- 713
18
votes
1
answer
2k
views
Is the $\infty$-category of spectra “convenient”?
A 1991 paper of Lewis, titled “Is there a convenient category of spectra?” proves that there is no category $\mathrm{Sp}$ satisfying the following desiderata$^1$:
There is a symmetric monoidal smash ...
- 11.8k
18
votes
1
answer
566
views
Is there a cotangent bundle of a stable $\infty$-category?
Let $C$ be a stable $\infty$-category. Is there any categorical construction $C \mapsto T^* C$, where $T^* C$ is another stable $\infty$-category, that specializes to the following?
When $C$ is the ...
- 4,949
15
votes
1
answer
1k
views
Stable ∞-categories as spectral categories
Let C be a stable ∞-category in the sense of Lurie's DAG I. (In particular I do not assume that C has all colimits.) Then C does have all finite colimits, the suspension functor on C is an ...
- 25.2k
15
votes
1
answer
504
views
Comonadicity of spaces over spectra?
As connective spectra are equivalent to group-like $E_{\infty}$ algebras in spaces, the $\infty$-category of connective spectra is monadic over the $\infty$-category of spaces though the usual $\Sigma^...
- 42.4k
13
votes
4
answers
3k
views
Do we still need models of spectra other than the $\infty$-category $\mathrm{Sp}$?
This question asked whether $\mathrm{Sp}$ is convenient in the sense of satisfying (in the $\infty$-categorical sense) a list of desired properties of Lewis in his 1991 paper (see there).
The answer ...
13
votes
2
answers
3k
views
Why not a Stacks project for Homotopy Theory?
The lack of resources bridging the gap between what one finds in Hatcher's algebraic topology text and modern research on homotopy theory has been brought several times before on MathOverflow [1, 2, 3]...
13
votes
0
answers
688
views
A tensor product for triangulated categories?
Many triangulated categories which show up in mathematics, such as derived categories of various sorts, arise as the homotopy category of a stable $\infty$-category.
Stable $\infty$-categories give ...
- 27.5k
11
votes
1
answer
1k
views
The universal property of the unseparated derived category
In Appendix C of his book in progress Spectral Algebraic Geometry, Lurie defines the unseparated derived category $\check{{\cal D}}({\cal A})$ (see Definition C.5.8.2 loc.cit) associated to a ...
- 9,481
9
votes
1
answer
625
views
Stable presentable categories as module categories
There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I ...
- 25.2k
8
votes
1
answer
615
views
Functorial construction of ("pre"-)spectral sequences? (Or - what is the "higher structure" underlying spectral sequences?)
Let $\mathcal{C}$ be a stable $\infty$-category. Let $Fun(\mathbb{Z},\mathcal{C})$ be the category of sequences of objects in $\mathcal{C}$. Where the category $\mathbb{Z}$ stands for the nerve of the ...
- 7,789
8
votes
0
answers
450
views
Descent vs effective descent for morphisms of ring spectra
Define a homomorphism $\varphi : A \to B$ of commutative discrete rings or commutative ring spectra to be a (effective) descent morphism if the comparison functor from $\mathsf{Mod}_A$ to the category ...
- 448
7
votes
1
answer
275
views
Computation of a homotopy colimit of pro-spectra
Suppose $E\simeq\text{hocolim}_iE_i$ is a filtered homotopy colimit. Suppose $X=\{X_j\}_j$ is a pro-space (assume some finiteness conditions on the spaces or spectra if you have to...for example, ...
- 71
7
votes
1
answer
637
views
When does the loop functor $\Omega^\infty:Sp(C) \rightarrow C$ commute with filtered colimits?
Let $C$ be a pointed $\infty$-category which admits finite limits.
Let $Sp(C)$ denote the $\infty$ category of spectrum objects. One way to define, i.e. 1.4.2.24, is by taking the homotopy limit in $...
- 448
7
votes
0
answers
273
views
Homotopy theory of differential objects
In Kashiwara and Schapira's wonderful book Categories and Sheaves, they define a category with translation to be a category $\mathsf{C}$ equipped with an auto-equivalence $S: \mathsf{C} \to \mathsf{C}$...
- 6,025
7
votes
0
answers
407
views
Generalities on sheaves - Where can I find the technology that can make this "proof" of Atiyah duality precise?
Fix $R$ an $E_{\infty}$ ring spectrum which admits a "six functor formalism" over a suitable class of spaces (by which I mean a context in which what I'm about to say can be made correct).
Let $X$ ...
- 7,789
7
votes
0
answers
152
views
Stable category of pro-spaces
I am in the situation of having to understand groups $[\mathbb{S},E\wedge X_+]:=\pi_0\text{Map}_{\text{Sp}(\text{Pro}(\mathcal{S}))}(\mathbb{S},E\wedge X_+)$ in $\text{Sp}(\text{Pro}(\mathcal{S}))$, ...
- 71
6
votes
1
answer
818
views
Spectra and localizations of the category of topological spaces
Can we construct the category of spectra (or maybe just its homotopy category) from the category of pointed topological spaces
using some kind of localization combined with other categorical ...
- 37.8k
5
votes
1
answer
534
views
Simplicial mapping spaces, stable $\infty$-categories, and triangles
Let $C$ be a stable $\infty$-category (presentable, if you like) and let $map(-,-)$ denote the simplicial mapping space. If $X \to Y \to Z$ is a fiber sequence, and $W$ is an object, when is $map(W,X) ...
- 30.3k
5
votes
1
answer
230
views
Homotopy coherent localisation of a ring spectrum $E$ at a subset of $\pi_0E$
Homotopy coherent Invertibility.
Similarly to how $\mathbb{E}_k$-commutative spectra are a homotopy-coherent version of homotopy commutative spectra, encoding commutativity with higher homotopies, we ...
- 11.8k
5
votes
0
answers
448
views
Examples of nonstable ∞-categories in which sifted colimits commute with finite limits
What are some natural examples (if any) of nonstable ∞-categories in which finite limits commute with sifted colimits (or rather just colimits over Δ^op)?
Stable ∞-categories do satisfy this property,...
- 37.8k
4
votes
1
answer
241
views
Is there essentially unique notion of module over monoidal stable $\infty$-categories?
There is this (folklore?) fact: for a commutative ring $R$, the category of $R$-modules is equivalent to the category of internal abelian groups in the slice category $\operatorname{Commutative rings}/...
- 18.4k
4
votes
1
answer
428
views
The “field of fractions” of the sphere spectrum (localization at $\pi_0(\mathbb{S})\setminus\{0\}$, the non-zero integers)
Perhaps the most common construction of the rational numbers is the one given by taking the field of fractions $\mathrm{Frac}(\mathbb{Z})\cong\mathbb{Q}$ of the ring $\mathbb{Z}$ of integers.
I'm ...
- 11.8k
4
votes
1
answer
214
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 ...
- 728
3
votes
0
answers
145
views
What is the group completion of the underlying multiplicative $\mathbb{E}_\infty$-monoid of the sphere spectrum?
I recently noticed the following categorical/universal way to describe the passage from $\mathbb{Z}$ to $\mathbb{Q}$:
We start with the categroy $\mathsf{Sets}^{\mathrm{actv}}_*$ of pointed sets and —...
- 11.8k
3
votes
0
answers
180
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 ...
- 728
3
votes
0
answers
180
views
Twisting of the power functor
Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a $...
- 7,952
2
votes
2
answers
330
views
Does the homotopy category of finite spectra act on stable homotopy categories?
Assume that C is a stable infinity category; $SH_{fin}$ is the homotopy category of finite spectra. Is there a canonical bi-functor (action? module structure?) $SH_{fin}\times hC \to hC$?
Is there any ...
- 16.9k
2
votes
1
answer
366
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{...
- 373
2
votes
1
answer
182
views
Symmetric spectra for simplicial sheaves
Let $C$ be a site. Localizing either the projective or injective model structure on simplicial presheaves at the Cech nerves of covers in $C$ gives a new model structure on simplicial presheaves which ...
- 928
2
votes
1
answer
301
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’&...
- 103
2
votes
1
answer
282
views
Abelian versions of straightening and unstraightening functors
Let $X$ be a quasi-category (an inner Kan complex), let $\mathfrak{C}(X)$ be its rigidification (its associated simplicial category). J. Lurie in "Higher Topos Theory" proved the following theorem 2.1....
- 9,870
2
votes
0
answers
182
views
stable (?) model category of simplicial monoids
If $\mathcal{C}$ is the category of commutative unitary monoids, one can endow the category of simplicial objects in $\mathcal{C}$, $s\mathcal{C}$, with the structure of a cofibrantly generated model ...
user97068
1
vote
0
answers
118
views
Stable p-profinite homotopy theory
Suppose $p$ is a prime, and consider the stabilization of the category $\text{Pro}(\mathcal{S}^{p-fc})$, using the notation of Lurie. This gives us a stable $\infty$-category $\text{Sp}(\text{Pro}(\...
- 19