Formal groups of certain \(\mathbb Q\)-curves over quadratic fields. (Q1598269): Difference between revisions

Let \(E\) be an elliptic curve over \(\mathbb Q\). We denote by \(\hat E_\alpha(x_1,x_2)\) the formal group associated to the minimal model over \(\mathbb Z\) for \(E\). Let \(L(E /\mathbb Q,s) =\sum_{n\geq 1}a_nn^{-s}\) be the \(L\)-series attached to the \(l\)-adic representations of \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)\) on \(E\). We denote by \(\hat L_\alpha(x_1,x_2)\) the formal group of the \(L\)-series \(L(E /Q,s)\), that is, the formal group with transformer \(\sum_{n\geq 1}a_nn^{-1}x^n\). Then [\textit{T. Honda} showed [Osaka J. Math. 5, 199--213 (1968; Zbl 0169.37601), J. Math. Soc. Japan 22, 213--246 (1970; Zbl 0202.03101)]: Theorem. \(\hat L_\alpha(x_1,x_2)\) is defined over \(\mathbb Z\), and it is strongly isomorphic over \(\mathbb Z\) to \(\hat E_\alpha(x_1,x_2)\). He also shows that \(\hat E_\alpha(x_1,x_2)\) determines the \(L\)-series \(L(E /\mathbb Q,s)\). Namely, the coefficients of \(L(E /\mathbb Q,s)\) can be obtained explicitly from the coefficients of the transformer of \(\hat E_\alpha(x_1,x_2)\). The author attempts to get a similar result of the theorem of Honda to formal groups of \(\mathbb Q\)-curves over quadratic fields. The problem is to find an \(L\)-series whose formal group is strongly isomorphic to the formal group of a fixed Weierstrass model of a \(\mathbb Q\)-curve over a quadratic field. In Section 2, the author reviews the classification theory, studied by Honda, of formal groups over \(\mathfrak p\)-adic integer rings. In Section 3, after some investigations on the \(L\)-series of the restriction of scalars of a certain \(\mathbb Q\)-curve which is dealt with, the author defines an \(L\)-series associated to a certain \(\mathbb Q\)-curve and discusses its associated formal group. In Section 4, he investigates the formal group structure of a certain \(\mathbb Q\)-curve and proves his main theorem: Theorem 4.1. \(\hat L_\alpha(x_1,x_2)\) is defined over the ring \(\mathcal O_{K,S}\) of \(S\)-integers in \(K\), and it is strongly isomorphic over \(\mathcal O_{K,S}\) to \(\hat E_\alpha(x_1,x_2)\).