English

On some determinants involving cyclotomic units

Number Theory 2019-04-15 v1

Abstract

For each odd prime pp, let ζp\zeta_p denote a primitive pp-th root of unity. In this paper, we study the determinants of some matrices with cyclotomic unit entries. For instance, we show that when p3(mod4)p\equiv 3\pmod4 and p>3p>3 the determinant of the matrix \(\frac{1-\zeta_p^{j^2k^2}}{1-\zeta_p^{j^2}}\)_{1\le j,k\le (p-1)/2} can be written as (1)h(p)+12(ap+bpip)(-1)^{\frac{h(-p)+1}{2}}(a_p+b_pi\sqrt{p}) with ap,bp12Za_p,b_p\in\frac12\Z and {νp(ap)=νp(bp)=p38\mboxif p3(mod8),νp(ap)=νp(bp)+1=p+18\mboxif p7(mod8),\begin{cases}\nu_p(a_p)=\nu_p(b_p)=\frac{p-3}{8}&\mbox{if}\ p\equiv 3\pmod8, \\\nu_p(a_p)=\nu_p(b_p)+1=\frac{p+1}{8}&\mbox{if}\ p\equiv 7\pmod8,\end{cases} where νp(x)\nu_p(x) denotes the pp-adic order of a pp-adic integer xx, and h(p)h(-p) denotes the class number of the field \Q(p)\Q(\sqrt{-p}). Meanwhile, let (p)(\frac{\cdot}{p}) denote the Legendre symbol. We have 2p+12apbp=(1)p+14pp34det[S(p)],2^{\frac{p+1}{2}}a_pb_p=(-1){^\frac{p+1}{4}}p^{\frac{p-3}{4}}\det [S(p)], and 2p12(ap2pbp2)=p12(p)p34det[S(p)],2^{\frac{p-1}{2}}(a_p^2-pb_p^2)=\frac{p-1}{2}(-p)^{\frac{p-3}{4}}\det [S(p)], where det[S(p)]\det [S(p)] is the determinant of the p12\frac{p-1}{2} by p12\frac{p-1}{2} matrix S(p)S(p) with entries S(p)j,k=(j2+k2p)S(p)_{j,k}=(\frac{j^2+k^2}{p}) for any 1j,k(p1)/21\le j,k\le (p-1)/2.

Keywords

Cite

@article{arxiv.1904.06055,
  title  = {On some determinants involving cyclotomic units},
  author = {Hai-Liang Wu},
  journal= {arXiv preprint arXiv:1904.06055},
  year   = {2019}
}

Comments

8 pages

R2 v1 2026-06-23T08:37:33.274Z