Some sporadic groups as Galois groups II
By a celebrated theorem of Harbater and Pop, the regular inverse Galois problem is solvable over any field containing a large field. Using this and the Mordell conjecture for function fields, we construct the first example of a field over which the regular inverse Galois problem can be shown to be solvable, but such that does not contain a large field. The paper is complemented by model-theoretic observations on the diophantine nature of the regular inverse Galois problem.
A (monic) polynomial is called intersective if the congruence mod has a solution for all positive integers . Call nontrivially intersective if it is intersective and has no rational root. It was proved by the author that every finite noncyclic solvable group can be realized as the Galois group over of a nontrivially intersective polynomial (noncyclic is a necessary condition). Our first remark is the observation that the corresponding result for nonsolvable reduces to the ordinary...