All Questions
Tagged with derived-algebraic-geometry cotangent-complex
7 questions with no upvoted or accepted answers
5
votes
0
answers
587
views
When is the cotangent complex perfect?
Let $X\rightarrow S$ be a proper flat morphism of schemes.
When is the cotangent complex $L_{X/S}$ perfect ?
It is well known, that for local complete intersections the cotangent complex is perfect, ...
- 51
4
votes
0
answers
149
views
'Naive cotangent complex' as 1-truncation of cotangent complex
In the stacks project, there is a 'naive version' of cotangent complex $NL_{S/R}$ for a ring morphism $R\rightarrow S$, given by the chan complex $(I/I^{2}\rightarrow \Omega_{R[S]/R}\otimes_{R[S]}S)$ ...
- 618
4
votes
0
answers
352
views
What does the cotangent complex tell you when it takes animated inputs?
These two links: What is the cotangent complex good for? and Intuition about the cotangent complex? are quite helpful in giving intution for the cotangent complex in terms of deformations but I don't ...
- 301
4
votes
0
answers
259
views
Cotangent complex of a formal thickening
Let $R$ be an (animated) commutative ring, with cotangent complex $L_R$ and let $\mathcal{C}(R) = \mathcal{D}(R)_{\Sigma^{-1}L_R/}$ be the category of nice square zero extensions of $R$. A typical ...
- 858
4
votes
0
answers
310
views
Dimension of derived Artin stacks and perfect complexes
I am interested in the concept of dimension of derived and $n$-Artin stacks. Take for example the definition 4.10 of From HAG to DAG: derived moduli stacks. in which they define the dimension of a ...
- 787
2
votes
0
answers
165
views
Square zero extension in the derived setting
Here we take the infinity category of simplicial ring $SCRing=Fun^{\prod}(Poly^{op},Spc)$ and follow the construction 25.3.1.1 in DAG by Lurie, where we extend the construction of square zero ...
- 618
1
vote
0
answers
202
views
Is the cotangent complex sensitive to truncation?
$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\Spec{Spec}$If $V$ is a dg vector space (in positive degrees), we can view it as a derived scheme $V = \Sym V^*$. It has (co)tangent complex $V$ (and $...
- 5,711