Baker and Wantz's 2-rank conjecture for Buekenhout-Metz unitals

From papers

Let qq be an odd prime power, let β\beta be a primitive element of Fq2\mathbb F_{q^2}, and define

Cr={(1,y,βy2+r)yFq2}{(0,0,1)}C_r=\{(1,y,\beta y^2+r)\mid y\in\mathbb F_{q^2}\}\cup\{(0,0,1)\}

for rFqr\in\mathbb F_q. Set

Uβ=rFqCrU_{\beta}=\bigcup_{r\in\mathbb F_q}C_r

and let Uβ\mathcal U_{\beta} be the 2(q3+1,q+1,1)2-(q^3+1,q+1,1) design whose points are the points of UβU_{\beta} and whose blocks are the intersections of secant lines with UβU_{\beta}. The 2-rank conjecture. The binary incidence code of Uβ\mathcal U_{\beta} has dimension, or equivalently the 22-rank of Uβ\mathcal U_{\beta}, equal to

dimC2(Uβ)=q3+1q.\operatorname{dim} C_2(\mathcal U_{\beta})=q^3+1-q.

The proposition preceding this conjecture gives the upper bound dimC2(Uβ)q3+1q\operatorname{dim} C_2(\mathcal U_{\beta})\le q^3+1-q; the conjecture asserts that this bound is attained for these Buekenhout-Metz unital designs.

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

Qing Xiang, “Recent results on p-ranks and Smith normal forms of some 2-(v,k,λ) designs”, arXiv:math/0407425 (2004).

Solutions 0

No solutions have been posted yet.