Трансверсальность особенностей

[posic]

Придумал, как сказать в алгебраической геометрии, что особенности отображения гладких многообразий g: Y->X трансверсальны особенностям отображения гладких многообразий h: Z->X. Надо потребовать, чтобы расслоенное произведение Y и Z над X было гладким многообразием и Tor_n над O_X между O_Y и O_Z занулялся при n>0. Чтобы это понять, надо представить g и h в виде композиций замкнутых вложений и гладких морфизмов.