Homeomorfism universal

Un homeomorfism universal este un morfism de scheme astfel încât pentru fiecare morfism schimbarea de bază este un homeomorfism al spațiilor topologice. $f\coloan X\la Y$ $Y'\to Y$ $X\times _{Y}Y'\to Y'$

Un morfism de schemă este un homeomorfism universal dacă și numai dacă este integral , radical și surjectiv [1] . În special, un morfism de tip local finit este un homeomorfism universal dacă și numai dacă este finit , radical și surjectiv.

De exemplu, endomorfismul Frobenius este un homeomorfism universal.

Note

↑ Grothendieck, 1967 .

Literatură

Grothendieck, Alexandre; Dieudonne, Jean. Elemente de geometrie algébrică: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie (franceză) // Publications Mathématiques de l'IHÉS. - 1967. - Nr . 32 . - doi : 10.1007/bf02732123 .
Johan de Jong (întreținere). 29.45 Homeomorfisme universale . Proiectul Stive . Preluat: 10 martie 2021. (nedefinit)