Characteristic ideals and Selmer groups

Let A be an abelian variety defined over a global field F of positive characteristic p and let \mathcal{F}/F be a Z_p^\infty-extension, unramified outside a finite set of places of F. Assuming that all ramified places are totally ramified, we define a pro-characteristic ideal associated to the Pontrjagin dual of the p-primary Selmer group of A . To do this we first show the relation between the characteristic ideals of duals of Selmer groups for a Z_p^d-extension \mathcal{F}_d/F and for any Z_p^{d−1}-extension contained in \mathcal{F}_d, and then use a limit process. Finally, we give an application to an Iwasawa Main Conjecture for the non-noetherian commutative Iwasawa algebra Z_p[[Gal(\mathcal{F}/F)]] in the case A is a constant abelian variety.