Wilkie's conjecture for restricted elementary functions

DOI10.4007/ANNALS.2017.186.1.6MaRDI QIDQ2364597zbMATHOpenAlexWikidataFDO

Authors Gal Binyamini, Dmitry Novikov

Publication date 21 July 2017

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

metric entropyrational pointsPfaffian functionsdefinable sets

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory (number-theoretic aspects) (11U09) Arithmetic algebraic geometry (Diophantine geometry) (11G99)

Abstract: We consider the structure ${mathbbR}^{mathrmRE}$ obtained from $(mathbbR,<,+,cdot)$ by adjoining the restricted exponential and sine functions. We prove Wilkie's conjecture for sets definable in this structure: the number of rational points of height $H$ in the transcendental part of any definable set is bounded by a polynomial in $logH$. We also prove two refined conjectures due to Pila concerning the density of algebraic points from a fixed number field, or with a fixed algebraic degree, for ${mathbbR}^{mathrmRE}$-definable sets.

Recommendations

• The rational points of a definable set
• NOTE ON THE RATIONAL POINTS OF A PFAFF CURVE
• ALGEBRAIC VALUES OF CERTAIN ANALYTIC FUNCTIONS DEFINED BY A CANONICAL PRODUCT
• Geometric postulation of a smooth function and the number of rational points
• Rational Values of Entire Functions of Finite Order
• Nevanlinna theory and algebraic values of certain meromorphic functions
• On the analytic bijections of the rationals in \([0,1]\)
• Valeurs algebriques de fonctions transcendantes
• Algebraic values of entire functions with extremal growth orders: an extension of a theorem of Boxall and Jones
• Rational points on analytic varieties

Cites work

• scientific article; zbMATH DE number 49991 (Why is no real title available?)
• scientific article; zbMATH DE number 2247920 (Why is no real title available?)
• Algorithms in real algebraic geometry
• Analytic functions of several complex variables
• Approximation of definable sets by compact families, and upper bounds on homotopy and homology
• Complexity of stratifications of semi-Pfaffian sets
• Counting rational points on a certain exponential-algebraic surface
• Counting special points: logic, Diophantine geometry, and transcendence theory
• Definability of restricted theta functions and families of abelian varieties
• Geometric postulation of a smooth function and the number of rational points
• Integer points on the dilation of a subanalytic surface
• Lectures on the theory of functions of several complex variables. Notes by Raghavan Narasimhan. Reprint
• Model completeness results for elliptic and abelian functions
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On the algebraic points of a definable set
• On the elementary theory of restricted elementary functions
• Rational points on a subanalytic surface.
• Some cases of Wilkie's conjecture
• Some observations about the real and imaginary parts of complex Pfaffian functions
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• The density of algebraic points on certain Pfaffian surfaces
• The density of rational points on a Pfaff curve
• The number of integral points on arcs and ovals
• The rational points of a definable set
• Vitushkin-type theorems
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• \(p\)-adic and real subanalytic sets

Cited in

(25)

• On the Pila-Wilkie theorem
• Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces
• Zeroes and rational points of analytic functions
• Density of algebraic points on Noetherian varieties
• Counting rational points and lower bounds for Galois orbits
• Ill-distributed sets over global fields and exceptional sets in Diophantine geometry
• Pfaffian definitions of Weierstrass elliptic functions
• A few remarks on a Manin-Mumford conjecture in function field arithmetic and generalized Pila-Wilkie estimates
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• The rational points of a definable set
• Rational values of transcendental functions and arithmetic dynamics
• Doubling chains on complements of algebraic hypersurfaces
• Point counting for foliations over number fields
• Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
• A Diophantine approach to the three and four exponentials conjectures
• Integer-valued definable functions in \(\mathbb{R}_{\mathrm{an} , \exp} \)
• Wilkie's conjecture for Pfaffian structures
• Zilber-Pink, smooth parametrization, and some old stories
• Improving the bound in the Pila-Wilkie theorem for curves
• Analytic continuation and Zilber's quasiminimality conjecture
• Some cases of Wilkie's conjecture
• Complex cellular structures
• Point counting and Wilkie's conjecture for non-Archimedean Pfaffian and Noetherian functions
• The density of algebraic points on certain Pfaffian surfaces
• Tameness in geometry and arithmetic: beyond o-minimality

This page was built for publication: Wilkie's conjecture for restricted elementary functions

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