The GEI conjecture for generic derivations over rosy algebraically bounded theories

Let TT be a rosy and algebraically bounded theory extending the theory of fields of characteristic zero. Let Δ\Delta be a finite tuple of derivations, and let TgΔT^{\Delta}_g and TgΔ,ncT^{\Delta,\operatorname{nc}}_g 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

TgΔandTgΔ,ncT^{\Delta}_g \quad\text{and}\quad T^{\Delta,\operatorname{nc}}_g

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

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.