Timeline for What conditions are sufficient for two points to be independent in the Mordell-Weil group?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 5, 2020 at 19:04 | comment | added | Dimitri Koshelev | Thank you very much for Magma link! | |
| May 5, 2020 at 18:04 | comment | added | Chris Wuthrich | det non-zero. The intersection pairing is a naive height which has to be modified slightly to get the canonical height which yields a non-degenerated bilinear form. magma has it all implemented : magma.maths.usyd.edu.au/magma/handbook/… | |
| May 5, 2020 at 15:45 | comment | added | Dimitri Koshelev | Could you please clarify your comment. Points $P_0, P_1$ are independent if and only if $\mathrm{det} = 1$? | |
| May 5, 2020 at 14:56 | comment | added | Will Sawin | To add to Chris's answer, the height pairing reduces to intersection theory in the elliptic surface world. If you understand the geometry of the special fibers well, this should not be difficult at all to compute for a rational surface, and the determinant is an if-and-only-if condition so once you compute it you are done. | |
| May 5, 2020 at 14:51 | comment | added | Chris Wuthrich | Nonzero height pairing determinant is one. Otherwise if you had to calculate a Selmer group anyway on your way to determine the rank, then you could be lucky that they are independent in there. Just like over number fields, I don't hink specialisations help. | |
| May 5, 2020 at 14:49 | comment | added | Asvin | If we had one element and wanted to detect wether it was torsion, we could specialize to various t, compute the orders and if for some set of specializations, the orders turned out to be coprime, then we know the original point was non torsion. For two points, we can quotient out by one point and test wether the other point is torsion. I don't know how practical this is. | |
| May 5, 2020 at 14:26 | history | asked | Dimitri Koshelev | CC BY-SA 4.0 |