Binary quadratic forms attached to supersingular elliptic curves over F_p? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T04:36:41Z http://mathoverflow.net/feeds/question/40295 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40295/binary-quadratic-forms-attached-to-supersingular-elliptic-curves-over-f-p Binary quadratic forms attached to supersingular elliptic curves over F_p? Tommaso Centeleghe 2010-09-28T10:45:05Z 2010-09-28T11:51:21Z <p>The question that I have is a more precise version of an earlier one (<a href="http://mathoverflow.net/questions/19204/a-question-on-liftings-of-supersingular-elliptic-curves-over-the-prime-fields" rel="nofollow">1</a>), posted by myself on MO a little bit ago. Sorry for repeating myself.</p> <p>Let $p$ be prime number which for simplicity shall be assumed $\equiv 1$ mod $4$ (so that $Z[\sqrt{-p}]=:R$ is the maximal order of the imaginary quadratic field $Q[\sqrt{-p}]=:K$, which we will see inside the complex numbers $C$).</p> <p>Consider the following:</p> <p>$Q$ is the set of binary quadratic forms $aX^2+bXY+cY^2$, in the variables $X$ and $Y$, with integer coefficients, with $a>0$, and with discriminant equal to $-4p$ (these forms are positive definite and necessarily primitive);</p> <p>$I$ is the group of fractional ideals $I\subset K$, i.e., finitely generated, nonzero $R$ submodules of $K$, multiplication is given by $\otimes_R$;</p> <p>$S$ is the "set(?)" of supersingular elliptic curves over $F_p$, which consists in fact of a unique $F_p$-isogeny class (that given by all the curves $E$ whose Frobenius endomorphisms $Frob_E:E\rightarrow E$ satisfies the polynomial $T^2+p$).</p> <p>These three objects are naturally related, I will briefly recall how.</p> <p>Given a quadratic $q(X,Y)$ form in $\mathcal{Q}$, take $\tau$ to be the root of $q(X,1)$ in the upper half plane and consider the $R$ submodule of $K$ given by $A_q=Z+Z\tau$. </p> <p>Moreover, let me add that the unimodular group $\Gamma$ acts naturally, say to the left, of $Q$ and the map $q(X,Y)\rightarrow A_q$ induces an identification between $\Gamma\backslash Q$ and $Cl_K$, the ideal class group of $K$, namely the quotient of $I$ by the subgroup of principal fractional ideals. (The details of this are in a beautiful, elementary paper: J.-P. Serre, $\Delta=b^2-4ac$, OEUVRES, Collected papers. vol IV no 140)</p> <p>The set $S$ is also related to $I$. Following Waterhouse thesis (W.C. Waterhouse, {\it Abelian varieties over finite fields}, Ann. Sc. Ec. Norm. Sup. 4.Ser, 2 (1969), 521-560), I shall recall how.</p> <p>Choose an element $E_0$ of $S$ once for all. Let $\varphi:E_0\rightarrow E$ be an $F_p$-isogeny with source $E_0$ and target $E$, also an element of $S$. Define $A(\varphi)$ as the subset of $End_{F_p}(E_0)$ given by those elements $r$ that can be factored as $r'\varphi$, for some morphism $r':E\rightarrow E_0$. Then $A(\varphi)$ is an ideal of $R$. Waterhouse proves that $\varphi$ can be recovered from the ideal $A(\varphi)$ and that the map $\varphi\rightarrow A(\varphi)$ induces a bijection between $F_p$-isomorphism classes of elements of $E$ and $Cl_K$.</p> <p>Questions:</p> <p>1) Can we make this last bijection more canonical, and not just natural? Meaning is there a natural choice for the origin $E_0$?</p> <p>2) Related to 1). Can we attach to any $E$ in $S$ and element $q_E$ of $Q$ in a natural way so as to recover a bijection between $S/\sim$ with $\Gamma\backslash Q=CL_K$?</p> <p>3) Can we do the same thing as in 2) in such a way that the $j$-invariant of the lattice $A_{q_E}$ reduces mod $p$ to the $j$-invariant of $E$? (This however would involve (a priori) the choice of a place of the algebraic numbers above $p$..)</p> <p>I guess I am only looking at these questions from a naive point of view, I would love to hear comments and learn more. In the literature there is a lot, but I could not exactly find what I am looking for.</p> <p>Thanks.</p>