Uniform parameterization of subanalytic sets and Diophantine applications

DOI10.24033/ASENS.2416MaRDI QIDQ5110351zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Jonathan Pila, A. J. Wilkie

Publication date 18 May 2020

Published in Annales Scientifiques de l?tcole Normale Sup�rieure (Search for Journal in Brave)

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

zbMATH Keywords

\(C^r\)-parameterizationsa-b-m functionsdynamical system theoryentropyGevrey functionspower mapspre-parameterizationsquasi-parameterizationsrational points of bounded heightrestricted Pfaffian functionssubanalytic setsweakly mild functionsWeierstrass preparation

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Counting solutions of Diophantine equations (11D45) Heights (11G50) Model theory (number-theoretic aspects) (11U09) Real-analytic and semi-analytic sets (14P15)

Abstract: We prove new parameterization theorems for sets definable in the structure $mathbb{R}_{an}$ (i.e. for globally subanalytic sets) which are uniform for definable families of such sets. We treat both $C^r$-parameterization and (mild) analytic parameterization. In the former case we establish a polynomial (in $r$) bound (depending only on the given family) for the number of parameterizing functions. However, since uniformity is impossible in the latter case (as was shown by Yomdin via a very simple family of algebraic sets), we introduce a new notion, analytic quasi-parameterization (where many-valued complex analytic functions are used), which allows us to recover a uniform result. We then give some diophantine applications motivated by the question as to whether the $H^{o(1)}$ bound in the Pila-Wilkie counting theorem can be improved, at least for certain reducts of $mathbb{R}_{an}$. Both parameterization results are shown to give uniform $(logH{)}^{O(1)}$ bounds for the number of rational points of height at most $H$ on $mathbb{R}_{an}$-definable Pfaffian surfaces. The quasi-parameterization technique produces the sharper result, but the uniform $C^r$-parametrization theorem has the advantage of also applying to $mathbb{R}_{an}^{pow}$-definable families.

Recommendations

• Mild parametrizations of power-subanalytic sets
• Smooth parameterizations of power-subanalytic sets and compositions of Gevrey functions
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces
• The rational points of a definable set

Cited in

(23)

• \(K\)-subanalytic rectilinearization and uniformization
• Diophantine approximations on definable sets
• Mild parametrizations of power-subanalytic sets
• Point counting and Wilkie's conjecture for non-Archimedean Pfaffian and Noetherian functions
• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• The dimension growth conjecture, polynomial in the degree and without logarithmic factors
• Complex cellular structures
• Singularities. Abstracts from the workshop held September 26 -- October 2, 2021 (hybrid meeting)
• Non-Archimedean Yomdin-Gromov parametrizations and points of bounded height
• -parametrization in O-minimal Structures
• Zeroes and rational points of analytic functions
• On a family of mild functions
• Doubling coverings via resolution of singularities and preparation
• Ill-distributed sets over global fields and exceptional sets in Diophantine geometry
• Smooth parameterizations of power-subanalytic sets and compositions of Gevrey functions
• The Pila–Wilkie theorem for subanalytic families: a complex analytic approach
• Parameterized stratification and piece number of D-semianalytic sets
• Uniform properties of rigid subanalytic sets
• Bernstein-Remez inequality for algebraic functions: a topological approach
• Wilkie's conjecture for Pfaffian structures
• Semi-algebraic geometry and generic Hamiltonian stability
• Analytic holonomicity of real \(C^{\text{exp}}\)-class distributions
• The Yomdin-Gromov algebraic lemma revisited

This page was built for publication: Uniform parameterization of subanalytic sets and Diophantine applications

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