Base-size conjecture for definably primitive groups of finite Morley rank

From papers

Let (G,X)(G,X) be a faithful definable permutation group of finite Morley rank, let GG be connected and definably primitive on XX, and let b(G)b(G) denote the minimal cardinality of a base. Write rk(X)\operatorname{rk}(X) for the Morley rank of XX. Base-size conjecture. There is a constant cc, independent of GG and XX, such that

b(G)<crk(X),b(G)<c\cdot\operatorname{rk}(X),

and the set of minimal bases is generic in Xb(G)X^{b(G)}, of rank b(G)rk(X)b(G)\cdot\operatorname{rk}(X). This would give uniform control of bases and hence of definable parametrisations of binding groups; the conjecture is presented as open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Alexandre Borovik and Adrien Deloro, “Binding groups, permutations groups and modules of finite Morley rank”, arXiv:1909.02813 (2019).

Solutions 0

No solutions have been posted yet.