Skip to main content

Timeline for $p$-divisibility of Picard groups

Current License: CC BY-SA 4.0

9 events
when toggle format what by license comment
Aug 18, 2023 at 11:39 comment added Boaz Moerman @naf Could you turn this into an answer (together with your other comment)? I am not too familiar with spectral sequences, so I have to look into it more, but your argument looks good and solves the important case when $C$ is smooth. Do you also happen to know a way to handle regular curves?
Aug 18, 2023 at 11:34 comment added Boaz Moerman Thank you for your answer! I had thought that using something using étale group schemes could be useful, but I had missed this argument.
Aug 18, 2023 at 10:53 comment added R. van Dobben de Bruyn @naf you could turn that into an answer!
Aug 18, 2023 at 4:28 comment added naf The assumption on $k$ implies that the image of $\mathrm{Gal}(k^{\mathrm{sep}}/k)$ in the automorphisms of $A[\ell]$ has order prime to $\ell$. One can then use the Hoschschild--Serre spectral sequence to show that $H^1(k,A[\ell])$ vanishes.
Aug 18, 2023 at 1:50 history undeleted R. van Dobben de Bruyn
Aug 18, 2023 at 1:50 history edited R. van Dobben de Bruyn CC BY-SA 4.0
Removed faulty lemma.
Aug 18, 2023 at 1:26 history deleted R. van Dobben de Bruyn via Vote
Aug 18, 2023 at 0:52 history edited R. van Dobben de Bruyn CC BY-SA 4.0
Added a positive result under the 'Kummer theory' assumption.
Aug 18, 2023 at 0:14 history answered R. van Dobben de Bruyn CC BY-SA 4.0