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
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:
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...
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...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.

Similar threads

Back
Top