The least prime with a given cycle type
Let G be a finite group. Let K/k be a Galois extension of number fields with Galois group isomorphic to G, and let C⊆Gal(K/k)≃G be a conjugacy invariant subset. It is well known that there exists an unramified prime ideal p of k with Frobenius element lying in C and norm satisfying Np≪∣Disc(K)∣α for some constant α=α(G,C). There is a rich literature establishing unconditional admissible values for α, with most approaches proceeding by studying the zeros of L-functions. We give an alternative approach, not relying on zeros, that often substantially improves this exponent α for any fixed finite group G, provided C is a union of rational equivalence classes. As a particularly striking example, we prove that there exist absolute constants c1,c2>0 such that for any n≥2 and any conjugacy class C⊂Sn, one may take α(Sn,C)=c1exp(−c2n). Our approach reduces the core problem to a question in character theory.