A Integral Points of an Elliptic Curve over a Cyclotomic Tower

  • A
  • Thread starter Thread starter lugita15
  • Start date Start date
  • Tags Tags
    Curve Integral
AI Thread Summary
The discussion focuses on the integral points of an elliptic curve defined over a cyclotomic tower, specifically examining the equation y² - x³ + 8λx = 0. It questions whether there are finitely many ordered pairs (x, y) in the ring of integers R for a nonzero λ, referencing theorems by Rohrlich and Siegel that suggest a positive answer if the prime p is "good." A prime is deemed "bad" if it divides 8λ, potentially affecting the number of integral points. The conversation highlights a lack of familiarity with elliptic curves among some participants, yet emphasizes the importance of understanding the relationship between cyclotomic fields and integral points. The inquiry remains whether the finiteness of integral points holds when transitioning from the tower to the number field.
lugita15
Messages
1,553
Reaction score
15
##\mathbb{Q}(\zeta_{p^\infty})##, also written as ##\mathbb{Q}(\mu_{p^\infty})## or ##\mathbb{Q}(p^\infty)##, denotes ##\mathbb{Q}## adjoined with the ##p^{n}##th roots of unity for all ##n##. It's the union of a cylotomic tower, and it's studied in subjects like Iwosawa theory and class field theory.

Let ##R## be the ring of integers of this field, and let ##\lambda## be a nonzero element of ##R##.
My question is, are there always only finitely many ordered pars ##(x,y)##of elements of ##R## such that ##y^2-x^3+8\lambda x=0##? Or does there exist a ##\lambda## for which there are infinitely many such ordered pairs?
 
Mathematics news on Phys.org
I am not a number theorist, and the author of this post is clearly more knowledgable than I am. However, I have noticed a post on math overflow, also noticed by the author, from which the answer seems to be "yes", provided the prime p is "good", due to the theorems of Rohrlich and Siegel. I.e. according to that post, Rohrlich proves this elliptic curve is equal to one defined over a number field, and Siegel proves such curves over number fields have finitely many integral points. Perhaps this does not work if the notion of integral points does not carry over from the tower to the number field? Or perhaps the problem is that the constant lambda can be chosen so that the prime is no longer "good"?
https://mathoverflow.net/questions/...ank-growth-in-iwasawa-tower?noredirect=1&lq=1

http://matwbn.icm.edu.pl/ksiazki/aa/aa68/aa6827.pdf

Well, a little reading reveals that a prime p is "bad" for an elliptic curve E, iff E becomes singular mod p. Thus in our case p becomes bad if and only if p divides 8.lambda. So I guess a basic question here is whether the curve y^2 = x^3 - 8px, has only a finite number of integral points in R. Notice the author has required lambda ≠ 0, since otherwise the pairs (a^2, a^3) all solve, for any a ≠ 0 in R.
 
Last edited:
  • Like
Likes WWGD and fresh_42
mathwonk said:
I am not a number theorist, and the author of this post is clearly more knowledgable than I am. However, I have noticed a post on math overflow, also noticed by the author, from which the answer seems to be "yes", provided the prime p is "good", due to the theorems of Rohrlich and Siegel. I.e. according to that post, Rohrlich proves this elliptic curve is equal to one defined over a number field, and Siegel proves such curves over number fields have finitely many integral points. Perhaps this does not work if the notion of integral points does not carry over from the tower to the number field? Or perhaps the problem is that the constant lambda can be chosen so that the prime is no longer "good"?
https://mathoverflow.net/questions/...ank-growth-in-iwasawa-tower?noredirect=1&lq=1

http://matwbn.icm.edu.pl/ksiazki/aa/aa68/aa6827.pdf

Well, a little reading reveals that a prime p is "bad" for an elliptic curve E, iff E becomes singular mod p. Thus in our case p becomes bad if and only if p divides 8.lambda. So I guess a basic question here is whether the curve y^2 = x^3 - 8px, has only a finite number of integral points in R. Notice the author has required lambda ≠ 0, since otherwise the pairs (a^2, a^3) all solve, for any a ≠ 0 in R.
“I am not a number theorist, and the author of this post is clearly more knowledgable than I am.” Actually I know nothing at all about elliptic curves. It’s just that this question arose in my research as a logician.
 
I believe you, but my comment is based on the fact that, until I did some research, I didn't even know what a cyclotomic tower was. (I did know how to spell Iwasawa though, which maybe was a bit of a tip- off.):smile:
 
mathwonk said:
I believe you, but my comment is based on the fact that, until I did some research, I didn't even know what a cyclotomic tower was. (I did know how to spell Iwasawa though, which maybe was a bit of a tip- off.):smile:
Not that it's any consolation, but I didn't know what a Cyclotomic polynomial was. I had heard the term, but didn't know what it was, let alone a Cyclotomic Tower.
 
Last edited:
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...

Similar threads

Back
Top