Pairing Anderson motives via formal residues in the Frobenius endomorphism

Anderson modules form a generalization of Drinfeld modules and are commonly understood as the counterpart of abelian varieties but with function field coefficients. In an attempt to study their ``motivic theory'', two objects of semilinear algebra are attached to an Anderson module: its motive and its dual motive. While the former is better suited to follow the analogy with Grothendieck motives, the latter has proven much useful in the study of transcendence questions in positive characteristic. Despite sharing similar definitions, the relationship between motives and dual motives has remained nebulous. Over perfect fields, it was only proved recently by the second author that the finite generation of the motive is equivalent to the finite generation of the dual motive, answering a long-standing open question in function field arithmetic (the ``abelian equals $A$-finite'' theorem). This work constructs a perfect pairing among the motive and the dual motive of an Anderson module, with values in a module of differentials, thus answering a question raised by Hartl and Juschka. Our construction involves taking the residue of certain formal power series in the Frobenius endomorphism. Although it may seem peculiar, this pairing is natural and compatible with base change. It also comes with several new consequences in function field arithmetic; for example, we generalize the ``abelian equals A-finite'' theorem to a large class of algebras, including fields, perfect algebras and noetherian regular domains.