No label defined (Q4227232)

Let \(f\) be a positive integer and let \(U(f)\) be the universal level \(f\) distribution on \(\frac 1f\mathbb Z/\mathbb Z\). in the sense of \textit{D. Kubert} [Bull. Soc. Math. Fr. 107, 179--202 (1979; Zbl 0409.12021)]. The Galois group of the \(f\)-th cyclotomic field acts on \(U(f)\). Let \(G_{\infty}\) be the subgroup generated by complex conjugation. The Tate cohomology of \(G_{\infty}\) with coefficients in \(U(f)\) is called the sign-cohomology of \(U(f)\) and has been studied by Kubert, and by \textit{W. Sinnott} [Ann. Math. (2) 108, 107--134 (1978; Zbl 0395.12014)] in his work on the indices of the group of cyclotomic units and of the Stickelberger ideal. \textit{S. Galovich} and \textit{M. Rosen} [J. Number Theory 14, 156--184 (1982; Zbl 0483.12003)], using Carlitz modules, proved the analogue of Sinnott's results for function fields. L. S. Yin generalized these results to the case where the Carlitz module is replaced by a general sign-normalized rank one Drinfeld module and computed the analogue of the unit index under the assumption of a certain conjecture on the Galois module structure of the analogues of certain sign-cohomology groups. The present paper proves Yin's conjecture. The author develops a new method involving double complexes that keeps track of both distribution relations and the higher syzygies among them. In the classical cyclotomic case, these methods show (when \(f\not\equiv 2\pmod 4\)) that the sign-homology of \(U(f)\) is isomorphic to the Farrell-Tate homology of the multiplicative group generated by \(-1\) and the primes dividing \(f\). The methods of the paper have been used by \textit{P. Das} [Trans. Am. Math. Soc. 352, No. 8, 3557--3594 (2000; Zbl 1013.11069)] to study special values of the gamma function. For the entire collection see [Zbl 0901.00022].