Generalized Robba rings

We prove that any projective coadmissible module over the locally analytic distribution algebra of a compact p-adic Lie group is finitely generated. In particular, the category of coadmissible modules does not have enough projectives. In the Appendix a “generalized Robba ring” for uniform pro-p groups is constructed which naturally contains the locally analytic distribution algebra as a subring. The construction uses the theory of generalized microlocalization of quasi-abelian normed algebras that is also developed there. We equip this generalized Robba ring with a selfdual locally convex topology extending the topology on the distribution algebra. This is used to show some results on coadmissible modules.