Zilber's isomorphism conjecture for the complex exponential field

Let Cexp\mathbb{C}_{\mathrm{exp}} denote the complex exponential field and let Bexp\mathbb{B}_{\mathrm{exp}} denote Zilber's quasiminimal excellent exponential field constructed by the Hrushovski--Fraïssé amalgamation-with-predimension method. The axioms in question include the algebraic properties of Cexp\mathbb{C}_{\mathrm{exp}}, Schanuel's conjecture, Strong Exponential-Algebraic Closedness, and the countable closure property. Zilber's isomorphism conjecture. One has

CexpBexp.\mathbb{C}_{\mathrm{exp}}\cong\mathbb{B}_{\mathrm{exp}}.

More precisely, Cexp\mathbb{C}_{\mathrm{exp}} is a model of these axioms; equivalently, Schanuel's conjecture holds in Cexp\mathbb{C}_{\mathrm{exp}} and Cexp\mathbb{C}_{\mathrm{exp}} is Strongly Exponentially-Algebraically Closed. This is presented as a strengthening of Zilber's quasiminimality conjecture. The supplied text does not state that it has been resolved, so it remains open.

Sources & referencesView supporting material

Primary source

Jonathan Kirby, “Around Zilber's quasiminimality conjecture”, arXiv:2306.05811 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.