5 research outputs found
Isomorphism classes of Drinfeld modules over finite fields
We study isogeny classes of Drinfeld -modules over finite fields with
commutative endomorphism algebra , in order to describe the isomorphism
classes in a fixed isogeny class. We study when the minimal order of
occurs as an endomorphism ring by proving when it is locally maximal at
, and show that this happens if and only if the isogeny class is ordinary
or is the prime field. We then describe how the monoid of fractional ideals
of the endomorphism ring of a Drinfeld module up to
-linear equivalence acts on the isomorphism classes in the isogeny class of
, in the spirit of Hayes. We show that the action is free when restricted
to kernel ideals, of which we give three equivalent definitions, and determine
when the action is transitive. In particular, the action is free and transitive
on the isomorphism classes in an isogeny class which is either ordinary or
defined over the prime field, yielding a complete and explicit description in
these cases.Comment: 21 page
Isomorphism classes of Drinfeld modules over finite fields
We study isogeny classes of Drinfeld -modules over finite fields with commutative endomorphism algebra , in order to describe the isomorphism classes in a fixed isogeny class. We study when the minimal order of occurs as an endomorphism ring by proving when it is locally maximal at , and show that this happens if and only if the isogeny class is ordinary or is the prime field. We then describe how the monoid of fractional ideals of the endomorphism ring of a Drinfeld module up to -linear equivalence acts on the isomorphism classes in the isogeny class of , in the spirit of Hayes. We show that the action is free when restricted to kernel ideals, of which we give three equivalent definitions, and determine when the action is transitive. In particular, the action is free and transitive on the isomorphism classes in an isogeny class which is either ordinary or defined over the prime field, yielding a complete and explicit description in these cases
Isomorphism classes of Drinfeld modules over finite fields
We study isogeny classes of Drinfeld A-modules over finite fields k with commutative endomorphism algebra D, in order to describe the isomorphism classes in a fixed isogeny class. We study when the minimal order A[π] of D generated by the Frobenius π occurs as an endomorphism ring by proving when it is locally maximal at π, and show that this happens if and only if the isogeny class is ordinary or k is the prime field. We then describe how the monoid of fractional ideals of the endomorphism ring E of a Drinfeld module ϕ up to D-linear equivalence acts on the isomorphism classes in the isogeny class of ϕ, in the spirit of Hayes. We show that the action is free when restricted to kernel ideals, of which we give three equivalent definitions, and determine when the action is transitive. In particular, the action is free and transitive on the isomorphism classes in an isogeny class which is either ordinary or defined over the prime field, yielding a complete and explicit description in these cases, which can be implemented as a computer algorithm
Isomorphism classes of Drinfeld modules over finite fields
We study isogeny classes of Drinfeld -modules over finite fields with commutative endomorphism algebra , in order to describe the isomorphism classes in a fixed isogeny class. We study when the minimal order of occurs as an endomorphism ring by proving when it is locally maximal at , and show that this happens if and only if the isogeny class is ordinary or is the prime field. We then describe how the monoid of fractional ideals of the endomorphism ring of a Drinfeld module up to -linear equivalence acts on the isomorphism classes in the isogeny class of , in the spirit of Hayes. We show that the action is free when restricted to kernel ideals, of which we give three equivalent definitions, and determine when the action is transitive. In particular, the action is free and transitive on the isomorphism classes in an isogeny class which is either ordinary or defined over the prime field, yielding a complete and explicit description in these cases