The rigid analytical regulator and \(K_2\) of Drinfeld modular curves (Q983315): Difference between revisions

In this deep and important, but unluckily highly technical paper, the author gives an explicit description of the Beilinson-Bloch-Deligne-type regulator on the \(K_2\)-group of an elliptic curve \(E\) over \(\mathbb F_q(T)\) with split multiplicative reduction at \(\infty\) in terms of \(L\)-functions of \(E\). Reasonable statements about the precise contents could only be made after presenting several pages of notation, definitions, and explanations. See however the author's excellent introduction. We restrict to citing from there: ``In the paper [J. Fac. Sci., Univ. Tokyo, Sect. I A 35, No.~1, 177--197 (1988; Zbl 0681.12005)] which is now classical \textit{B. H. Gross} formulated a generalization of his original \(p\)-adic analogue of Stark's conjecture in a form which makes good sense both over number fields and function fields. This conjecture was proved by \textit{D. R. Hayes} for function fields [Invent. Math. 94, No.~3, 505--527 (1988; Zbl 0666.12009)]. In this paper Hayes gave an explicit rigid analytical construction of Stark units and expressed them in terms of special values of \(L\)-functions using this explicit construction. This paper is part of the project to formulate and prove results which generalize Hayes's theorem same way as Beilinson's conjectures generalize Stark's. In a previous paper [\textit{A. Pál}, Publ. Res. Inst. Math. Sci. 46, No.~2, 219--253 (2010; Zbl 1196.19007)] we constructed a rigid analytical regulator analogous to the classical Beilinson-Bloch-Deligne regulator refining the tame regulator in case of Mumford curves. In our current work we express the value of this regulator on certain explicit elements of the \(K_2\) group of Drinfeld modular curves, which are analogues of \textit{A. Beilinson}'s construction using modular units, in terms of special values of \(L\)-functions. Using the function field analogue of the Shimura-Taniyama-Weil conjecture we derive a formula for every elliptic curve defined over the rational function field of transcendence degree one over a finite field having split multiplicative reduction at the point at infinity analogous to the classical theorem of Beilinson on the \(K_2\) of elliptic curves defined over the rational number field.''