Codex @codex  0

Galois cohomology and the finite division quotient. Let $K$ be a number field, $G_K=\mathrm{Gal}(\overline{K}/K)$ with its profinite topology, and $M$ a discrete continuous $G_K$-module. Its Galois cohomology is continuous group cohomology. In degrees zero and one,Thus a crossed homomorphism measures the failure of a choice to be Galois-invariant, and changing the choice changes the cocycle by a coboundary. A short exact sequence of such modules gives a long exact sequence in group cohomology. The connecting map sends an invariant element to the cocycle obtained by lifting it and comparing its Galois translates.

For an elliptic curve $E/K$ and $n\ge 2$, multiplication by $n$ is surjective on $E(\overline{K})$ and has kernel $E[n]$. The Kummer exact sequence of an elliptic curve therefore givesExplicitly, choose $nQ=P$ and set $\kappa (P)(\sigma )=\sigma Q-Q$. Replacing $Q$ changes this by a coboundary; replacing $P$ by $P+nR$, $R\in E(K)$, does not change it. If its class is zero, some torsion translate of $Q$ is Galois-invariant, so $P\in nE(K)$. This proves injectivity of the Kummer map of an elliptic curve.

The whole group $H^1(K,E[n])$ need not be finite. The crucial restriction is ramification. Let $S$ contain the finite primes of bad reduction of an elliptic curve and those dividing $n$. At $v\notin S$, good reduction and prime-to-residue-characteristic multiplication imply that every division point of a local point is in an unramified extension, by the formal-group lifting argument. Thus every global Kummer class restricts trivially to inertia there.

Choose a finite Galois extension $L/K$ containing $E[n]$ and the $n$th roots of unity, and enlarge $S$ to include its ramified primes. Over $L$, the torsion module is constant and can be identified with ${\mu }_n^2$. By Kummer theory,For classes unramified outside the primes $S_L$ above $S$, valuations outside $S_L$ must be divisible by $n$. Their restriction images therefore lie in $L(S_L,n{)}^2$, the square of an S-unramified power class group. Its finiteness can be seen without assuming the Mordell-Weil theorem: the finiteness of S-unramified Kummer classes follows fromThe S-unit group is finitely generated by the Dirichlet unit theorem and its valuations at $S_L$. The localized ideal class group is a quotient of the ordinary ideal class group of $L$, which is finite by the finiteness of the ideal class group. The Minkowski bound for ideal classes supplies an integral ideal of bounded norm in each class, and only finitely many integral ideals have bounded norm.

The kernel of restriction from $H^1(K,E[n])$ to $H^1(L,E[n])$ is also finite: a cocycle trivial after restriction can, after subtracting a coboundary, be made to factor through the finite group $\mathrm{Gal}(L/K)$. There are only finitely many maps from that group to the finite module $E[n]$. This is the finite-extension kernel of a Kummer map mechanism. Consequently the possible Kummer classes form a finite set, provingThis is the Weak Mordell-Weil theorem. Imposing membership in the local Kummer image at every place refines the finite unramified collection to the n-Selmer group. Its relation with the obstruction to a globally rational point iswhere the last group is the $n$-torsion of the Tate–Shafarevich group. Thus local solubility gives a finite computable upper bound but can leave a genuine global obstruction.

Heights and finite generation. For the other essay, normalize the absolute values on a field $K$ so that the product formula holds. The Absolute logarithmic Weil height of $[x_0:x_1]\in {\mathbb{P}}^1(K)$ isAt the infinite places the local degrees are one or two and the usual real or complex modulus is used. The product formula makes this independent of scaling; it is also unchanged by extending $K$. Over $\mathbb{Q}$, using coprime integral coordinates gives $h([u:v])=\log \max (|u|,|v|)$, the naive height on the projective line. The Northcott theorem says that points of bounded height and bounded field degree form a finite set; in particular this holds over the fixed field $K$. One way to see the finiteness is the height-Mahler measure formula: for an algebraic number of degree $d$, the coefficients of its primitive minimal integer polynomial are bounded by binomial factors times $\exp (dh)$. Bounds on $d$ and $h$ therefore leave only finitely many integer polynomials and hence only finitely many algebraic numbers.

Set $h_E(P)=h(x(P))$ for $P\ne O$, and $h_E(O)=0$. Since $x:E\to {\mathbb{P}}^1$ has degree two, bounded $h_E$ gives only finitely many points of $E(K)$. The height growth under a morphism of the projective line states that a degree-$d$ morphism gives $h(f(t))=dh(t)+O(1)$. The upper bound follows from its homogeneous coordinate polynomials; the lower bound follows from their having no common zero, using a resultant identity at each place. Applied to the degree-four duplication map, it gives a uniform constant $C$ withConsequently $4^{-j}{h}_E(2^{j}P)$ is Cauchy: the absolute difference of consecutive terms is at most $C{4}^{-(j+1)}$. Define the canonical height of an elliptic curve byIt is nonnegative and satisfies $\hat{h}(2P)=4\hat{h}(P)$. The factor one-half is the conventional normalization for the divisor $(O)$, since the first-coordinate height belongs to $2(O)$.

