ScalingStacks

Corollary 1.2.2. [04MD]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Corollary 1.2.2.

Let ul=(ul,1,…,ul,r)u_{l}=(u_{l,1},\ldots,u_{l,r}) for l∈{1,…,s}l\in\{1,\ldots,s\}. Then Pic⁡(Z)\Pic(Z) is generated by the line bundles 𝒪Z​(Zl)\mathcal{O}_{Z}(Z_{l}), with the rr relations:

𝒪Z​(∑l=1mul,1​Zl)=…=𝒪Z​(∑l=1mul,r​Zl)=0.\mathcal{O}_{Z}(\sum_{l=1}^{m}u_{l,1}Z_{l})=\ldots=\mathcal{O}_{Z}(\sum_{l=1}^{m}u_{l,r}Z_{l})=0.

In particular, the divisors in the rr-tuple

Δ=∑l∈Lul⊗Zl∈N⊗Div𝕋⁡(Z)≃(Div𝕋⁡(Z))r\Delta=\sum_{l\in L}u_{l}\otimes Z_{l}\,\in\,N\otimes\Div^{\mathbb{T}}(Z)\simeq(\Div^{\mathbb{T}}(Z))^{r}

are principal.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.