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

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:20, 5 March 2024

scientific article
Language Label Description Also known as
English
Tame torsion and the tame inverse Galois problem
scientific article

    Statements

    Tame torsion and the tame inverse Galois problem (English)
    0 references
    0 references
    0 references
    25 March 2022
    0 references
    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)\).
    0 references
    inverse Galois problem
    0 references
    tame torsion
    0 references
    symplectic group
    0 references
    Jacobian variety
    0 references

    Identifiers