In recent years, considerable progress has been made in studying algebraic cycles using infinitesimal methods. These methods have usually been applied to Hodge-theoretic constructions such as the cycle class and the Abel-Jacobi map. Substantial advances have also occurred in the infinitesimal theory for subvarieties of a given smooth variety, centered around the normal bundle and the obstructions coming from the normal bundle's first cohomology...