Skip to main content
added 60 characters in body
Source Link
David Lehavi
  • 4.4k
  • 1
  • 25
  • 42

Consider some $a,b,c\in E$. Then $a\oplus b\oplus c=0_E$ in the group $E$ iff $a+b+c = 3\cdot 0_E$ in $\mathrm{Pic}^3(E)$ iff $a,b,c$ are colinear in the complete linear system $|\mathcal{O}_E(3\cdot 0_E)|\cong\mathbb{P}^2$. I.e. you "unordered triplets" scheme is ${\mathbb{P}^2}^*$. This is true over any field.

Consider some $a,b,c\in E$. Then $a\oplus b\oplus c=0_E$ in the group $E$ iff $a+b+c = 3\cdot 0_E$ in $\mathrm{Pic}^3(E)$ iff $a,b,c$ are colinear in the complete linear system $|\mathcal{O}_E(3\cdot 0_E)|\cong\mathbb{P}^2$. This is true over any field.

Consider some $a,b,c\in E$. Then $a\oplus b\oplus c=0_E$ in the group $E$ iff $a+b+c = 3\cdot 0_E$ in $\mathrm{Pic}^3(E)$ iff $a,b,c$ are colinear in the complete linear system $|\mathcal{O}_E(3\cdot 0_E)|\cong\mathbb{P}^2$. I.e. you "unordered triplets" scheme is ${\mathbb{P}^2}^*$. This is true over any field.

Source Link
David Lehavi
  • 4.4k
  • 1
  • 25
  • 42

Consider some $a,b,c\in E$. Then $a\oplus b\oplus c=0_E$ in the group $E$ iff $a+b+c = 3\cdot 0_E$ in $\mathrm{Pic}^3(E)$ iff $a,b,c$ are colinear in the complete linear system $|\mathcal{O}_E(3\cdot 0_E)|\cong\mathbb{P}^2$. This is true over any field.