The distribution of $G$-Weyl CM fields and the Colmez conjecture
Abstract
Let be a transitive subgroup of and be a CM field of degree with a maximal totally real -field. If the Galois group of the Galois closure of is isomorphic to the wreath product of and , then we say that is a -Weyl CM field. Let count the -Weyl CM fields of degree with discriminant and define \begin{align*} N_{2d}^{\textrm{Weyl}}(X):=\sum_{G \leq S_d}N_{2d}^{\textrm{Weyl}}(X,G). \end{align*} Further, let count the CM fields of degree with discriminant . Assuming a weak form of the upper bound in Malle's conjecture which is known to be true in many cases, we build upon an approach of Kl\"uners to prove that \begin{align*} \frac{N_{2d}^{\textrm{Weyl}}(X,G)}{N_{2d}^{\textrm{cm}}(X)} = C(d, G) + O(X^{-\alpha(d,G)}) \end{align*} and \begin{align} \frac{N_{2d}^{\textrm{Weyl}}(X)}{N_{2d}^{\textrm{cm}}(X)} = 1 + O(X^{-\beta(d)}) \qquad \qquad (0.1) \end{align} for some explicit positive constants , and . We then apply these distribution results to study the Colmez conjecture. Using the recently proved averaged Colmez conjecture, we deduce that the Colmez conjecture is true for -Weyl CM fields. Combined with (0.1), we conclude that the Colmez conjecture is true for an asymptotic density of 100% of CM fields of degree ; in other words, the Colmez conjecture is true for a random CM field.
Keywords
Cite
@article{arxiv.1708.00044,
title = {The distribution of $G$-Weyl CM fields and the Colmez conjecture},
author = {Adrian Barquero-Sanchez and Riad Masri and Frank Thorne},
journal= {arXiv preprint arXiv:1708.00044},
year = {2019}
}
Comments
The introduction has been reorganized and Section 3 has been expanded. 21 pages, 3 tables