All Questions

If $k$ is a field and $A$ is a formally smooth $k$-algebra, then we know that $\Omega^{1}_{A/k}$ is projective. What about its cotangent complex $L_{A/k}$? When is it quasi-isomorphic to $\Omega^{1}_{...

Let $k$ be an algebraically closed field, $A\rightarrow B$ be a continuous map of weakly admissible topological $k$-local algebras. We assume that it is formally smooth and topologically of finite ...