Abelian subvarieties of Drinfeld Jacobians and congruences modulo the characteristic

Abstract

We prove a level lowering result over rational function fields, with the congruence prime being the characteristic of the field. We apply this result to show that semi-stable optimal elliptic curves are not Frobenius conjugates of other curves defined over the same field.