Table of Contents
Fetching ...

CM Drinfeld Modules, Self-isogenous Modular Polynomials, and Volcano Structure

Chien-Hua Chen

TL;DR

This work develops a theory for CM Drinfeld modules of arbitrary rank $r$ by introducing and algorithmically constructing single-variable self-isogenous modular polynomials $\Phi_{J,\mathfrak{a}}(X,X)$, including the case $\mathfrak{a}=(T)$ and a degree bound when $\mathfrak{a}=(T^2+T+1)$. It integrates CM uniformization and ideal-isogeny constructions to relate endomorphism rings, Picard-group actions, and Hilbert class polynomials through $\Phi_{J,a}(X,X)$, revealing a deep connection to Hilbert-class polynomials via multiplicities $\gamma(\mathcal{O},a)$. The paper also introduces a generalized $\mathfrak{l}$-cyclic volcano structure in the CM rank-$r$ Drinfeld isogeny graph, showing that a crater-and-levels architecture governs ascending edges and endomorphism types, mirroring the elliptic-case volcano. These results provide both algorithmic tools for computation of modular polynomials in higher rank and structural insights into isogeny graphs, with potential implications for CM theory and computational aspects in function-field arithmetic.

Abstract

In this paper, we develop a view of self-isogenous modular polynomials and the $\mathfrak{l}$-cyclic isogeny graph for CM Drinfeld modules of arbitrary rank $r$. On the computational side, we give an explicit procedure to construct the modular polynomial $Φ_{J,\mathfrak{a}}(X,X)$ for Drinfeld modules of rank $r\geqslant 3$ with $\mathfrak{a}$ a prime ideal of $\mathbb{F}_q[T]$. When $\mathfrak{a}=(T)$, we provide an algorithm to compute $Φ_{J,\mathfrak{a}}(X,X)$; when $\mathfrak{a}=(T^2+T+1)$, we give an explicit degree bound on $Φ_{J,\mathfrak{a}}(X,X)$. On the structural side, we formulate a generalized $\mathfrak{l}$-cyclic volcano structure and prove that the generalized volcano appears in a component of the full $\mathfrak{l}$-cyclic isogeny graph for rank-$r$ Drinfeld modules with complex multiplication.

CM Drinfeld Modules, Self-isogenous Modular Polynomials, and Volcano Structure

TL;DR

This work develops a theory for CM Drinfeld modules of arbitrary rank by introducing and algorithmically constructing single-variable self-isogenous modular polynomials , including the case and a degree bound when . It integrates CM uniformization and ideal-isogeny constructions to relate endomorphism rings, Picard-group actions, and Hilbert class polynomials through , revealing a deep connection to Hilbert-class polynomials via multiplicities . The paper also introduces a generalized -cyclic volcano structure in the CM rank- Drinfeld isogeny graph, showing that a crater-and-levels architecture governs ascending edges and endomorphism types, mirroring the elliptic-case volcano. These results provide both algorithmic tools for computation of modular polynomials in higher rank and structural insights into isogeny graphs, with potential implications for CM theory and computational aspects in function-field arithmetic.

Abstract

In this paper, we develop a view of self-isogenous modular polynomials and the -cyclic isogeny graph for CM Drinfeld modules of arbitrary rank . On the computational side, we give an explicit procedure to construct the modular polynomial for Drinfeld modules of rank with a prime ideal of . When , we provide an algorithm to compute ; when , we give an explicit degree bound on . On the structural side, we formulate a generalized -cyclic volcano structure and prove that the generalized volcano appears in a component of the full -cyclic isogeny graph for rank- Drinfeld modules with complex multiplication.

Paper Structure

This paper contains 10 sections, 22 theorems, 68 equations, 1 algorithm.

Key Result

Theorem 1

Fix a basic $J$-invariant for rank-$r$ Drinfeld modules, given a prime ideal $\mathfrak{a}\in A$ with monic generator $a$, where Note that $u\in\mathcal{O}$ is primitive if $u\neq d\cdot \beta$ for some non-unit element $d\in A$ and $\beta \in \mathcal{O}$. Moreover, $\Phi_{J,a}(X,X)$ is invariant under ${\rm Gal}(\bar{F}/F)$-action, i.e. $\Phi_{J,a}(X,X)\in A[X]$.

Theorems & Definitions (68)

  • Theorem 1: Theorem \ref{['hilbert']}
  • Theorem 2: Theorem \ref{['voc']}
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Proposition 2.4
  • proof
  • Definition 2.5
  • Remark 2.6
  • Definition 2.7
  • ...and 58 more