Chapman's conjecture on a Legendre-symbol determinant

Let pp) be an odd prime, let εp\varepsilon_p be the fundamental unit of Q(p)\mathbb{Q}(\sqrt{p}), and let h(p)h(p) be the class number of Q(p)\mathbb{Q}(\sqrt{p}). Write

εp(2(2/p))h(p)=ap+bpp,\varepsilon_p^{(2-(2/p))h(p)}=a_p'+b_p'\sqrt{p},

with ap,bpQa_p',b_p'\in\mathbb{Q}. Chapman's conjecture.

det[(jip)]1i,j(p+1)/2={apif p1(mod4),1otherwise.\det\left[\left(\frac{j-i}{p}\right)\right]_{1\le i,j\le (p+1)/2}=\begin{cases}-a_p'&\text{if }p\equiv1\pmod4,\\1&\text{otherwise.}\end{cases}

This conjecture concerns the connection between determinants of Legendre-symbol matrices and arithmetic invariants of real quadratic fields. The supplied source gives no resolution status.

Sources & referencesView supporting material

Primary source

Ning-Liu Wei, Yu-Bo Li and Hai-Liang Wu, “On generalized Legendre matrices involving roots of unity over finite fields”, arXiv:2305.16064 (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.