Универсальный гомеоморфизм

Универсальный гомеоморфизм — морфизм схем $f:X\to Y$, такой, что для каждого морфизма $Y^{\prime }\to Y$ изменение базы $X{\times }_Y{Y}^{\prime }\to Y^{\prime }$ является гомеоморфизмом топологических пространств.

Шаблон:Iw является универсальным гомеоморфизмом тогда и только тогда, когда он целочислен, Шаблон:Iw и сюръективенШаблон:Sfn. В частности, морфизм локально конечного типа является универсальным гомеоморфизмом тогда и только тогда, когда он конечен, радикален и сюръективен.

Например, эндоморфизм Фробениуса является универсальным гомеоморфизмом.

Литература

• Шаблон:Статья
• Шаблон:Cite web