English

The Gross-Koblitz formula and almost circulant matrices related to Jacobi sums

Number Theory 2025-03-04 v4

Abstract

In this paper, we mainly consider arithmetic properties of the cyclotomic matrix Bp(k)=[Jp(χki,χkj)1]1i,j(p1k)/kB_p(k)=\left[J_p(\chi^{ki},\chi^{kj})^{-1}\right]_{1\le i,j\le (p-1-k)/k}, where pp is an odd prime, 1k<p11\le k<p-1 is a divisor of p1p-1, χ\chi is a generator of the group of all multiplicative characters of the finite field Fp\mathbb{F}_p and Jp(χki,χkj)J_p(\chi^{ki},\chi^{kj}) is Jacobi sum over Fp\mathbb{F}_p. By using the Gross-Koblitz formula and some pp-adic tools, we first prove that pn2detBp(k)(1)(n1)(p+n3)2(1k!)n21(2k)!(modp),p^{n-2}\det B_p(k)\equiv (-1)^{\frac{(n-1)(p+n-3)}{2}} \left(\frac{1}{k!}\right)^{n-2}\frac{1}{(2k)!}\pmod {p}, where p1=knp-1=kn. By establishing some theories on almost circulant matrices, we show that detBp(k)=(1)(n1)(p+n1)2p(n1)nn2ap(k).\det B_p(k)=(-1)^{\frac{(n-1)(p+n-1)}{2}}p^{-(n-1)}n^{n-2}a_p(k). Here ap(k)a_p(k) is the coefficient of tt in the minimal polynomial of yUk(e2πiy/p1)\sum_{y\in U_k}(e^{2\pi{\bf i}y/p}-1), where UkU_k is the set of all kk-th roots of unity over Fp\mathbb{F}_p. Also, for k=1,2k=1,2 we obtain explicit expressions of detBp(k)\det B_p(k).

Keywords

Cite

@article{arxiv.2409.13307,
  title  = {The Gross-Koblitz formula and almost circulant matrices related to Jacobi sums},
  author = {Hai-Liang Wu and Li-Yuan Wang},
  journal= {arXiv preprint arXiv:2409.13307},
  year   = {2025}
}