A Herbrand-Ribet theorem for function fields

TL;DR

This paper establishes a function field analogue of the Herbrand-Ribet theorem, connecting cohomology with torsion schemes of the Carlitz module, extending classical number field results to function fields.

Contribution

It introduces a novel analogue of the Herbrand-Ribet theorem for function fields, replacing roots of unity with Carlitz module torsion schemes.

Findings

Proves a function field version of the Herbrand-Ribet theorem.

Links cohomology with Carlitz module torsion schemes.

Extends classical number theory results to function fields.

Abstract

We prove a function field analogue of the Herbrand-Ribet theorem on cyclotomic number fields. The Herbrand-Ribet theorem can be interpreted as a result about cohomology with $\mu_p$-coefficients over the splitting field of $\mu_p$, and in our analogue both occurrences of $\mu_p$ are replaced with the $\mathfrak{p}$-torsion scheme of the Carlitz module for a prime $\mathfrak{p}$ in $\F_q[t]$.