A class formula for admissible Anderson modules (Q2152483)

\textit{L. Taelman} gave a conjectural class formula for special Carlitz zeta values in [Math. Ann. 348, No. 4, 899--907 (2010; Zbl 1217.11062)]. The proof of this conjecture was given by \textit{L. Taelman} himself in [Ann. Math. (2) 175, No. 1, 369--391 (2012; Zbl 1323.11039)] using the trace formula of Anderson for \( {\mathbb F}_q[t]\)-modules. For an arbitrary coefficient ring \(A\) there are several deep but partial results to obtain a class formula for Drinfeld \(A\)-modules. In this paper the authors obtain the class formula for Drinfeld \(A\)-modules in full generality. They use the notion of Stark units, which was developed by the authors along several papers. The proof is extended to establish the class formula for admissible Anderson modules, in particular for \(A\)-finite or abelian Anderson modules. Let \(K\) be a global function field and let \(A\) be the ring of elements of \(K\) regular outside \(\infty\), a fixed place of degree \(d_{\infty}\geq 1\). Let \(L\) be a finite extension of \(K\) and let \({\mathcal O}_L\) be the integral closure of \(A\) in \(L\). The first main result (Theorem 4.7) is the class formula of an admissible Anderson \(A\)-module \(E\) defined over \({\mathcal O}_L\). The authors prove that any \(A\)-finite or abelian Anderson module is admissible. In particular, the class formula holds for \(A\)-finite or abelian Anderson modules and therefore the formula also holds for Drinfeld \(A\)-modules. The result generalizes the work of Taelman.