A supersimple nonlow theory (Q5937833)

In J. Symb. Log. 64, No. 2, 817-824 (1999; Zbl 0930.03035), \textit{S. Buechler} introduced a class of simple theories, called low, and showed that in a low theory Lascar strong types are the same as strong types. This is a noteworthy result; in fact, it is still an open question whether the Independence Theorem, true in every stable theory, holds in simple theories, too. In this enlarged setting, only a weaker version, concerning Lascar strong types and due to Kim and Pillay, is known. Hence Buechler's result implies that the Independence Theorem holds in all generality within low theories. Low theories include stable theories and overlap supersimple theories. Moreover, recently Buechler, Pillay and Wagner generalized Buechler's Theorem to arbitrary supersimple theories. So it is natural to ask if any supersimple theory is low. The paper under review solves this question negatively, by explicitly producing a suitable counterexample. A characterization of forking and independence in this supersimple non-low theory is also provided.