There is no sharp transitivity on <i>q</i>⁶ when <i>q</i> is a type of Morley rank 2 (Q4032658)

In the context of stability theory the paper considers transitive group actions, definable in an \(\omega\)-stable theory, of a connected group \(G\) on a set \(X\) of Morley rank 2. In this situation \(X\) is of degree 1, thus \(X\) has a unique generic type \(q\). The question studied in the paper is that of sharp transitivity on powers of \(q\). It is shown that \(G\) cannot be sharply transitive on \(q^ 6\), i.e. for all realizations \((a_ 1,\dots,a_ 6)\) and \((b_ 1,\dots,b_ 6)\) of \(q^ 6\) there is one and only one \(g\in G\) sending \((a_ 1,\dots,a_ 6)\) on \((b_ 1,\dots,b_ 6)\), where a realization of \(q^ 6\) is an independent 6-tuple (in the sense of forking) of realizations of \(q\). As a consequence it is obtained that \(G\) cannot be sharply transitive on \(q^ n\) for \(n\geq 6\). The question whether the same also holds for \(n=5\) is left open. However, for \(n\in\{1,2,3,4\}\) it is shown that projective geometry provides examples for group actions satisfying the above situation with \(G\) being sharply transitive on \(q^ n\).