Teoria Iwasawa não comutativa de variedades abelianas sobre campos de funções globais | Synapse