The Cassels-Tate pairing for finite Galois modules
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911195696463872 |
|---|---|
| author | Morgan, Adam Smith, Alexander |
| author_facet | Morgan, Adam Smith, Alexander |
| contents | Given a global field $F$ with absolute Galois group $G_F$, we define a category $SMod_F$ whose objects are finite $G_F$-modules decorated with local conditions. We define this category so that `taking the Selmer group' defines a functor $Sel$ from $SMod_F$ to $Ab$. After defining a duality functor $\vee$ on $SMod_F$, we show that every short exact sequence $0 \to M_1 \to M \to M_2 \to 0$ in $SMod_F$ gives rise to a natural bilinear pairing $$Sel (M_2) \times Sel (M_1^{\vee}) \to \mathbb{Q}/\mathbb{Z}$$ whose left and right kernels are the images of $Sel (M)$ and $Sel (M^{\vee})$, respectively. This generalizes the Cassels--Tate pairing defined on the Shafarevich--Tate group of an abelian variety over $F$ and results in a flexible theory in which pairings associated to different exact sequences can be readily compared to one another. As an application, we give a new proof of Poonen and Stoll's results concerning the failure of the Cassels--Tate pairing to be alternating for principally polarized abelian varieties and extend this work to the setting of Bloch--Kato Selmer groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2103_08530 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | The Cassels-Tate pairing for finite Galois modules Morgan, Adam Smith, Alexander Number Theory 11R34 (Primary), 11G10, 11R37 (Secondary) Given a global field $F$ with absolute Galois group $G_F$, we define a category $SMod_F$ whose objects are finite $G_F$-modules decorated with local conditions. We define this category so that `taking the Selmer group' defines a functor $Sel$ from $SMod_F$ to $Ab$. After defining a duality functor $\vee$ on $SMod_F$, we show that every short exact sequence $0 \to M_1 \to M \to M_2 \to 0$ in $SMod_F$ gives rise to a natural bilinear pairing $$Sel (M_2) \times Sel (M_1^{\vee}) \to \mathbb{Q}/\mathbb{Z}$$ whose left and right kernels are the images of $Sel (M)$ and $Sel (M^{\vee})$, respectively. This generalizes the Cassels--Tate pairing defined on the Shafarevich--Tate group of an abelian variety over $F$ and results in a flexible theory in which pairings associated to different exact sequences can be readily compared to one another. As an application, we give a new proof of Poonen and Stoll's results concerning the failure of the Cassels--Tate pairing to be alternating for principally polarized abelian varieties and extend this work to the setting of Bloch--Kato Selmer groups. |
| title | The Cassels-Tate pairing for finite Galois modules |
| topic | Number Theory 11R34 (Primary), 11G10, 11R37 (Secondary) |
| url | https://arxiv.org/abs/2103.08530 |