Sturm-type bounds for modular forms over functions fields

In this paper, we obtain two analogues of the Sturm bound for modular forms in the function field setting. In the case of mixed characteristic, we prove that any harmonic cochain is uniquely determined by an explicit finite number of its first Fourier coefficients where our bound is much smaller than the ones in the literature. A similar bound is derived for generators of the Hecke algebra on harmonic cochains. As an application, we present a computational criterion for checking whether two elliptic curves over the rational function field $\mathbb{F}_q(θ)$ with same conductor are isogenous. In the case of equal characteristic, we also prove that any Drinfeld modular form is uniquely determined by an explicit finite number of its first coefficients in the $t$-expansion.