ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 03 Feb 2021 23:21:30 +0100What is the .sigma() function for an elliptic curve's formal group?https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/The SageMath documentation page for "formal groups of elliptic curves" (I can't link it because I don't have enough karma) lists among the methods for formal groups of elliptic curves a `.sigma()`, with essentially no explanation of what it is. This makes me suspect that it's the $p$-adic $\sigma$-function of the elliptic curve, as defined by Mazur and Tate in their paper of that name, but I'd like some security in whether the implementation is accurate, as well as what the "c" variable is - I guess probably it somehow corresponds to a choice of invariant differential on the elliptic curve/formal group since that's the only other thing the $p$-adic $\sigma$-function depends on, but how this works isn't transparent to me.Wed, 03 Feb 2021 22:13:27 +0100https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/Comment by peter.xu for <p>The SageMath documentation page for "formal groups of elliptic curves" (I can't link it because I don't have enough karma) lists among the methods for formal groups of elliptic curves a <code>.sigma()</code>, with essentially no explanation of what it is. This makes me suspect that it's the $p$-adic $\sigma$-function of the elliptic curve, as defined by Mazur and Tate in their paper of that name, but I'd like some security in whether the implementation is accurate, as well as what the "c" variable is - I guess probably it somehow corresponds to a choice of invariant differential on the elliptic curve/formal group since that's the only other thing the $p$-adic $\sigma$-function depends on, but how this works isn't transparent to me.</p>
https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/?comment=55572#post-id-55572here's the link i couldn't add: https://doc.sagemath.org/html/en/reference/arithmetic_curves/sage/schemes/elliptic_curves/formal_group.htmlWed, 03 Feb 2021 22:27:50 +0100https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/?comment=55572#post-id-55572Comment by rburing for <p>The SageMath documentation page for "formal groups of elliptic curves" (I can't link it because I don't have enough karma) lists among the methods for formal groups of elliptic curves a <code>.sigma()</code>, with essentially no explanation of what it is. This makes me suspect that it's the $p$-adic $\sigma$-function of the elliptic curve, as defined by Mazur and Tate in their paper of that name, but I'd like some security in whether the implementation is accurate, as well as what the "c" variable is - I guess probably it somehow corresponds to a choice of invariant differential on the elliptic curve/formal group since that's the only other thing the $p$-adic $\sigma$-function depends on, but how this works isn't transparent to me.</p>
https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/?comment=55573#post-id-55573I don't know the answer, but you can view the implementation by entering the following:
sage: E = EllipticCurve('14a')
sage: F = E.formal_group()
sage: F.sigma??
Perhaps something will look familiar.Wed, 03 Feb 2021 23:21:30 +0100https://ask.sagemath.org/question/55571/what-is-the-sigma-function-for-an-elliptic-curves-formal-group/?comment=55573#post-id-55573