Homeomorfismo universal

Un homeomorfismo universal es un morfismo de esquemas tales que para cada morfismo el cambio de base es un homeomorfismo de espacios topológicos. $f\dos puntos X\a Y$ $Y'\a Y$ $X\times_{Y}Y'\to Y'$

Un morfismo de esquema es un homeomorfismo universal si y solo si es integral , radical y sobreyectivo [1] . En particular, un morfismo de tipo localmente finito es un homeomorfismo universal si y solo si es finito , radical y sobreyectivo.

Por ejemplo, el endomorfismo de Frobenius es un homeomorfismo universal.

Notas

↑ Grothendieck, 1967 .

Literatura

Grothendieck, Alexandre; Dieudonné, Jean. Elementos de geométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie (francés) // Publications Mathématiques de l'IHÉS. - 1967. - Nº 32 . -doi : 10.1007/ bf02732123 .
Johan de Jong (mantenimiento). 29.45 Homeomorfismos universales . El proyecto Stacks . Recuperado: 10 de marzo de 2021. (indefinido)