Papers
Topics
Authors
Recent
Search
2000 character limit reached

Cyclotomic Period Matrices

Updated 5 July 2026
  • Cyclotomic period matrices are square matrices built from cyclotomic data like Gauss sums, Jacobi sums, and cyclotomic numbers, capturing key arithmetic and geometric properties.
  • They feature diagonalization via Vandermonde-type factorizations and reveal determinant criteria and spectral structure that distinguish finite-field and prime-power settings.
  • These matrices have practical applications in constructing explicit abelian extensions, coding theory, and combinatorial design by linking character sums with hypergeometric functions.

to=arxiv_search 天天中彩票是不是.json code ауаҩы code: {"query":"(Wu et al., 2 Jul 2026) cyclotomic matrices Gauss periods character sums cyclic groups", "max_results": 5, "sort_by": "submittedDate"} to=arxiv_search 微信天天中彩票 全民彩票天天送json {"query":"(Wu et al., 2 Jul 2026) cyclotomic matrices Gauss periods character sums cyclic groups","max_results":5,"sort_by":"submittedDate"} Cyclotomic period matrices are square matrices whose entries are organized from cyclotomic data: Gauss sums over cyclic groups, Jacobi sums and multiplicative characters over finite fields, cyclotomic numbers, or, in a geometric setting, period integrals whose values lie in a cyclotomic field. In the recent literature, the phrase does not denote a single universal object; rather, it names a family of constructions linked by character-theoretic diagonalization, Vandermonde-type factorizations, Galois symmetry, and determinant formulas with arithmetic content (Wu et al., 2 Jul 2026, Wu et al., 2021, Wu et al., 24 Dec 2025, Ahmed et al., 2018, Tadokoro, 2012).

1. Definitions and scope

A central arithmetic model is the prime-power cyclotomic period matrix introduced for N=pmN=p^m, with NN an odd prime power, n=φ(N)n=\varphi(N), knk\mid n, and d=n/kd=n/k. Fix a generator χ\chi of the character group (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}. For each integer rr, define the Gauss sum

GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},

extended to zero on non-units xx. The associated NN0 matrix is

NN1

This is the Wu–Wang cyclotomic period matrix built from Gauss sums over NN2 (Wu et al., 2 Jul 2026).

A second family appears over finite fields. For NN3 an odd prime power, a generator NN4 of the full multiplicative-character group, and NN5 the set of nonzero squares in NN6, Wu–She–Wang define

NN7

together with

NN8

where NN9 is the quadratic character (Wu et al., 2021). Closely related matrices in Wu–Pan are

n=φ(N)n=\varphi(N)0

and, when n=φ(N)n=\varphi(N)1 and n=φ(N)n=\varphi(N)2,

n=φ(N)n=\varphi(N)3

with n=φ(N)n=\varphi(N)4 (Wu et al., 24 Dec 2025).

A third family packages cyclotomic numbers. For n=φ(N)n=\varphi(N)5, n=φ(N)n=\varphi(N)6, and cyclotomic numbers

n=φ(N)n=\varphi(N)7

Ahmed–Tanti–Hoque assemble the array n=φ(N)n=\varphi(N)8 into n=φ(N)n=\varphi(N)9 matrices knk\mid n0 or knk\mid n1, depending on the parity of knk\mid n2 in knk\mid n3 (Ahmed et al., 2018).

In algebraic geometry, the term “period matrix” has its classical analytic meaning. Tadokoro studies the hyperelliptic curve

knk\mid n4

constructs a symplectic basis of knk\mid n5, and obtains a period matrix knk\mid n6 whose entries lie in the cyclotomic field knk\mid n7, knk\mid n8 (Tadokoro, 2012). This establishes a geometric sense in which a period matrix is “cyclotomic.”

2. Prime-power Gauss-sum matrices and Gauss periods

For the matrix knk\mid n9, the decisive auxiliary quantities are the Gauss periods. Choose a generator d=n/kd=n/k0 of d=n/kd=n/k1, write d=n/kd=n/k2 with d=n/kd=n/k3, and let d=n/kd=n/k4 be the unique subgroup of order d=n/kd=n/k5 in d=n/kd=n/k6. The Gauss period of length d=n/kd=n/k7 is

