Rolle models in the real and complex world

TL;DR

This paper explores bounds on the number of solutions to algebraic and transcendental systems, generalizing Rolle's theorem to complex and vector-valued functions, with implications for analysis and geometry.

Contribution

It introduces a unifying approach based on a generalized Rolle theorem to estimate solutions of algebraic and transcendental systems in various contexts.

Findings

Bounds depend on degrees, dimensions, and heights of systems.

Global bounds exist for certain classes of problems.

Generalizations of Rolle's theorem are key to these bounds.

Abstract

Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential equations with algebraic right hand sides (both ordinary and Pfaffian). In the purely algebraic context the paradigm is given by the B\'ezout theorem: the number of isolated solutions of a system of polynomial equations of degree $\le d$ in the $n$-dimensional space does not exceed $d^n$, the bound polynomial in $d$ and exponential in $n$. This bound is optimal: if we count solutions properly (i.e., with multiplicities, including complex solutions and solutions on the infinite hyperplane), then the equality holds. This paradigm can be generalized for the transcendental case as described above. It turns out some counting problems admit similar bounds depending only on the degrees and dimensions, whereas other can be treated only locally, i.e., admit bounds for the number of solutions in some domains of limited size. There is only one class of counting problems, which admits global bounds, but besides the degree and dimension, the answer depends on the height of the corresponding Pfaffian system. The unifying feature for these results is the core fact that lies at the heart of their proofs. This fact can be regarded as a variety of distant generalizations of the Rolle theorem known from the undergraduate calculus, claiming that between any two roots of a univariate differentiable function on a segment must lie a root of its derivative. We discuss generalizations of the Rolle theorem for vector-valued and complex analytic functions (none of them straightforward) and for germs of holomorphic maps.