Beringter Raum/Modulgarben/Homomorphismenmodulgarbe/Garbe/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Es liegt die Beziehung

vor, und rechts steht nach Fakt eine Garbe. Die Homomorphieeigenschaft, also die Verträglichkeit mit der Addition und der Skalarmultiplikation, kann man dabei lokal testen (siehe Aufgabe), so dass links eine Untergarbe steht. Die -Struktur auf wird durch die Addition und Skalarmultiplikation in der zweiten Komponente gegeben, und dies ist mit den Einschränkungen verträglich.

Zur bewiesenen Aussage