拉回到"M"：由泰勒定理，这是"M"一个上关于光滑函数芽层上的模的局部自由层。从而在"M"上定义了一个向量丛：余切丛。
作为相空间的余切丛.
辛形式.余切丛上有一个标准的辛形式，它是一个重言1-形式的外微分。该1-形式赋予余切丛的切丛中的一个向量该余切丛中的元素(一个线性泛函)到应用该向量在切丛上的投影(从余切丛到原来的流形的投影的微分)上得到的值。要证明该形式确实是辛形式，可以利用辛形式是一种局部性质：因为余切丛局部平凡，该定义只需在formula_4上