Divisibility of class numbers of imaginary quadratic function fields by a fixed odd number

TL;DR

This paper establishes a new lower bound on the number of imaginary quadratic function fields with class groups containing elements of a fixed odd order, improving previous bounds and drawing parallels to number field results.

Contribution

It provides a sharper lower bound on the count of quadratic function fields with class groups of a specific odd order, extending prior work by Ram Murty.

Findings

New lower bound: a q^{L(1/2+3/(2(g+1))-bepsilon)} for polynomials of degree L

Improves previous bound q^{L(1/2+1/g)}

Analogous to results by Soundararajan for number fields

Abstract

In this paper we find a new lower bound on the number of imaginary quadratic extensions of the function field $\mathbb{F}_{q}(x)$ whose class groups have elements of a fixed odd order. More precisely, for $q$, a power of an odd prime, and $g$ a fixed odd positive integer $\ge 3$, we show that for every $\epsilon >0$, there are $\gg q^{L(1/2+\frac{3}{2(g+1)}-\epsilon)}$ polynomials $f \in \mathbb{F}_{q}[x]$ with $\deg f=L$, for which the class group of the quadratic extension $\mathbb{F}_{q}(x, \sqrt{f})$ has an element of order $g$. This sharpens the previous lower bound $q^{L(1/2+\frac{1}{g})}$ of Ram Murty. Our result is a function field analogue to a similar result of Soundararajan for number fields.