Universel homøomorfisme

En universel homeomorfisme er en morfisme af skemaer, således at basisændringen for hver morfisme er en homeomorfisme af topologiske rum. $f\kolon X\til Y$ $Y'\to Y$ $X\times _{Y}Y'\to Y'$

En skemamorfisme er en universel homeomorfisme, hvis og kun hvis den er integral , radikal og surjektiv [1] . Især en morfisme af lokalt finit type er en universel homeomorfisme, hvis og kun hvis den er finit , radikal og surjektiv.

For eksempel er Frobenius-endomorfismen en universel homeomorfisme.

Noter

↑ Grothendieck, 1967 .

Litteratur

Grothendieck, Alexandre; Dieudonne, Jean. Elementer de geométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie (fransk) // Publications Mathématiques de l'IHÉS. - 1967. - Nr. 32 . - doi : 10.1007/bf02732123 .
Johan de Jong (maint.). 29.45 Universelle homøomorfier . The Stacks Project . Hentet: 10. marts 2021. (ubestemt)