Blurred complex exponentiation (Q2009279)

The paper under review is about Zilber's quasiminimality conjectures for the complex exponential field. The author considers the following strongest possible notion of quasiminimality (Definition 1.2): a structure \(M\) is \emph{quasiminimal} if for every countable subset \(A\) of \(M\) if \(S\subseteq M\) is invariant under the action of the group \(\mathrm{Aut}(M/A)\) then \(S\) is countable or \(M\setminus S\) is countable. Zilber formulated two quasiminimality conjectures for the complex exponential field. Conjecture 1.1 (Zilber's weak quasiminimality conjecture): The complex exponential field \(\mathbb{C}_{\exp} = (\mathbb{C}; +,\cdot,\exp)\) is quasiminimal. Zilber constructed a quasiminimal exponential field \(\mathbb{B}_{\exp}\) which gives rise to the second and much stronger quasiminimality conjecture. Conjecture 1.3 (Zilber's strong quasiminimality conjecture): The exponential fields \(\mathbb{C}_{\exp}\) and \(\mathbb{B}_{\exp}\) are isomorphic. Since Zilber's strong quasiminimality conjecture implies Schanuel's conjecture (and much more), it seems to be out of reach. The author shows that ``the complex field equipped with the approximate exponential map, defined up to ambiguity from a small group, is quasiminimal''. More precisely, if \(x\mapsto e^x\) is an exponential function, then its (coarse) \textit{blurring} is the following relation: \[(x,y)\in \Gamma \ \ \ \Leftrightarrow\ \ \ (\exists c\in C)( y = e^x+c),\] where \(C\) is a fixed countable subfield, and then the author shows (Theorem 1.4(1)) that the exponential fields \(\mathbb{C}_{\exp}\) and \(\mathbb{B}_{\exp}\) become isomorphic and quasiminimal after applying this blurring procedure. In Theorem 1.5, the author shows that ``the blurring process preserves the exponential algebraic closure pregeometry'', which means that the corresponding pregeometries are isomorphic. In Theorem 1.6, a different version of blurring (``fine blurring'') is considered and similar results are obtained.