Double complex and gamma-monomials in global function fields (Q1764779): Difference between revisions

\textit{P. Das} [Trans. Am. Math. Soc. 352, 3557--3594 (2000; Zbl 1013.11069)] used Anderson's double complex method in the rational number field case to study classical \(\Gamma\)-monomials, and obtained results about cyclotomic fields generated by algebraic \(\Gamma\)-monomials. \textit{S. Bae} et al. [Trans. Am. Math. Soc. 355, 3463--3474 (2003; Zbl 1040.11082)], adopting a modified version of Thakur's characteristic \(p\) \(\Gamma\)-function on global function fields, used the double complex in the global function field case and Das' method to study \(\Gamma\)-monomials in the rational function field case, and obtained several analogues of Das' results. In this paper, the authors generalize these results to global function fields. Let \(k\) be a global function field, \(\infty\) a fixed place of degree \(1\), \(\mathbb A\) the ring of functions of \(k\) which are regular away from \(\infty\), \(T\) the set of nonzero fractional ideals of \(\mathbb A\), \(\mathcal A\) the free abelian group generated by symbols \([\mathbf a]\), \(\mathbf a\in\overline {T}\) (a quotient of \(T\)), \(k_{\infty}\) the completion of \(k\) at \(\infty\) and \(\mathbb C_{k}\) the completion of the algebraic closure of \(k_{\infty}\). The paper discusses Anderson's double complex \(\mathbb S\mathbb K\) (which is a resolution of the universal ordinary distribution \(\mathbb U\) on \(k/\mathbb A\)), its quotient \(\mathbb M\), the sign cohomology groups \(H^{2}(J,\mathbb U)\) and \(H^{1}(J,\mathbb U)\) (which are, respectively, isomorphic to \(H_{0}(\mathbb M)\) and \(H_{-1}(\mathbb M)\)) (Sect.1 and 2), the characteristic \(p\) \(\Gamma\)-function \(\Gamma:T\rightarrow\mathbb C_{k}\), the \(\Gamma\)-monomials \(\overline {\Gamma}(\mathbf a)\), where \(\mathbf a\in\mathcal A\), and the Galois properties of the field \(K_{\mathfrak m}(\overline {\Gamma}(\mathbf a))\), where \(\mathbf a=\sum m_{i}[a_{i}]\in H^{2}(J,\mathbb U)\) and \(K_{\mathfrak m}\) is the cyclotomic function field of the triple \((k,\mathfrak m,\infty)\) with conductor \(\mathfrak m\) equal to the lcm of the denominators of the \(m_{i}\) (Sect. 3). The discussion follows the lines of the rational function field case and the results are mainly analogues of that case, but there are important diff erences arising from nontriviality of the class number of \(k\): the differential operator \(\partial\) is not zero on \(\mathbb M\) so it is harder to find a canonical basis for its cohomology, which makes the computation of \(\Gamma\)-values a little harder (in Theorem 3.3.1, for example); there exist several similarity classes of rank \(1\) lattices, which necessitates the use of Hayes' elliptic numbers (Theorem 2.2.3); and the properties of \(K_{\mathfrak m}(\overline {\Gamma}(\mathbf a))\) are satisfied not over the base field \(k\), but over its Hilbert class field \(K_{\mathfrak e}\) (Theorems 3.4.2 and 3.4.3).