Zeta elements in the \(K\)-theory of Drinfeld modular varieties (Q453425): Difference between revisions

\textit{A. A. Beilinson} [Contemp. Math. 55, 1--34 (1986; Zbl 0609.14006)] constructed special elements in the second \(K\)-group of an elliptic modular curve, and showed that the image under the regulator map is related to the special values of the \(L\)-functions of elliptic modular forms. The goal of the article under review is to give a function field analogue of Beilinson's results. The main result (Theorems 1.1 and 8.2) is the Drinfeld modular analogue of Beilinson's theorem. The authors consider the moduli space \({\mathcal M}_{N_{I,J}}^d\) of rank \(d\) Drinfeld modules with level \(N_{I,J}\)-structures. They construct an element \(\kappa_{I,J,\gamma}\) in the higher \(K\)-theory group \(K_d({\mathcal M}_{N_{I,J}}^d)\otimes_{\mathbb Z}{\mathbb Q}\) using theta functions and Siegel units. The main result of the paper is a formula which describes the image of \(\kappa_{I,J,\gamma}\) under the regulator map. As an application (Theorem 1.2), the authors obtain the image of the regulator composed with the projection map to the space of cusp forms. The proof of Theorem 1.1 is as follows. In Section 2, it is constructed a subspace of the \(K\)-group using units on the modular varieties. In Section 6 is computed an integral which is the pairing between a Hecke eigen cusp form and an automorphic form. The computation is done by means of the norm property of Euler systems. The limit of the zeta integral, as the complex variable tends to zero, is related to the pairing between a Hecke eigencusp form and the image by the regulator map of elements of some \(K\)-groups. This is the zeta value formula (Theorem 1.1). Theorem 1.2 is proved in the last section, using this formula and some computations of the Borel-Moore homology groups.