🔢 mathematics

Nondegeneracy and Sato-Tate Distributions of Two Families of Jacobian Varieties

This paper establishes the nondegeneracy of two families of Jacobian varieties associated with specific curves over the rationals and fully characterizes their Sato-Tate groups and distributions by determining component group generators and computing moment statistics to verify the generalized Sato-Tate conjecture.

Original authors: Melissa Emory, Heidi Goodson

Published 2026-06-18

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Melissa Emory, Heidi Goodson

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to understand the hidden "personality" of a mysterious object. In this mathematical paper, the objects are special shapes called curves (specifically, hyperelliptic curves defined by equations like $y^2 = x^{2m} - 1$ ), and the "personality" we are investigating is how they behave when you look at them through the lens of prime numbers.

Here is a breakdown of what the authors, Melissa Emory and Heidi Goodson, did, using simple analogies.

1. The Two Families of Curves

The authors are studying two specific families of these curves:

Family A: $y^2 = x^{2m} - 1$ (Think of these as complex, multi-layered structures).
Family B: $y^2 = x^{2d+1} - x$ (Think of these as the building blocks or "ingredients" that make up Family A).

The Connection: The authors discovered that the complex curves in Family A are actually made up of smaller pieces that look exactly like the curves in Family B. It's like realizing that a giant, intricate Lego castle is actually just a collection of smaller, specific Lego towers glued together.

2. The "Nondegenerate" Test (Is the Object Solid?)

Before they could fully describe the personality of these curves, they had to prove they were "solid." In math, a shape is called nondegenerate if its internal structure is as "full" and complex as it possibly can be, without any hidden shortcuts or empty spaces.

The Analogy: Imagine a sponge. A "degenerate" sponge might have huge holes or be made of a material that collapses easily. A "nondegenerate" sponge is perfectly dense and structured.
The Result: The authors proved that both families of curves are perfectly "solid" (nondegenerate). This is a crucial first step because it means the standard tools for analyzing them will work perfectly. If they were "degenerate," the tools would break or give confusing results.

3. The Sato-Tate Group (The "Fingerprint" of the Curve)

Once they knew the curves were solid, they wanted to find their Sato-Tate group.

What is it? Think of the Sato-Tate group as the curve's fingerprint or its statistical DNA. It describes how the curve behaves when you count points on it using different prime numbers.
The Goal: The authors wanted to write down the exact "recipe" for this fingerprint. They wanted to know exactly which mathematical "moves" (generators) create the entire pattern.

4. How They Solved the Puzzle

The authors used a clever strategy involving two main steps:

Breaking it Down: Since Family A is made of Family B pieces, they first figured out the fingerprint for the smaller pieces (Family B). They found that the fingerprint for these pieces is built from simple, repeating patterns (like a drumbeat).
Reassembling it: Once they knew the fingerprint of the small pieces, they figured out how to combine them to get the fingerprint for the big, complex curves (Family A).

They also had to account for the "twists" in the system. Sometimes, if you look at the curve from a slightly different angle (a mathematical "twist"), the fingerprint changes slightly. The authors calculated exactly how these changes happen, identifying specific "switches" (matrices) that flip the pattern.

5. The "Moment Statistics" (Checking the Work)

To make sure their theoretical fingerprint was correct, they did a reality check.

The Analogy: Imagine you predict that a coin will land heads 50% of the time. To check, you flip it 1,000 times and count the results.
The Math: They calculated "moment statistics" (a way of measuring the average shape of the data) for their theoretical fingerprint. Then, they used computers to actually count points on these curves for millions of prime numbers and calculated the statistics from the real data.
The Result: The theoretical prediction and the computer data matched very closely. This confirmed that their description of the Sato-Tate group was correct.

Summary of the Main Findings

Proof of Solidity: They proved that these two families of curves are mathematically "solid" (nondegenerate), which is rare and important for this type of research.
The Recipe: They wrote down the exact mathematical "recipe" (generators) for the Sato-Tate groups of these curves.
The Connection: They showed exactly how the complex curves are built from the simpler ones, allowing them to describe the complex ones by describing the simple ones.
Verification: They used computer simulations to prove that their mathematical predictions match the actual behavior of the curves.

In short, the authors took two families of complex mathematical curves, proved they were structurally sound, figured out their exact statistical "fingerprints," and verified their work with computer data. They added new, interesting examples to the library of known mathematical objects.

Technical Summary: Nondegeneracy and Sato-Tate Distributions of Two Families of Jacobian Varieties

