Cyclotomic torsion points in elliptic schemes (Q2663053)

Let \(E\) be an elliptic curve defined over a number field \(k\). By a work of Serre about Galois representations attached to elliptic curves, there are only a finitely many torsion points of \(E\) which are defined over the cyclotomic closure \(k^{\mathrm{c}}\). The author of the paper under review proves the following for an elliptic scheme: Let \(\mathcal E/C\) be an elliptic scheme over a curve \(C\). Let \(s : C\to \mathcal E\) be a section which is not identically torsion. Let \(f : C \to \mathbb A^1\) be a non constant rational function, and all are defined over \(k\). If \(n\) is a natural number, then there are only finitely many points \(P\in C\) such that \(f(P)\) is the sum of \(n\) roots of unity and such that \(s(P)\in \mathcal E_P\) is torsion. The author believes that the restriction on the length \(n\) is a technical condition, and that the result is true in general without the restriction. The author follows the methods used by Masser, Pila, and Zannier to prove the Manin-Mumford conjecture and the relative Manin-Mumford conjecture, but he makes further contributions in this work for handling the presence of semi-algebraic sets of dim \(\ge 1\) in the transcendental variety defined using logarithms.