Submission date: 10 February 2014.

Abstract:

We prove a positive characteristic version of Ax's theorem on the intersection of an algebraic subvariety and an analytic subgroup of an algebraic group. Our result is stated in a more general context of a formal map between an algebraic variety and an algebraic group. We derive transcendence results of Ax-Schanuel type.

Mathematics Subject Classification: 11J91, 12H05

Keywords and phrases:

Full text arXiv 1402.1951: pdf, ps.