All Questions
Tagged with derived-algebraic-geometry ac.commutative-algebra
16 questions
9
votes
2
answers
803
views
Explanation for Lurie's SAG Remark 25.1.3.7
I am trying to understand the theory of simplicial commutative rings or animated rings. I just find a remark in Lurie's book Spectral Algebraic Geometry:
Remark 25.3.1.7. Let $f : R[x_1,\ldots ,x_n]\...
- 56.9k
4
votes
0
answers
116
views
The criterion for dimensional conjecture for universal Galois deformation rings
I’m writing to ask a question about Mazur’s dimensional conjecture in Lemma 7.5 of the paper [Galatius S, Venkatesh A. Derived Galois deformation rings. Advances in Mathematics. 2018 Mar 17;327:470-...
- 863
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
7
votes
1
answer
498
views
Basic example of derived descent
I've been trying to understand the Adams spectral sequence, and I've gotten myself confused about how derived descent is supposed to work, so I would like to understand a simple example.
Given a ...
- 5,770
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
2
votes
0
answers
235
views
Formally étale maps of animated $k$-algebras
In Lurie's DAG, he defines what it means for a natural transformation $T:\mathcal{F}\to\mathcal{F}'$ of functors $\mathcal{F},\mathcal{F}':\mathcal{SCR}\to\mathcal{S}$ to be formally étale. Namely, it ...
- 301
44
votes
5
answers
6k
views
What is the cotangent complex good for?
The cotangent complex seems to be a pretty fundamental object in algebraic geometry, but if it's treated in Hartshorne then I missed it. It seems to be even more important in derived algebraic ...
- 16.2k
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
13
votes
1
answer
2k
views
Proj construction in derived algebraic geometry
The question
My question is easy to state:
Is there a Proj construction in derived geometry, that produces a derived stack from a “graded derived algebra”?
Given the vagueness of the question, you’...
- 2,011
8
votes
1
answer
979
views
Koszul-Tate Resolution for Subvarieties of $\mathbb P^n$
All varieties appearing below are assumed smooth projective over $\mathbb C$ and all vector bundles, sections etc are assumed to be algebraic/holomorphic. We use the word resolution to mean quasi-...
- 1,761
6
votes
0
answers
608
views
On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes
Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
- 3,101
8
votes
0
answers
337
views
flatness and derived completion
Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...
- 3,472
6
votes
1
answer
684
views
A construction of Kähler differentials and Illusie cotangent complex as colimit over embeddings
Let $\Bbbk$ be a field, $X$ affine scheme of finite type over $\Bbbk$. Let $\mathcal C_X$ be the category of closed embeddings of $X$ into (say affine) smooth $Y$'s of finite type over $\Bbbk$, ...
- 1,254
12
votes
2
answers
978
views
Blowing up a derived scheme
Is there a sensible notion of blowing up in any of the available frameworks for derived algebraic geometry? I am happy to remain in the affine setting, where I think the right question to ask is "what ...
- 36
18
votes
1
answer
2k
views
When does the cotangent complex vanish?
The question is already in the title. Less succinctly, let's call a map $f:X \to Y$ of schemes $L$-trivial if its cotangent complex is quasi-isomorphic to $0$. Such maps have striking deformation-...
- 3,917