Dwork is one of the mathematicians that I admire so much.
Recently I learned how he produced primitive p-th roots of unity in “by hand”, which is interesting enough for me to write it down here.
Let satisfies . Consider the following function . Then after plugging in , we will miraculously get all the primitive p-th roots of unity in . Here is a primitive -st root of unity. The function bears the name “Dwork’s exponential”, I believe.
To prove the above statement, it suffices to prove it for . So we need to prove yet .
One thing to notice at the first place is that the convergence range of exponential function is the open disc of radius , and the polynomial has norm exactly on the closed disc of radius . So the value cannot be computed by plugging into the polynomial, which is , and then plug the output in the exponential function.
However, . Now the polynomial has smaller norm on the closed disc, therefore we may compute the value at by means in the previous paragraph. Hence we see that .
Now we need to see that . In the following we will show that . To achieve this, let us rewrite . Here , and , where . The function is called the Artin-Hasse exponential. There’s a lemma of Dwork telling us that , hence . On the other hand it’s easy to show directly that . Put everything together, we see that which is what we want to show.
In fact, before doing everything we probably have to show the convergence radius of is strictly bigger than . This actually easily follows from the estimate of .
From the above construction, we see that there is a bijection between sets from -st roots of and primitive p-th roots of unity. This is of course well known, since if we let , then we’ll have .