Univerzális homeomorfizmus

Az univerzális homeomorfizmus olyan sémák morfizmusa , hogy minden morfizmus esetében az alapváltozás a topológiai terek homeomorfizmusa . $f\kettőspont X\Y-ra$ $Y'\to Y$ $X\times _{Y}Y'\to Y'$

A sémamorfizmus akkor és csak akkor univerzális homeomorfizmus, ha integrál , radikális és szürjektív [1] . A lokálisan véges típusú morfizmus akkor és csak akkor univerzális homeomorfizmus, ha véges , radikális és szürjektív.

Például a Frobenius endomorfizmus univerzális homeomorfizmus.

Jegyzetek

↑ Grothendieck, 1967 .

Irodalom

Grothendieck, Alexandre; Dieudonne, Jean. Elements de geometrie algébrique: IV. Étude locale des schémas et des morphismes de schemas, Quatrième partie (francia) // Publications Mathématiques de l'IHÉS. - 1967. - 32. sz . - doi : 10.1007/bf02732123 .
Johan de Jong (majd.). 29.45 Univerzális homeomorfizmusok . The Stacks Project . Letöltve: 2021. március 10. (határozatlan)