Kurs:Fundamentalgruppe und Vektorbündel (Osnabrück 2011)/Vorlesung 4/latex
\setcounter{section}{4}
In der letzten Vorlesung haben wir gesehen, dass man mit lokal integrablen linearen Zusammenhängen auf Vektorbündeln lineare Darstellungen der topologischen Fundamentalgruppe erhalten kann
\zusatzklammer {und umgekehrt} {} {.}
Da die allgemeine lineare Gruppe
\mathl{\operatorname{GL}_{ r } \! { \left( {\mathbb K} \right) }}{} eine Vielzahl von interessanten Untergruppen enthält, ist die Frage naheliegend, ob Eigenschaften von Vektorbündeln mit Eigenschaften von Untergruppen in Verbindung gebracht werden können. Ferner
ist es natürlich, sich zu fragen, ob es entsprechend auch eine algebraische Theorie gibt, bei der lineare Darstellungen der \'{e}talen Fundamentalgruppe untersucht werden. Da bei
\mathl{K={\mathbb C}}{} die topologische und die \'{e}tale Fundamentalgruppe dieselben endlichen Restklassengruppen besitzen, ist insbesondere auch die Frage von Interesse, welches Vektorbündel einer linearen Darstellung entspricht, deren Bild in der linearen Gruppe endlich ist
\zusatzklammer {eine stetige Darstellung der \'{e}talen Fundamentalgruppe besitzt stets ein endliches Bild} {} {.}
Der folgende klassische Satz von Narasimhan-Seshadri gibt eine darstellungstheoretische Charakterisierung von stabilen Vektorbündeln auf kompakten riemannschen Flächen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {SeshadriinBengaluru2010-182.JPG} }
\end{center}
\bildtext {C. S. Seshadri} }
\bildlizenz { SeshadriinBengaluru2010 182.JPG } {} {Bocardodarapti} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {NarasimhaninBengaluru2010_214.jpg} }
\end{center}
\bildtext {M. S. Narasimhan} }
\bildlizenz { NarasimhaninBengaluru2010 214.jpg } {} {Bocardodarapti} {Commons} {CC-by-sa 3.0} {}
\inputfakt{Satz von Narasimhan-Seshadri/Fakt}{Satz}{}
{
\faktsituation {Es sei $X$ eine kompakte riemannsche Fläche.}
\faktfolgerung {Dann entsprechen sich stabile holomorphe Vektorbündel vom Rang $r$ über $X$ und unitäre irreduzible
\mathl{\operatorname{GL}_{ r } \! { \left( {\mathbb C} \right) }}{-} Darstellungen der topologischen Fundamentalgruppe
\mathl{\pi_1(X,x)}{.}}
\faktzusatz {}
\faktzusatz {}
}
Unitär bedeutet einfach, dass die Darstellung die Gestalt
\maabbdisp {} {\pi_1(X,x)} {U_r({\mathbb C}) \subseteq \operatorname{GL}_{ r } \! { \left( {\mathbb C} \right) }
} {}
besitzt, wobei
\mathl{U_r({\mathbb C})}{} die \stichwort {unitäre Gruppe} {} ist, also die Gruppe der komplexen
\mathl{r \times r}{-}Matrizen, die das komplexe Skalarprodukt respektieren. Eine kompakte riemannsche Fläche ist dasselbe wie eine projektiv-algebraische Kurve über ${\mathbb C}$, und auch die Theorie der algebraischen Vektorbündel und der holomorphen Vektorbündel entsprechen sich nach einem Satz von Serre. Daher ist das Konzept der stabilen Vektorbündel algebraischer Natur. Dagegen nimmt das Konzept der unitären Darstellungen explizit auf die komplexen Zahlen
\zusatzklammer {z.B. auf die komplexe Konjugation} {} {} Bezug, so dass es sich hierbei um eine komplex-geometrische Theorie handelt, die sich nicht algebraisieren lässt.
Dieser Satz wurde später in höhere Dimensionen verallgemeinert, worauf wir hier nicht eingehen können \zusatzklammer {die sogenannte Kobayashi-Hitchin-Korrespondenz zwischen der Stabilität von Vektorbündeln und der Existenz von Einstein-Hermite Metriken. Wichtige Beiträge von Kobayashi, Lübke, Donaldson, Uhlenbeck, Yau} {} {.}
\zwischenueberschrift{Etale-trivialisierbare Vektorbündel}
Wir kehren zur algebraischen Situation zurück und betrachten stetige lineare Darstellungen der \'{e}talen Fundamentalgruppe.
\inputfaktbeweis
{Darstellungen der etalen Fundamentalgruppe/Etale trivialisierbar/Lange-Stuhler/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $X$ eine zusammenhängende projektive Varietät über einem Körper $K$ und sei
\mathl{\pi_1^{\rm \acute{e}t}( X, x)}{} die zugehörige \'{e}tale Fundamentalgruppe.}
\faktuebergang {Dann sind für
\mathl{r \in \N}{} folgende Strukturen äquivalent
\zusatzklammer {jeweils bis auf Isomorphie} {} {.}}
\faktfolgerung {\aufzaehlungdrei{Eine stetige Darstellung
\maabbdisp {\rho} { \pi_1^{\rm \acute{e}t}( X, x) } { \operatorname{GL}_{ r } \! { \left( K \right) }
} {.}
}{Eine galoissche Überlagerung
\maabb {\varphi} {Y} {X
} {} mit einer Galoisgruppe $H$, die äquivariant, treu und linear auf
\mathl{{\mathbb A}^r_Y =Y \times {\mathbb A}^r}{} operiert.
}{Ein Vektorbündel $E$ vom Rang $r$ auf $X$ zusammen mit einer galoisschen Überlagerung
\maabb {\varphi} {Y} {X
} {}
derart, dass
\mathl{\varphi^*E}{} trivial ist
\zusatzklammer {aber für keine galoissche Überlagerung, die echt dazwischen liegt, trivial wird} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {Wir betrachten zuerst die Äquivalenz von (1) und (2).\leerzeichen{}}{}{}
{Die stetige Darstellung $\rho$ faktorisiert durch eine endliche Untergruppe
\mathl{H \subseteq \operatorname{GL}_{ r } \! { \left( K \right) }}{.} Somit ist $H$ eine endliche Restklassengruppe der \'{e}talen Fundamentalgruppe. Also gibt es aufgrund der Konstruktion der \'{e}talen Fundamentalgruppe eine galoissche Überlagerung
\maabbdisp {\varphi} {Y} {X
} {,}
deren Galoisgruppe gleich $H$ ist
\zusatzklammer {mit $X$ als Quotient} {} {.}
Mittels $\rho$ definieren wir eine Operation von $H$ auf
\mathl{Y \times {\mathbb A}^r}{} durch
\mathdisp {h(y,w) = ( hy, \rho(h)w)} { . }
Diese Operation ist linear in der zweiten Komponente und treu, da ja $H$ als Untergruppe der allgemeinen linearen Gruppe gegeben ist. Ferner ist die Operation mit der Operation von $H$ auf $Y$ verträglich, da ja in der ersten Komponente die Operation von $H$ auf $Y$ steht.
Wenn umgekehrt eine Operation von $H$ auf
\mathl{Y \times { {\mathbb A}_{ }^{ r } }}{} gegeben ist, die in der zweiten Komponente linear ist, so führt diese Operation von $H$ auf ${\mathbb A}^r$ zu einem Gruppenhomomorphismus
\maabbdisp {} { H} {\operatorname{GL}_{ r } \! { \left( K \right) }
} {.}
Diese Abbildung induziert die Darstellung
\mathdisp {\rho: \pi_1^{\rm \acute{e}t}( X, x) \longrightarrow H \longrightarrow \operatorname{GL}_{ r } \! { \left( K \right) }} { . }
Man beachte, dass die Eigenschaften von $Y$, projektiv und zusammenhängend zu sein, sicher stellen, dass die Treuheit der Operation eine Eigenschaft der Isomorphiekklasse der Operation ist
\zusatzklammer {dies muss für affines $Y$ nicht gelten, siehe
Beispiel 4.5} {} {.}}
{}
\teilbeweis {}{}{}
{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.}
{}
Wir erklären kurz das Prinzip des treuflachen Abstiegs, der dieser und ähnlichen Konstruktionen zugrunde liegt.
\inputfakt{Treuflacher Abstieg/Schemaversion/Fakt}{Satz}{}
{
\faktsituation {Sei
\maabbdisp {\varphi} {Y} {X
} {} ein treuflacher quasikompakter Schemamorphismus.}
\faktfolgerung {Dann sind folgende Daten äquivalent.
\aufzaehlungzwei {Ein Schema $W$ über $X$.
} {Ein Schema $W'$ über $Y$ zusammen mit einem
\mathl{Y \times_XY}{-}Isomorphismus
\maabbdisp {\phi} {p_1^* (W')} { p_2^*(W')
} {,}
der auf
\mathl{Y \times_X Y \times _X Y}{} die
\zusatzklammer {Verträglichkeits} {-} {}Bedingung
\mathdisp {p_{13}^*(\phi) = p_{23}^*(\phi) \circ p_{12}^* (\phi)} { }
erfüllt
\zusatzklammer {dabei handelt es sich um eine Abbildung von
\mathl{q_1^*(W')}{} nach
\mathl{q_3^*(W')}{}} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
Dabei bezeichnen
\mathl{p_1,p_2}{} die beiden Projektionen von
\mathl{Y \times_XY}{} auf die einzelnen Komponenten,
\mathl{q_1,q_2,q_3}{} die drei Projektionen von
\mathl{Y \times_XY \times_XY}{} auf die einzelnen Komponenten und
\mathl{p_{12},p_{13},p_{23}}{} die drei Projektionen von
\mathl{Y \times_XY \times_XY}{} nach
\mathl{Y \times_XY}{,} wobei die Indizes die beteiligten Komponenten angeben. Es ist
\mathdisp {p_1 \circ p_{12} = q_1, \, p_2 \circ p_{12} = q_2, \,p_1 \circ p_{13} = q_1, \,p_2 \circ p_{13} = q_3, \,p_1 \circ p_{23} = q_2, \,p_2 \circ p_{23} = q_3} { . }
Ein Schema $W$ über $X$
\zusatzklammer {mit
\mathl{W'= \varphi^*W}{}} {} {}
führt wegen
\mathl{\varphi \circ p_1 =\varphi \circ p_2}{} zu einem natürlichen Isomorphismus
\maabbdisp {} { (\varphi \circ p_1)^*(W)= p_1^*(W') } { ( \varphi \circ p_2)^*(W) = p_2^*(W')
} {,}
der die Verträglichkeitsbedingung erfüllt.
Wenn umgekehrt ein Schema $W'$ über $Y$ gegeben ist zusammen mit einem verträglichen Isomorphismus
\maabbdisp {\phi} {p_1^*(W') } {p_2^*(W')
} {,}
so erhält man das Abstiegsschema $W$ durch eine Equalizerkonstruktion. Ein Schnitt $s$ in $W'$ über $Y$
\zusatzklammer {bzw. einer offenen Menge davon} {} {}
legt einen Schnitt in dem zu konstruierenden Schema $W$ fest, wenn die beiden über
\mathl{Y \times_XY}{} zurückgezogenen Schnitte
\mathkor {} {p_1^*s} {und} {p_2^*s} {}
durch $\phi$ ineinander überführt werden.
Wenn \maabbdisp {\varphi} {Y} {X } {} eine galoissche Überlagerung mit Galoisgruppe $H$ ist und \maabbdisp {\mu} {Y \times H} {Y } {} die zugehörige Operation, so liegt die Isomorphie \maabbeledisp {p_1 \times \mu} {Y \times H} {Y \times_X Y } {(y,h)} {(y,hy) } {,} vor, wobei die Abbildung für die Punkte hingeschrieben wurde. Das Produkt links ist über dem Grundkörper zu nehmen, wobei $H$ als ein endliches konstantes Gruppenschema aufgefasst wird. Die Isomorphie ist eine äquivalente Charakterisierung für eine galoissche Überlagerung. Man spricht von $H$-Hauptfaserbündeln \zusatzklammer {oder $H$-Torsoren} {} {,} wobei sich in dieser Sprache auch Operationen von nicht \'{e}talen Gruppenschemata gleichermaßen erfassen lassen \zusatzklammer {das bildet die Grundlage für Noris Fundamentalgruppe} {} {.}
Um den treuflachen Abstieg auf die Situation einer Gruppenoperation anwenden zu können, ist das folgende kommutative Diagramm entscheidend.
\mathdisp {\begin{matrix} Y \times_X Y \times_X Y & \stackrel{q_{ij} } { \longrightarrow } & Y \times_X Y & \stackrel{p_i}{\longrightarrow} & Y \\ p_1 \times \mu_2 \times \mu_3 {\uparrow} \,\,\,\, \,\,\,\,\, \,\,\,\,\,\, \,\,\, \,\,\,\,\, \,\,\,\,\, \,\,\,\,\, & & \,\,\,\,\, \,\,\,\,\, \,\,\,\,\, \uparrow p_1 \times \mu & & \,\,\,\,\, \uparrow {\rm id} \\ Y \times H \times H & \stackrel{\varphi_{ij} }{\longrightarrow} & Y \times H & \stackrel{p_1, \mu }{\longrightarrow} & Y \, . \end{matrix}} { }
Dabei schreiben wir $\mu_2$
\zusatzklammer {$\mu_3$} {} {}
für die Operation $\mu$ auf der ersten und zweiten
\zusatzklammer {ersten und dritten} {} {}
Komponente. Die Abbildungen unten links sind
\mathdisp {\varphi_{12}(y,g,h) =(y,g),\, \varphi_{13}(y,g,h) =(y,h),\, \varphi_{23}(y,g,h)=(gy,g^{-1}h)} { }
\zusatzklammer {diese kommutieren mit den \mathlk{p_{ij}}{}} {} {.}
Sei
\mathl{Y \times W}{} ein triviales Bündel
\zusatzklammer {also \mathlk{W={\mathbb A}^r}{}} {} {} über $Y$ und sei ein $Y\times H$-Isomorphismus
\maabbdisp {\Phi} {p_1^* ( Y \times W) = Y \times H \times W} { \mu^*(Y \times W) = (Y \times H) \times_{\mu, Y} (Y \times W)
} {}
gegeben. Diese Abbildung ist in der
\mathl{Y \times H}{-}Komponente die Identität und hängt damit allein von der Abbildung nach
\mathl{Y \times W}{} ab. Da es eine Abbildung über $Y$ ist, muss die Abbildung nach $Y$ gleich $\mu$ sein, so dass der Morphismus $\Phi$ allein durch
\maabbdisp {} {Y \times H \times W} {W
} {}
festgelegt ist. Wenn weiter $Y$ projektiv und zusammenhängend ist, so faktorisiert, da
\mathkor {} {H} {und} {W} {} affine Schemata sind, diese Abbildung durch
\mathl{H \times W}{.} Es liegt dann eine
\zusatzklammer {nicht notwendigerweise lineare} {} {}
Gruppenoperation vor. Das absteigende Schema wird in diesem Fall durch den Quotienten im Sinne der Invariantentheorie beschrieben, d.h. die absteigenden Schnitte sind die Schnitte, die unter der Gruppenoperation auf sich selbst abgebildet werden.
\inputfaktbeweis
{Etale trivialisierbar/Projektiv/Nicht trivial/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $X$ eine projektive zusammenhängende Varietät über einem algebraisch abgeschlossenen Körper $K$. Es sei
\maabbdisp {} {\pi_1^{\rm \acute{e}t}( X, x) } { \operatorname{GL}_{ r } \! { \left( K \right) }
} {}
eine nichttriviale lineare Darstellung der \'{e}talen Fundamentalgruppe
\mathl{\pi_1^{\rm \acute{e}t}( X, x)}{.}}
\faktfolgerung {Dann ist das gemäß
Satz 4.2
zugehörige Vektorbündel $E$ auf $X$ nichttrivial.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus Satz 4.2.
Wir geben noch einen Beweis, der sich stärker an der Invariantentheorie orientiert. Sei
\maabbdisp {\varphi} {Y} {X
} {}
die \'{e}tale Überlagerung mit der Galoisgruppe $H$ und der linearen äquivarianten Operation von $H$ auf
\mathl{Y \times {\mathbb A}^r}{,} die der Darstellung entspricht, und sei $E$ das zugehörige Bündel auf $X$. Die Schnitte in $E$ über $X$ entsprechen den $H$-invarianten Schnitten von ${\mathbb A}^r$ über $Y$. Da $Y$ projektiv und zusammenhängend ist, liegt die Beziehung
\mathdisp {\Gamma(X,E) = \Gamma (Y, {\mathbb A}^r)^H \subseteq \Gamma(Y, {\mathbb A}^r)=K^r} { }
vor. Wir zeigen, dass nicht alle globalen Schnitte $H$-invariant sind. Dann besitzt $E$ weniger als $r$ linear unabhängige globale Schnitte und kann daher nicht trivial sein. Da die Darstellung nichttrivial ist, gibt es ein
\mathl{h \in H}{,} das nicht wie die Identität operiert. Dann gibt es aber auch einen Vektor
\mathl{v \in K^n}{} mit
\mathl{hv \neq v}{.} Der entsprechende konstante Schnitt in
\mathl{{\mathbb A}^r}{} über $Y$ ist nicht $H$-invariant.
\inputbeispiel{}
{
Wir betrachten die durch
\mathl{s \mapsto s^n=t}{} definierte endliche \'{e}tale Abbildung
\maabbdisp {} {Y = {\mathbb A}^\times } {X = {\mathbb A}^\times
} {.}
Es sei
\mathl{\mu_n}{} die Gruppe der $n$-ten Einheitswurzeln, die in natürlicher Weise aus $Y$ operiert und deren Quotient $X$ ist
\zusatzklammer {$n$ sei kein Vielfaches der Charakteristik} {} {.} Die Operation lässt sich auf das triviale Geradenbündel
\mathl{Y \times {\mathbb A}^1}{} fortsetzen, z.B. durch
\mathdisp {\zeta \ast (s,v) =( \zeta s, \zeta v)} { . }
Da die affine Gerade das einzige Geradenbündel auf $X$ ist, muss gemäß dem flachen Abstieg der Quotient dieser Operation auf dem Bündel gleich dem trivialen Bündel sein, obwohl die Operation nicht trivial \anfuehrung{aussieht}{.} Der Punkt ist, dass diese Operation isomorph zur \zusatzklammer {in der Bündelkomponente} {} {}
trivialen Operation ist. Die Operation
\mathdisp {\zeta \cdot (s,u) = (\zeta s, u)} { }
wird nämlich durch die Bündelisomorphie
\mathl{u \mapsto s^{-1} v,\, v \mapsto s u}{} in die erste Operation überführt.
Wenn man
\mathkor {} {X} {und} {Y} {}
durch die affinen Geraden
\mathkor {} {\tilde{X} = {\mathbb A}^1} {und} {\tilde{Y} = {\mathbb A}^1} {} ersetzt, so ist die durch
\mathl{s \mapsto s^n=t}{} gegebene Abbildung ebenfalls treuflach, aber nicht mehr \'{e}tale. Dies bedeutet insbesondere, dass kein Isomorphismus zwischen
\mathkor {} {\tilde{Y} \times_{\tilde{X} } \tilde{Y}} {und} {\tilde{Y} \times H} {}
vorliegt. In der Tat ist ja
\mathl{\tilde{Y} \times H}{} die
\mathl{{ \# \left( H \right) }}{-}fache disjunkte Kopie von $\tilde{Y}$, während
\mavergleichskettealign
{\vergleichskettealign
{ \tilde{Y} \times_{\tilde{X} } \tilde{Y}
}
{ =} { \operatorname{Spec} { \left( K[s] \otimes_{K[t]} K[s] \right) }
}
{ =} { \operatorname{Spec} { \left( K[s, \tilde{s},t]/(s^n -t, \tilde{s}^n -t) \right) }
}
{ =} { \operatorname{Spec} { \left( K[s, \tilde{s}]/(s^n - \tilde{s}^n ) \right) }
}
{ } {
}
}
{}
{}{}
\zusatzklammer {bei $K$ algebraisch abgeschlossen} {} {}
die Vereinigung von $n$ Geraden im Nullpunkt ist.
In Folge dieses Unterschieds fallen auch die Abstiegsbedingung und die Invariantenbedingung auseinander. Es gibt nach wie vor nur das triviale Geradenbündel auf $\tilde{Y}$ mit der trivialen Operation und dem trivialen Abstieg.
Die Operationen $\ast$ von
\mathl{\mu_n}{} auf
\mathl{\tilde{Y} \times {\mathbb A}^1}{} ist nicht mehr isomorph zur trivialen Operation, die oben über $Y$ angegebene Isomorphie bricht zusammen, da $s^{-1}$ nicht mehr zur Verfügung steht. Die nicht-triviale Operation erfüllt nicht mehr die Verträglichkeitsbedingung und hat daher keinen Abstieg.
Das Quotientenschema
\zusatzklammer {im Sinne der Invariantentheorie, also das Spektrum des Invariantenrings} {} {} ist für
\mathl{n \geq 2}{} kein Geradenbündel über $X$, sondern enthält über dem Nullpunkt eine nichtreduzierte Faser mit einer Singularität. Der Invariantenring der Operation ist
\mathdisp {K[s,v]^{\mu_n} = K[s^n,s^{n-1}v , \ldots , sv^{n-1}, v^n]} { , }
der als
\mathl{K[s^n]=K[t]}{-}Algebra zu betrachten ist. Wenn man
\mathl{t=s^n}{} invertiert, so kann man
\mathl{s^{n-i} v^{i} = ( s^{-n})^{i-1} (s^{n-1}v)^i}{} für
\mathl{i \geq 2}{} schreiben und erhält das triviale Geradenbündel zu den Koordinaten
\mathkor {} {s^n} {und} {s^{n-1}v} {.}
Bei
\mathl{n=2}{} handelt es sich bei der Operation $\ast$ um die Punktspiegelung der affinen Ebene
\mathl{{\mathbb A}^1 \times {\mathbb A}^1}{} am Nullpunkt über der Punktspiegelung der affinen Geraden
\mathl{\tilde{Y} ={\mathbb A}^1}{.} Dabei wird die Faser über dem Nullpunkt auf sich selbst abgebildet
\zusatzklammer {aber \anfuehrung{umgeklappt}{}} {} {.}
Für den Invariantenring liegt die Situation
\mathl{K[t] \subseteq K[s^2,sv,v^2] \cong K[a,b,c]/(a c-b^2)}{} vor
\zusatzklammer {mit \mathlk{a=t=s^2, \, b=sv, \, c=v^2}{.}} {} {,} wobei die Faser zu
\mathl{a=0}{} durch
\mathl{K[b,c]/(b^2)}{} beschrieben wird, also nicht reduziert ist. Der Rückzug dieses Schemas nach $\tilde{Y}$ ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \operatorname{Spec} { \left( ( K[t] \otimes_{K[s]} K[a,b,c]/(ac-b^2) ) \right) }
}
{ =} { \operatorname{Spec} { \left( K[t,s,a,b,c]/(tc-b^2,t-s^2,a-s^2) \right) }
}
{ =} { \operatorname{Spec} { \left( K[s,b,c]/(s^2 c-b^2) \right) }
}
{ } {
}
{ } {
}
}
{}
{}{.}
Dies ist ein nicht normales Schema und insbesondere nicht isomorph zur affinen Gerade
\zusatzklammer {wie dies bei der Abstiegskorrespondenz wäre} {} {,} und die Faser über
\mathl{s=0}{} ist nicht reduziert. Da dieses Schema von $\tilde{X}$ herkommt, erfüllt es wiederum die Abstiegsbedingung.
}
\inputbeispiel{}
{
Es sei $S$ ein kommutativer Ring der positiven Charakteristik $p$ und sei
\mathl{S[u,v]}{} der Polynomring in zwei Variablen über $S$, wodurch das triviale Vektorbündel
\maabbdisp {} {Y \times {\mathbb A}^2 = \operatorname{Spec} { \left( S[u,v] \right) } } {Y = \operatorname{Spec} { \left( S \right) }
} {}
über
\mathl{\operatorname{Spec} { \left( S \right) }}{} beschrieben wird. Wir betrachten den durch
\mathdisp {u \longmapsto u + v^n,\, v \longmapsto v} { , }
beschriebenen $Y$-Automorphismus $\theta$ von
\mathl{Y \times {\mathbb A}^2}{} mit fixiertem $n$. Bei
\mathl{n \geq 2}{} ist dies kein Vektorbündelisomorphismus. Wegen
\mathl{\theta^{i}(u)= u +iv^n}{} ist die Ordnung dieses Automorphismus gleich $p$. Dieser Automorphismus gibt also Anlass zu einer nicht-linearen Operation von
\mathl{H = \Z/(p)}{} auf dem trivialen Bündel vom Rang zwei
\zusatzklammer {zu den invarianten Polynomen gehört neben $v$ auch \mathlk{\prod_{i=0}^{p-1}(u+iv^n)}{.}} {} {.}
Wenn zusätzlich $H$ fixpunktfrei auf $Y$ operiert mit dem Quotienten $X$
\zusatzklammer {so dass also
\maabbdisp {\varphi} {Y} {X
} {} \'{e}tale ist; solche Beispiele gibt es} {} {,} so steigt
\mathl{{\mathbb A}^2_Y}{} ab zu einem Schema $E$ über $X$, das aber kein Vektorbündel ist.
Im Gegensatz zu den linearen Operationen einer endlichen Gruppe lässt sich dieser Typ auch deformieren, man denke an die von
\mathl{g \in S}{} abhängige, durch
\mathl{u \mapsto u +g v^n,\, v \mapsto v}{,} gegebene Operation.
}
\inputbemerkung
{}
{
Ein Vektorbündel $E$ auf $X$ wird durch eine offene Überdeckung
\mathl{X=\bigcup_{i \in I} U_i}{} mit lokalen verträglichen Identifizierungen
\mathl{E {{|}}_{U_i} \cong {\mathbb A}^r_{U_i}}{} beschrieben. Die über
\mathl{U_{ij} = U_i \cap U_j}{} gegebenen Übergangsabbildungen
\mathl{\varphi_{ij} \in \operatorname{GL}_{ r } \! { \left( \Gamma(U_{ij}, {\mathcal O}_X \right) })}{} definieren eine ${\rm \check{C} }$ech-Kohomologieklasse und somit ein Element in der nicht-abelschen Kohomologie
\mathl{H^1(X, \operatorname{GL}_{ r } \! { \left( - \right) })}{}
\zusatzklammer {das ist lediglich eine Menge, die die Isomorphieklassen von Vektorbündeln repräsentiert, aber keine Gruppe} {} {.}
Es ist verlockend zu vermuten, dass die durch eine galoissche Überlagerung
\maabbdisp {\varphi} {Y} {X
} {}
mit Galoisgruppe $G$ trivialisierbaren Vektorbündel $E$ durch Kohomologieklassen
\mathl{c \in H^1(X, \operatorname{GL}_{ r } \! { \left( - \right) })}{} repräsentiert werden, die von einer Klasse
\mathl{\tilde{c} \in H^1(X, G)}{} via einer Darstellung
\maabbdisp {} {H^1(X, G) } {H^1(X, \operatorname{GL}_{ r } \! { \left( - \right) })
} {}
herrühren. Bei einem integren Schema $X$ besitzt aber eine endliche Gruppe $G$ auf jeder offenen Menge nur die konstanten Schnitte, so dass die Kohomologiemenge
\mathl{H^1(X, G)}{} in der Zariski-Topologie trivial ist.
Dies ändert sich, wenn man statt mit der Zariski-Topologie mit der \'{e}talen oder der treuflachen Topologie arbeitet. Die Menge
\mathl{H^1(X_{\rm \acute{e}t}, G)}{} klassifiziert die \'{e}talen $G$-Hauptfaserbündel über $X$. Wenn eine Darstellung
\maabbdisp {\rho} {G} { \operatorname{GL}_{ r } \! { \left( K \right) }
} {}
und ein \'{e}tales $G$-Hauptfaserbündel
\maabbdisp {\varphi} {Y} {X
} {}
gegeben ist, so wird die zugehörige Klasse
\mathl{\tilde{c} \in H^1(X_{\rm \acute{e}t}, G)}{} auf $Y$ zu $0$, und dasselbe gilt für die Kohomologieklasse
\mathl{c= \rho(\tilde{c}) \in H^1(X_{\rm \acute{e}t}, \operatorname{GL}_{ r } \! { \left( K \right) }) = H^1(X, \operatorname{GL}_{ r } \! { \left( K \right) })}{}
\zusatzklammer {Vektorbündel in der Zariski- und in der \'{e}talen Topologie sind äquivalent} {} {,}
so dass das durch $c$ repräsentierte Vektorbündel
\mathl{E(c)}{} auf $X$ über $Y$ trivialisiert.
}