Abstract:We investigate Drinfeld modular polynomials parametrizing $T$-isogenies between Drinfeld $\mathbb{F}_q[T]$-modules of rank $r\geq 2$. By providing an explicit classification of such isogenies, we derive explicit bounds on the $T$-degrees of the coefficients of the a associated modular polynomials. Numerical computations show that these bounds are often sharp.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the research on Drinfeld modular polynomials, especially for the \(T\)-isogenies between Drinfeld \(F_q[T]\)-modules of rank \(r\geq2\). Specifically, by providing an explicit classification of these isogenies, the authors derive an explicit bound on the \(T\)-degree of the coefficients of the modular polynomials related to these isogenies and obtain an exact expression for the height (i.e., the degree of the largest coefficient) of these modular polynomials.
### Main Research Contents
1. **Problem Background**:
- Drinfeld modular polynomials are used to classify isogenies between Drinfeld modules.
- When the rank \(r = 2\), there have been some studies, similar to the modular polynomials on classical elliptic curves.
- When the rank \(r\geq3\), the situation becomes complicated because multiple isomorphism invariants are required and the modular polynomials have multiple variables.
2. **Research Objectives**:
- Study Drinfeld modular polynomials of rank \(r\geq2\), with particular attention to cyclic \(T\)-isogenies.
- Provide an explicit description of these isogenies and derive an explicit bound on the coefficients of the modular polynomials.
- Obtain an exact expression for the height of the modular polynomials.
3. **Main Results**:
- Derive an exact bound on the \(T\)-degree of the coefficients of the Drinfeld modular polynomial \(\Phi_{J, (A/TA)^s}(X)\).
- For a single invariant \(J = g_1^{e_1}g_2^{e_2}\cdots g_{r - 1}^{e_{r - 1}}\Delta^{-e_r}\), when \(s = 1\) or \(s=r - 1\), the \(T\)-degree of the coefficients satisfies:
\[
\deg_T a_0=\psi_r(T)w_s(J),
\]
\[
\deg_T a_k\leq(\psi_r(T)-k)w_s(J),
\]
where
\[
w_1(J):=q\left(\sum_{i = 1}^{r - 1}e_i - e_r\right),
\]
\[
w_{r - 1}(J):=\sum_{i = 1}^{r - 1}e_i+e_r(q^r - q^{r - 1}-1).
\]
4. **Numerical Computation Verification**:
- Numerical computations show that in "small" cases, these bounds are sharp for many coefficients.
### Summary
This paper solves the problem of classifying isogenies between high - rank Drinfeld modules by providing an explicit bound on the coefficients of Drinfeld modular polynomials and an exact expression for the height. These results are not only of great theoretical significance but also provide a basis for further numerical computations and applications.