Treuflacher Abstieg/Schemaversion/Fakt
Treufacher Abstieg (Schemaversion)
Sei
Dann sind folgende Daten äquivalent.
- Ein Schema über .
- Ein Schema über zusammen mit einem -Isomorphismus
der auf die (Verträglichkeits-)Bedingung
erfüllt (dabei handelt es sich um eine Abbildung von nach ).