An explicit bound for the least prime ideal in the Chebotarev density theorem
We prove an explicit version of Weiss' bound on the least norm of a prime ideal in the Chebotarev density theorem, which is itself a significant improvement on the work of Lagarias, Montgomery, and Odlyzko. In order to accomplish this, we prove an explicit log free zero density estimate and an explicit version of the zero repulsion phenomenon for Hecke $L$ functions. As an application, we prove the first explicit nontrivial upper bound for the least prime represented by a positive definite primitive binary quadratic form. We also present applications to the group of \mathbb{F}_p$ rational points of an elliptic curve and congruences for the Fourier coefficients of holomorphic cuspidal modular forms.