In this post, I am going to be brief and give you a link to the noncommutative geometry blog where I have posted the details. Briefly, the arithmetic of function fields over the finite field is a decades long dream I had of recreating classical arithmetic in the setting of Drinfeld modules and the like. This is very much like the dream of some biologists to create artificial life or even, more remotely, life based on silicon. Quite recently there has been a deepening of our understanding the relationship between the appropriate -function analog, denoted and -series. In particular, we now know how the poles of actually give rise to the “trivial zeta zeroes” in sharp analogy with classical theory. So, if you are interested, please check out http://noncommutativegeometry.blogspot.com/2014/02/zeta-zeroes-and-gamma-poles.html

# Measures and their discontents, er, automorphisms…

So one of the reasons I started to blog in the first place was that it is a great way to reach out to the community and, in particular, to younger mathematicians. It has always amazed and delighted me the way young mathematicians have approached function field arithmetic with *wide open *eyes and seen things that I have totally missed. Frankly, while I feel a bit mortified that I missed something or other, this is more than made up with by the joy in seeing these new results…

One of the points of function field arithmetic is that it allows one to revisit classical ideas “through the looking glass” (in a Lewis Carroll sort of way!). One instance of this lies in the application of integration in characteristic . In fact, the contrast between classical integration (with Haar Measures, Cauchy’s Theorem or whatever) and integration in finite characteristic could not seem greater. Classical integration is a tool of almost unlimited flexibility; one only has to think of the connection with anti-differentiation, the change of variables formula, the Fourier transform, and on and on. Non-Archimedean integration is not so obviously well equipped.

Yet there is a large paradox in all of this. The functional equation of the Riemann zeta function is associated to the group of order $2$; for the Fourier transform we end up with the cyclic group of order 4. But for the basic case of function field arithmetic, , , prime, we *appear* to end up with a group with the cardinality of the continuum! More precisely, let be a permutation of the set and let be a -adic integer written -adically as One then sets

One can see without too much difficulty that is continuous and that it stabilizes both the non-positive and non-negative integers. Moreover, it is clearly *almost additive*; i.e., additive *as long as* we have a sum *not* involving a carry-over of -adic digits. In this fashion we obtain a group of homeomorphisms of which is denoted . And one computes that this group has the cardinality of the continuum.

I discovered this group by staring at some early, and prescient, calculations done by Dinesh Thakur on those peculiar cases where a “trivial zero” has a higher order than one would expect. But then I went on to discover the following connection with measure theory. So let’s put . We *fix* a parameter of the form { higher terms in }. (So, for instance, !); therefore .

Following Carlitz, one defines where is the set of polynomials of degree . This is seen to be -linear. By using these and the -adic expansion of a positive integer one forms the *Carlitz polynomials *. These form a *Banach basis* of the space of continuous functions (think of *Mahler’s Theorem* for ). The dual of this Banach space is the space of measures (and one can form integrals via *Riemann sums!*). In the usual way, the space of measures is an algebra under convolution.

So now we come to the *first * connection of with the algebra . Because of the additivity of the polynomials , the polynomials satisfy the *Binomial Theorem.* Thus, as Greg Anderson observed, the algebra is isomorphic the algebra of *formal divided derivatives*. Let be as above and let . We define by extending the map linearly. Combining the *almost *additivity of with *Lucas’ Theorem, *one sees that one obtains an algebra automorphism of and thus . This automorphism is *extrinsic* in that we needed the identification in order to see it.

I recently realized that there is also an intrinsic action of this crazy group on as follows. Let . Define* *. **Now,** we obtain a fully linear continuous action on (which I originally wrote down as it *appears* to be related to -zeroes…). I just simply realized that the linearity of this last action implies that the dual action on measures preserves convolution!

So: *are these two actions the same? * This would be quite remarkable if true. If not, it is hard to believe that these two natural actions are not somehow naturally related!

# My first post here on WordPress

Hi. Although I **happily **blog on the noncommutative geometry blog, there are many times I would like to post things that are too specialized and/or inappropriate for that blog. As such I have decided to open up a second front here on WordPress. I hope it will be a forum for sharing information and ideas on function field arithmetic (or anything that analytically continues from there!). My best, David