Skip to main content
7 events
when toggle format what by license comment
Jan 18, 2021 at 10:55 comment added Mikhail Borovoi You are right. Now ${\frak X}(G)$ is a free abelian group of rank 2 with generators $d=\det g$ and $d'=\det g'$. The restriction map sends $d$ to $d_A+d_D$ and it sends $d'$ to $d'_A+d'_D$. Since ${\rm Pic}\, X_k\cong{\rm coker}[{\frak X}(G)\to{\frak X}(H)]$, in the case $n>k$, $n'>k$ we obtain ${\rm Pic}\, X_k\simeq {\Bbb Z}^2$.
Jan 18, 2021 at 10:03 comment added user114666 I think that looking at the cokernel $d_D,d'_{D}$ should not appear anymore.
Jan 18, 2021 at 10:01 comment added Mikhail Borovoi No. Then ${\frak X}(H)$ is generated by $d_D,\ d'_D,\ d_A,\ d'_A,\ \lambda$ with one relation $d_A+d'_A=k\lambda$, and hence ${\rm Pic}\, X_k\simeq {\Bbb Z}^4$.
Jan 18, 2021 at 9:42 comment added user114666 Thank you very much. If we take $G = GL(n)\times GL(n')$ instead of $G = SL(n)\times SL(n')$ as in your previous answer then in the case $k < n$ and $k < n'$ we have that the Picard group is generated by $d_{A},d_{A'},\lambda$ with the relation $d_{A}+d_{A'} = k\lambda$ right?
Jan 18, 2021 at 8:22 history edited Mikhail Borovoi CC BY-SA 4.0
added 21 characters in body
Jan 18, 2021 at 8:14 history edited Mikhail Borovoi CC BY-SA 4.0
Mistakes corrected.
Jan 18, 2021 at 7:59 history answered Mikhail Borovoi CC BY-SA 4.0