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 -