d=n/kd=n/k8

A reindexing argument gives

d=n/kd=n/k9

In matrix form,

χ\chi0

where

χ\chi1

This χ\chi2-decomposition is the structural core of the theory (Wu et al., 2 Jul 2026).

The Vandermonde-type factor χ\chi3 satisfies the orthogonality relation

χ\chi4

Consequently,

χ\chi5

These identities convert the arithmetic of Gauss periods into explicit linear-algebraic statements about χ\chi6 (Wu et al., 2 Jul 2026).

The determinant criterion is particularly sharp. If χ\chi7, then χ\chi8 contains the unique Sylow-χ\chi9 subgroup of (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}0, one shows (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}1 for every (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}2, and hence (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}3. If (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}4, then none of the Gauss periods vanishes, (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}5 is invertible, and (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}6 is invertible. Writing

(Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}7

one obtains

(Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}8

Accordingly, (Z/NZ)×^\widehat{(\mathbb Z/N\mathbb Z)^\times}9 is singular if and only if rr0 (Wu et al., 2 Jul 2026).

Concrete instances illustrate the formalism. For rr1, rr2, rr3, one has rr4, rr5, rr6, and

rr7

with rank rr8 and determinant rr9. For GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},0, GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},1, GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},2, GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},3, GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},4, none of the three Gauss periods GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},5 vanishes, and

GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},6

(Wu et al., 2 Jul 2026).

3. Spectral structure and diagonalization

The matrix factorization GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},7 also determines the spectrum. Since GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},8, the matrix GN(χr)=xZ/NZχr(x)e2πix/N,G_N(\chi^r)=\sum_{x\in\mathbb Z/N\mathbb Z}\chi^r(x)e^{2\pi i x/N},9 is similar, up to signs and powers of xx0, to the diagonal matrix xx1. Its eigenvalues are exactly

xx2

up to an overall sign xx3, and a full set of eigenvectors is given by the columns of xx4. In particular,

xx5

while xx6 when xx7 (Wu et al., 2 Jul 2026).

A parallel eigenvector mechanism governs the finite-field matrices. For xx8, Wu–She–Wang diagonalize using the xx9 independent vectors

NN00

The NN01-th eigenvalue is

NN02

which splits into two Jacobi sums and can then be rewritten as a difference or sum of finite-field NN03-values. The determinant formula for NN04 is the product of these eigenvalues (Wu et al., 2021).

Wu–Pan formulate the same phenomenon in terms of

NN05

for NN06. The vectors NN07 are eigenvectors of NN08 with eigenvalues NN09. When NN10, the enlarged matrix NN11 acquires two additional trivial eigenvectors, and its full spectrum is

NN12

(Wu et al., 24 Dec 2025).

A common misconception is to treat all singularity criteria as identical across these constructions. The cited works show otherwise. For NN13, singularity is governed by the divisibility condition NN14. For NN15, one vanishing criterion is instead NN16 together with NN17. For the cyclotomic-number matrices of order NN18, NN19 is singular while NN20 is non-singular in the cases analyzed. The shared diagonalization machinery does not force uniform determinant behavior.

4. Jacobi sums, finite-field hypergeometric functions, and determinant formulas

In the finite-field framework of Wu–She–Wang, the determinant NN21 admits explicit formulas controlled by Jacobi sums and Greene’s hypergeometric functions. For characters NN22 on NN23,

NN24

and Greene’s finite-field binomial coefficient and hypergeometric function are defined by

NN25

NN26

A key identity is

NN27

which translates the eigenvalue sums into Jacobi-sum and hypergeometric expressions (Wu et al., 2021).

The principal arithmetic cases are as follows. If NN28 and NN29, then

NN30

If NN31, then NN32 is given by an explicit product of terms

NN33

with the minus sign when NN34 and the plus sign when NN35. If NN36 and NN37, then

NN38

and NN39 is expressed as a product of differences of NN40-values at NN41. If NN42 and NN43, writing NN44 and

