Abstract:The primary goal of this paper is to provide a general multiplicity estimate. Our main theorem allows to reduce a proof of multiplicity lemma to the study of ideals stable under some appropriate transformation of a polynomial ring. In particular, this result leads to a new link between the theory of polarized algebraic dynamical systems and transcendental number theory. On the other hand, it allows to establish an improvement of Nesterenko's conditional result on solutions of systems of differential equations. We also deduce, under some condition on stable varieties, the optimal multiplicity estimate in the case of generalized Mahler's functional equations, previously studied by Mahler, Nishioka, Topfer and others. Further, analyzing stable ideals we prove the unconditional optimal result in the case of linear functional systems of generalized Mahler's type. The latter result generalizes a famous theorem of Nishioka (1986) previously conjectured by Mahler (1969), and simultaneously it gives a counterpart in the case of functional systems for an important unconditional result of Nesterenko (1977) concerning linear differential systems. In summary, we provide a new universal tool for transcendental number theory, applicable with fields of any characteristic. It opens the way to new results on algebraic independence, as shown in Zorin (2010).

Algebraic independence of certain entire functions of two variables generated by linear recurrences

When any three solutions are independent

On the algebraic dependence of holonomic functions

On algebraic conditions for the non-vanishing of linear forms in Jacobi theta-constants

Algebraic differential independence concerning the Euler Γ-function and Dirichlet series

Algebraic independence of values of quasi-modular forms

On algebraic independence of Taylor coefficients of certain Anderson-Thakur series

Linear algebra of quadratic forms and polynomial identity

Linear independence on simple abelian varieties

The linear independence of $1$, $ζ(2)$, and $L(2,χ_{-3})$

Variations of Independence in Boolean Algebras

Linear independence of continued fractions with algebraic terms

Completeness of systems of inner functions

Skew-Symmetric Identities of Finitely Generated Alternative Algebras

Algebraic periodic points of transcendental entire functions

Uniqueness of Entire Functions and Their Derivatives

Freely Independent Random Variables with Non-Atomic Distributions

Zero Order Estimates for Analytic Functions

Inequality Conjectures on Derivations of Local K-Th Hessain Algebras Associated to Isolated Hypersurface Singularities

On the uniqueness problems of entire functions and their linear differential polynomials