\(T\)-modules and Pila-Wilkie estimates (Q2343181)

\textit{J. Pila} and \textit{A. J. Wilkie} [Duke Math. J. 133, No. 3, 591--616 (2006; Zbl 1217.11066)] gave an estimate for the number of rational points of given degree in some analytic sets using o-minimality methods, generalizing to higher dimension a result of Bombieri and Pila on curves and surfaces. This estimate is a main tool in a strategy by \textit{J. Pila} and \textit{U. Zannier} [Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 19, No. 2, 149--162 (2008; Zbl 1164.11029)] to prove results related with the Mumford Tate conjecture. The main goal of the paper under review is to prove an analog of the result of Pila and Zannier for a particular class of \(T\)-modules of \textit{G. W. Anderson} in finite characteristic [Duke Math. J. 53, 457--502 (1986; Zbl 0679.14001)]. In order to achieve this goal, the author lays the foundations of analytic spaces, a contribution of independent interest. He introduces a notion of dimension, proves an implicit function theorem for analytic sets with by a non-Archimedean topology and proves a theorem on the density of what he calls regular points. He proves an upper bound for the number of torsion points contained in the transcendent part of an algebraic subvariety of an abelian and uniformizable \(T\)-module in terms of their degree. Finally, he applies his estimate to prove an analog of the Manin-Mumford conjecture in this setting. In his conclusion, the author suggests a generalization to local non-Archimedean valued fields of any characteristic.