Submission date: 27 May 2024

Abstract:

We introduce the class of Log-Noetherian (LN) functions. These are holomorphic solutions to algebraic differential equations (in several variables) with logarithmic singularities. We prove an upper bound on the number of solutions for systems of LN equations, resolving in particular Khovanskii's conjecture for Noetherian functions. Consequently, we show that the structure ℝ_{LN} generated by LN-functions, as well as its expansion ℝ_{LN,exp}, are effectively o-minimal: definable sets in these structures admit effective bounds on their complexity in terms of the complexity of the defining formulas.
We show that ℝ_{LN,exp} contains the horizontal sections of regular flat connections with quasiunipotent monodromy over algebraic varieties. It therefore contains the universal covers of Shimura varieties and period maps of polarized variations of ℤ-Hodge structures. We also give an effective Pila-Wilkie theorem for ℝ_{LN,exp}-definable sets. Thus ℝ_{LN,exp} can be used as an effective variant of ℝ_{an,exp} in the various applications of o-minimality to arithmetic geometry and Hodge theory.

Mathematics Subject Classification: 03C64, 58A17, 14D07, 14Q201

Keywords and phrases:

Full text arXiv 2405.16963: pdf, ps.