Some arithmetic properties of Weil polynomials of the form $t^{2g}+at^g+q^g$

This paper investigates the local cyclicity and the growth of rational point groups for isogeny classes of abelian varieties over finite fields characterized by Weil polynomials of the form $t^{2g}+at^g+q^g$, utilizing a specific criterion involving the coprimality of the polynomial's derivative and radical at $t=1$.

The Gist

Imagine you are a gardener tending to a very special, mathematical garden. In this garden, the plants aren't roses or tulips, but Abelian Varieties. These are complex, multi-dimensional shapes that live in a world made of finite fields—think of these fields as tiny, isolated islands where numbers wrap around like a clock (e.g., after 12 comes 1 again).

On each of these islands, every plant has a specific number of "leaves" or rational points. Mathematicians love to count these points because they reveal the hidden structure of the plant.

The Main Character: The "Cyclic" Plant

In this paper, the author, Alejandro Giangreco Maidana, is interested in a specific type of plant: one where all its leaves are arranged in a single, perfect circle.

• The Analogy: Imagine a necklace. If the beads (points) are strung on a single loop, it's "cyclic." If the beads are scattered on multiple separate loops, it's "not cyclic."
• Why it matters: In the real world, these "cyclic necklaces" are the backbone of modern cryptography (the math that keeps your bank account safe). A single, long loop is much harder to break than many small, scattered loops.

The Special Family: "Weil-Central" Plants

The author focuses on a very specific family of these plants. He calls them "Weil-central."

• The Metaphor: Think of a standard plant as having a messy, complicated growth pattern. A "Weil-central" plant is like a perfectly symmetrical, geometric sculpture. Its growth follows a strict, elegant formula: $t^{2g} + at^g + q^g$.
• Who are they? This family includes Elliptic Curves (the workhorses of crypto) and Abelian Surfaces (slightly more complex 2D versions).

The Experiment: Extending the Island

The core of the paper is an experiment. The author asks: "What happens if we expand the island the plant lives on?"

In math terms, this is called a field extension.

• The Analogy: Imagine your plant is on a tiny island with 73 rocks. Now, imagine we magically expand the island to have $73^2$rocks, then$73^3$, and so on.
• The Question: When we expand the island, does the plant grow more leaves? And, crucially, do those new leaves stay in that perfect single circle (cyclic), or do they break into multiple loops?

The Two Big Discoveries

The author uses a "recipe" (a mathematical criterion involving derivatives and prime numbers) to predict the outcome. Here is what he found, translated into plain English:

1. The Growth Rule (The "Size" of the Loop)

Sometimes, when you expand the island, the number of leaves stays the same. Other times, it explodes.

• The Finding: The author discovered a specific set of expansion sizes (multiples of a prime number) where the plant guarantees to grow a strictly larger group of leaves.
• The Catch: This only works if the expansion size doesn't share any "common factors" with the plant's original dimension. It's like trying to fit a square peg in a round hole; if the numbers don't align perfectly, the growth doesn't happen.

2. The Shape Rule (Staying "Cyclic")

Even if the plant grows more leaves, we want to know: Does it stay in a single circle?

• The Finding: The author found that for certain expansion sizes, the plant stays cyclic. For others, the single circle shatters into multiple smaller loops.
• The "Magic Number": There is a specific number (related to how the island size behaves under modular arithmetic) that acts like a gatekeeper. If your expansion size is a multiple of this gatekeeper number, the plant breaks its circle. If it's not a multiple, the circle stays intact.

The "Recipe" for Success

The paper essentially provides a checklist for cryptographers and mathematicians:

1. Pick a plant (an abelian variety) with a specific symmetric shape.
2. Pick a prime number (like 5 or 23) to test.
3. Check the conditions:
   • Does the prime divide the plant's dimension? (If yes, stop).
   • Does the prime divide the island size minus one? (If yes, stop).
4. If you pass the checks: You can predict exactly which island expansions will make the plant grow and stay in a perfect single circle.

