If is an elliptic curve defined over a field , and is an extension field of , then the same equation defining as an elliptic curve over also defines a curve over called the base change of from to . Any curve defined over which is isomorphic to over is called a base-change curve from to . A sufficient but not necessary condition for a curve to be a base change is that the coefficients of its Weierstrass equation lie in .
When and is a number field, elliptic curves over which are base-changes of curves over may simply be called base-change curves. A necessary, but not sufficient, condition for this is that the -invariant of should be in .
Authors:
Knowl status:
- Review status: reviewed
- Last edited by John Jones on 2018-06-17 21:37:50
Referred to by:
History:
(expand/hide all)
- dq.ecnf.source
- ec.analytic_sha_order
- ec.period
- ec.q_curve
- ec.regulator
- mf.bianchi.2.0.4.1-16384.1-d.top
- modcurve.level_structure
- rcs.source.ec
- lmfdb/ecnf/main.py (line 382)
- lmfdb/ecnf/templates/ecnf-curve.html (line 585)
- lmfdb/ecnf/templates/ecnf-curve.html (line 598)
- lmfdb/ecnf/templates/ecnf-curve.html (line 629)
- 2018-06-17 21:37:50 by John Jones (Reviewed)