I’ll now say a few words on formal smoothness. This happens to be closely related to the theory of the cotangent complex (namely, the cotangent complex provides a clean criterion for when a morphism is formally smooth). Ultimately, I would like to aim first for the result that a formally smooth morphism of finite presentation is flat, and thus to characterize such morphisms via the geometric idea of “smoothness” (even though the algebraic version of formally smooth is pure commutative algebra).

**1. What is formal smoothness?**

The idea of a *smooth* morphism in algebraic geometry is one that is surjective on the tangent space, at least if one is working with smooth varieties over an algebraically closed field. So this means that one should be able to lift tangent vectors, which are given by maps from the ring into .

This makes the following definition seem more plausible:

Definition 1Let be an -algebra. Then isformally smoothif given any -algebra and ideal of square zero, the map

is a surjection.

So this means that in any diagram

there exists a dotted arrow making the diagram commute. (more…)