Strongly Minimal Expansions of Groups Interpretable in ACF$_0$
Zilber's Restricted Trichotomy Conjecture predicts that every strongly minimal structure $\mathcal M$ interpreted in an algebraically closed field $K$ either is locally modular or interprets a field isomorphic to $K$. By recent work of Hasson and Sustretov, one can reduce to the 'higher dimensional' case of the conjecture, in which the universe of $\mathcal M$ has dimension at least 2 according to $K$; in this case the statement of the conjecture is equivalent to the local modularity of $\mathcal M$. This talk will summarize a proof of the higher dimensional case in characteristic zero for strongly minimal expansions of groups. Combined with the results of Hasson and Sustretov, we obtain a full proof of the Restricted Trichotomy Conjecture in characteristic zero in the case that $\mathcal M$ expands a group.