An equivariant Tamagawa number formula for Drinfeld modules and applications (Q2112375)

Let \(K/F\) be a finite Galois extension of global function fields with abelian group \(G\) and let \(E\) be a Drinfeld module over a certain Dedekind domain \({\mathcal O}_F\subseteq F\). To the pair \((K/F, E)\) the authors associate a \(G\)-invariant \(\Theta_{ K/F}^E(s)\) of the Goss zeta function, which takes values in \({\mathbb C}_{\infty}[G]\). \textit{L. Taelman} [Ann. Math. (2) 175, No. 1, 369--391 (2012; Zbl 1323.11039)] proved a class number formula for the special value \(s=0\) of the \({\mathbb C}_{\infty}\)-valued Goss zeta function \(\zeta_F^E(s)\). Taelman's formula establishes an equality between \(\zeta_F^E(0)\) and a certain quotient of volumes of two compact topological groups associated to \((F,E)\), so that the formula can be interpreted as a ``Tamagawa number formula'' for the pair \((F/E)\). This paper extends Taelman's techniques to the \(G\)-invariant setting \((K/F,E)\) and proves an equality between suitable Euler-completed versions of \(\Theta_{K/F}^E(0)\) and the quotient of \(G\)-invariant volumes of Taelman's topological groups with a natural \(G\)-action. This generalizes Taelman's class number formula in Theorem 1.5.1. Using this result, the authors prove a Drinfeld module analogue of the classical number field Brumer-Stark conjecture. This is achieved in Theorem 1.5.5. The proofs of the main results are contained in the last section. Since the authors work with an abelian group \(G\), whose order may be divisible by the characteristic, they cannot work on a character-by-character basis. There are also serious \(G\) cohomological obstructions. Thus, they have to construct certain taming modules \({\mathcal M}\) for \(K/F\), which lead to the suitable Euler-completed versions \(\Theta_{K/F}^{E, {\mathcal M}}(0)\) of \(\Theta_{K/F}^E(0)\).