COVERING GROUPS OF M22 AS REGULAR GALOIS GROUPS OVER Q JOACHIM KONIG¨ Abstract. We close a gap in the literature by showing that the full covering groups of the Mathieu group M22 and of its automorphism group Aut(M22) occur as the Galois groups of Q-regular Galois extensions of Q(t). 1. Introduction and main result The sporadic Mathieu groups are a source for various headaches in inverse Galois theory. For example, M23 is notorious for being the only remaining sporadic group not yet known to occur as a Galois group over Q (see, e.g., [13, Chapter II, Thm. 10.3]), in particular surviving all attempts with the classical rigidity criteria, as well as some “brute force” calculations (e.g., [10]). That the group M22 also leads to open problems in inverse Galois theory may be somewhat less well-known. The group itself (as well as its automorphism group) have long been known to occur as regular Galois groups (i.e., Galois groups of Q-regular extensions of Q(t)), see [12]. However, the Schur multiplier of M22 is unusually large, being cyclic of order 12, and the regular inverse Galois problem for the group 12.M22 (as well as some of its quotients) seems to be open, see, e.g., [13, Chapter IV, Thm. 7.14]. In fact, the only non-trivial covering group of M22 realized regularly in the literature seems to be 3.M22 (due to Feit [7], cf. [13, Chapter IV, Thm. 5.8]). The main result of this paper is the following. Theorem 1.1. The full covering groups 12.M22 of M22 and 2. Aut(M22) of Aut(M22) occur as the Galois group of a Q-regular Galois extension of Q(t). See Theorems 3.1 and 3.6 for a more detailed version of the result. The proof is achieved via a combination of theoretical criteria and explicit computations. In particular, we give some new explicit polynomials with Galois group Aut(M22) and M22 over Q(t), and investigate the behavior of their specializations. These are then used to show that certain embedding obstructions vanish. In the assertion of Theorem 1.1, some attention should be paid to the fact that, while the full covering group of a perfect group is unique up to isomorphism, a non-perfect group can have more than one full covering group. This happens, e.g., for the symmetric groups Sn (n 5, n = 6) which have two non-isomorphic double covers; and indeed, one may verify computationally≥ 6 that the same happens for Aut(M22). It will be clear though from the proofs (which use only arXiv:2012.11302v3 [math.NT] 4 Jul 2021 the uniqueness of the stem covers of M22) that all assertions hold for both stem extensions 2. Aut(M22), whence we will refrain from introducing further notation for the two cases. Note that the first explicit realizations with Galois group M22 and Aut(M22) were presented by Malle in [12]; these remained the only ones for quite a while, until [11] gave new ones (in particular providing the first totally real realizations for these two groups). Another intriguing way to obtain Aut(M22)-polynomials should at least be mentioned once: In [1] (Theorem 3.1 and Section 4.1.7), explicit rational functions t = t(x) Q(x) of degree 100 (corresponding to degree- 100 polynomials F (t, x) = f(x) tg(x)) with monodromy∈ group Aut(HS), the automorphism − 1 2 JOACHIM KONIG¨ group of the sporadic Higman-Sims group, were computed. Since the point stabilizer in this group is isomorphic to Aut(M22), this means that, if L/Q(t) is the splitting field of such a polynomial F (t, x), then L/Q(x) has Galois group Aut(M22). Acknowledgement: I would like to thank Gunter Malle for helpful comments. This work was supported by the 2020 New Professor Research Grant funded by Korea National University of Education. 2. Prerequisites 2.1. M22 and its covering groups. There was initially some confusion about the Schur cover of the Mathieu group M22. In [5], it was claimed that this maximal cover was 3.M22, and in a correction by the same authors, this was changed to 6.M22. Finally, in [15], it was correctly identified as 12.M22. The Schur multiplier of Aut(M22) is of order 2, as shown in [8]. Note that, e.g., the triple cover 3.M22 can be extended to 3. Aut(M22), but here the order 3 normal subgroup is no longer central. For our purposes, in particular in view of Proposition 2.5 and Lemma 3.2 below, it is useful to know which subgroups U of M split in a covering group C.M (with C C ), in the sense 22 22 ≤ 12 that there exists a subgroup U˜ of C.M22 mapping bijectively to U under projection to M22. We will only require the following (somewhat random-looking) results. These were verified with Magma (see [3]), with code for all covering groups of M22 available at http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/M22/. Proposition 2.1. a) All subgroups of order 6 of M22 are split in 12.M22. b) All subgroups of order 1344 in M22 are split in 2.M22. 2.2. Specialization of function field extensions. Let K be a field and F/K(t) a finite Galois extension. Assume without loss of generality that F and K lie in some common overfield. The extension F/K(t) is called K-regular (or simply regular, if the base field is clear), if F K = K, ∩ where K denotes the algebraic closure of K. For any t0 K and any place p of F extending the K-rational place t t , we have a residue field∈ extension∪ {∞}F /K. This is a Galois 7→ 0 t0 extension, not depending on the choice of place p. We call it the specialization of F/K(t) at t0. Now let K be of characteristic zero, and let F/K(t) be a K-regular Galois extension with group G. For each ti K , the ramification index of F/K(t) at ti is the minimal positive ∈ ∪ {∞} 1/ei integer ei such that F embeds into K(((t ti) )). Note that, if ti = , one should replace t t by 1/t. If the ramification index is− larger than 1, then t is called∞ a branch point of − i i F/K(t). The set of branch points is always a finite set. Associated to each branch point ti (of ramification index ei) is a unique conjugacy class Ci of G, corresponding to the automorphism (t t )1/ei ζ(t t )1/ei of K(((t t )1/ei )), where ζ is a primitive e -th root of unity. The − i 7→ − i − i i ramification index then equals the order of elements in the class Ci. The class tuple (C1,...,Cr) for all branch points t1,...,tr of F/K(t) is called the ramification type of F/K(t). In order to proceed from regular realizations (over Q(t)) to realizations over Q with certain properties, we will make use of the following well-known theorem relating inertia groups of a K-regular Galois extension with those in its specializations (cf. [2, Theorem 1.2 and Prop. 4.2]). Theorem 2.2. Let K be a number field and N/K(t) a K-regular Galois extension with Galois group G. Then with the exception of finitely many primes, depending only on N/K(t), the following holds for every prime p of K. If t K is not a branch point of N/K(t), then the following condition is necessary for p to be 0 ∈ COVERING GROUPS OF M22 AS REGULAR GALOIS GROUPS OVER Q 3 ramified in the specialization Nt0 /K: νi := Ip(t0,ti) > 0 for some (automatically unique, up to algebraic conjugates) branch point ti. Here Ip(t0,ti) is the intersection multiplicity of t0 and ti at the prime p. Furthermore, νi > 0 νi implies that the inertia group of a prime extending p in Nt0 /K is conjugate in G to τ , where τ is a generator of an inertia subgroup over the branch point t t of N/K(t). h i 7→ i A direct consequence of Theorem 2.2 is the following. Corollary 2.3. Assume N/K(t) has a specialization Nt0 /K unramified outside a set S of primes of K. Then there exist infinitely many specializations Nt1 /K such that all ramified primes p of Nt1 /K, with the possible exception of the ones in S, behave as in Theorem 2.2; in particular, the inertia group at p in Nt1 /K is contained in the inertia group at some ti in N/K(t). Furthermore, we may choose t1 such that none of those primes p for which t0 has non-negative p-adic valuation have t = in Theorem 2.2. i ∞ Proof. This simply requires to choose t1 in a suitable S0-adic neighborhood of t0, where S0 is the set of exceptional primes for Theorem 2.2, in order to ensure (via Krasner’s lemma) that Nt0 /K and Nt1 /K have the same local behavior at all primes in S0. The second assertion follows since we may then choose t1 p-integral as soon as t0 is p-integral, whence it will not meet ti = at p. ∞ 2.3. Embedding problems. A finite embedding problem over a field K is a pair (ϕ : G K → G, ε : G˜ G), where ϕ is a (continuous) epimorphism from the absolute Galois group GK of K onto G,→ and ε is an epimorphism of finite groups.