Exponential separation of self-conformal systems

On the real line, B\'ar\'any, Kolossv\'ary, and Troscheit [5] made exponential separation of analytic self-conformal systems checkable through a dual iterated function system on a space of analytic functions. The quantity their condition separates is the pre-Schwarzian derivative, and this observation lets us carry the construction to conformal iterated function systems in every dimension, where the pre-Schwarzian is $T_f=\nabla \log \Vert Df\Vert$. A pointwise separation of the pre-Schwarzian cocycle implies the strong exponential separation condition, and in dimensions one and two separation of the Schwarzian cocycle implies the same condition modulo M\"obius maps. Each hypothesis is equivalent to a uniform gap condition, and these are ${\mathcal{C}}^2$-open. On the line they are also dense, so both separation conditions are ${\mathcal{C}}^2$-generic there; this sharpens the genericity theorem of B\'ar\'any, Kolossv\'ary, and Troscheit, whose open and dense set carries only the plain condition. In the plane they are dense on Jordan domains with simply connected extension domains, and both separation conditions are ${\mathcal{C}}^2$-generic there too. In dimensions at least three every conformal map is M\"obius, so no system satisfies the condition modulo M\"obius maps, and the pre-Schwarzian hypothesis becomes a pole-separation condition, dense when the generators contract strongly enough and stay away from the similarities, but not dense in general. On Jordan domains, the planar genericity and a theorem of Feng and Rapaport [13] settle the dimension drop conjecture for ${\mathcal{C}}^2$-generic planar systems with injective generators.