18
$\begingroup$

Q: What is the "simplest" finite group $G$ for which we don't know how to realise it as a Galois group over $\mathbf{Q}$ ?

So here the word simplest might be interpreted in a broad sense. If you want something precise you may take the group of smallest order but I prefer to leave the question as it is. Also since naturally one classifies finite groups into families one may also ask the following

Q: What is the "simplest" example of a family of finite groups for which the inverse Galois problem is unknown?

$\endgroup$
2

1 Answer 1

4
$\begingroup$

I am not an expert and I might be misrembering some talks I've attended. Anyway, $SL_2(\mathbb{F}_q)$ can be done for prime $q$ by using torsion on non-CM elliptic curves. But I don't think it's been done for general prime powers $q$. Also, what about $SL_3$?

$\endgroup$
5
  • 1
    $\begingroup$ The $p$-torsion on a generic elliptic curve gives not ${\rm SL}_2({\bf F}_p)$ but ${\rm GL}_2({\bf F}_p)$ with cyclotomic character. In many cases this can be twisted to get ${\rm SL}_2({\bf F}_p)$, but it's not immediate. Serre discusses this in some detail in his Topics in Galois Theory (1992). $\endgroup$ Jul 13, 2011 at 6:13
  • 2
    $\begingroup$ For general powers of q, there are some results (which do not cover all cases). In arxiv.org/abs/math/0610860 and in arxiv.org/abs/0905.1288 they prove that $PSL_2(\mathbb{F}_q)$ and $PGL_2(\mathhbb{F}_q)$ is the Galois group of an extension for almost al $q$ (in the second work they prove that fixed n, in a density one set of primes $\ell$, $PSL_2(\mathbb{F}_{\ell^n})$ is obtained). Then you can just lift the representation to get a rep. of SL_2 if you want. $\endgroup$
    – A. Pacetti
    Jul 13, 2011 at 7:59
  • $\begingroup$ Yes, it's ${\rm PSL}_2({\bf F}_p)$, sorry. Chapter 5 of Serre starts with the construction of a regular extension of ${\bf Q}(T)$ with Galois group ${\rm PSL}_2({\bf F}_p)$ if 2, 3, or 7 is a quadratic nonresidue of $p$ [K-y. Shih, Math.Ann. 207 (1974) and Comp.Math. 36 (1978)]. At the end of Chapter 5 he says regular extensions of ${\bf Q}(T)$ with Galois group ${\rm SL}_2({\bf F}_q)$ had been constructed for $q\leq 9$, but at the time he didn't know of one with $q=11$ or higher, and that Mestre found ${\rm SL}_2({\bf F}_{2^m})$ over ${\bf Q}$ for $m\leq 16$ with modular forms. $\endgroup$ Jul 14, 2011 at 0:17
  • $\begingroup$ I have another issue. At no point is there anything about "almost all primes $\ell$" or even a "density one set of primes" in the paper of Dieulefait and Wiese. Rather, fixing either a prime $\ell$ and varying $n$ or fixing $n$ and varying $\ell$ there is a positive density of $n$ or $\ell$ where $\mathrm{PSL}_2(\mathbf{F}_\ell)$ is a Galois group. As it stands, what we know is that Shih's Theorem gives that for $(7/8)$ of the primes, $\mathrm{PSL}_2(\mathbf{F}_p)$ is a Galois group and considerably more by work of Clark if we believe BSD. $\endgroup$
    – stankewicz
    Jul 14, 2011 at 15:40
  • $\begingroup$ @Amy, you are right that in general you have a condition to lift a representation (an element in some H^2), but in this case, the representations they construct are modular, so in particular do lift. And it is true that they do not prove a density 1 result, but a positive density result... $\endgroup$
    – A. Pacetti
    Jul 18, 2011 at 10:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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