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

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

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

Примечания

Литература

• Grothendieck, Alexandre; Dieudonné, Jean. (фр.) // Publications Mathématiques de l’IHÉS. — 1967. — N ^o 32 . — doi : .
• Johan de Jong (maint.). (неопр.) . . Дата обращения: 10 марта 2021.