Invertierbare Garbe

Eine invertierbare Garbe ist im mathematischen Teilgebiet der Garbentheorie eine Modulgarbe über einem geringten Raum, welche bezüglich des Tensorproduktes von Modulgarben eine inverse Modulgarbe besitzt. Unter der Verallgemeinerung von Vektorbündeln durch kohärente Garben entsprechen die invertierbaren Garben genau den Geradenbündeln, für welche komplett analog bezüglich des Tensorproduktes von Vektorbündeln ein inverses Geradenbündel existiert.

Definition

Sei $(X,{𝒪}_X)$ ein geringter Raum und $ℱ$ eine ${𝒪}_X$-Modulgarbe. $ℱ$ wird invertierbar genannt, wenn die folgenden äquivalenten Bedingungen erfüllt sind:

• Es gibt eine kohärente ${𝒪}_X$-Modulgarbe $𝒢$ mit $ℱ{\otimes }_{{𝒪}_X}𝒢\cong {𝒪}_X$
• Die kanonische Abbildung $ℱ{\otimes }_{{𝒪}_X}{ℱ}^{\vee }\to {𝒪}_X$ mit der dualen Garbe ${ℱ}^{\vee }=\underset{\_}{\mathrm{Hom}}(ℱ,{𝒪}_X)$ ist ein Isomorphismus.
• Der Endofunktor $ℱ{\otimes }_{{𝒪}_X}-:𝐒𝐡(X,{𝒪}_X)\to 𝐒𝐡(X,{𝒪}_X)$ mit der Kategorie $𝐒𝐡(X,{𝒪}_X)$ der ${𝒪}_X$-Modulgarben ist eine Kategorienäquivalenz.

Über lokal geringten Räumen sind die invertierbaren Garben genau die lokal freien Garben ersten Ranges.

Eigenschaften

• Tensorprodukte von invertierbaren Modulgarben sind invertierbare Modulgarben.
• Invertierbare Modulgarben über Schemata sind quasikohärent.

Picard-Gruppe

Vorlage:HauptartikelInvertierbare Garben über einem Schema bilden eine Gruppe, die als Picardgruppe bezeichnet wird. Für ein Schema $(X,{𝒪}_X)$ ist diese gegeben durch die erste Garbenkohomologie:

$\mathrm{Pic}(X):=H^1(X,{𝒪}_X^{*}).$

Literatur

• Vorlage:Cite book

Weblinks

• Invertible sheaves auf dem Stacks Project (englisch)