Strongly Minimal Expansions of Groups Interpretable in ACF0
Zilber's Restricted Trichotomy Conjecture predicts that every strongly minimal structure 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 M has dimension at least 2 according to K; in this case the statement of the conjecture is equivalent to the local modularity of 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 M expands a group.