This post is very rough and is only to remind me of my chain of thought. Read at your own peril.
The first example of Iwasawa theory most people see is the historically first one of class groups for the cyclotomic $latex\mathbb Z_p$ tower of . The reason the idea works at all is that somehow, passing to the limit reduces the “amount of bad stuff” that can happen and the key to this is a sort of control theorem where, if we denote the inverse limit of class groups by
which has an action of
, then Iwasawa shows that the class groups
at finite levels can be recovered by essentially doing
where
. This step very crucially uses class field theory in the identification of the class group with the maximal unramified extension.
Now one might object that perhaps we don’t need to work so hard. After all, where the limit is over the algebras
where
and it seems natural that
. Unfortunately (or fortunately), this is not true at all and is where Iwasawa theory gets it’s great power from. The purpose of this post is to record how bad things can go without any control theorems.
Let us denote by the cyclotomic polynomial of order
so that
is essentially a product of these and while
is not congruent to
, it almost is in the sense that if we have an element (or module) over each
which agree after reducing modulo the respective maximal ideals, then they can be glued back to an actual element (or module) over
. This is some version of the chinese remainder theorem.
For modules, the condition about reducing modulo maximal ideals corresponds to saying that over the special point of each ring, the modules have the same dimension. Since each ring is itself a DVR, or close to it, modules over it are classified by the order of their torsion so let me do an easy example where we only consider two of the rings, say corresponding to
with torsion orders
and rank 1.
Idea: We use the cyclotomic polynomials to kill all but one of the relations over the various rings and introduce appropriate torsion but this leads to problems with dividing by so we define new variables that act as though they result from dividing by
.
Construction: We can define a module over in the following way:
Let it be generated by two elements with the relation
and we impose the conditions that
and
. The point is that sending
, the first condition is meaningless while
and so the relations over
are
or equivalently, it is generated by
and
.
Similarly, sending , the relations are of the form
for
a uniformizer of
or something like it and over
, one can check that this is rank
.
What goes wrong in the Iwasawa tower: Using this construction, we can, at each step of the inverse limit, make whatever arbitrary order of torsion we want (keeping the mod p rank constant). However, in order to do this, we will have to introduce larger and larger products of cyclotomic polynomials and if we don’t stop at some stage, the relations will go to zero in the limit.
Therefore, we can have arbitrary torsion at each stage but at the cost of having no torsion whatsoever in the limit and then clearly, the control theorem won’t work – the quotients will continue to be free. This is why it’s crucial that Iwasawa could establish a “control theorem”.