The A-module structure induced by a Drinfeld A-module of rank 2 over a finite field

DOI10.1016/J.CRMA.2008.01.012MaRDI QIDQ2476533zbMATH OpenOpenAlexFDO

Authors Mohamed-Saadbouh Mohamed-Ahmed

Publication date 20 March 2008

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0412368

zbMATH Keywords

characteristic polynomial of Frobenius Drinfeld module finite field module structure

Mathematics Subject Classification ID

Drinfel'd modules; higher-dimensional motives, etc. (11G09)

Abstract: Let

P h i

be a Drinfeld

m a t h b f F_{q} [T]

-module of rank 2, over a finite field

L

, a finite extension of

n

degrees for a finite field with

q

elements

% m a t h b f F_{q}

. Let

P_{P h i} (X) =

X^{2} - c X + m u P^{m}

(

c

an element of

% m a t h b f F_{q} [T]

and

m u

a no null element of

m a t h b f F_{q}

,

m

the degree of the extension

L

over the field

m a t h b f F_{q} [T] / P

,

P

is a

m a t h b f F %_{q} [T]

-characteristic of

L

and

d

the degree of the polynomial

P

) the characteristic polynomial, of the Frobenius

F

of

L

. We will interested to the structure of finite

m a t h b f F_{q} [T]

-module

L^{P h i}

deduct by

P h i

over

L

and will proof our main result, the analogue of Deuring theorem for the elliptic curves : Let

M = f r a c m a t h b f F %_{q} [T] I_{1} o p l u s f r a c m a t h b f F_{q} [T] I_{2}

, where

I_{1} = (i_{1})

,

% I_{2} = (i_{2})

(

i_{1}

,

i_{2}

two polynomials of

m a t h b f F_{q} [T]

%) and such that :

i_{2} m i d (c - 2)

. Then there exists an ordinary Drinfeld

m a t h b f F_{q} [T]

% -module

P h i

over

L

of rank 2, such that :

% L^{P h i}

s i m e q M

. We finish by a statistic about the cyclicity of such structure

L^{P h i}

, and we prove that is cyclic only for the trivial extensions of

m a t h b f F_{q}

.

Review text

Let \(A={\mathbb F}_q[T]\) and let \(L\) be a finite field that is an extension of degree \(m\) of \(A/(P)\) for some irreducible \(P\in A\) of degree \(d\). The paper states that every \(A\)-module structure \(A/(i_1)\oplus A/(i_2)\) that satisfies certain necessary conditions does indeed occur as a Drinfeld module structure on \(L\) for an ordinary rank \(2\) Drinfeld \(A\)-module. Actually, the conditions \((i_1 i_2)=(1-c+\mu P^m)\) and \(\deg(c)\leq\frac{md}{2}\) (mentioned elsewhere in the paper) have been forgotten in the formulation of the main theorem. Moreover, the (nontrivial) condition that the polynomial \(X^2-cX+\mu P^m\) is irreducible over \({\mathbb F}_q((1/T))\) seems to have been completely overlooked in the paper. For the analogous question which group structures occur as Mordell-Weil groups of an elliptic curve over a finite field see for example \textit{H.-G. Rück} [Math. Comput. 49, 301--304 (1987; Zbl 0628.14019)].

Recommendations

Cites work

Cited in

(1)

Finiteness of an isogeny class of Drinfeld modules -- correction to a previous paper

This page was built for publication: The \(A\)-module structure induced by a Drinfeld \(A\)-module of rank 2 over a finite field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2476533)