Why Should You Care?

• For Cryptographers: If you are building a secure code, you want a "cyclic" group that is huge. This paper tells you exactly how to choose your parameters (the size of the island and the type of plant) to ensure you get a massive, single-loop group that is hard to crack.
• For Mathematicians: It solves a puzzle about how these abstract shapes behave when you change the rules of the universe they live in. It connects the shape of the plant to the arithmetic of the island in a very precise way.

Summary in a Nutshell

Imagine you have a magical, symmetrical flower. You want to know: "If I make the garden bigger, will the flower get bigger, and will it stay in one perfect circle?"

This paper says: "Yes, but only if you pick the right garden size. Here is the exact list of garden sizes that work, and here is the math that proves it."

It's a guidebook for finding the perfect, unbreakable loops in the mathematical universe.

Technical Summary

Here is a detailed technical summary of the paper "Some arithmetic properties of Weil polynomials of the form $t^{2g} + at^g + q^g$" by Alejandro J. Giangreco Maidana.

1. Problem Statement

The paper investigates the arithmetic properties of isogeny classes of abelian varieties defined over finite fields $\mathbb{F}_q$. Specifically, it focuses on two interrelated problems:

1. Cyclicity: Determining when the group of rational points $A(\mathbb{F}_{q^n})$ of varieties in an isogeny class is cyclic (or $\ell$-cyclic for a prime $\ell$).
2. Local Growth: Analyzing how the size of the $\ell$-primary component of the rational point group grows when the base field is extended from $\mathbb{F}_q$ to $\mathbb{F}_{q^n}$.

The study is restricted to a specific family of isogeny classes known as Weil-central isogeny classes. These are classes where the Weil polynomial $f_A(t)$ takes the symmetric form:
$$f_A(t) = t^{2g} + at^g + q^g$$
This family includes:

• Elliptic curves ($g=1$).
• Abelian surfaces with zero trace ($g=2$, $f(t) = t^4 + at^2 + q^2$).
• Higher-dimensional varieties with similar symmetry.

The motivation stems from applications in cryptography (where cyclic groups are preferred for discrete logarithm problems) and theoretical number theory (related to Cohen-Lenstra heuristics and the Lang-Trotter conjecture).

2. Methodology

The author employs a combination of algebraic number theory, the theory of abelian varieties over finite fields (Honda-Tate theory), and combinatorial analysis of polynomials.

• Weil Polynomial Analysis: The study relies on the fact that an isogeny class is determined by its Weil polynomial. The cardinality of the group of rational points is given by $|A(\mathbb{F}_{q^n})| = f_{A_n}(1)$, where $f_{A_n}$ is the Weil polynomial of the variety over the extension field.
• Cyclicity Criterion: The paper utilizes a criterion established by the author in previous work (2019): An isogeny class $A$ is cyclic if and only if $f'_A(1)$ is coprime to $\widehat{f_A(1)}$ (where $\widehat{n}$ denotes $n$ divided by its radical). For local $\ell$-cyclicity, the condition is that $\ell$ does not divide $\gcd(\widehat{f_A(1)}, f'_A(1))$.
• Recursive Polynomial Construction: To determine the Weil polynomial $f_{A_n}(t)$ for field extensions $\mathbb{F}_{q^n}$, the author derives recursive formulas for the coefficients. A key lemma establishes that if the original class is Weil-central and ordinary, the extension remains Weil-central if and only if $\gcd(n, g) = 1$.
• Valuation Analysis: The growth of the $\ell$-part of the group order is analyzed using $\ell$-adic valuations ($v_\ell$). The author constructs specific polynomials $P_n(x)$ and uses induction to estimate $v_\ell(f_{A_n}(1))$ based on $v_\ell(f_A(1))$ and $v_\ell(n)$.

3. Key Contributions and Results

A. Preservation of the Weil-Central Property

