Groups with no Parametric Galois Extension

TL;DR

This paper disproves a strong form of the Regular Inverse Galois Problem by showing certain finite groups cannot be realized through a single parametric extension, introducing new tools for analyzing Galois extensions and specializations.

Contribution

It introduces new methods to analyze Galois extensions and demonstrates the non-existence of universal parametric extensions for specific groups.

Findings

Certain groups like $S_n$, $n extgreater 6$, and the Monster do not have a universal parametric Galois extension.

Two extensions of the same group cannot be simultaneously induced, disproving a weaker lifting property.

New tools include a comparison theorem for invariants and a polynomial set to detect common specializations.

Abstract

We disprove a strong form of the Regular Inverse Galois Problem: there exist finite groups $G$ which do not have a realization $F/\Qq(T)$ that induces all Galois extensions $L/\Qq(U)$ of group $G$ by specializing $T$ to $f(U) \in \Qq(U)$. For these groups, we produce two extensions $L/\Qq(U)$ that cannot be simultaneously induced, thus even disproving a weaker Lifting Property. Our examples of such groups $G$ include symmetric groups $S_n$, $n\geq 7$, infinitely many $PSL_2(\Ff_p)$, the Monster. Two variants of the question with $\Qq(U)$ replaced by $\Cc(U)$ and $\Qq$ are answered similarly, the second one under a diophantine "working hypothesis" going back to a problem of Schinzel. We introduce two new tools: a comparizon theorem between the invariants of an extension $F/\Cc(T)$ and those obtained by specializing $T$ to $f(U) \in \Cc(U)$, and, given two regular Galois extensions of $k(T)$, a finite set of polynomials $P(U,T,Y)$ that say whether these extensions have a common specialization $E/k$.