##
A talk on the p-adic numbers *September 16, 2009*

*Posted by Akhil Mathew in algebraic number theory, General, math education, number theory.*

Tags: independent study, p-adic numbers, talks

trackback

Tags: independent study, p-adic numbers, talks

trackback

The start of the academic year has made it much more difficult for me to get in serious posts as of late, and the number theory series has slowed. Things should clear up at least somewhat in a few more weeks. In the meantime, I’ll do something that occurred to me a while back but I then forgot about: posting a talk.

I took an independent study course last semester on class field theory. As is traditional, I gave a talk last May after the course on some aspects of the subject matter. Several faculty members at the university and teachers in my school attended, along with some undergraduates there. In the talk, I gave an elementary overview of the p-adic numbers, assuming no more than basic number theory and point-set topology.

Anyway, I am posting the (slightly corrected) presentation and the notes here.

It’s a shame combinatorialists and number theorists don’t talk more often. The construction of the ring of formal power series with coefficients in a commutative ring is almost identical to the construction of the -adic numbers (as you’ve discussed in some generality already) and combinatorialists owe all the nice convergence properties of formal power series to the properties of the -adic topology, which is induced by essentially the same non-Archimedean metric as in the -adic case. But I don’t think this fact gets recognized very often in combinatorics classes.

It’s interesting that this p-adic material is useful in combinatorics. But in what combinatorial situations is it necessary to consider convergence, as opposed simply to formal series?

Thanks for the explanations! I see your point about the utility- it’s because is nonarchimedean and complete.

A basic situation is where we want to make sure that an infinite product or an infinite sum of series gives another series. Because of the non-Archimedean metric one has the easy conditions that an infinite sum converges if and only if its terms go to zero and an infinite product converges if and only if its terms go to one. Thus I can freely speak of generating functions such as without worrying if their coefficients are well-defined, and I can also freely define composites with , and so forth. I also want, for example, to show that the Catalan numbers are well-defined when given as a continued fraction. In other words I want to show that a recurrence converges to one of its fixed points, and although in that particular case the argument is direct there are probably examples where it’s easier to argue indirectly.

There are formulas that vary on some parameter n, such that a term like appears. One wants to say that in the limit , this term goes to 0.

Here’s a concrete example: let denote the Schur function in infinitely many variables. One can show that the specialization is equal to

where means a box in the Young diagram, and c and h (content and hook length) are some statistics that only depend on and not n. The point, using the notion of convergence, one can also make sense of the stable specialization

.

Without the topology on the power series ring, one would have to waive hands and say that q is a number less than 1, but this is not convincing in my opinion.

In the last section you put Kronecker-Weber under “Why does Q_p matter”. Is there any relation between them actually..?

Oops I overlooked the local formulation. Please delete these two comments.