The Iwasawa main conjecture for semistable abelian varieties over function fields

We prove the Iwasawa main conjecture over the arithmetic $\mathbb{Z}_p$-extension for semistable abelian varieties over function fields of characteristic $p>0$.
Comment: arXiv admin note: substantial text overlap with arXiv:1205.5945