Mazur’s torsion theorem famously tells us exactly which finite groups can occur as the torsion subgroup of $E(\mathbb{Q})$ for an elliptic curve $E$ defined over $\mathbb{Q}$. In particular, it implies that only finitely many torsion subgroups are possible, which seems like a much weaker result.


My question: Is there any way to see that the weak version of bounded torsion (only finitely many groups occur, but nevermind what they are) is true, without recourse to the full proof of Mazur’s theorem? I saw some references to a paper of Demjanenko from 1971 (EDIT: originally said 1975) which claims to prove this, but it’s only available in Russian and other sources don’t seem to think its argument is correct.



Bounded Torsion, without Mazur’s Theorem
By all means hold out hope, but I don't think that the ideas in Dem'janenko's papers are going to work. I spent a lot of time in grad school looking at them. 


If I remember correctly, Dem'janenko also claimed to have proven that on $E:y^2=x^3+D$, if a $P\in E(\mathbb Q)$ is a non-torsion point, then $\hat h(P)\ge c\log|D|$ for an absolute constant $c$. But again, no one has managed to decipher his proof. Lang was intrigued enough to conjecture that $\hat h(P)\ge c\log|\Delta\_E|$ for all elliptic curves, where $\Delta\_E$ is the minimal discriminant. Using quite different techniques, I proved a weaker version of Lang's conjecture, and Hindry and I proved that Lang's full conjecture follows from $ABC$. However, for twists such as in Dem'janenko's paper, there is an alternative easier argument, and it's possible that that is what's lurking in his paper.


I mention all of this, because height arguments such as those in Dem'janenko, and in my work with Hindry, tend to lead to statements of the form: Let $P\in E(\mathbb Q)$. Then either $NP=0$ or $\hat h(P)$ isn't too small. So torsion bounds and height bounds come packaged together. 


As for proofs that just handle torsion points, note that any such proof would be a strong *uniform* version of the Mordell conjecture for the modular curves $X\_1(\mathbb Q)$, which is why it seems unlikely that purely elementary, albeit complicated, algebraic manipulations as in Dem'janenko's paper could give full uniformity.


On the other hand, Dem'janenko came up with a very nice way of proving the Mordell conjecture in certain situations. For example, if there are two independent maps $f\_1,f\_2:C\to{E}$ and if $E(\mathbb Q)$ has rank 1, then $C(\mathbb Q)$ is finite, essentially by comparing $\hat h(f\_1(x))$ and $\hat h(f\_2(x))$. Manin generalized this to the tower of modular curves $X\_1(p^{n+1})\to X\_1(p^n)$, and used this to give an elementary (at least, compared to Mazur's work) proof of $p$-power uniformity for torsion points:


**Theorem** (Manin) Fix $p$ and a number field $K$. There is a constant $C=C(p,K)$ such that for every elliptic curve $E/K$, there are no torsion points in $E(K)$ of exact order $p^C$.


