Table of Contents
Fetching ...

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

Hai-Liang Wu, Li-Yuan Wang, Hao Pan

Abstract

Inspired by Weil's classical result on the zeta function of projective Fermat curve defined over a finite field, in this paper, we investigate some arithmetic properties of the cyclotomic matrix $$\det\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)$.

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

Abstract

Inspired by Weil's classical result on the zeta function of projective Fermat curve defined over a finite field, in this paper, we investigate some arithmetic properties of the cyclotomic matrix where is a prime, is a divisor of with , is a generator of the group of all multiplicative characters of and is the Jacobi sum. For example, let be a primitive -th root of unity and be the minimal polynomial of the algebraic integer over . Then we prove that where is the coefficient of in .

Paper Structure

This paper contains 7 sections, 7 theorems, 76 equations.

Key Result

Theorem 1.1

Let $p\ge3$ be a prime and $1\le k<p-1$ be a divisor of $p-1$ with $p-1=kn$. Then, for any generator $\chi$ of $\widehat{\mathbb{F}_p^{\times}}$, where $x_p(k)$ is the coefficient of $T$ in the minimal polynomial $P_k(T)$. Also, where $y_p(k)$ is the constant term of the minimal polynomial $P_k(T)$.

Theorems & Definitions (8)

  • Theorem 1.1
  • Theorem 1.2
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • Lemma 2.4
  • Lemma 3.1
  • proof