Why are squares sometimes included in quadratic twists

18 views
Skip to first unread message

Maarten Derickx

unread,
Aug 26, 2023, 4:36:30 PM8/26/23
to lmfdb-support
On https://www.lmfdb.org/EllipticCurve/Q/64/a/1 there is the text

Twists

The minimal quadratic twist of this elliptic curve is 32.a1, its twist by .


Is there a good reason why to write the twist by 8 and not the twist by 2? I think it would be more elegant if the number mentioned there would always be squarefree.

Thanks,

Maarten

Maarten Derickx

unread,
Aug 26, 2023, 5:10:03 PM8/26/23
to lmfdb-support
I first thought I found the answer, because 8 is the discriminant of the quadratic field Q(sqrt(2)) and the normalization is to use fundamental discriminants. But this is not the case, since at https://www.lmfdb.org/EllipticCurve/Q/32/a/2 there is the text

Twists

The minimal quadratic twist of this elliptic curve is 32.a1, its twist by .

And the discriminant of Q(sqrt(-1)) is -4. 

Maarten Derickx

unread,
Aug 26, 2023, 5:18:32 PM8/26/23
to lmfdb-support
p.s. I realized there were some incorrect links on the relevant knowl https://beta.lmfdb.org/knowledge/show/ec.q.minimal_twist which I fixed in beta.

Andrew Sutherland

unread,
Aug 27, 2023, 6:17:44 PM8/27/23
to lmfdb-support
Thanks for the bug report, the database has been updated so that "minimal twist by" always lists the discriminant of the quadratic field over which the curves are isomorphic (which was always the intention, the inconsistency was inadvertent).  Thank you for letting us know, and thank you for fixing the broken links in the knowl.

Best,

Drew

John Cremona

unread,
Aug 28, 2023, 10:45:35 AM8/28/23
to Andrew Sutherland, lmfdb-support
I looked to see how this happened, to make sure that for any new data we are consistent.  I found that the code I used in May to make the min quad twists consistent with our new definition (1) made no changes when the existing min quad twist curve was correct, and (2) when the curve changed, put in the column 'min_quad_twist_disc' the scond thing output by Sage's method E.is_quadratic_twist(), which is (as documented) a square-free integer.  So the non-square-free ones Maarten saw must have been there from before, for curves where the new work did not change the curve.

Since our new policy is to show the discriminant rather than its squarefree part, I will change my script for future use.

John

--
You received this message because you are subscribed to the Google Groups "lmfdb-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lmfdb-suppor...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/lmfdb-support/711451e7-3459-486c-abb2-5fcd413b00f9n%40googlegroups.com.

cafe wilson

unread,
Aug 29, 2023, 11:29:54 PM8/29/23
to Maarten Derickx, lmfdb-support


Maarten Derickx <m.derick...@gmail.com> 於 2023年8月27日週日 上午5:10寫道:
--
You received this message because you are subscribed to the Google Groups "lmfdb-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lmfdb-suppor...@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages