Let
be a finite field
of characteristic
.
For any power
of
, consider the
elliptic curve
defined by
over
. We describe several
arithmetic invariants of
such as the rank of its Mordell–Weil group
, the size of its Néron–Tate
regulator Reg,
and the order of its Tate–Shafarevich group
Ш (which we prove
is finite). These invariants have radically different behaviors depending on the congruence class
of
modulo 6. For
instance Ш either
has trivial
-part
or is a
-group.
On the other hand, we show that the product
Ш Reg
has size comparable to
as
, regardless
of
.
Our approach relies on the BSD conjecture, an explicit expression for the
-function of
, and a geometric analysis
of the Néron model of
.
Keywords
elliptic curves over function fields, Mordell–Weil rank,
Néron–Tate regulator, Tate–Shafarevich group, L-function
and BSD conjecture