Explicit Class Field Theory for Orders in Global Function Fields

L. Demangos,T.M. Gendron
2024-07-06
Abstract:This paper develops explicit class field theory for orders: of rank 1 in any global function field -- Hayes theory -- and of rank 2 in real quadratic function fields -- Real Multiplication. The essential ingredient in the development of the Hayes Theory is an orders version of Shimura's Main Theorem on Complex Multiplication. The section on Real Multiplication for orders uses values of the quantum modular invariant to generate the Hilbert class field of a rank 2 order contained in the integral closure of $\mathbb{F}_{q}[T]$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to develop an explicit class field theory applicable to rank 1 and rank 2 orders in global function fields. Specifically: 1. **Hayes' theory of rank 1 order**: One of the goals of the paper is to complete Hayes' proof of the class field generation results for any rank 1 order $R \subset A_\infty$. By introducing the modular invariant $j(a)$, the author shows how to generate the Hilbert class field $H_R = K(j(a))$, which brings the theory closer to the classical Weber - Fueter theorem for elliptic curves. 2. **Real multiplication theory of rank 2 real quadratic function fields**: The paper also explores how to use quantum modular invariants to generate the Hilbert class field in rank 2 real quadratic function fields. The results in this part are a generalization of previous work and are crucial for generating the projective class field over rank 2 rings. ### Formula summary - Define the modular invariant $j(a)$ and prove that $H_R = K(j(a))$. - Using the structure of Drinfeld modules, prove a result similar to the Kronecker - Weber theorem. - For rank 2 order $O_f = F_q[T, f, f^{-1}]$, generate its Hilbert class field: $$ H_{O_f} = K\left(\prod_{\alpha \in j_{qt}(f)} \alpha\right) $$ The core contribution of the paper lies in extending Hayes' theory to any order $R$ and solving the class field generation problem through a version of Shimura's main theorem.