|
Suppose A is a newform modular abelian variety over Q over level
N. For any prime p that exactly divides N,
the order of the component group of A over the algebraic
closure of GF(p) can be computed. The nontrivial algorithm is described in
[CS01] and [KS00].
It is an open problem to
compute the structure of the component group or the order under more
general hypothesis.
The order of the component group of the special fiber of the Neron
model of A over the algebraic closure of GF(p). The abelian variety
A must be attached to a newform.
> J := JZero(65); J;
Modular abelian variety JZero(65) of dimension 5 and level 5*13 over Q
> A := Decomposition(J)[3];
> ComponentGroupOrder(A,13);
1
> ComponentGroupOrder(A,5);
7
Suppose A is an abelian variety over Q that is attached to a
newform.
A divisor and an integer some
power of which is a multiple of the Tamagawa number of A at a prime
p can be determined.
When p2 divides the level, the
reduction is additive, we use the Lenstra-Oort bound from
[LO85].
A divisor of the Tamagawa number of the abelian variety A at the prime
p and an integer some
power of which is a multiple of the Tamagawa number of A at p. Also return true
if the divisor of the Tamagawa number is provably equal to the Tamagawa
number of A. The abelian variety A must be attached to a newform.
Let c be the product of the Tamagawa numbers of A at primes of
bad reduction, where A is an abelian variety over Q attached to a
newform. This command returns a divisor of c, an integer some power of which
is a multiple of c, and true if the divisor is provably equal to c.
> J := JZero(65);
> TamagawaNumber(J(2),5);
2 2 false
> TamagawaNumber(J(2),13);
3 3 true
> TamagawaNumber(J(3),5);
7 7 true
> TamagawaNumber(J(3),13);
2 2 false
>
> J := JZero(5^2*7);
> TamagawaNumber(J(1));
2 30 false
> TamagawaNumber(J(1),5);
1 30 false
> TamagawaNumber(J(1),7);
2 2 false
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|