Symmetry of the counting function in a unitary polar-space construction

Let qq be an odd prime power, let bFq2b\in\mathbb{F}_{q^2} satisfy bq+1=1b^{q+1}=-1, and let (s,u,w)Fq23(s,u,w)\in\mathbb{F}_{q^2}^3 satisfy

sq+1=uq+1+wq+1.s^{q+1}=u^{q+1}+w^{q+1}.

For each κFq\kappa\in\mathbb{F}_q^*, let n(κ)n(\kappa) be the number of values of λFq2{}\lambda\in\mathbb{F}_{q^2}\cup\{\infty\} satisfying

(wλ+1)(b+uλ)q(wλ+1)q(b+uλ)=κ(b2+1+λ2(s2u2w2))(q+1)/2.(w\lambda+1)(b+u\lambda)^q-(w\lambda+1)^q(b+u\lambda)=\kappa\left(b^2+1+\lambda^2(s^2-u^2-w^2)\right)^{(q+1)/2}.

Counting-function symmetry conjecture. For every κFq\kappa\in\mathbb{F}_q^*, one has

n(κ)=n(κ).n(\kappa)=n(-\kappa).

This conjecture is introduced to support a construction concerning unitary groups acting on totally isotropic kk-spaces. The source does not report a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

John Bamberg, Michael Giudici, Jesse Lansdown and Gordon F. Royle, “Tactical decompositions in finite polar spaces and non-spreading classical group actions”, arXiv:2403.17576 (2024).

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.