Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Sofía Marlasca Aparicio's user avatar
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 ...
Eric's user avatar
  • 301
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$-...
Kenny Lau's user avatar
  • 435
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_{(\...
Kenny Lau's user avatar
  • 435
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}...
safety stegosaurus's user avatar
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&...
Harry Gindi's user avatar
  • 19.6k