In this post, I would like to discuss a really beautiful solution of an open issue in the theory of characteristic p L-series. This solution is in the short paper arXiv:0808.4069 by Sangtae Jeong and is a great illustration of the use of calculus in finite characteristic. I have written this post so that, if you choose, you can just copy it and paste it into a latex file and it will compile.
In my previous post of August 4, 2008, I mentioned the domain of characteristic -series. We write as . Here is used in the following fashion: Let and let be a 1-unit in ; so where has absolute value strictly less than . Then one simply defines by using the binomial expansion (which converges since is small).
The binomial expansion of obviously shows that the function is analytic on the -units. This analyticity is itself crucial for the analytic continuation of the -series of general Drinfeld modules and the like. Indeed, one writes down an integral for these -series of the form
where we integrate over the -units and where is our parameter. This integral converges absolutely when is large. In fact, when is large the integral will converge if is replaced by {\it any} continuous function in . However, the analyticity of gives very powerful a-priori information about the growth of the expansion coefficients of this function (in a suitable polynomial basis for all continuous functions); indeed, the coefficients go to quite rapidly. On the other hand, for arbitrary the measures blow up rather slowly (in fact, logarithmically). Putting the two facts together allows for the analytic continuation.
The same argument would work for {\it any} locally-analytic endomorphism of the -units and therefore it is quite reasonable to expect that there are no others. This is what Jeong proves in his note.
One can obtain a proof using formal groups. Jeong's proof, however, seems to work only in the case at hand. Its advantage lies in the fact that you can actually watch the -adic integer arising out of a series of first order, initial value differential equations that naturally arise.
In fact, Jeong's proof is a finite characteristic reflection of that most famous differential equation that one learns in first year calculus. Please forgive me for recalling how the differential equation is solved: one first learns that is a solution of the equation. One then divides any other solution by to obtain a function whose derivative (by the quotient rule) is identically , and therefore constant, and so all solutions are multiples of . In particular, of course, a solution is nonzero precisely when is.
Characteristic calculus presents many challenges; primarily the fact that having an identically vanishing derivative does NOT guarantee that a function is constant. So, first of all, one differentiates a power series in exactly the same fashion as in first year calculus with the same derivation laws. In particular, then, the derivative of with respect to is ; this vanishes identically if and only if divides . So a power series will have identically vanishing derivative if and only if it can be written as , where is another power series, and therefore we are very far from the classical situation. Similarly, the -th derivative of a power series will vanish identically.
The ancients (such as Hasse, Schmidt and Teichmuller) partially compensated for this as follows: Again from first year calculus, one knows that if is a convergent power series over the real numbers then where ; thus Hasse et al shifted the focus from to the operators which are indeed nonzero in finite characteristic. One writes this ({\it formally now}!) as and calls these operators "Hasse derivatives", "hyperderivatives," "divided derivatives" etc. They satisfy many formal properties that may be guessed at from classical theory as well as other special properties arising in finite characteristic.
Let me now briefly sketch Jeong's proof and refer you to his paper for the details. You will see echoes in it of the classical theory of sketched above. So let be our endomorphism of the -units where for small.
Step 1. The coefficients are in for all . Indeed, this follows from the fact as is an endomorphism.
Step 2. if and only if vanishes identically. Indeed, Jeong uses the fact that represents an endomorphism, and some algebra, to show that for all
In particular, if the derivative of vanishes at the origin, then for some endomorphism (recall that the coefficients of are in ).
Step 3: Let be the largest integer such that for some endomorphism ; thus by Step 2, . Let be in the class mod given by . Let ; clearly is again an endomorphism and the quotient rule shows that . In particular, is a -th power and we may repeat the process.
Step 4: Step 3 allows us to inductively create so that the power series for IS . As the -units have no torsion (which is easily seen), one concludes that forall -units .
1 comment:
Dear David
Thanks for this great "post" that you put on the blog. It is really a beautiful simple idea and I hope people will read it as avidly as I did.
Post a Comment