When does a Mordell curve have non-trivial torsion?












1












$begingroup$


Is there a known simple criteria for when a Mordell curve has non-trivial torsion?



A comment in this question:
Family of elliptic curves with trivial torsion

Suggests that
$$y^2 = x^3 + k$$
has nontrivial torsion when k is 1, a square, or a cube.



If this is true, it would be nice to see it explained or point to a reference I can read more.










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Is there a known simple criteria for when a Mordell curve has non-trivial torsion?



    A comment in this question:
    Family of elliptic curves with trivial torsion

    Suggests that
    $$y^2 = x^3 + k$$
    has nontrivial torsion when k is 1, a square, or a cube.



    If this is true, it would be nice to see it explained or point to a reference I can read more.










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      Is there a known simple criteria for when a Mordell curve has non-trivial torsion?



      A comment in this question:
      Family of elliptic curves with trivial torsion

      Suggests that
      $$y^2 = x^3 + k$$
      has nontrivial torsion when k is 1, a square, or a cube.



      If this is true, it would be nice to see it explained or point to a reference I can read more.










      share|cite|improve this question









      $endgroup$




      Is there a known simple criteria for when a Mordell curve has non-trivial torsion?



      A comment in this question:
      Family of elliptic curves with trivial torsion

      Suggests that
      $$y^2 = x^3 + k$$
      has nontrivial torsion when k is 1, a square, or a cube.



      If this is true, it would be nice to see it explained or point to a reference I can read more.







      number-theory elliptic-curves mordell-curves






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 9 at 12:12









      PineDoorsPineDoors

      335




      335






















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          Here is a further reference, extending the result you have linked.



          Theorem: If $k$ is square-free and not equal to $1$, the elliptic curve $y^2 = x^3+k$ has no rational torsion points.



          Proof: See A. Knapp, Elliptic Curves, Princeton Univ. Press, 1992, Theorem $5.3$.



          More generally, there is indeed a classification result as follows.



          Theorem: Let $k=m^6 cdot k_0$, where $m, k_0in Bbb Z$ and $k_0$ is free of sixth power prime factors. Then the torsion subgroup of $Ecolon y^2=x^3+k$ over $Bbb Q$ is given as follows:
          $$
          E_{rm tors}(Bbb Q)=
          begin{cases}
          Bbb Z/6Bbb Z & text{ if } k_0= 1, \
          Bbb Z/3Bbb Z & text{ if $k_0$ is a square different from $1$}, \
          Bbb Z/3Bbb Z & text{ if $k_0=−432$}, \
          Bbb Z/2Bbb Z & text{ if $k_0$ is a cube different from $1$}, \
          {mathcal O} & text{ otherwise.}
          end{cases}
          $$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
            $endgroup$
            – PineDoors
            Jan 10 at 16:24










          • $begingroup$
            Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
            $endgroup$
            – Dietrich Burde
            Jan 10 at 17:27














          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3067382%2fwhen-does-a-mordell-curve-have-non-trivial-torsion%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2












          $begingroup$

          Here is a further reference, extending the result you have linked.



          Theorem: If $k$ is square-free and not equal to $1$, the elliptic curve $y^2 = x^3+k$ has no rational torsion points.



          Proof: See A. Knapp, Elliptic Curves, Princeton Univ. Press, 1992, Theorem $5.3$.



          More generally, there is indeed a classification result as follows.



          Theorem: Let $k=m^6 cdot k_0$, where $m, k_0in Bbb Z$ and $k_0$ is free of sixth power prime factors. Then the torsion subgroup of $Ecolon y^2=x^3+k$ over $Bbb Q$ is given as follows:
          $$
          E_{rm tors}(Bbb Q)=
          begin{cases}
          Bbb Z/6Bbb Z & text{ if } k_0= 1, \
          Bbb Z/3Bbb Z & text{ if $k_0$ is a square different from $1$}, \
          Bbb Z/3Bbb Z & text{ if $k_0=−432$}, \
          Bbb Z/2Bbb Z & text{ if $k_0$ is a cube different from $1$}, \
          {mathcal O} & text{ otherwise.}
          end{cases}
          $$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
            $endgroup$
            – PineDoors
            Jan 10 at 16:24










          • $begingroup$
            Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
            $endgroup$
            – Dietrich Burde
            Jan 10 at 17:27


















          2












          $begingroup$

          Here is a further reference, extending the result you have linked.



          Theorem: If $k$ is square-free and not equal to $1$, the elliptic curve $y^2 = x^3+k$ has no rational torsion points.



          Proof: See A. Knapp, Elliptic Curves, Princeton Univ. Press, 1992, Theorem $5.3$.



          More generally, there is indeed a classification result as follows.



          Theorem: Let $k=m^6 cdot k_0$, where $m, k_0in Bbb Z$ and $k_0$ is free of sixth power prime factors. Then the torsion subgroup of $Ecolon y^2=x^3+k$ over $Bbb Q$ is given as follows:
          $$
          E_{rm tors}(Bbb Q)=
          begin{cases}
          Bbb Z/6Bbb Z & text{ if } k_0= 1, \
          Bbb Z/3Bbb Z & text{ if $k_0$ is a square different from $1$}, \
          Bbb Z/3Bbb Z & text{ if $k_0=−432$}, \
          Bbb Z/2Bbb Z & text{ if $k_0$ is a cube different from $1$}, \
          {mathcal O} & text{ otherwise.}
          end{cases}
          $$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
            $endgroup$
            – PineDoors
            Jan 10 at 16:24










          • $begingroup$
            Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
            $endgroup$
            – Dietrich Burde
            Jan 10 at 17:27
















          2












          2








          2





          $begingroup$

          Here is a further reference, extending the result you have linked.



          Theorem: If $k$ is square-free and not equal to $1$, the elliptic curve $y^2 = x^3+k$ has no rational torsion points.



          Proof: See A. Knapp, Elliptic Curves, Princeton Univ. Press, 1992, Theorem $5.3$.



          More generally, there is indeed a classification result as follows.



          Theorem: Let $k=m^6 cdot k_0$, where $m, k_0in Bbb Z$ and $k_0$ is free of sixth power prime factors. Then the torsion subgroup of $Ecolon y^2=x^3+k$ over $Bbb Q$ is given as follows:
          $$
          E_{rm tors}(Bbb Q)=
          begin{cases}
          Bbb Z/6Bbb Z & text{ if } k_0= 1, \
          Bbb Z/3Bbb Z & text{ if $k_0$ is a square different from $1$}, \
          Bbb Z/3Bbb Z & text{ if $k_0=−432$}, \
          Bbb Z/2Bbb Z & text{ if $k_0$ is a cube different from $1$}, \
          {mathcal O} & text{ otherwise.}
          end{cases}
          $$






          share|cite|improve this answer











          $endgroup$



          Here is a further reference, extending the result you have linked.



          Theorem: If $k$ is square-free and not equal to $1$, the elliptic curve $y^2 = x^3+k$ has no rational torsion points.



          Proof: See A. Knapp, Elliptic Curves, Princeton Univ. Press, 1992, Theorem $5.3$.



          More generally, there is indeed a classification result as follows.



          Theorem: Let $k=m^6 cdot k_0$, where $m, k_0in Bbb Z$ and $k_0$ is free of sixth power prime factors. Then the torsion subgroup of $Ecolon y^2=x^3+k$ over $Bbb Q$ is given as follows:
          $$
          E_{rm tors}(Bbb Q)=
          begin{cases}
          Bbb Z/6Bbb Z & text{ if } k_0= 1, \
          Bbb Z/3Bbb Z & text{ if $k_0$ is a square different from $1$}, \
          Bbb Z/3Bbb Z & text{ if $k_0=−432$}, \
          Bbb Z/2Bbb Z & text{ if $k_0$ is a cube different from $1$}, \
          {mathcal O} & text{ otherwise.}
          end{cases}
          $$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 9 at 12:38

























          answered Jan 9 at 12:21









          Dietrich BurdeDietrich Burde

          82.1k649107




          82.1k649107












          • $begingroup$
            Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
            $endgroup$
            – PineDoors
            Jan 10 at 16:24










          • $begingroup$
            Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
            $endgroup$
            – Dietrich Burde
            Jan 10 at 17:27




















          • $begingroup$
            Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
            $endgroup$
            – PineDoors
            Jan 10 at 16:24










          • $begingroup$
            Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
            $endgroup$
            – Dietrich Burde
            Jan 10 at 17:27


















          $begingroup$
          Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
          $endgroup$
          – PineDoors
          Jan 10 at 16:24




          $begingroup$
          Is there something that explains what makes -432 so very special here? Is it related to the birational mapping to $u^3 + v^3 = 1$?
          $endgroup$
          – PineDoors
          Jan 10 at 16:24












          $begingroup$
          Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
          $endgroup$
          – Dietrich Burde
          Jan 10 at 17:27






          $begingroup$
          Yes, $-432=-27cdot 16$ is related to the discriminant of the Mordell curve. For $k=-432m^6$, the torsion points are $mathcal{O},(12m^2,pm 36m^3)$.
          $endgroup$
          – Dietrich Burde
          Jan 10 at 17:27




















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3067382%2fwhen-does-a-mordell-curve-have-non-trivial-torsion%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Probability when a professor distributes a quiz and homework assignment to a class of n students.

          Aardman Animations

          Are they similar matrix