I'll tell a couple of anecdotes related to imaginary quadratic fields
(e.g. primes in the sequence n^2+n+41), and then open a new story --
local CFT and the explicit construction of K^ab due to Lubin-Tate.
Abstract: Any birational geometer would agree that the best algorithm
for resolution of singularities should run by defining a simple invariant of
the singularity and iteratively blowing up its maximality locus.
The only problem is that already the famous example of Whitney umbrella
shows that this is impossible, and all methods following Hironaka had
to use some history and resulted in more complicated algorithms.
Nevertheless, in a recent work with Abramovich and Wlodarczyk we did
construct such an algorithm, and an independent description of a similar