The GEI conjecture for generic derivations over rosy algebraically bounded theories
The GEI conjecture for generic derivations over rosy algebraically bounded theories
Let be a rosy and algebraically bounded theory extending the theory of fields of characteristic zero. Let be a finite tuple of derivations, and let and denote the model completions for commuting and not necessarily commuting derivations, respectively. Write GEI for geometric elimination of imaginaries.
Generic-derivation GEI conjecture. The theories
have GEI.
This is a weaker conjecture than the general GEI transfer conjecture and would remove the GEI assumptions from the relevant rank and rosiness results. The source gives no resolution, so the conjecture remains open.
Sources & referencesView supporting material
Primary source
Antongiulio Fornasiero, Elliot Kaplan and Angus Matthews, “Geometric fields, ranks, and generic derivations”, arXiv:2605.22725 (2026).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.