Torsion subgroups of Jacobian over fields bigger than rationals.

asked 2019-01-04 08:33:08 +0100

debargha gravatar image

updated 2019-01-04 10:03:04 +0100

FrédéricC gravatar image

I am interested to compute: ``torsion subgroups of Jacobian abelian variety J_0(p^2) defined over fields bigger than rationals."

The command: Upto p=11 it is fine after that if you give

J0(169).qbar_torsion_subgroup().field_of_definition()

gives the error:

``AttributeError                            Traceback (most recent call last)
<ipython-input-1-0f46a1a51624> in <module>()
      1 A = J0(Integer(169))
      2 A.qbar_torsion_subgroup()
----> 3 A.field_of_definition()
      4 J0(Integer(169)).qbar_torsion_subgroup().field_of_definition()"

Can somebody kindly tell me why Sage can compute upto p=11?

edit retag flag offensive close merge delete

Comments

The error you posted does not result from the preceding code. In particular, the code which is in error calls .field_of_definition() on A = J0(169) instead of on A.qbar_torsion_subgroup().

rburing gravatar imagerburing ( 2019-01-04 11:22:58 +0100 )edit