A function field analogue of the Stark conjecture (Q2171909)

The Stark conjectures give conjectural information about the coefficient of the leading term in the Laurent expansion of an Artin \(L\)-function associated with a Galois extension over \({\mathbb Q}\). In this paper, the author proves a function field analogue of Stark's conjecture associated to \(t\)-modules. Let \(K\) be a finite extension of \(k(t)\), where \(k\) is the finite field of \(q\) elements, \(L\) a finite Galois extension of \(K\) with Galois group \(G\), \({\mathcal O}_K\) the integral closure of \(k[t]\) in \(K\), \({\mathcal O}_L\) the integral closure of \(k[t]\) in \(L\) and \({\mathbb C}_{\infty}\) the completion of an algebraic closure of \(k((t^{-1}))\). A \(t\)-module over \({\mathcal O}_K\) of dimension \(n\) is a certain functor \(E:\{{\mathcal O}_K\text{-algebras}\} \longrightarrow \{k[t]\text{-modules}\}\) that associates to each \({\mathcal O}_K\)-algebra \(B\) the \(k[t]\)-module \(E(B)\) whose underlying \(k\)-vector space is \(B^n\) and whose \(k[t]\)-module structure is given by a ring homomorphism \(\varphi_E:k[t]\longrightarrow {\mathrm{End}}_k(B^n)\). The Lie algebra of \(E\) is the functor \({\mathrm{Lie}}(E):\{{\mathcal O}_K\text{-algebras}\}\longrightarrow \{k[t]\text{-modules}\}\) given by a ring homomorphism \(d\varphi_E:k[t]\longrightarrow {\mathrm{End}}_k (B^n)\) for any \({\mathcal O}_K\)-algebra \(B\). The author introduced in [J. Number Theory 232, 242--260 (2022; Zbl 1489.11089)] the elements \(L_{\mathfrak p}(E,V)\in{\mathbb C}_{ \infty}\), where \({\mathfrak p}\) is a given maximal ideal \({\mathfrak p}\) of \({\mathcal O}_K\) and proved that \(\prod_{\mathfrak p} L(E,V)\) converges in \({\mathbb C}_{\infty}\) to an element denoted by \(L(E,V)\). The main result of the paper is that if \(A(V,g)=\det_{{\mathbb C}_{ \infty}}((\mu\circ \tilde g)_V)/L(E,V)\) and \(F=k(\zeta\in{\mathbb C}_{ \infty}\mid \zeta^{[L:K]}=1)\), then (1) \(A(V,g)\in F(t)\); (2) for any automorphism \(\sigma\) of \({\mathbb C}_{\infty}\) fixing \(k(t)\), we have \(\sigma(A(V,g))=A(V_{\sigma},g)\), where \(V_{\sigma}=V\otimes_{ {\mathbb C}_{\infty},\sigma}{\mathbb C}_{\infty}\). Here \(g\) and \(\mu\) are certain \(k((t^{-1}))[G]\)-linear isomorphisms.