Skip to main content
MathOverflow

Return to Answer

typesetting plus fixed Ü
Source Link
R.P.
R.P.
  • 4.7k
  • 19
  • 43
  • 67

See Theorem 3.5 in "Supersingular K3 surfaces" by TetsuJi Shioda, or a recent paper "Abelian varieties isogenous to a power of an elliptic curve" at https://arxiv.org/abs/1602.06237.

Let $C_0$ be a supersingular elliptic curve over an algebraically closed field $k$ of char $p>0$, and $R:= End(C)$$R:= \operatorname{End}(C)$ which is a maximal order in the quaternion algebra $D_{p,\infty}=End(C)\otimes \mathbb Q$$D_{p,\infty}=\operatorname{End}(C)\otimes \mathbb Q$.

Note all supersingular elliptic curves are isogenus, and there is a bijection between supersingular elliptic curves over $k$ and rank one projective right $R$ modules (both up to isomorphism) given by $C \mapsto Hom(C,C_0)$$C \mapsto \operatorname{Hom}(C,C_0)$. The key point for us is that if the natural right $R$ module $Hom(C,C_0)$$\operatorname{Hom}(C,C_0)$ is free i.e $Hom(C,C_0) \cong R$$\operatorname{Hom}(C,C_0) \cong R$, then $C \cong C_0$. Similar results hold for product of supersingular elliptic curves.

Now the proof is finished by an old fact that any projective module of rank $g \geq 2$ over $R$ is free, see "M. Eichler, U ̈berÜber die Idealklassenzahl hyperkomplexer Systeme, Math. Z. 43 (1938), 481–494", which is written in old language and it seems only a few people know the proof.

See Theorem 3.5 in "Supersingular K3 surfaces" by TetsuJi Shioda, or a recent paper "Abelian varieties isogenous to a power of an elliptic curve" at https://arxiv.org/abs/1602.06237.

Let $C_0$ be a supersingular elliptic curve over an algebraically closed field $k$ of char $p>0$, and $R:= End(C)$ which is a maximal order in the quaternion algebra $D_{p,\infty}=End(C)\otimes \mathbb Q$.

Note all supersingular elliptic curves are isogenus, and there is a bijection between supersingular elliptic curves over $k$ and rank one projective right $R$ modules (both up to isomorphism) given by $C \mapsto Hom(C,C_0)$. The key point for us is that if the natural right $R$ module $Hom(C,C_0)$ is free i.e $Hom(C,C_0) \cong R$, then $C \cong C_0$. Similar results hold for product of supersingular elliptic curves.

Now the proof is finished by an old fact that any projective module of rank $g \geq 2$ over $R$ is free, see "M. Eichler, U ̈ber die Idealklassenzahl hyperkomplexer Systeme, Math. Z. 43 (1938), 481–494", which is written in old language and it seems only a few people know the proof.

See Theorem 3.5 in "Supersingular K3 surfaces" by TetsuJi Shioda, or a recent paper "Abelian varieties isogenous to a power of an elliptic curve" at https://arxiv.org/abs/1602.06237.

Let $C_0$ be a supersingular elliptic curve over an algebraically closed field $k$ of char $p>0$, and $R:= \operatorname{End}(C)$ which is a maximal order in the quaternion algebra $D_{p,\infty}=\operatorname{End}(C)\otimes \mathbb Q$.

Note all supersingular elliptic curves are isogenus, and there is a bijection between supersingular elliptic curves over $k$ and rank one projective right $R$ modules (both up to isomorphism) given by $C \mapsto \operatorname{Hom}(C,C_0)$. The key point for us is that if the natural right $R$ module $\operatorname{Hom}(C,C_0)$ is free i.e $\operatorname{Hom}(C,C_0) \cong R$, then $C \cong C_0$. Similar results hold for product of supersingular elliptic curves.

Now the proof is finished by an old fact that any projective module of rank $g \geq 2$ over $R$ is free, see "M. Eichler, Über die Idealklassenzahl hyperkomplexer Systeme, Math. Z. 43 (1938), 481–494", which is written in old language and it seems only a few people know the proof.

Source Link
Zhiyu
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

See Theorem 3.5 in "Supersingular K3 surfaces" by TetsuJi Shioda, or a recent paper "Abelian varieties isogenous to a power of an elliptic curve" at https://arxiv.org/abs/1602.06237.

Let $C_0$ be a supersingular elliptic curve over an algebraically closed field $k$ of char $p>0$, and $R:= End(C)$ which is a maximal order in the quaternion algebra $D_{p,\infty}=End(C)\otimes \mathbb Q$.

Note all supersingular elliptic curves are isogenus, and there is a bijection between supersingular elliptic curves over $k$ and rank one projective right $R$ modules (both up to isomorphism) given by $C \mapsto Hom(C,C_0)$. The key point for us is that if the natural right $R$ module $Hom(C,C_0)$ is free i.e $Hom(C,C_0) \cong R$, then $C \cong C_0$. Similar results hold for product of supersingular elliptic curves.

Now the proof is finished by an old fact that any projective module of rank $g \geq 2$ over $R$ is free, see "M. Eichler, U ̈ber die Idealklassenzahl hyperkomplexer Systeme, Math. Z. 43 (1938), 481–494", which is written in old language and it seems only a few people know the proof.