TY - JOUR

T1 - Isomorphism classes of Drinfeld modules over finite fields

AU - Karemaker, Valentijn

AU - Katen, Jeffrey

AU - Papikian, Mihran

N1 - Publisher Copyright:
© 2024 The Author(s)

PY - 2024/4/15

Y1 - 2024/4/15

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85183479300&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85183479300&partnerID=8YFLogxK

U2 - 10.1016/j.jalgebra.2023.12.037

DO - 10.1016/j.jalgebra.2023.12.037

M3 - Article

AN - SCOPUS:85183479300

SN - 0021-8693

VL - 644

SP - 381

EP - 410

JO - Journal of Algebra

JF - Journal of Algebra

ER -