Pseudoreflection-group classification conjecture

At least 6 years old · documented by

Let (G,V)(G,V) be a faithful, irreducible module of finite Morley rank, with GG connected. A pseudoreflection subgroup is an abelian subgroup RR such that

V=[V,R]⊕CV(R),V=[V,R]\oplus C_V(R),

and RR acts transitively on the nontrivial elements of [V,R][V,R]. Pseudoreflection-group conjecture. There is a definable field K\mathbb{K} such that (R,[V,R])(R,[V,R]) is definably equivalent to (K×,K+)(\mathbb{K}^{\times},\mathbb{K}_+), and (G,V)(G,V) is definably equivalent to (GL⁡(V),Kn)(\operatorname{GL}(V),\mathbb{K}^n). The case rk⁡[V,R]=1\operatorname{rk}[V,R]=1 is especially important and is the only case needed for the proposed deduction of the highly generically transitive module conjecture; significant progress is known, but the full statement remains 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.