Zilber expressed a conjecture for $\aleph_{1}$- categorical theories (In the 80s).
Zilber's Conjecture: The geometry of any $\aleph_{1}$- categorical structure is one of the following:
(a) Trivial (No structure)
(b) Linear (Locally modular): Vector Spaces.
(c) Non-Linear (Non Locally modular): Algebraically Closed Fields(ACF).
In other words Zilber conjectured that any non-locally modular strongly minimal set interprets an ACF.
Hrushovski construct a new class of $\aleph_{1}$- categorical structures, disproving Zilber's conjecture.(A New Strongly Minimal Set - Annals of Pure and Applied Logic 1993 ).
Hrushovski generalized the Frasse's method to construct his counter example. Hrushovski construct an $\omega$- saturated strongly minimal set whose geometry is flat.
Definition: A combinatorial geometry J is flat if whenever $E_{i}(i\in I)$ are finite number of finite-dimensional closed subset of J, s ranges over the subsets of I, then $\sum_{s}(-1)^{card(s)}\leq0$.
Hrushovski proved the following theorem:
Theorem: Let D be a saturated strongly minimal set whose geometry is flat. Then D does not interpret an infinite group. So D does not interpret an ACF.
Question: Can we use Hrushovski's method to find a saturated strongly minimal set whose geometry is not flat ?
