Non-commutative Iwasawa theory of abelian varieties over global function fields | Synapse