Skip to main content
10 events
when toggle format what by license comment
May 6, 2023 at 20:19 vote accept user14411
May 5, 2023 at 11:27 history edited Mikhail Borovoi CC BY-SA 4.0
A new proof written, covering the general case
Apr 22, 2023 at 21:04 comment added user14411 Thanks for your answer. In the definition of $V^*(1)$, we view $V^*=Hom_{\mathbb F}(V,\mathbb F)$ as a $\mathbb Z_p$-module by letting $\mathbb Z_p$ acts on $\mathbb F$ via $\mathbb Z_p\to \mathbb F_p\to \mathbb F$. In case it helps, this statement of local Tate duality appears on p.32 of link, though his notation is slightly different from mine.
Apr 22, 2023 at 17:33 comment added Mikhail Borovoi I cannot treat the case of $q=p^l$ when $l>1$ because I don't understand your definition of $V^*(1)$. Try to unravle the definition and to construct a $G_K$-equivariant bilinear pairing $$V\times V^*(1) \to \mu_q. $$
Apr 22, 2023 at 17:12 history edited Mikhail Borovoi CC BY-SA 4.0
added 11 characters in body
Apr 22, 2023 at 17:01 history edited Mikhail Borovoi CC BY-SA 4.0
deleted 54 characters in body
Apr 22, 2023 at 16:15 history undeleted Mikhail Borovoi
Apr 22, 2023 at 16:14 history edited Mikhail Borovoi CC BY-SA 4.0
added 350 characters in body
Apr 22, 2023 at 15:51 history deleted Mikhail Borovoi via Vote
Apr 22, 2023 at 15:45 history answered Mikhail Borovoi CC BY-SA 4.0