Vektorbündel/Frobenius-Wiederholung/Fermatkurve vom Grad 2d/Beispiel

Aus Wikiversity

Es sei und sei ein Körper der Charakteristik , die die Kongruenzbedingung erfüllt. Dann ist auf der Fermat-Kurve

das Syzygienbündel zu seinem ersten Frobenius-Rückzug, also zu isomorph (aber selbst nicht trivial). Daher ist es nach Fakt auch étale trivialisierbar. Es gibt auch unendlich viele Charakteristiken, für die das entsprechende Bündel nicht stark semistabil und nicht étale trivialisierbar ist. Daher ist das Bündel auch in Charakteristik nicht étale trivialisierbar.