Darstellungen der etalen Fundamentalgruppe/Etale trivialisierbar/Lange-Stuhler/Fakt/Beweis

Beweis

Wir betrachten zuerst die Äquivalenz von (1) und (2). Die stetige Darstellung faktorisiert durch eine endliche Untergruppe . Somit ist eine endliche Restklassengruppe der étalen Fundamentalgruppe. Also gibt es aufgrund der Konstruktion der étalen Fundamentalgruppe eine galoissche Überlagerung

deren Galoisgruppe gleich ist (mit als Quotient). Mittels definieren wir eine Operation von auf durch

Diese Operation ist linear in der zweiten Komponente und treu, da ja als Untergruppe der allgemeinen linearen Gruppe gegeben ist. Ferner ist die Operation mit der Operation von auf verträglich, da ja in der ersten Komponente die Operation von auf steht.

Wenn umgekehrt eine Operation von auf gegeben ist, die in der zweiten Komponente linear ist, so führt diese Operation von auf zu einem Gruppenhomomorphismus

Diese Abbildung induziert die Darstellung

Man beachte, dass die Eigenschaften von , projektiv und zusammenhängend zu sein, sicher stellen, dass die Treuheit der Operation eine Eigenschaft der Isomorphiekklasse der Operation ist (dies muss für affines nicht gelten, siehe Fakt).

Die Äquivalenz von (2) und (3) ist ein Spezialfall des treuflachen Abstiegs. Man beachte, dass die Vektorbündelstruktur auf dem absteigenden Schema sich in den Abstiegsdaten darin wiederspiegelt, dass der Schemaisomorphismus ein Vektorbündelisomorphismus ist, bzw. darin, dass die Gruppenoperation linear ist.