Nonzero-determinant conjecture for the Suzuki-group recognition equations

Let P,QOP,Q\in\mathcal{O}, let hGh\in G, and let xGL(4,q)x\in\operatorname{GL}(4,q). Define

P=Px1,Q=Qx1,g=hx1.P^{\prime}=Px^{-1},\qquad Q^{\prime}=Qx^{-1},\qquad g=h^{x^{-1}}.

Regard the four equations in as simultaneous linear equations in the variables αnt\alpha^{nt} for n=1,,4n=1,\dotsc,4, over the polynomial ring Fq[α]\mathbb{F}_q[\alpha]. Nonzero-determinant conjecture. For every such choice of PP, QQ, hh, and xx, this linear system has non-zero determinant. This conjecture would provide the single polynomial in α\alpha of bounded degree needed in the recognition argument, by eliminating the variables αnt\alpha^{nt} from the system.

Sources & referencesView supporting material

Primary source

Henrik Bäärnhielm, “Recognising the Suzuki groups in their natural representations”, arXiv:math/0608210 (2006).

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.