On the variation of the Frobenius in a non abelian Iwasawa tower

TL;DR

This paper investigates the $\, ext{l}$-adic behavior of Frobenius eigenvalues in non-abelian Iwasawa towers over finite fields, revealing convergence phenomena and criteria for supersingularity in automorphism-rich curves.

Contribution

It establishes $\, ext{l}$-adic convergence of Frobenius characteristic polynomials in certain towers and provides new criteria for supersingularity in curves with many automorphisms.

Findings

Frobenius eigenvalues exhibit $\, ext{l}$-adic convergence in specific towers.

Explicit rates of $\, ext{l}$-adic convergence are derived.

New criteria for supersingularity in automorphism-rich curves are established.

Abstract

For varieties over a finite field $\mathbb F_q$ with "many" automorphisms, we study the $\ell$-adic properties of the eigenvalues of the Frobenius operator on their cohomology. The main goal of this paper is to consider towers such as $y^2 = f(x^{\ell^n})$ and prove that the characteristic polynomials of the Frobenius on the \'etale cohomology show a surprising $\ell$-adic convergence. We prove this by proving a more general statement about the convergence of certain invariants related to a skew-abelian cohomology group. Along the way, we will prove that many natural sequences $(x_n)_{n\geq 1} \in \mathbb Z_\ell^{\mathbb N}$ converge $\ell$-adically and give explicit rates of convergence. In a different direction, we provide a precise criterion for curves with many automorphisms to be supersingular, generalizing and unifying many old results.