Lemma 3.1: The paper proves that for an ordinary Weil-central isogeny class, the extension $A_n$ (over $\mathbb{F}_{q^n}$) retains the Weil-central form $t^{2g} + a_n t^g + q^{ng}$ if and only if $\gcd(n, g) = 1$. If $\gcd(n, g) > 1$, the isogeny class splits into lower-dimensional components, and the simple Weil-central form is lost.

B. Local Growth of Rational Points

Lemma 3.3: The author establishes a lower bound for the $\ell$-adic valuation of the group order in extensions. For an odd integer $n$ and a prime $\ell$ dividing the base group order:
$$v_\ell(N_n) \geq \min\{2v_\ell(N_1), v_\ell(N_1) + v_\ell(n P_n(q^g))\}$$
where $P_n(x) = \sum_{i=0}^{n-1} x^i$.
This result characterizes the set $g_\ell(A)$, which contains all $n$ where the $\ell$-primary component strictly grows compared to the base field.

C. Local Cyclicity Characterization

Lemma 3.5 & Corollary 3.6: The paper provides a complete characterization of when the extension $A_n$ remains $\ell$-cyclic.

• If $\ell \nmid g$ and $\ell \nmid (q^g - 1)$, the class is $\ell$-cyclic.
• If $\ell \mid (q^g - 1)$, cyclicity depends on higher powers of $\ell$ dividing the group order.
• Crucially, the paper identifies that for the $\ell$-part to grow while maintaining cyclicity, $n$ must be coprime to $g$ and not a multiple of the order of $q^g$ modulo $\ell$ (denoted $\omega_\ell(q^g)$).

D. Main Theorem (Theorem 1.4)

The central result synthesizes the growth and cyclicity conditions. Let $A$ be an $\ell$-cyclic Weil-central isogeny class of dimension $g$ over $\mathbb{F}_q$, with $\ell \nmid g(q^g-1)$ and $v_\ell(f_A(1)) \geq 1$. Let $S_{g,\ell}$ be the set of positive odd multiples of $\ell$ coprime to $g$.

1. Growth Set: The set $g_\ell(A)$ (extensions where the $\ell$-part grows) contains $S_{g,\ell}$.
2. Cyclicity Set: The set $c_\ell(A)$ (extensions where the $\ell$-part grows and remains cyclic) contains the elements of $S_{g,\ell}$ that are not divisible by $\omega_\ell(q^g)$.

4. Examples and Verification

The paper validates the theoretical results with concrete examples, including:

• Elliptic Curves ($g=1$): Analyzing curves with specific Weil polynomials (e.g., $t^2 + t + 73$).
• Higher Dimensions: Examining $g=3$ and $g=6$ cases.
• Tables:
  • Table 1 lists specific isogeny classes, their group orders, and the predicted sets of $n$ for growth and cyclicity.
  • Table 2 provides numerical valuations $v_\ell(A_n)$ confirming the growth patterns.
  • Table 3 details the behavior of a specific $g=3$ example for $n=1$ to $10$, demonstrating how the Weil-central property is lost when$\gcd(n, g) > 1$ and how cyclicity fluctuates based on the divisibility conditions derived in the theorems.

5. Significance

• Theoretical Advancement: The paper extends the understanding of cyclic isogeny classes beyond elliptic curves to higher dimensions, specifically addressing the "Weil-central" family which is structurally significant in the classification of abelian varieties.
• Cryptography: By identifying exactly when the group of rational points remains cyclic and how it grows under field extensions, the results inform the selection of parameters for isogeny-based cryptography and other cryptographic schemes relying on the discrete logarithm problem in abelian varieties.
• Methodological Rigor: The derivation of recursive formulas for Weil polynomials under field extensions and the precise characterization of local cyclicity conditions provide a robust framework for future studies on the arithmetic of abelian varieties over finite fields.

In summary, this work provides a rigorous arithmetic classification of the cyclicity and growth of rational points for a specific, important class of abelian varieties, offering both theoretical insights and practical criteria for determining the behavior of these groups under finite field extensions.