English

Gaussian hypergeometric functions and cyclotomic matrices

Number Theory 2025-06-18 v3

Abstract

Let q=pnq=p^n be an odd prime power and let Fq\mathbb{F}_q be the finite field with qq elements. Let Fq×^\widehat{\mathbb{F}_q^{\times}} be the group of all multiplicative characters of Fq\mathbb{F}_q and let χ\chi be a generator of Fq×^\widehat{\mathbb{F}_q^{\times}}. In this paper, we investigate arithmetic properties of certain cyclotomic matrices involving nonzero squares over Fq\mathbb{F}_q. For example, let s1,s2,,s(q1)/2s_1,s_2,\cdots,s_{(q-1)/2} be all nonzero squares over Fq\mathbb{F}_q. For any integer 1rq21\le r\le q-2, define the matrix Bq,2(χr):=[χr(si+sj)+χr(sisj)]1i,j(q1)/2.B_{q,2}(\chi^r):=\left[\chi^r(s_i+s_j)+\chi^r(s_i-s_j)\right]_{1\le i,j\le (q-1)/2}. We prove that if q3(mod4)q\equiv 3\pmod 4, then det(Bq,2(χr))=0k(q3)/2Jq(χr,χ2k)={(1)q34inGq(χr)q12/q\mboxif r1(mod2),Gq(χr)q12/q\mboxif r0(mod2),\det (B_{q,2}(\chi^r))=\prod_{0\le k\le (q-3)/2}J_q(\chi^r,\chi^{2k})= \begin{cases} (-1)^{\frac{q-3}{4}}{\bf i}^nG_q(\chi^r)^{\frac{q-1}{2}}/\sqrt{q} & \mbox{if}\ r\equiv 1\pmod 2,\\ G_q(\chi^r)^{\frac{q-1}{2}}/q & \mbox{if}\ r\equiv 0\pmod 2, \end{cases} where Jq(χr,χ2k)J_q(\chi^r,\chi^{2k}) and Gq(χr)G_q(\chi^r) are the Jacobi sum and the Gauss sum over Fq\mathbb{F}_q respectively.

Keywords

Cite

@article{arxiv.2407.20583,
  title  = {Gaussian hypergeometric functions and cyclotomic matrices},
  author = {Hai-Liang Wu and Li-Yuan Wang},
  journal= {arXiv preprint arXiv:2407.20583},
  year   = {2025}
}
R2 v1 2026-06-28T17:57:47.813Z