Opened 12 years ago

Last modified 9 years ago

#10735 closed defect

Simon 2-descent may not check for solubility at archimedean places. — at Version 4

Reported by: Jamie Weigandt Owned by: John Cremona
Priority: minor Milestone: sage-6.2
Component: elliptic curves Keywords: simon_two_descent
Cc: John Cremona, William Stein, Robert Miller Merged in:
Authors: Reviewers:
Report Upstream: Reported upstream. No feedback yet. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by John Cremona)

[See #15608 for a list of open simon_two_descent tickets]

Given an elliptic curve E the method E.simon_two_descent() returns an ordered triple. This consists of a lower bound on the Mordell-Weil rank of E, an integer which is supposed to be the F_2 dimension of the 2-Selmer group of E, and list of points, generating the part of the Mordell-Weil group that has been found.

Sometimes the second entry is larger than the actual 2-Selmer rank as computed by mwrank, and predicted by BSD. The first curve I know of for which this happens is the elliptic curve '438e1' from Cremona's tables.

This curve definitely possesses 2-covers which are everywhere locally soluble EXCEPT at that infinite place. These probably explain the discrepancy.

sage: E=EllipticCurve('438e1')
sage: E.simon_two_descent()
(0, 3, [(13 : -7 : 1)])
sage: E.selmer_rank() #uses mwrank
1
sage: E.sha().an()
1

Change History (4)

comment:1 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:2 Changed 9 years ago by wuthrich

Report Upstream: N/AReported upstream. No feedback yet.

This is a bug in Simon's script indeed. I have emailed him about this one, too, as it happens with the later version of his file in gp, too.

comment:3 Changed 9 years ago by wuthrich

Type: PLEASE CHANGEdefect

comment:4 Changed 9 years ago by John Cremona

Description: modified (diff)
Note: See TracTickets for help on using tickets.