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

[posic]

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

Comments

[posic.livejournal.com]

Если вложены, то можно и по-простому. Но у меня f и g не обязательно замкнутые вложения.