Problem Statement
This paper investigates the arithmetic properties of two specific families of hyperelliptic curves defined over the rational numbers: $C_{2m}: y^2 = x^{2m} - 1$ and $C'_{2d+1}: y^2 = x^{2d+1} - x$ . The central problem is to fully describe the Sato-Tate groups and distributions associated with the Jacobian varieties of these curves. A primary obstacle in determining these groups for general abelian varieties is the potential degeneracy of the Hodge ring, which complicates the relationship between the Sato-Tate group and the Galois group of the endomorphism field. The authors aim to prove that these specific families are nondegenerate and, consequently, to explicitly determine the generators of their Sato-Tate component groups.

Methodology
The authors employ a multi-step approach combining algebraic geometry, Hodge theory, and Galois representation theory:

Decomposition of Jacobians: The authors utilize known isogenies to decompose the Jacobian of $C_{2m}$ into a product of Jacobians of curves of the form $C'_{2d+1}$ . Specifically, they establish that $\text{Jac}(C_{2m})$ is isogenous to a product involving $\text{Jac}(C'_{2d+1})$ for $1 \le d \le m-1$ .
Proof of Nondegeneracy: To apply standard techniques for computing Sato-Tate groups, the authors first prove that the Jacobians of both families are stably nondegenerate. This is achieved by analyzing the Hodge groups of the simple factors in the decomposition. They demonstrate that the Hodge ring is generated by divisor classes, which implies that the Hodge group is maximal.
Twisted Lefschetz Groups: Leveraging the nondegeneracy result, the authors apply the algebraic Sato-Tate conjecture (known to hold for these varieties). They relate the Sato-Tate group to the twisted Lefschetz group. By determining the endomorphism fields (which are cyclotomic fields $\mathbb{Q}(\zeta_{2d+1})$ and $\mathbb{Q}(\zeta_{2m})$ ) and analyzing the action of the Galois group on the endomorphisms, they construct explicit matrix generators for the component groups of the Sato-Tate groups.
Moment Statistics: To verify the generalized Sato-Tate conjecture, the authors compute theoretical moment statistics for the traces of the normalized $L$ -polynomials based on the derived Sato-Tate groups. These are compared against numerical moment statistics computed from the traces of Frobenius for primes up to $2^{22}$ .

Key Contributions and Results

Nondegeneracy Theorems: The paper proves that the Jacobians of $C_{2m}$ and $C'_{2d+1}$ (and their twists) are stably nondegenerate for all integers $m \ge 3$ and $d \ge 1$ . This adds new examples to the literature of infinite families of nondegenerate Jacobian varieties.
Explicit Sato-Tate Groups:
- For $C'_{2d+1}$ , the Sato-Tate group is determined to be generated by the identity component $(U(1)^{2d-2})^2$ and two specific block matrices, $\gamma_J$ and $\gamma_d$ , which correspond to the Galois generators of the endomorphism field.
- For $C_{2m}$ , the Sato-Tate group is described in terms of the Sato-Tate groups of its factors. The identity component is identified as $U(1) \times (U(1)^{2m-2-1})^2$ . The component group is generated by matrices constructed from the generators of the factors' component groups and a global symplectic matrix $\gamma_J$ .
Non-Cyclic Component Groups: The authors highlight that the Galois groups of the endomorphism fields for these curves are non-cyclic. Consequently, the component groups of the Sato-Tate groups are non-cyclic, providing new examples of such structures in the literature.
Recursive Structure: The decomposition of $\text{Jac}(C_{2m})$ allows for a recursive definition of the Sato-Tate group generators as $m$ increases, as the Jacobian simply gains additional factors of the form $\text{Jac}(C'_{2d+1})$ .
Numerical Verification: The paper provides tables comparing theoretical moment statistics (derived from the Sato-Tate groups) with numerical moments computed from $L$ -polynomials for specific curves (genus 4, 7, 8, and 15). The results show close agreement, supporting the equidistribution statement of the generalized Sato-Tate conjecture for these families.

Significance
The paper claims significance in providing a complete description of the Sato-Tate groups for two infinite families of hyperelliptic curves where the component groups are non-cyclic. By proving nondegeneracy, the authors enable the use of twisted Lefschetz groups to explicitly determine the generators of these groups, a technique that was previously difficult to apply to degenerate varieties. The work extends the known landscape of Sato-Tate distributions, particularly for abelian varieties with non-cyclic endomorphism fields, and offers a framework for verifying the generalized Sato-Tate conjecture through moment statistics. The authors note that while the algebraic Sato-Tate conjecture is known for these CM abelian varieties, the explicit determination of the component group generators for these specific families represents a novel contribution.