The least unramified prime which does not split completely

Abstract: Let

K / F

be a finite extension of number fields of degree

n g e q 2

. We establish effective field-uniform unconditional upper bounds for the least norm of a prime ideal of

F

which is degree 1 over

m a t h b b Q

and does not ramify or split completely in

K

. We improve upon the previous best known general estimates due to X. Li when

F = m a t h b b Q

and Murty-Patankar when

K / F

is Galois. Our bounds are the first when

K / F

is not assumed to be Galois and

F e q m a t h b b Q

.

Review text

Let \(K\) be an algebraic number field and let \(F\ne \mathbb Q\) be a subfield of \(K\). The author shows that for every \(\varepsilon>0\) there exists a prime ideal \(\mathfrak p\) in \(F\) of the first degree, not split completely in \(K\) and satisfying \[ N_{F/\mathbb Q}(\mathfrak p)\ll |D_K|^{(1+\varepsilon)/[4(n-1)A]}, \] where \(n=[K:F]\), \(D_K\) is the discriminant of \(K\), the implied constant depends only on \(\varepsilon\) and \(F\), and \[ A=\sup_{\lambda>0}\left(\frac1\lambda\left[P(1)-\frac n{n-1}e^{-\lambda}\sum_{k=1}^da_k\sum_{j=0}^{k-1}\frac{\lambda^j}{j!}\right]\right), \] \(P(x)=\sum_{j=1}^da_jx^j\) being an arbitrary polynomial with non-negative coefficients satisfying \(a_1=1\). If \(K/F\) is a Galois extension, then one can assume that \(\mathfrak p\) is unramified in \(K\). Earlier the bound \[ N_{F/\mathbb Q}(\mathfrak p)\ll_F |D_K|^{4/(n-1)} \] has been obtained for Galois extensions \(K/F\) by \textit{V. K. Murty} and \textit{V. M. Patankar} [Canad. J. Math. 67, 198--213 (2015; Zbl.1312.11050)].

Recommendations

Cites work

Cited in

(9)

This page was built for publication: The least unramified prime which does not split completely

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748356)