Universell homeomorfism

I algebraisk geometri är en universell homeomorfism en morfism av scheman $f:X\to Y$ så att basen ändras för varje morfism ${\displaystyle Y'\to Y} .$$X\times _{Y}Y'\to Y'$ är en homeomorfism av topologiska rum.

En morfism av scheman är en universell homeomorfism om och bara om den är integral , radikal och surjektiv. I synnerhet är en morfism av lokalt av finit typ en universell homeomorfism om och endast om den är finit , radikal och surjektiv.

Till exempel är en absolut Frobenius-morfism en universell homeomorfism.

•   Grothendieck, Alexandre ; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie" . Publications Mathématiques de l'IHÉS . 32 . doi : 10.1007/bf02732123 . MR 0238860 .

externa länkar

• Universella homeomorfismer och etale-topologin
• Finns pushouts längs universella homeomorfismer?