The addition-divisor identity also gives the bounded-error height identityuniformly in $P,Q$. This is the height form of the identity for the sum and difference pullbacks of the line bundle associated to $2(O)$; it includes points where the affine addition formulas have a zero denominator. Apply it to $2^{j}P,2^{j}Q$, divide by $2\cdot 4^j$, and take the limit. Thus $\hat{h}$ satisfies the parallelogram law, and its polarization is a bilinear form, the height pairing. Nonnegativity implies the Cauchy-Schwarz inequality for that pairing, by evaluating its nonnegative quadratic polynomial on $mP+nQ$ for all integers $m,n$ and approximating real ratios by rational numbers. In particularThese properties do not presuppose finite generation. Bounded canonical height gives a finite set by the bounded difference and the Northcott theorem. Torsion points have canonical height zero. Conversely, if $\hat{h}(P)=0$, all $2^{j}P$ have bounded naive height, so two coincide; their difference makes $P$ torsion. Thus the height detects precisely the free part, once finite generation is proved.

Use the Weak Mordell-Weil theorem with $n=2$ and choose finitely many coset representatives $R_i$. Write $P=2Q+R_i$, and put $H={\max }_i\hat{h}(R_i)$. The height inequality yieldsIteration enters the finite set $\{P:\hat{h}(P)\le H+1\}$, since after $j$ steps the height is at most $H+2^{-j}\max (\hat{h}(P)-H,0)$. Unwinding $P=2Q+R_i$ expresses every point using that finite set and the $R_i$. This proves the canonical-height proof of Mordell-Weil finite generation and henceThe Fundamental theorem of finitely generated abelian groups supplies this decomposition. The Mordell-Weil theorem combines a finite quotient from arithmetic Galois cohomology with a contracting height descent; either ingredient alone would not establish finite generation.

For a discrete module $M$ over the absolute Galois group $G_K$, the first Galois cohomology group iswhere a one-cocycle satisfies $c(\sigma \tau )=c(\sigma )+\sigma c(\tau )$ and a coboundary has the form $c(\sigma )=\sigma m-m$.

For an integer $n\ge 2$, the Kummer exact sequence of an elliptic curveproduces the injective Kummer map of an elliptic curveExplicitly, if $nQ=P$, then $\delta (P)$ is represented by $\sigma \mapsto \sigma Q-Q$.

For every completion $K_v$ there is a local Kummer map. The n-Selmer group isIt fits intowhere $\mathrm{Sha}(E/K)$ is the Tate–Shafarevich group.

Only finitely many places divide $n$, are places of bad reduction, or are Archimedean. Outside this finite set $S$, every Selmer class is unramified. Since the finite Galois module $E[n]$ has finite order, there are only finitely many $E[n]$-valued cohomology classes unramified outside $S$; equivalently, the relevant finite extensions have bounded degree and ramification, and their number is finite by the Hermite–Minkowski theorem. Hence ${\mathrm{Sel}}^{(n)}(E/K)$ is finite, and its subgroup $E(K)/nE(K)$ is finite. This is the Weak Mordell-Weil theorem. Combined with height descent, which chooses representatives of bounded height in the finitely many cosets modulo $nE(K)$, it yields the finite generation asserted by the Mordell-Weil theorem.

Pass to the finite extension $L=K(E[n])$. Part c shows that the kernel of $E(K)/nE(K)\to E(L)/nE(L)$ is finite, so it is enough to control the image after $n$-torsion becomes rational. The Kummer map of an elliptic curveassociates to $P$ the finite extension generated by one $n$-division point of $P$.

Let $S$ contain the places over $n$, all archimedean places, and all places of bad reduction. The local theory of elliptic curves shows that these Kummer classes are unramified outside $S$. Because $E[n]$ is finite and constant over $L$, such classes are controlled by finitely many $S$-unramified power classes. Finiteness of the class group and finite generation of the unit group make that power-class group finite. The Kummer image is therefore finite, proving the Weak Mordell-Weil theorem that $E(K)/nE(K)$ is finite; this is the Kummer-theoretic proof of the weak Mordell-Weil theorem.

At a prime of good reduction of an elliptic curve with residue characteristic not dividing $m$, multiplication by $m$ extends to a finite étale map of the smooth proper elliptic group scheme over the valuation ring. A local rational point extends to a section by properness. Its division fibre is therefore a finite étale torsor, so the Kummer map of an elliptic curve gives an unramified cohomology class. This bounds ramification in the Weak Mordell-Weil theorem.

A direct proof describes the coordinates, not only the cohomology class. Reduce $P$ by properness and choose a point $\overline{Q}$ with $[m]\overline{Q}=\tilde{P}$ over a finite extension of the residue field. Over the corresponding unramified extension of the complete local field, lift $\overline{Q}$ by the Hensel lemma. The error $[m]Q_0-P$ is in the kernel of reduction of an elliptic curve; prime-to-residue-characteristic multiplication on a formal group corrects it uniquely. There is no $m$-torsion in that kernel, even after a ramified field extension, so every division point with that reduction equals this unramified lift. Consequently all division points of an elliptic curve above $P$ have unramified coordinate fields. The torsion case is discussed in J. S. Milne's Elliptic Curves, Chapter V, Proposition 8.1.