On the characteristic power series of the U operator
We show that the coefficients of the characteristic power series of Atkin’s U operator acting on overconvergent -adic modular forms of weight vary -adically continuously as functions of . Are they in fact Iwasawa functions of ?