 The sheaf "I" of ideals of Δ in "M" × "M" consists of functions on "M" × "M" which vanish along the diagonal.Much of the infinitesimal geometry of "M" can be realized in terms of "I".For instance, Δ* ("I"/"I"2) is the sheaf of sections of the cotangent bundle.