The regulator of an elliptic curve $E$ defined over a number field $K$, denoted $\operatorname{Reg}(E/K)$, is the volume of $E(K)/E(K)_{tor}$ with respect to the height pairing $\langle -,-\rangle$ associated to the canonical height $\hat{h}$, i.e. $\langle P,Q\rangle = \frac{1}{2}(\hat{h}(P+Q)-\hat{h}(P)-\hat{h}(Q))$.
If the Mordell-Weil group $E(K)$ has rank $r$ and $P_1, \ldots, P_r \in E(K)$ generate $E(K)/E(K)_{\mathrm{tor}}$, then \[ \operatorname{Reg}(E/K) = \left|\det (\langle P_i, P_j \rangle )_{1\leq i,j \leq r}\right|, \] which is independent of the choice of generators.
Special cases are when $E(K)$ has rank $0$, in which case $E(K)/E(K)_{\mathrm{tor}}=0$ and $\operatorname{Reg}(E/K)=1$, and when $E(K)$ has rank $1$, in which case $\operatorname{Reg}(E/K)$ is equal to the canonical height $\hat{h}(P)$ of a generator $P$.
The canonical height used to define the regulator is usually normalised so that it is invariant under base change. Note that the regulator which appears in the Birch Swinnerton-Dyer conjecture is with respect to the non-normalised height.
- Review status: reviewed
- Last edited by Andrew Sutherland on 2020-10-13 16:46:35
- ag.regulator
- ec.analytic_sha_order
- ec.bsdconjecture
- ec.canonical_height
- ec.q.bsd_invariants
- ec.q.bsdconjecture
- ec.q.canonical_height
- rcs.rigor.ec
- lmfdb/ecnf/main.py (line 392)
- lmfdb/ecnf/main.py (line 809)
- lmfdb/ecnf/templates/ecnf-curve.html (lines 293-295)
- lmfdb/ecnf/templates/ecnf-curve.html (lines 311-313)
- lmfdb/elliptic_curves/elliptic_curve.py (line 456)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 268)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 325)
- 2023-11-15 06:40:08 by John Cremona
- 2023-11-03 11:03:08 by John Cremona
- 2023-11-03 10:49:13 by John Cremona
- 2020-10-13 16:46:35 by Andrew Sutherland (Reviewed)
- 2020-10-12 16:27:18 by Kiran S. Kedlaya
- 2020-10-07 11:46:46 by John Cremona
- 2019-02-08 07:41:06 by John Cremona (Reviewed)