Wilkie's conjecture for restricted elementary functions

DOI10.4007/ANNALS.2017.186.1.6zbMATH Open1383.11090arXiv1605.04671OpenAlexW2962711163WikidataQ122976121 ScholiaQ122976121MaRDI QIDQ2364597FDOQ2364597

Authors: Gal Binyamini, Dmitry Novikov 

Publication date: 21 July 2017

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

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.

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

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

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)

Cites Work

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

Cited In (21)

• Density of algebraic points on Noetherian varieties
• Rational values of transcendental functions and arithmetic dynamics
• Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces
• Counting rational points and lower bounds for Galois orbits
• Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
• Analytic continuation and Zilber's quasiminimality conjecture
• Some cases of Wilkie's conjecture
• The density of algebraic points on certain Pfaffian surfaces
• Zilber-Pink, smooth parametrization, and some old stories
• Complex cellular structures
• Point counting and Wilkie's conjecture for non-Archimedean Pfaffian and Noetherian functions
• Wilkie's conjecture for Pfaffian structures
• On the Pila-Wilkie theorem
• Ill-distributed sets over global fields and exceptional sets in diophantine geometry
• Zeroes and rational points of analytic functions
• Doubling chains on complements of algebraic hypersurfaces
• Point counting for foliations over number fields
• Pfaffian definitions of Weierstrass elliptic functions
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• The rational points of a definable set
• 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)