NN45

one has

NN46

and NN47 is expressed as a product of NN48-values at NN49 (Wu et al., 2021).

The determinant NN50 of the matrix NN51 also exhibits square-factorization phenomena. If NN52, then there exists NN53 such that

NN54

If NN55, then there is NN56 with

NN57

Moreover, if NN58 is prime, then

NN59

for some NN60, where NN61 is the class number of NN62. This confirms Zhi-Wei Sun’s 2019 conjecture on the explicit form of NN63 (Wu et al., 2021).

Wu–Pan obtain a related pair of determinant formulas from Jacobi-sum products. Define

NN64

When NN65, they show

NN66

When NN67 and NN68 is a nonsquare, they define

NN69

show NN70, and prove

NN71

where NN72 is the Frobenius trace on the elliptic curve NN73. This yields the stated resolution of Sun’s 2019 conjecture (Wu et al., 24 Dec 2025).

5. Cyclotomic numbers of order NN74 and block-circulant matrices

For NN75, the cyclotomic numbers NN76 and Jacobi sums NN77 are related by the discrete Fourier identities

NN78

Thus, knowing all Jacobi sums is equivalent to knowing all cyclotomic numbers (Ahmed et al., 2018).

Ahmed–Tanti–Hoque then form the “odd-NN79 period matrix” NN80 and “even-NN81 period matrix” NN82 by

NN83

used when NN84, and

NN85

used when NN86. These matrices satisfy periodicity in both indices, and their structural symmetries depend on the parity of NN87: NN88

NN89

In particular, each of NN90 and NN91 is block-circulant of the form

NN92

where NN93 are NN94 circulant blocks (Ahmed et al., 2018).

The row-sum behavior and singularity properties are markedly different in the two parity regimes. The row sums of both NN95 and NN96 are all equal to NN97. The matrix NN98 has one zero row, hence NN99, and in fact its minimal and characteristic polynomial is n=φ(N)n=\varphi(N)00, so all eigenvalues of n=φ(N)n=\varphi(N)01 vanish. By contrast, n=φ(N)n=\varphi(N)02 is non-singular. For n=φ(N)n=\varphi(N)03, one finds

n=φ(N)n=\varphi(N)04

and the characteristic polynomial factors into n=φ(N)n=\varphi(N)05 distinct real eigenvalues (Ahmed et al., 2018).

This family emphasizes that “cyclotomic period matrix” may refer not to character sums directly but to the matrix obtained after the cyclotomic numbers themselves have been determined. The Fourier relation with Jacobi sums shows that this is not a separate theory so much as a different packaging of the same cyclotomic arithmetic.

6. Cyclotomic fields and geometric period matrices

The prime-power Gauss-period matrices have an intrinsic cyclotomic-field interpretation. The field n=φ(N)n=\varphi(N)06 is Galois over n=φ(N)n=\varphi(N)07 with cyclic Galois group isomorphic to n=φ(N)n=\varphi(N)08. Inside it lies the unique intermediate subfield of degree n=φ(N)n=\varphi(N)09, namely n=φ(N)n=\varphi(N)10, and the periods n=φ(N)n=\varphi(N)11 are exactly the Galois conjugates of the base period n=φ(N)n=\varphi(N)12. Hence

n=φ(N)n=\varphi(N)13

is the minimal polynomial of the period, and the determinant formula for n=φ(N)n=\varphi(N)14 links the size of the matrix to the arithmetic of the subfield n=φ(N)n=\varphi(N)15 (Wu et al., 2 Jul 2026).

Tadokoro’s work exhibits a geometric incarnation of the same cyclotomic phenomenon. On the hyperelliptic curve

n=φ(N)n=\varphi(N)16

with n=φ(N)n=\varphi(N)17, the deck transformation

n=φ(N)n=\varphi(N)18

has order n=φ(N)n=\varphi(N)19. A basis of holomorphic differentials is

n=φ(N)n=\varphi(N)20

For the loops n=φ(N)n=\varphi(N)21, the normalized periods satisfy

n=φ(N)n=\varphi(N)22

