Weil-Barsotti formula for $\mathbf{T}$-modules

TL;DR

This paper extends the Weil-Barsotti formula to a broader class of m modules, explicitly computes duals for certain pure m modules, and provides a counterexample when specific conditions are not met.

Contribution

It generalizes the Weil-Barsotti formula to strictly pure m modules with zero nilpotent matrix and computes their duals explicitly.

Findings

Generalization of Weil-Barsotti formula to new m modules

Explicit computation of dual and double dual m modules

Counterexample showing failure of the formula with non-zero nilpotent matrix

Abstract

In the work of M. A. Papanikolas and N. Ramachandran [A Weil-Barsotti formula for Drinfeld modules, Journal of Number Theory 98, (2003), 407-431] the Weil-Barsotti formula for the function field case concerning $\Ext_{\tau}^1(E,C)$ where $E$ is a Drinfeld module and $C$ is the Carlitz module was proved. We generalize this formula to the case where $E$ is a strictly pure \tm module $\Phi$ with the zero nilpotent matrix $N_\Phi.$ For such a \tm module $\Phi$ we explicitly compute its dual \tm module ${\Phi}^{\vee}$ as well as its double dual ${\Phi}^{{\vee}{\vee}}.$ This computation is done in a a subtle way by combination of the \tm reduction algorithm developed by F. G{\l}och, D.E. K{\k e}dzierski, P. Kraso{\'n} [ Algorithms for determination of \tm module structures on some extension groups , arXiv:2408.08207] and the methods of the work of D.E. K{\k e}dzierski and P. Kraso{\'n} [On $\Ext^1$ for Drinfeld modules, Journal of Number Theory 256 (2024) 97-135]. We also give a counterexample to the Weil-Barsotti formula if the nilpotent matrix $N_{\Phi}$ is non-zero.