# Picardgruppe

Die Picardgruppe ist ein Begriff aus den mathematischen Teilgebieten der kommutativen Algebra und der algebraischen Geometrie. Sie ist eine wichtige Invariante von kommutativen Ringen mit Eins und Schemata. Benannt ist sie nach dem Mathematiker Émile Picard.
Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

## Die Picardgruppe von Ringen
### Definition

Ist $M$ ein Modul über einem Ring $R$, so wird $M$ projektiv vom Rang 1 genannt, wenn er projektiv ist und lokal vom Rang 1 ist, wenn also für alle Primideale von $R$ gilt:
    $M_{p}\cong R_{p}$
Sind $M$ und $N$ projektiv vom Rang 1, dann auch
    $M\otimes N$
und der duale Modul
    $M^{\vee }:=\operatorname {Hom} _{R}(M,R)$
Es gilt:
    $M\otimes M^{\vee }\cong R$
und
    $M\otimes R\cong M$
Die Isomorphieklassen von projektiven Moduln vom Rang 1 über einem Ring $R$ bilden daher eine Gruppe. Diese wird als Picardgruppe bezeichnet.

### Eigenschaften
#### Pic als Funktor

Ein Ringhomomorphismus
    $f\colon A\to B$
induziert einen Gruppenhomomorphismus
    $\mathrm {Pic} (f)\colon \mathrm {Pic} (A)\to \mathrm {Pic} (B)$
    $\mathrm {Pic} (f)\colon P\mapsto P\otimes _{A}B$
denn durch $f$ wird $B$ zu einer $A$-Algebra. Ist $P$ ein projektiver Modul vom Rang 1 über $A$, so ist
    $P\otimes _{A}B$
ein projektiver Modul vom Rang $1$ über $B$.
$\mathrm {Pic}$ ist ein kovarianter Funktor.

#### Die Picardgruppe und die Idealklassengruppe

Im Folgenden sei $S$ eine multiplikative Menge ohne Nullteiler. (Eine Menge $S$ ist multiplikativ, wenn $1\in S$ und $r,s\in S\Rightarrow rs\in S$.) Ein $S$-Ideal ist ein $A$-Untermodul $I$ von $S^{-1}$, für das es ein Element $s\in S$ gibt, sodass
    $sA\subset M\subset s^{-1}I$
Bezeichne
    $\mathrm {Inv} (A,S)$
die Menge der invertierbaren S-Ideale von $A$ und
    $\mathrm {H} (A,S):=\{I\in \mathrm {Inv} (A,S)|\exists x\in S^{-1}AI=Ax\}$
die Menge der invertierbaren Hauptideale.
    $\mathrm {Inv} (A,S)/\mathrm {H} (A,S)$
wird als die $S$-Idealklassengruppe bezeichnet.
Es existiert eine exakte Folge:
    $0\longrightarrow \mathrm {H} (A,S)\longrightarrow \mathrm {Inv} (A,S)\longrightarrow \mathrm {Pic} (A)\longrightarrow \mathrm {Pic} (S^{-1}A)$
Um also die Picardgruppe als Idealklassengruppe darzustellen, muss eine multiplikative Menge ohne Nullteiler gefunden werden, sodass
    $\mathrm {Pic} (S^{-1}A)=0$
ist.
Wenn eine der folgenden Bedingungen erfüllt ist:
* $A$ ist ein Integritätsring und $S=A\backslash \{0\}$
* $A$ ist ein reduzierter Ring, der nur endlich viele minimale Primideale $\{p_{1},\dots ,p_{n}\}$ hat und
    $S=A\backslash \bigcup _{i=1}^{n}p_{i}$
* $A$ ist noethersch und
    $S=A\backslash \bigcup _{p\in Ass(A)}p$
Dann ist die Picardgruppe von $A$ gleich der $S$-Idealklassengruppe von $A$.

## Die Picardgruppe eines Schemas
### Definition

Die Definition für Ringe lässt sich auf geringte Räume, insbesondere auf Schemata übertragen.
Eine invertierbare Garbe eines geringten Raumes ist eine lokal freie Modulgarbe vom Rang 1.
Sind ${\mathcal {L}}$ und ${\mathcal {M}}$ invertierbare Garben auf einem geringten Raum, dann ist auch ${\mathcal {L}}\otimes {\mathcal {M}}$ eine invertierbare Garbe. Außerdem gibt es eine invertierbare Garbe
    ${\mathcal {L}}^{\vee }={\mathcal {H}}{\mathit {om}}({\mathcal {L}},{\mathcal {O}}_{X})$
sodass
    ${\mathcal {L}}^{\vee }\otimes {\mathcal {L}}\cong {\mathcal {O}}_{X}$
Ferner gilt:
    ${\mathcal {L}}\otimes {\mathcal {O}}_{X}\cong {\mathcal {L}}$
Die Picardgruppe eines geringten Raumes, insbesondere eines Schemas, ist die Gruppe der Isomorphismenklasse von invertierbaren Garben mit dem Tensorprodukt als Verknüpfung.

### Eigenschaften

Die Picardgruppe ist isomorph zur ersten Kohomologiegruppe:
    $\mathrm {H} ^{1}(X,{\mathcal {O}}_{X}^{*})$

### Beispiel

Ist
    $X=\mathbf {P_{k}^{n}}$
der projektive Raum über einem Körper, so ist
    $\mathrm {Pic} (X)\cong \mathbb {Z}$