The local Picard group of a ring extension (2306.15439v1)

Abstract: Given an integral domain $D$ and a $D$-algebra $R$, we introduce the local Picard group $\mathrm{LPic}(R,D)$ as the quotient between the Picard group $\mathrm{Pic}(R)$ and the canonical image of $\mathrm{Pic}(D)$ in $\mathrm{Pic}(R)$, and its subgroup $\mathrm{LPic}_u(R,D)$ generated by the the integral ideals of $R$ that are unitary with respect to $D$. We show that, when $D\subseteq R$ is a ring extension that satisfies certain properties (for example, when $R$ is the ring of polynomial $D[X]$ or the ring of integer-valued polynomials $\mathrm{Int}(D)$), it is possible to decompose $\mathrm{LPic}(R,D)$ as the direct sum $\bigoplus\mathrm{LPic}(RT,T)$, where $T$ ranges in a Jaffard family of $D$. We also study under what hypothesis this isomorphism holds for pre-Jaffard families of $D$.