Homogeneous division polynomials for Weierstrass elliptic curves

Abstract: Starting from the classical division polynomials we construct homogeneous polynomials $\alpha_n$, $\beta_n$, $\gamma_n$ such that for $P = (x:y:z)$ on an elliptic curve in Weierstrass form over an arbitrary ring we have $nP = \bigl(\alpha_n(P):\beta_n(P):\gamma_n(P)\bigr)$. To show that $\alpha_n,\beta_n,\gamma_n$ indeed have this property we use the a priori existence of such polynomials, which we deduce from the Theorem of the Cube. We then use this result to show that the equations defining the modular curve $Y_1(n)_{\mathbb C}$ computed for example by Baaziz, in fact are equations of $Y_1(n)$ over $\mathbb Z[1/n]$.