これはあとでわかるが単なる微分を考えている。写像(Coleman写像の合成写像)の完全系列を作った(Thm3.54)。ステップを挟むことで、p進L函数と円単数が結びつき、岩澤主予想の円単数のEuler系を用いた証明に使えるらしい。ねじれ加群とは限らないので,ポントリャーギン双対をとらないといけない?)雑感ようやくColeman写像によるp進L函数の構成がおわった。正確にいうと「終わらせた」という感じに近くて、証明の流れはほとんどよくわかっていない。記号が難しくて飲み込みづらかったのと、構成までの過程が長くて全体像をつかむのが難しかった。最初から見直した方が良さそう。