(1) School of Mathematics, Institute for Advanced Study, Einstein Drive, Princeton, NJ 08540, USA
Abstract:
We define the cotangent complex of a morphism of fine log schemes, prove that it is functorial, and construct under certain restrictions a transitivity triangle. We also discuss its relationship with deformation theory.