Every Element is Visible Somewhere

Proof. Fix $c\in H^1(K,A)$ . There is a finite separable extension

such that $\res_L(c) = 0\in H^1(L,A)$ . Let $J=\Res_{L/K}(A_L)$ be the Weil restriction of scalars from

of the abelian variety

(see [BLR90, §7.6]). Thus

is an abelian variety over

of dimension $[L:K]\cdot \dim(A)$ , and for any scheme

over

, we have a natural (functorial) group isomorphism $A_L(S_L)\cong {}J(S)$ . The functorial injection $A(S) \hookrightarrow A_L(S_L) \cong {}J(S)$ corresponds via Yoneda's Lemma to a natural

-group scheme map $\iota: A\rightarrow J$ , and by construction $\iota$ is a monomorphism. But $\iota$ is proper and thus is a closed immersion (see [Gro66, §8.11.5]). Using the Shapiro lemma one finds, after a tedious computation, that there is a canonical isomorphism $H^1(K,J)\cong H^1(L,A)$ which identifies $\iota_*(c)$ with $\res_L(c)=0$ . $\qedsymbol$

Remark 1.4

In [CM00], de Jong gave a totally different proof of the above proposition in the case when is an elliptic curve over a number field. His argument actually displays as visible inside the Jacobian of a curve.
L. Clozel has remarked that the method of proof above is a standard technique in the theory of algebraic groups.