ljr_math: reference request

reference request
Добрый день,

Пусть f: X \to Y гладкий морфизм, x \in X замкнутая точка. Тогда этально-локально существует сечение f, проходящее через x. Нет ли какого-то стандартного текста, где это написано?

(В EGA.IV.17.16 есть всё, что нужно, но прямо такого утверждения нет)

(Добавить комментарий)

	tiphareth 2011-05-04 20:52 (ссылка)
	Ну, гладкий морфизм локально тривиализуется в этальной топологии - это примерно то, что надо (Ответить) (Ветвь дискуссии)

dmitri83
2011-05-04 21:09 (ссылка)

ну да, с тех пор я где-то даже прочитал, что гладкий морфизм можно просто определить как такой, который факторизуется в последовательность этального и проекции вида X \times A^n \to X, из этого плюс доминирование любого этального морфизмом Галуа всё следует.

(Ответить) (Уровень выше)