An effective Chebotarev density theorem for families of number fields, with an application to \(\ell \)-torsion in class groups (Q2290965)

Assuming the truth of GRH, \textit{J. C. Lagarias} and \textit{A. M. Odlyzko} [in: Algebr. Number Fields, Proc. Symp. Lond. Math. Soc., Univ. Durham 1975, 409--464 (1977; Zbl 0362.12011)] exhibited an effective Chebotarev theorem and without assuming GRH, they also proved a weaker result. Without assuming GRH, the authors of the paper under review obtain new unconditional effective Chebotarev density theorems for infinite families of algebraic number fields of arbitrary large degree by working in a zero-free region of the Dedekind function. To achieve their goals they develop new methods to control the zeroes of non-cuspidal \(L\)-functions. By working within judiciously chosen families of number fields, almost all fields satisfy such an effective Chebotarev theorem. Let us give the flavour of the types of extensions \(K\) of \(Q\) they are restricting to. They assume that for each rational prime \(p\) which is tamely ramified in \(K\), the inertia group of every prime ideal \(\wp\) of the Galois closure \(\tilde{K}\) of \(K\), where \(\wp\) divides \(p\), is generated by an element of a specific ideal \(\mathcal{I}\) which specifies one or more conjugacy classes in the Galois group \(G\) of the Galois closure \(\tilde{K}\). They consider general families of degree \(n\) extensions with square-free discriminant where the Galois group of \(K\) over \(Q\) can be cyclic groups, dihedral groups, \(S_n\), \(A_n\), (with specific conditions). They concentrate on so-called \(\delta\)-exceptional fields, which involve the location of a zero of the Dedekind zeta function of \(\tilde(K)\) in a certain region. Under ramification restrictions on tamely ramified primes, the authors can control the zeroes of associated \(L\)-functions by counting number fields. This allows them to work in families of fields which have the property that the Dedekind zeta function is zero-free in an appropriate region, except for a very small exceptional subset of fields. The authors are at ease with dealing with arithmetic statistic and are mastering perfectly their techniques to obtain new results. It is impressive to see that some of their results, obtained without GRH, are matching some results obtained by other mathematicians under GRH. One of the wonderful features of their results is the new upper bounds for the \(\ell\)-torsion in the class groups. The whole article is highly technical, but the lecture of Chapter 1 is a must since it gives a wonderful description of their results and methods.