Notes on Cyclotomic Function Fields with Quadratic Modulus

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(Λ_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(Λ_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(Λ_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(Λ_{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$.

Theorems & Definitions (34)

• Theorem 2.1
• Theorem 2.2
• Definition 2.3
• Lemma 2.4
• Remark 2.5
• Definition 2.6: Carlitz Module
• Definition 2.7: Cyclotomic Function Field
• Theorem 2.8
• Theorem 2.9: Theorem 5.8.5 in MR2241963
• Theorem 2.10: Theorem 5.8.12 in MR2241963