Polynomial-exponential equations and Zilber's conjecture. With an appendix by V. Mantova and U. Zannier (Q2801725)

The author proves that (assuming Schanuel's Conjecture) certain polynomial-exponential equations have only finitely many rational solutions. Assuming Schanuel's conjecture again, this implies that any polynomial-exponential equation in one variable must have a solution which is transcendental over a given finitely generated field. The last is known as Zilber's Strong Exponential Closedness Conjecture, which is so reduced to the Schanuel's Conjecture.NEWLINENEWLINENEWLINEIn an appendix by V. Mantova and U. Zannier, the first result by Mantova is proven unconditionally, i. e. without assuming Schanuel's Conjecture. This proof uses a result of Alan Baker, which is by itself a special true case of the Schanuel Conjecture.