Modular abelian varieties#

class sage.categories.modular_abelian_varieties.ModularAbelianVarieties(Y)[source]#

Bases: Category_over_base

The category of modular abelian varieties over a given field.

EXAMPLES:

sage: ModularAbelianVarieties(QQ)
Category of modular abelian varieties over Rational Field
>>> from sage.all import *
>>> ModularAbelianVarieties(QQ)
Category of modular abelian varieties over Rational Field
class Homsets(category, *args)[source]#

Bases: HomsetsCategory

class Endset(base_category)[source]#

Bases: CategoryWithAxiom

extra_super_categories()[source]#

Implement the fact that an endset of modular abelian variety is a ring.

EXAMPLES:

sage: ModularAbelianVarieties(QQ).Endsets().extra_super_categories()
[Category of rings]
>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).Endsets().extra_super_categories()
[Category of rings]
base_field()[source]#

EXAMPLES:

sage: ModularAbelianVarieties(QQ).base_field()
Rational Field
>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).base_field()
Rational Field
super_categories()[source]#

EXAMPLES:

sage: ModularAbelianVarieties(QQ).super_categories()
[Category of sets]
>>> from sage.all import *
>>> ModularAbelianVarieties(QQ).super_categories()
[Category of sets]