Higher regulators and Hecke \(L\)-series of imaginary quadratic fields. II (Q2640660)

This paper may be considered as a continuation of Part I [the author, Invent. Math. 96, No. 1, 1--69 (1989; Zbl 0721.14004)]. It extends the results for weight-one Hecke characters of an imaginary quadratic field \(K\), obtained in that paper, to all algebraic Hecke characters of \(K\). So, let \(F/K\) be an abelian extension, with \(| Gal(F/K)| =g\), of the imaginary quadratic field \(K\) with ring of integers \({\mathfrak O}_ K\), and let \(E\) be an elliptic curve over \(F\) with complex multiplication (CM) by \({\mathfrak O}_ K\) such that \(F(E_{tor})/K\) is abelian. Write \(h(E)=h_ 0(E)\oplus h_ 1(E)\oplus h_ 2(E)\) for the Chow motive of \(E\). Then the abelian variety \(A=R_{F/K}E\) (Weil restriction) has CM by a commutative \(K\)-algebra (of degree \(g\)) \(T=\prod T_ e \), where \(e\) runs through the idempotents of \(T\) and where the \(T_ e\) are CM-fields. \(A\) decomposes into a product of abelian varieties \(A_ e\) over \(K\) with CM by \(T_ e\). Let \(\Phi_ A=(\Phi_ e): I_ K\to T^*\) be the Serre-Tate character of \(A\). \(A\) gives rise to the motive \(M=R_{F/K}(h_ 1(E))\). Fix an integer \(w\geq 1\). One may decompose the algebra \(T^{\otimes w}\) into a product of CM fields \(T_{\Theta}\) where \(\Theta\) runs over the \(\text{Aut}({\mathbb C})\)-orbits of \(\Lambda^ w=\text{Hom}(T^{\otimes w},{\mathbb C})\). The idempotent \(e_{\Theta}\) in \(T^{\otimes w}\) corresponding to \(T_{\Theta}\), defines a motive \(M_{\Theta}=e_{\Theta}M^{\otimes w}\), a CM-character \(\Phi_{\Theta}: I_ K\to T^*_{\Theta}\), \(\Phi_{\Theta}(x)= e_{\Theta} \cdot (\Phi_ A(x)\otimes... \otimes \Phi_ A(x)),\) and for \(\lambda \in \Lambda^ 1\), a Hecke character \(\Phi_{\lambda}: I_ K/K^*\to \lambda (T)^*\subseteq {\mathbb C}\). For \(\vartheta =(\lambda_ 1,...,\lambda_ w)\in \Lambda^ w\) one defines the Hecke character \(\Phi_{\vartheta}=\Phi_{\lambda_ 1}...\Phi_{\lambda_ w}\) with values in \(T^*_{\vartheta}=\vartheta (T^{\otimes w})^*\). Then every CM-character (respectively Hecke character) of \(K\) of weight \(w\) is of the form \(\Phi_{\Theta}\) (resp. \(\Phi_{\vartheta}\)) for suitable \(\Theta\), \(\vartheta\) as above. For \(\vartheta\in \Theta\), \(\vartheta =(\lambda_ 1,...,\lambda_ w)\in \Lambda^ w\), set \[ a_{\vartheta}=| \{i:\;\lambda_ i\in \Theta_ K=\Theta \cap \text{Hom}_ K(T_{\Theta},{\mathbb C})\}| \] and \(b_{\vartheta}=w- a_{\vartheta}\). For \(\vartheta \in \Theta_ K\) the pair \((a,b)=(a_{\vartheta},b_{\vartheta})\) does not depend on \(\vartheta\). Let \(L^ w(M_{\Theta},s)\) be the \(L\)-function of \(M_{\Theta}\) defined by the action of the geometric Frobenius on \(H^ w_{\acute et}(M_{\Theta_{\bar K}},{\mathbb Q}_{\ell})\). Then \[ L^ w(M_{\Theta},s)= L(\Phi_{\Theta},s)= (L(\Phi_{\vartheta},s))_{\vartheta \in \Theta}\in T_{\Theta}\otimes {\mathbb C}. \] Similar for Beilinson's dual motive \(M^ 0_{\Theta}\) one has \(L^ w(M^ 0_{\Theta},s)=(L({\bar \Phi}_{\vartheta},s))_{\vartheta \in \Theta}\). For \(\Theta\),a,b\(\geq 0\) as above, set \(w=a+b\geq 1\) and let \(\ell \in {\mathbb Z}\) such that -\(\ell \leq \text{Min}(a,b)\) if \(a\neq b\) and \(-\ell <a=b=w/2\) otherwise. The main theorem of the paper is the following: \(L^ w(M^ 0_{\Theta},s)= (L({\bar \Phi}_{\vartheta},s))_{\vartheta \in \Theta}\) have a first order zero at \(s=-\ell\) and there is a \(\xi_{\Theta}\in H_{{\mathcal M}}^{w+1}(M_{\Theta},{\mathbb Q}(w+\ell +1))\) such that for the regulator map \[ r_{{\mathcal D}}: H_{{\mathcal M}}^{w+1}(M_{\Theta},{\mathbb Q}(w+\ell +1))\to H_{{\mathcal D}}^{w+1}(M_{\Theta {\mathbb C}},{\mathbb R}(w+\ell +1)) \] one has \(r_{{\mathcal D}}(\xi_{\Theta})\equiv L^{w'}(M^ 0_{\Theta},- \ell)\eta_{\Theta} \bmod \Gamma^*_{\Theta}\) in the free rank one \(T_{\Theta}\otimes {\mathbb R}\)-module \(H_{{\mathcal D}}^{w+1}(M_{\Theta {\mathbb C}},{\mathbb R}(w+\ell +1))\), with \(\eta_{\Theta}\) a \(T_{\Theta}\)- generator of \(H^ w_ B(M_{\Theta {\mathbb C}},{\mathbb Q}(w+\ell)).\) A second result concerns the Gross conjecture for characters \(\chi\) of \(\text{Gal}(\bar K/K)\). Such a character defines a motive \(M_{\chi}\) over \(K\) with coefficients in \(U\), where \(U/{\mathbb Q}\) is the field extension generated by the values of \(\chi\). There is a regulator map \[ r_{{\mathcal D}}\otimes {\mathbb R}: H^ 1_{{\mathcal M}}(M_{\chi},{\mathbb Q}(\ell +1))\otimes {\mathbb R}\quad \overset \sim \rightarrow \quad H^ 1_{{\mathcal D}}(M_{\chi {\mathbb R}},{\mathbb R}(\ell +1)) \] with regulator \(c_{M_{\chi}}\in (U\otimes {\mathbb R})^*/U^*\). Then \(c_{M_{\chi}}\equiv L'(M^ 0_{\chi},-\ell) \bmod U^*\) for every integer \(\ell >0.\) As a corollary one obtains a similar result over \({\mathbb Q}\), first proved quite differently by Beilinson. - The proofs of both results rely on explicit calculations involving Kronecker and Eisenstein symbol maps. The final section deals with symmetric powers of an elliptic curve \(E\) defined over \({\mathbb Q}\), possibly without complex multiplication. It leads to a conjectural relation between \(L(Sym^{\ell}h_ 1(E),\ell +1)\) and a certain determinant of Eisenstein-Kronecker series (if the latter is non-zero).