# Evidence for Q^solv being Pseudo-algebraically-closed

This is a follow-up to the following answer:

Solvable class field theory

in which it is stated as a "folklore" conjecture that the maximal solvable extension of Q is pseudo algebraically closed (this means, in particular, any geometrically connected variety over Q has a point over a solvable extension).

I am curious what evidence there is to support such a conjecture.

In addition, what can be said for the analogous statement for global function fields?

-
Pete's answer in the linked thread has at least the start of an answer to this question, so potential answerers should read that to avoid duplication. Also: I think "Galois theory of fields" people tend to believe this conjecture more than "rational points on varieties" people, to the extent that those aren't the same people. –  JSE Nov 22 '09 at 21:42
JSE is correct on both counts. If anyone cares, I didn't say that I believed in the conjecture myself, just that it would be nice if it were true. –  Pete L. Clark Nov 22 '09 at 22:03

So far as I know, there is no compelling evidence to support this conjecture. (And some leading arithmetic geometers think it is false.) Rather, there are some very interesting consequences of this conjecture, e.g. a solution of the Inverse Galois Problem over Q^{solv}: in other words, for any finite group G, there exists a tower of radical extensions

K_0 = Q, K_1 = K_0(a_0^{1/n_0}) < K_2 = K_1(a_1^{1/n_1}) < ... <= K_n

and a Galois extension L/K_n with Galois group isomorphic to G. It also shows that geometrically irreducible algebraic varieties "acquire rational points" in a very different way from irreducible zero-dimensional varieties (which have a unique minimal splitting field which need not be solvable).

Of course, interesting things which follow from a conjecture are, if anything, evidence against the truth of the conjecture, although they support the claim that the question is interesting.

There is one impressive result towards this conjecture, namely the Ciperiani-Wiles theorem: let C_{/Q} be a genus one curve with points everywhere locally and semistable Jacobian elliptic curve E. Then C(Q^{solv}) is nonempty.

On the negative side, there is a paper of Ambrus Pal which constructs, for each sufficiently large integer g, a curve C of genus g over a field K which does not admit any points over the maximal solvable extension of K. (Here K is not a number field.)

On the other hand, as far as I know, it is still open to find an absolutely irreducible variety V/Q which fails to have rational points over the maximal metabelian extension of Q, i.e., over (Q^{ab})^{ab}. For some thoughts about this, see

http://www.math.uga.edu/~pete/abeliantalk.pdf