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

At least 6 years old · documented by

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)<c⋅rk⁡(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.