All Questions
Tagged with derived-algebraic-geometry stable-homotopy
10 questions
42
votes
2
answers
2k
views
What is an infinite prime in algebraic topology?
The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...
- 4,780
40
votes
4
answers
7k
views
What is a simplicial commutative ring from the point of view of homotopy theory?
Let $k$ be a field. There are two natural categories to consider:
The category of simplicial commutative $k$-algebras.
The category of connective $E_\infty$ $k$-algebras (i.e., chain complexes of $...
- 25.6k
21
votes
1
answer
3k
views
Motivation and potential applications of spectral algebraic geometry
Nowadays there is a lot of talk about derived algebraic geometry, but not so much about the related subject of spectral algebraic geometry.
Now I'm curious what future is there for spectral algebraic ...
- 433
21
votes
1
answer
2k
views
Why does elliptic cohomology fail to be unique up to contractible choice?
It is often stated that the derived moduli stack of oriented elliptic curves $\mathsf{M}^\mathrm{or}_\mathrm{ell}$ is the unique lift of the classical moduli stack of elliptic curves satisfying some ...
- 423
15
votes
1
answer
805
views
When does QCoh have 'enough perfect complexes'?
Let $X$ be a derived fpqc stack on the $\infty$-category of connective spectral affine schemes $\mathbf{Aff}^{\mathrm{cn}}=(\mathbf{Ring}^{\mathrm{cn}}_{E_\infty})^{\mathrm{op}}$, that is to say, a ...
- 19.6k
10
votes
0
answers
420
views
What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
The central basic theorem of topological modular forms states that the structure sheaf of $\widehat{\mathcal{M}}_{ell}$ lifts to a sheaf of complex-oriented $E_{\infty}$-rings whose formal groups are ...
- 1,969
6
votes
0
answers
219
views
Truncated Sphere Spectra and their Modules
I'm trying to use truncations $\tau_{\leq n}S$ of the sphere spectrum to ``interpolate'' between $\DeclareMathOperator{\H}{H} \H\mathbb{Z}$ and $S$, and I am struggling to find references for ...
- 455
4
votes
1
answer
329
views
Infinite suspension is cotangent complex
In Higher Algebra by Lurie, we define the absolute cotangent complex $L_{A}$ through the composition $C\stackrel{\triangle}{\longrightarrow} Fun(\triangle^{1},C)\stackrel{F}{\longrightarrow}T_{C}$ ...
- 618
2
votes
3
answers
480
views
Integral transform on noncommutative spaces
In their paper "Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry" the authors show that for perfect stacks $X$ and $Y$ over $k$, and their $k$-linear $\infty$-categories of ...
2
votes
1
answer
173
views
Monoidal colimit-preserving functor from spaces to $A$-modules
I am reading Lurie's Elliptic Cohomology II and it claims (Section 4.1.3) that for an $\mathbb{E}_\infty$-ring $A$ "there is an essentially unique symmetric monoidal functor $\mathcal{S} \to \...
