Picard 群

複素多様体 $X$ 上の正則直線束の正則な同型類の全体を $\operatorname{Pic}(X)$ と書く。テンソル積を積、自明束 $X\times\mathbb{C}$ の類を単位元、双対を逆元として、$\operatorname{Pic}(X)$ は可換群になる。これを Picard 群という。