\(S_4\) and \(\widetilde{S}_4\) extensions of \(\mathbb{Q}\) ramified at only one prime
type: Item
instance of: scholarly article
title: \(S_4\) and \(\widetilde{S}_4\) extensions of \(\mathbb{Q}\) ramified at only one prime
zbMATH Open document ID: 0928.11049
author: Darrin Doud
published in: Journal of Number Theory
publication date: 2000-01-09T00:00:00Z
review text: Extensions of \(\mathbb Q\) with Galois group \(S_4\) that can be embedded in a \(\text{ GL}_2(\mathbb F_3)\)-extension are interesting in connection with the Serre conjectures and have been studied e.g. by \textit{P. Cassou-Nogues} and \textit{A. Jehanne} [J. Number Theory 57, 366-384 (1996; Zbl 0858.11058) and Exp. Math. 5, 275-290 (1997)]. In this note, the author considers odd primes of the form \(p^* = (256n^3 - k^2)/27\), with \(27 \mid k\) if \(3 \mid n\) and shows that the splitting field \(K\) of \(f(x) = (x+n)^4 - p^*x\) is an \(S_4\)-extension of \(\mathbb Q\) unramified outside \(p^*\infty\) unless \(p^* = 1 + 4n\). Write \(p = | p^*| \); if \(p \equiv 3 \bmod 8\), then \(K\) can be embedded in a \(\text{ GL}_2(\mathbb F_3)\)-extension by results of \textit{P. Bayer} and \textit{G. Frey} [Math. Z. 207, No.~3, 395-408 (1991; Zbl 0726.11037)]. The decomposition of primes in this extension is then related to a certain \(2\)-dimensional Galois representation, and this in turn via Serre's ``epsilon conjecture'' to a cusp form of weight \(1 + (p-1)^2/8\) and level \(1\) which is a simultaneous eigenform for the Hecke operators. The last section contains an explicit computation of such an eigenform for the primes \(p = 59\), \(107\) and \(283\).
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 11F11
zbMATH DE Number: 1275042
zbMATH Keywords: \(S_4\)-extensions
zbMATH Keywords: embedding problem
zbMATH Keywords: Serre conjectures
zbMATH Keywords: Galois representations
zbMATH Keywords: decomposition of primes
zbMATH Keywords: 2-dimensional Galois representation
zbMATH Keywords: epsilon conjecture
zbMATH Keywords: cusp form
zbMATH Keywords: eigenform for the Hecke operators
MaRDI profile type: Publication
full work available at URL: jnth.1998.2345
OpenAlex ID: W2068380763
cites work: Galois representations of octahedral type and 2-coverings of elliptic curves
cites work: Q3139838
cites work: Q4858105
cites work: Formes modulaires de poids $1$
cites work: The weight in Serre's conjectures on modular forms
cites work: Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions : a survey of recent results
cites work: Q4297093
cites work: Q4003835
cites work: On the modular representations of degree two of \(\text{Gal}({\overline {\mathbb Q}}/{\mathbb Q})\)
cites work: Q4141905
cites work: Artin’s conjecture for representations of octahedral type
DOI: 10.1006/JNTH.1998.2345
description: scientific article; zbMATH DE number 1275042