| |||
|
|
кстати, если ещё предположить дополнительно, что X гладкое и рассмотреть ограничение p на подмножество, где конечный морфизм в факторизации неразветвлён, то у ограничения этот конечный морфизм получится этальным (ветвление мы устранили, а морфзим между двумя гладкими многообразиями всегда плоский). тогда как раз получается одно из эквивалентных определений гладкого морфизма: композиция этального и проекции на "другой" сомножитель. Добавить комментарий: |
||||