On some determinants involving cyclotomic units

Abstract

For each odd prime $p$, let ${\zeta }_p$ denote a primitive $p$-th root of unity. In this paper, we study the determinants of some matrices with cyclotomic unit entries. For instance, we show that when $p\equiv 3(\mathrm{mod}4)$ and $p>3$ the determinant of the matrix $\(\frac{1-ζ_p^{j^2k^2}}{1-ζ_p^{j^2}}\)_{1\le j,k\le (p-1)/2}$ can be written as $(-1{)}^{\frac{h(-p)+1}{2}}(a_p+b_{p}i\sqrt{p})$ with $a_p,b_p\in \frac{1}{2}\mathbb{Z}$ and $$\begin{cases}ν_p(a_p)=ν_p(b_p)=\frac{p-3}{8}&\mbox{if}\ p\equiv 3\pmod8, \\ν_p(a_p)=ν_p(b_p)+1=\frac{p+1}{8}&\mbox{if}\ p\equiv 7\pmod8,\end{cases}$$ where ${\nu }_p(x)$ denotes the $p$-adic order of a $p$-adic integer $x$, and $h(-p)$ denotes the class number of the field $\Q(\sqrt{-p})$. Meanwhile, let $(\frac{\cdot }{p})$ denote the Legendre symbol. We have $$2^{\frac{p+1}{2}}{a}_p{b}_p=(-1){}^{\frac{p+1}{4}}{p}^{\frac{p-3}{4}}\det [S(p)],$$ and $$2^{\frac{p-1}{2}}(a_p^2-p{b}_p^2)=\frac{p-1}{2}(-p{)}^{\frac{p-3}{4}}\det [S(p)],$$ where $\det [S(p)]$ is the determinant of the $\frac{p-1}{2}$ by $\frac{p-1}{2}$ matrix $S(p)$ with entries $S(p{)}_{j,k}=(\frac{j^2+k^2}{p})$ for any $1\le j,k\le (p-1)/2$.

arXiv comment8 pages