Search arXivSearch

arXiv · 2506.14316

On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums

Abstract

Inspired by Weil's classical result on the zeta function of a projective Fermat curve defined over a finite field, in this paper, we investigate some arithmetic properties of the cyclotomic matrix $$\left[J_p(χ^{ki},χ^{kj})\right]_{1\le i,j\le n-1},$$ where $p\ge3$ is a prime, $1\le k<p-1$ is a divisor of $p-1$ with $p-1=kn$, $χ$ is a generator of the group of all multiplicative characters of $\mathbb{F}_p$ and $J_p(χ^{ki},χ^{kj})$ is the Jacobi sum. For example, let $ζ_p\in\mathbb{C}$ be a primitive $p$-th root of unity and $P_k(T)$ be the minimal polynomial of the algebraic integer $$θ_k=\sum_{x\in\mathbb{F}_p,x^k=1}ζ_p^x$$ over $\mathbb{Q}$. Then we prove that $$\det \left[J_p(χ^{ki},χ^{kj})\right]_{1\le i,j\le n-1}=(-1)^{\frac{(k+1)(n^2-n)}{2}}\cdot n^{n-2}\cdot x_p(k),$$ where $x_p(k)$ is the coefficient of $T$ in $P_k(T)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hai-Liang Wu, Li-Yuan Wang, Hao Pan. 2026-09-15. On $p$-th cyclotomic field and cyclotomic matrices involving Jacobi sums. https://arxiv.org/abs/2506.14316

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT