Tame torsion and the tame inverse Galois problem (Q832486): Difference between revisions

Let \(C\) be a smooth, projective and geometrically integral curve defined over \(\mathbb{Q}\) of genus \(g\) with Jacobian \(J_C\). Let \(p\) be a prime. The subgroup \(JC[p]\) of points of \(J_C\) of order dividing \(p\) defines a finite Galois extension \(\mathbb{Q}(J_C[p])/\mathbb{Q}\). We recall that a number field \(F\) is tame (resp. unramified) if \(F/\mathbb{Q}\) is tamely ramified (resp. unramified) at every finite prime of \(F\). In this paper, it is proved that for every positive integer \(g\) and prime \(p\), there exists a smooth, projective and geometrically integral curve defined over \(\mathbb{Q}\) of genus \(g\) such that the field \(\mathbb{Q}(J_C[p])\) is tame. As an application of this result, the tame inverse Galois problem for general symplectic groups is studied. More precisely, it is proved that for every positive integer \(g\) and odd prime \(p\), there exists a smooth, projective and geometrically integral curve defined over \(\mathbb{Q}\) of genus \(g\) such that the extension \(\mathbb{Q}(J_C[p])/\mathbb{Q}\) is tame, and Gal\((\mathbb{Q}(J_C[p])/\mathbb{Q}) \cong \mathrm{GSp}_{2g}(\mathbb{F}_p)\).