In a discussion today on the Shafarevich-Tate group of an elliptic curve, the following structure and question came up. I will abuse many notations and be very vague about some things, but am very open to suggestions for clarification. Not to mention that some, if not all, of the following is incorrect.

A key ingredient in the rich structure of number fields is Hilbert 90, asserting that the first galois cohomology of the multiplicative group is trivial. Elliptic curves, on the other hand, have no analogy (as far as I know). The discussion was about looking for a natural object to inject an elliptic curve into, that has trivial first galois cohomology.

Given an elliptic curve, an interesting looking (well, maybe not) object is the direct limit of Weil restriction of the curve, going over all the galois extensions of the base field and the morphisms are the natural inclusions. As a $G_K$ module the Weil restriction is the induced module $Ind_{G_L}^{G_K} E$, so by Shapiro's lemma the cohomology is isomorphic to $H^1(G_L,E)$. Applying the direct limit, we indeed see that the first cohomology of the direct limit of the Weil restriction is trivial (since $G_L$ keeps getting smaller).

And so many questions are raised regarding this direct limit. The first one is in the title, and is my question.

Is the direct limit of Weil restrictions, going over all galois extensions of the base field, of an elliptic curve a scheme?

  • $\begingroup$ This question does not quite make sense to me. You say "the direct limit"---in which category are you taking this direct limit? $\endgroup$ Nov 3, 2010 at 20:42
  • $\begingroup$ [and then of course the next question, if you don't say "schemes" as an answer to the previous question, is "what do you mean by the direct limit 'being' a scheme?"] $\endgroup$ Nov 3, 2010 at 20:52
  • $\begingroup$ It's crazy stuff! What happens when we take the limit in the category of schemes? $\endgroup$ Nov 3, 2010 at 21:08
  • 1
    $\begingroup$ My gut feeling is that there will no limit in the category of schemes (but I can't prove it offhand; sounds accessible though). It feels a bit analogous to the direct limit of $\mu_{p^n}$, which I don't think exists either. The problem is that projective limits in the category of rings correspond to direct limits in the category of affine schemes but not, if I remember correctly, in the category of schemes. $\endgroup$ Nov 3, 2010 at 21:28
  • $\begingroup$ The question is wether the limit exists in the category of schemes. While similar to roots of unity, it also feels that it might behave better because of projectiveness and completeness and stuff. $\endgroup$ Nov 3, 2010 at 21:40

1 Answer 1


I agree with Adam Smith that the question seems a bit misguided, but let me show anyway that the answer is negative away from certain silly cases. Well, first to make a more well-posed question, one first has to adjust the definition of the functor so that it is at least a Zariski-sheaf (ideally without changing the "value" on affines). So let's first do that. Let $E$ be an elliptic curve over a field $k$, and for the directed system of finite extensions $k_i/k$ inside of a fixed separable closure $k_s/k$ let $E_i = {\rm{Res}}_{k_i/k}(E_{k_i})$ denote the corresponding abelian varieties arising by Weil restriction. Define the functor $G = \injlim E_i$ on the category of $k$-schemes. This is an fpqc sheaf on the category of affine $k$-schemes, since we can explicitly compute it: for any $k$-algebra $R$, $G(R) = \injlim E(R_{k_i}) = E(R_{k_s})$, the final equality using that the functor of $E$ commutes with the formation of direct limits in $k$-algebras (thanks to Grothendieck's awe-inspiring necessary and sufficient functorial characterization of locally finitely presented morphisms of schemes, from EGA IV$_3$, 8.14, which we will use in a more impressive converse direction shortly).

By inspection, the functor $G$ satisfies the fpqc sheaf axioms on affines. Thus, if we Zariski-sheafify $G$ on the category of $k$-schemes then the resulting functor $G'$ has the same value on affines and so is easily seen to be an fpqc sheaf. So the "right" question is whether $G'$ is representable. I will now prove the "expected" negative answer whenever $k$ is not separably closed or real-closed, which is to say (by the Artin-Schreier theorem) that $k_s/k$ has infinite degree. (Obviously need to rule out the cases when $[k_s:k]$ is finite!)

Suppose $G'$ is represented by a $k$-scheme (which we will also denote by $G'$), so by Grothendieck's functorial criterion we see that $G'$ is locally of finite type over $k$. Thus, the identity component ${G'}^0$ makes sense and it finite type (as for any locally finite type group scheme over a field; see SGA3, VI$_{\rm{A}}$, 2.4). As such, it contains the connected $E_i$ as closed $k$-subgroup schemes since any monomorphic homomorphism between finite type group schemes over a field is a closed immersion (proved in SGA3, VI$_{\rm{B}}$, 1.4.2, for example). But $E_i$ has dimension $[k_i:k]$, which grows without bound since $[k_s:k]$ is infinite by hypothesis. Hence, ${G'}^0$ contains closed subschemes of arbitrarily large dimension, an absurdity since ${G'}^0$ is finite type over a field. QED

  • 3
    $\begingroup$ By the way, the method here doesn't work for direct limit of $\mu_{p^n}$'s, say over $\mathbf{C}$, and for a good reason: the constant $\mathbf{C}$-group scheme (just locally of finite type) associated to $\mu_{p^{\infty}}(\mathbf{C})$ does represent the analogous limit functor in this case. But it's a completely useless fact. $\endgroup$
    – BCnrd
    Nov 4, 2010 at 3:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.