Formal groups of \(\mathbb Q\)-curves with complex multiplication (Q2393442)

To an elliptic curve \(E\) over \(\mathbb{Q}\) we may associate two formal groups \(\Hat{E}(x,y)\), \(\Hat{L}(x,y)\) over \(\mathbb{Z}\). The first one is the formal completion of the Néron model of \(E\) along its zero section, and the second one is derived from the \(L\)-function \(L(E/\mathbb{Q},s)\) attached to \(\ell\)-adic representations on \(E\). A classical result of \textit{T. Honda} states that these formal groups are strongly isomorphic [J. Math. Soc. Japan 22, 213-246 (1970; Zbl 0202.03101]. This result has been generalized by different authors to certain higher dimensional abelian varieties defined over abelian number fields. In the present paper, the author obtains an analogous result for \(\mathbb{Q}\)-curves \(E\) with complex multiplication by an imaginary quadratic number field \(K\). Thus, for the first time, a result of this kind is seen to hold for varieties which are not necessarily defined over abelian extensions of \(\mathbb {Q}\). Let \(H\) be the Hilbert class field of \(K\) and let \(\psi\) be the Hecke character from \(I_H\) to \(\mathbb{C}^*\) associated to \(E\). The author shows the existence of a Hecke character \(\phi\) from \(I_K\) to \(\mathbb{C}^*\) such that \(\psi=\phi\circ N_{H/K}\). The Hecke character \(\phi\) may be used to define an \(L\)-function \(\xi(E,\omega_E,s)\), where \(\omega_E\) is a fixed invariant differential, whose associated formal group is strongly isomorphic to the formal group derived from a Néron model of \(E\), over a certain subring of the maximal order of \(H\).