En geometría algebraica , un homeomorfismo universal es un morfismo de esquemas tal que, por cada morfismo , el cambio de base es un homeomorfismo de espacios topológicos.
Un morfismo de esquemas es un homeomorfismo universal si y solo si es integral , radical y sobreyectivo. [1] En particular, un morfismo local de tipo finito es un homeomorfismo universal si y sólo si es finito , radicial y suprayectivo.
Por ejemplo, un morfismo absoluto de Frobenius es un homeomorfismo universal.
Referencias
- ↑ EGA IV 4 , 18.12.11.