All Questions
Tagged with cotangent-complex simplicial-stuff
6 questions
3
votes
2
answers
445
views
Pushout along weak equivalence gives weakly equivalent object
This question arose through reading "Interactions between homotopy theory and algebra" (the first chapter by Goerss and Schemmerhorn). In particular, I am struggling with the proof of ...
4
votes
0
answers
351
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 ...
2
votes
0
answers
140
views
$\Omega^1_{B_\bullet/A_\bullet}$ is acyclic if $A_\bullet \to B_\bullet$ is quasi-isomorphism
Let $A_\bullet \to B_\bullet$ be a quasi-isomorphism of simplicial rings in the sense of (P.62, I.3.1.7, Complexe Cotangent et Déformations I, Luc Illusie).
Then, we define the simplicial $B_\bullet$-...
6
votes
1
answer
1k
views
Proposition 5.13 (ii) in Scholze's Perfectoid Spaces
In Proposition 5.13 (ii) in Scholze's Perfectoid Spaces, we have $R \to S$ a morphism of $\Bbb F_p$-algebras and the assumption that the relative Frobenius $\Phi_{S/R}$ induces an isomorphism $R_{(\...
2
votes
0
answers
201
views
Comparing definitions of cotangent complex
Consider the following two ways of defining the cotangent complex of a ring map $R \rightarrow A$ (Let $P^{\bullet} \rightarrow A$ be a polynomial resolution):
As the complex $\Omega^1_{P^{\bullet}/R}...
9
votes
1
answer
2k
views
Formally smooth morphisms, the cotangent complex, André-Quillen cohomology, and representability of nilpotent extensions as trivial extensions over a cofibrant replacement
Recall that an $R$-algebra $R\to S$ is called formally smooth (resp. formally unramified resp. formally étale) if given any lifting problem of the form
$$\begin{matrix}
R&\to &T\\
\downarrow&...