A Note on Cyclotomic Function Fields with Quadratic Modulus

TL;DR

This paper characterizes a specific class of cyclotomic function fields with quadratic modulus, providing necessary and sufficient conditions for their identification based on algebraic and geometric properties.

Contribution

It offers a complete characterization of cyclotomic function fields with modulus x^2, extending previous classifications to include all such fields with specific genus and rational place counts.

Findings

A function field over _q is isomorphic to L(mbda_{x^2}) if it has a subgroup G isomorphic to (_q,+) d7 _q^*

The genus of such a field is g() = 1 + q(q-3)/2

The field has exactly q+1 _q-rational places

Abstract

A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.