Zum Inhalt springen

Endlicher Raum/3 Punkte/Einer generisch/Generisch Z/Kohomologie/Beispiel

Aus Wikiversity

Wir betrachten den topologischen Raum  X={a,b,c}  mit den offenen Mengen ,X,U={a,c},V={b,c},UV={c}. Dieser Raum besitzt die beiden abgeschlossenen Punkte a und b, er ist irreduzibel und c ist der generische Punkt. Abgesehen von der leeren Menge bilden die offenen Mengen das Inklusionsdiagramm

XUVUV.

Eine Garbe von kommutativen Gruppen auf X ist gegeben, wenn man diesen Teilmengen Gruppen und Restriktionshomomorphismen zuweist (und die Verträglichkeitsbedingung überprüft). Wir betrachten die Garbe , die durch

000

gegeben ist. Diese kann man in die konstante Garbe (mit Identitäten)

einbetten. Die Quotientengarbe 𝒢/ ist durch

×p2p10

gegeben. Die Werte für UV,U,V ergeben sich direkt durch Restklassenbildung, die Vergarbung hat keinen Effekt, und für X ergibt sich das Produkt ×, da die Schnitte über U und V automatisch verträglich sind. Somit ist die globale Abbildung

Γ(X,𝒢)=Γ(X,𝒢/)=×

nicht surjektiv, die lange exakte Kohomologiesequenz ist vielmehr

00×δH1(X,)=0.

Hierbei geht vorne n(n,n) und hinten (r,s)(rs) (das folgt aus der Exaktheit).