Selmer group

The Selmer group of an abelian variety A with respect to an isogeny f : A → B of abelian varieties can be defined in terms of Galois cohomology as

:$\backslash operatorname\{Sel\}^\{(f)\}(A/K)=\backslash bigcap\_v\backslash ker(H^1(G\_K,\backslash ker(f))\; \backslash rightarrow\; H^1(G\_\{K\_v\},A\_v[f])/\backslash operatorname\{im\}(\backslash kappa\_v))$

where A_v[f] denotes the f-torsion of A_v and $\backslash kappa\_v$ is the local Kummer map $B\_v(K\_v)/f(A\_v(K\_v))\backslash rightarrow\; H^1(G\_\{K\_v\},A\_v[f])$. Note that $H^1(G\_\{K\_v\},A\_v[f])/\backslash operatorname\{im\}(\backslash kappa\_v)$ is isomorphic to $H^1(G\_\{K\_v\},A\_v)[f]$. Geometrically, the principal homogeneous spaces coming from elements of the Selmer group have K_v-rational points for all places v of K. The Selmer group is finite. This implies that the part of the Tate–Shafarevich group killed by f is finite due to the following exact sequence

: 0 → B(K)/f(A(K)) → Sel^(f)(A/K) → Ш(A/K)[f] → 0.

The Selmer group in the middle of this exact sequence is finite and effectively computable. This implies the weak Mordell–Weil theorem that its subgroup B(K)/f(A(K)) is finite. There is a notorious problem about whether this subgroup can be effectively computed: there is a procedure for computing it that will terminate with the correct answer if there is some prime p such that the p-component of the Tate–Shafarevich group is finite. It is conjectured that the Tate–Shafarevich group is in fact finite, in which case any prime p would work. However, if (as seems unlikely) the Tate–Shafarevich group has an infinite p-component for every prime p, then the procedure may never terminate.

{{harvs|txt|authorlink=Ralph Greenberg|last=Greenberg|first=Ralph|year=1994}} has generalized the notion of Selmer group to more general p-adic Galois representations and to p-adic variations of motives in the context of Iwasawa theory.

More generally one can define the Selmer group of a finite Galois module M (such as the kernel of an isogeny) as the elements of H¹(G_K, M) that have images inside certain given subgroups of H¹(G_Kv, M).

In his 1954 paper A Conjecture Concerning Rational Points On Cubic Curves,{{cite journal | last=Selmer | first=Ernst S. | title=A conjecture concerning rational points on cubic curves | journal=Mathematica Scandinavica | date=1954 | volume=2 | pages=49–54 | url=https://eudml.org/doc/165520 | access-date=24 December 2024}} Selmer investigates generators for the rational points on certain cubic curves using two descents. He notes that a method used by Cassels{{cite journal | last=Cassels | first=J. W. S. | title=The rational solutions of the diophantine equation | journal=Acta Mathematica | volume=82 | issue=0 | date=1950 | issn=0001-5962 | doi=10.1007/BF02398279 | doi-access=free | pages=243–273 | url=https://projecteuclid.org/journals/acta-mathematica/volume-82/issue-none/The-rational-solutions-of-the-diophantine-equation/10.1007/BF02398279.pdf | access-date=24 December 2024}} points to an insufficiency in the methods of detecting generators used previously by Selmer. However, the method of Cassels is also insufficient to detect all generators. Selmer examines the situation numerically, and formulates the conjecture:

{{blockquote|When a second descent exists, the number of generators found is an even number less than what is indicated by the first descent.}}

Cassels explores the situation in a series of eight papers, beginning in 1959 with Arithmetic on curves of genus 1: I. On a conjecture of Selmer.{{cite journal | last=Cassels | first=J.W.S. | title=Arithmetic on Curves of Genus 1. I. On a conjecture of Selmer. | journal=crll | volume=1959 | issue=202 | date=1959 | issn=0075-4102 | doi=10.1515/crll.1959.202.52 | pages=52–99}} In the (1962) third paper in the series, Arithmetic on curves of genus 1. III. The Tate–Šafarevič and Selmer groups,{{cite journal | last=Cassels | first=J. W. S. | title=Arithmetic on Curves of Genus 1 III. The Tate-Šafarevič and Selmer Groups | journal=Proceedings of the London Mathematical Society | volume=s3-13 | issue=1 | date=1963 | doi=10.1112/plms/s3-13.1.768-s | doi-access=free | pages=768–768 | url=https://londmathsoc.onlinelibrary.wiley.com/doi/pdfdirect/10.1112/plms/s3-13.1.768-s | access-date=24 December 2024}} Cassels remarks:

{{blockquote|We shall call it a Selmer group because Selmer initiated the present work.}}

And thus we have the Selmer groups.

{{Reflist}}

• {{Citation | last1=Cassels | first1=John William Scott | authorlink=J. W. S. Cassels| title=Arithmetic on curves of genus 1. III. The Tate–Šafarevič and Selmer groups | doi=10.1112/plms/s3-12.1.259 |mr=0163913 | year=1962 | journal=Proceedings of the London Mathematical Society |series=Third Series | issn=0024-6115 | volume=12 | pages=259–296}}
• {{Citation | last1=Cassels | first1=John William Scott | authorlink=J. W. S. Cassels | title=Lectures on elliptic curves | url=https://books.google.com/books?id=zgqUAuEJNJ4C | publisher=Cambridge University Press | series=London Mathematical Society Student Texts | isbn=978-0-521-41517-0 |mr=1144763 | year=1991 | volume=24 | doi=10.1017/CBO9781139172530| url-access=subscription }}
• {{Citation | last1=Greenberg | first1=Ralph | author1-link=Ralph Greenberg | editor1-last=Serre | editor1-first=Jean-Pierre | editor1-link=Jean-Pierre Serre | editor2-last=Jannsen | editor2-first=Uwe | editor3-last=Kleiman | editor3-first=Steven L. | title=Motives | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-1637-0 | year=1994 | chapter=Iwasawa Theory and p-adic Deformation of Motives | mr=1265554}}
• {{Citation | last1=Selmer | first1=Ernst S. | authorlink=Ernst Sejersted Selmer | title=The Diophantine equation ax³ + by³ + cz³  = 0 | doi=10.1007/BF02395746 |mr=0041871 | year=1951 | journal=Acta Mathematica | issn=0001-5962 | volume=85 | pages=203–362 | doi-access=free }}

• Wiles's proof of Fermat's Last Theorem

{{L-functions-footer}}

Category:Number theory