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

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

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

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

Ссылки

• Гротендик, Александр ; Дьедонне, Жан (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie" . Публикации Mathématiques de l'IHÉS . 32 . DOI : 10.1007 / bf02732123 . Руководство по ремонту  0238860 .

внешние ссылки

• Универсальные гомеоморфизмы и этальная топология
• Существуют ли выталкивания по универсальным гомеоморфизмам?

Эта статья по алгебраической геометрии незавершена . Вы можете помочь Википедии, расширив ее . v т е