Let $X$ be a (say, complex) toric variety acted upon by a torus $T$ and defined by a fan $\Sigma$ in the cocharacter lattice $N=\mathrm{Hom}(\mathbb{C}^\times, T)$, and let $M$ be the character lattice. For any cone $\sigma \in \Sigma$ put $M(\sigma) = \sigma^\perp \cap M$, $N(\sigma) = \mathrm{Hom}(M(\sigma), \mathbb{C}^\times)$. There is a natural projection $N \to N(\sigma)$. Then the closure of the orbit corresponding to $\sigma$ has the structure of a toric variety with respect to the quotient torus with the cocharacter lattice $N/N(\sigma)$ and given by the fan $Star(\sigma)$ consisting of the images in $N(\sigma)$ of the cones of $\Sigma$ containing $\sigma$. Note that the closed embedding $X\_{Star(\sigma)} \to X$ is generally not a toric morphism, since the dense toric orbit of $X\_{Star(\sigma)}$ does not intersect the dense toric orbit of $X$.


My question is: is there a way to describe the restriction map $\mathrm{Pic}(X) \to \mathrm{Pic}(X\_{Star(\sigma)})$ in terms of the fans $\Sigma$ and $Star(\sigma)$?



the map on Picard groups induced by restriction to a toric subvariety
A toric Cartier divisor $D$ is given by the Cartier data $\{m\_\sigma\}\_{\sigma \in \Sigma}$ [CLS, Theorem 4.2.8] where for each affine open chart $U\_\sigma$, the toric coordinate $x^{-m\_\sigma}$ is the equation for $D \cap U\_\sigma$. One way to visualize Cartier data is to consider $\{m\_\sigma\}$ as a piece-wise linear function on the support of the fan $|\Sigma| \subset N\_\mathbf{R}$ [CLS, Theorem 4.2.12].


Adding a fixed $m \in M$ to each $m\_\sigma$ does not change the linear equivalence class of $D$, and in fact $\mathrm{Pic}(X)$ consists of equivalence classes of the Cartier data.


To restrict $D$ to an orbit closure $V(\tau)$, we need to assume that $\mathrm{Supp}(D) \not\supset V(\tau)$. It follows from definitions that this condition is equivalent to $m\_\tau = 0$, and subtracting $m\_\tau$ from each component $m\_\sigma$ we can assume that this is the case. Geometrically this means to move the divisor away from the given stratum.


Finally, under the assumption $m\_\tau = 0$, the Cartier data $\{m\_\sigma\}$ naturally restricts to Cartier data on $\mathrm{Star}(\tau)$! Indeed, in terms of piece-wise linear functions on $N$, the function given by $\{m\_\sigma\}$, for $\sigma$ containing $\tau$ vanishes on $N(\sigma)$, and hence restricts to a piece-wise linear function on $N / N(\sigma)$.


**References.** [CLS] Cox-Little-Schenck "Toric Varieties"


**Credits.** This question was discussed in the Sheffield Algebraic Geometry Learning Seminar.


