Generalization of Vélu's formulae for isogenies between elliptic curves (Q1021032): Difference between revisions

Let \(E\) be an elliptic curve and \(G\) a finite subgroup of \(E\). Let \({\mathcal I}_G: E\rightarrow E'\) be the separable isogeny with kernel \(G\). In \textit{J. Vélu} [C. R. Acad. Sci., Paris, Sér. A 273, 238--241 (1971; Zbl 0225.14014)], the equations of \(E'\) and of \({\mathcal I}_G\) were obtained. For a point \(P\) of \(E\), let \(X\) be the abscissa of the point \({\mathcal I}_G(P)\). Then Vélu showed a formula \(X={\mathbf S}_1-S_1\), where \(\mathbf{S}_1\) and \(S_1\) are the first elementary symmetric polynomials on the abscissas of non-trivial points of the coset \(P+G\) and of the group \(G\) respectively. The authors regard this as a formula giving a relation between \(\mathbf{S}_1\) and \(S_1\). It is noted that \(\mathbf{S}_1\) and \(S_1\) are the first power sums on those abscissas. The authors generalize this formula for all the elementary symmetric polynomials and the power sums on the abscissas of the points in \(P+G\) by defining some parameters. They show that the equations of \(E'\) and \({\mathcal I}_G\) are computable directly from the elementary symmetric polynomials on the abscissas of the non-trivial points in \(G\) and, in the case \(E\) and \(G\) are defined over a field \(K\), obtain an efficient way of computing those equations within the field \(K\).