The raw n=φ(N)n=\varphi(N)23- and n=φ(N)n=\varphi(N)24-period matrices are then

n=φ(N)n=\varphi(N)25

with factorizations

n=φ(N)n=\varphi(N)26

where n=φ(N)n=\varphi(N)27 is a classical Vandermonde matrix (Tadokoro, 2012).

Using Knuth’s formula for n=φ(N)n=\varphi(N)28, Tadokoro derives the compact expression

n=φ(N)n=\varphi(N)29

and writes its entries explicitly in terms of elementary symmetric polynomials in n=φ(N)n=\varphi(N)30. Every entry lies in n=φ(N)n=\varphi(N)31. The Galois action n=φ(N)n=\varphi(N)32 corresponds to simultaneously replacing each cycle n=φ(N)n=\varphi(N)33 by n=φ(N)n=\varphi(N)34, so the Galois group acts by permuting rows and columns of n=φ(N)n=\varphi(N)35 (Tadokoro, 2012).

A useful conceptual distinction follows. In arithmetic papers such as Wu–Wang, Wu–She–Wang, and Wu–Pan, “cyclotomic period matrix” refers to a matrix whose entries are Gauss sums, characters, or cyclotomic numbers. In Tadokoro’s geometric setting, it refers to a genuine period matrix of a Riemann surface whose entries belong to a cyclotomic field. The shared adjective “cyclotomic” points to the governing root-of-unity structure, not to identical matrix definitions.

7. Applications, lineage, and conceptual significance

The prime-power theory of Wu–Wang places these matrices within the arithmetic of abelian extensions. The determinant formula and period decomposition are described as useful in constructing explicit integral bases in abelian extensions of n=φ(N)n=\varphi(N)36, analyzing the weight distributions of certain cyclic codes, designing symmetric block designs via difference sets, and understanding circulant Hadamard matrices in combinatorial design theory (Wu et al., 2 Jul 2026). This suggests that cyclotomic period matrices function as an interface between explicit character-sum identities and structured linear algebra.

The finite-field determinant formulas have already been applied to conjectural problems. Wu–She–Wang confirm Sun’s 2019 conjecture on the explicit form of n=φ(N)n=\varphi(N)37 by expressing the determinant as n=φ(N)n=\varphi(N)38 times a square, up to a sign factor involving n=φ(N)n=\varphi(N)39 in the prime case (Wu et al., 2021). Wu–Pan likewise resolve Sun’s 2019 conjecture by connecting n=φ(N)n=\varphi(N)40 to the Frobenius trace n=φ(N)n=\varphi(N)41 on the elliptic curve n=φ(N)n=\varphi(N)42 and to the Jacobi-sum product n=φ(N)n=\varphi(N)43 (Wu et al., 24 Dec 2025).

Historically, the recent prime-power results are positioned as extending older work on cyclotomic matrices. In particular, when n=φ(N)n=\varphi(N)44, the Wu–Wang construction recovers and extends results of Carlitz and of Wu–Li–Wang–Yip on n=φ(N)n=\varphi(N)45-th-order cyclotomic matrices; for n=φ(N)n=\varphi(N)46, it gives the first systematic treatment of Gauss-sum matrices over the non-field ring n=φ(N)n=\varphi(N)47 (Wu et al., 2 Jul 2026). The finite-field papers, by contrast, connect the subject to Greene’s hypergeometric formalism and to Jacobi-sum identities.

A final point of terminology is essential. “Cyclotomic period matrix” is best understood as a thematic label rather than a rigid standard definition. The common ingredients are roots of unity, multiplicative characters, character sums, Vandermonde or circulant structure, and Galois symmetry. The precise matrix depends on context: Gauss sums over n=φ(N)n=\varphi(N)48, character evaluations over n=φ(N)n=\varphi(N)49, cyclotomic numbers of order n=φ(N)n=\varphi(N)50, or period integrals on a hyperelliptic curve. The literature therefore supports a plural reading of the subject: cyclotomic period matrices form a family of related constructions unified by cyclotomic arithmetic rather than by a single canonical model.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Cyclotomic Period Matrices.