Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces

DOI10.1007/S00208-020-02029-XMaRDI QIDQ2235231zbMATH OpenOpenAlexFDO

Authors G. O. Jones, M. E. M. Thomas

Publication date 21 October 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.08232

zbMATH Keywords

Pfaffian surfacePila-Wilkie bound

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Rational points (14G05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Abstract: We prove effective Pila--Wilkie estimates for the number of rational points of bounded height lying on certain surfaces defined by Pfaffian functions. The class of surfaces to which our result applies includes, for instance, graphs of unrestricted Pfaffian functions defined on the plane.

Review text

The Pila-Wilkie theorem asserts that, for any definable subset \(X \subseteq \mathbb R^n\) and \(\varepsilon>0\), there are at most \(cT^{\varepsilon}\) rational points of height at most \(T\) lying on the transcendental part of \(X\), which is the complement of the algebraic part of \(X\) defined as the union of all connected, infinite, semialgebraic subsets of \(X\) [\textit{J. Pila} and \textit{A. J. Wilkie}, Duke Math. J. 133, No. 3, 591--616 (2006; Zbl 1217.11066)]. This paper studies the Pila-Wilkie bound, but concentrates on the case in which the definable set \(X\) is a surface of a special form defined by Pfaffian functions. It demonstrates that the constant \(c\) is effectively computable from the complexity of Pfaffian functions defining \(X\) and \(\varepsilon>0\). The class \(\mathrm{IRP}(B)\) of functions implicitly defined from restricted Pfaffian functions of complexity at most \(B\) is introduced in the paper. Set \(\mathrm{IRP}=\bigcup_{B>0}\mathrm{IRP}(B)\). It is closed under several basic operations, including \(\mathrm{IRP}(B)\)-decomposition introduced by the authors, and the complexity of the output of each operation is effectively computable from that of the input. It enables us to prove a uniform parameterization result for families of curves, and finally get the main result on the surface following the outline of the strategy employed in Pila and Wilkie's work [loc. cit.] and using the result in [\textit{G. O. Jones} et al., Q. J. Math. 63, No. 3, 637--651 (2012; Zbl 1253.03065)]. The main result asserts that the above constant \(c\) is bounded by a number effectively computable from \(B\) and \(\varepsilon\) for the graph of a function in \(\mathrm{IRP}(B)\).

Recommendations

• The density of algebraic points on certain Pfaffian surfaces
• Mildness and the density of rational points on certain transcendental curves
• Improving the bound in the Pila-Wilkie theorem for curves
• scientific article; zbMATH DE number 5120444
• NOTE ON THE RATIONAL POINTS OF A PFAFF CURVE
• Some cases of Wilkie's conjecture
• On the representation of rational functions of bounded complexity
• scientific article; zbMATH DE number 1254006
• An effective version of Belyi's theorem.
• On the complexity of parametrizing curves

Cites work

• C^ k-resolution of semialgebraic mappings, addendum to volume growth and entropy
• A Manin–Mumford Theorem for the Maximal Compact Subgroup of a Universal Vectorial Extension of a Product of Elliptic Curves
• A proof of the André-Oort conjecture via mathematical logic
• Complexity of stratifications of semi-Pfaffian sets
• Convergence results for function spaces over o-minimal structures
• Density of algebraic points on Noetherian varieties
• Frontier and closure of a semi-Pfaffian set
• scientific article; zbMATH DE number 1817650 (Why is no real title available?)
• scientific article; zbMATH DE number 3908819 (Why is no real title available?)
• scientific article; zbMATH DE number 3988327 (Why is no real title available?)
• scientific article; zbMATH DE number 49991 (Why is no real title available?)
• Integer points on the dilation of a subanalytic surface
• O-minimality and certain atypical intersections
• O-Minimality and Diophantine Geometry
• O-minimality and Diophantine geometry
• On the algebraic points of a definable set
• Pfaffian definitions of Weierstrass elliptic functions
• Rational points in periodic analytic sets and the Manin-Mumford conjecture
• Rational points on a subanalytic surface.
• Rational points on definable sets
• Relative Manin-Mumford for semi-abelian surfaces
• Some observations about the real and imaginary parts of complex Pfaffian functions
• Some problems of unlikely intersections in arithmetic and geometry. With appendixes by David Masser
• The density of algebraic points on certain Pfaffian surfaces
• The rational points of a definable set
• Unlikely intersections in semiabelian surfaces
• Volume growth and entropy
• Wilkie's conjecture for restricted elementary functions

Cited in

(8)

• Improving the bound in the Pila-Wilkie theorem for curves
• The density of algebraic points on certain Pfaffian surfaces
• Uniform parameterization of subanalytic sets and Diophantine applications
• Torsion points with multiplicatively dependent coordinates on elliptic curves
• The density of rational points on a Pfaff curve
• NOTE ON THE RATIONAL POINTS OF A PFAFF CURVE
• Wilkie's conjecture for Pfaffian structures
• Sharp o-minimality and lattice point counting

This page was built for publication: Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2235231)