|
Size: 1037
Comment:
|
Size: 1776
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| * Move functions out of abvar_modsym_factor into abvar and delete that file. | * (william) This is completely wrong (the modabvar function on modular symbols assumes it's ambient!): {{{ sage: m = ModularSymbols(37)[1] sage: m.modular_abelian_variety() Jacobian of the modular curve associated to the congruence subgroup Gamma0(37) }}} |
| Line 8: | Line 13: |
| * Torsion subgroups: | * (william) Move functions out of abvar_modsym_factor into abvar and delete that file. * (william) Torsion subgroups: |
| Line 11: | Line 18: |
| * Quotients by finite subgroup | |
| Line 12: | Line 20: |
| * Decomposition: | * (william) Decomposition: |
| Line 17: | Line 25: |
| * deprecate hecke_decomposition * label function * create from label |
|
| Line 18: | Line 29: |
| * Label function | * (craig) Compute the Hecke algebra image in End(A) and find a good clean way to represent for Hecke stable. New object that is a subring of End(A). Have methods like {{{R.index_in(S)}}}. |
| Line 20: | Line 31: |
| * Create from label | * (craig) Compute End(A): * for simple $A_f$ * in general. |
| Line 22: | Line 35: |
| * Create a small mock database | * (craig) Degeneracy maps |
| Line 24: | Line 37: |
| * Compute the Hecke algebra image in End(A) and find a good clean way to represent for Hecke stable. New object that is a subring of End(A). Have methods like {{{R.index_in(S)}}}. * Compute End(A) in general. * Morphisms: |
* (william/craig) Morphisms: |
| Line 31: | Line 40: |
* (william/craig) Isogenies: * Complementary -- invert matrix, clear denom. * Dual |
|
| Line 32: | Line 45: |
| * Quotients by finite subgroup | * (william) Intersection pairing |
| Line 34: | Line 47: |
| * Intersection pairing | * (?) Poincare Reducibility: * projection * quotients by abelian subvariety |
| Line 36: | Line 51: |
| * Poincare Reducibility: * projection |
* (craig/william) Minimal isogeny degree for A, B simple. |
| Line 39: | Line 53: |
| * Quotients by abelian subvariety * Minimal isogeny degree for A, B simple. |
* (craig/william) Create a small mock database |
| Line 46: | Line 57: |
| == Todo on March 17 == | == Todo on Monday, March 17 == |
| Line 48: | Line 59: |
| * Optimize decomposition | * Write doctests, etc., for everything above. * Optimize everything == Todo on Tuesday, March 18 == * Write paper == Todo on Wednesday, March 19 == * Write paper |
Modular Abelian Varieties
Todo on March 16
- (william) This is completely wrong (the modabvar function on modular symbols assumes it's ambient!):
sage: m = ModularSymbols(37)[1] sage: m.modular_abelian_variety() Jacobian of the modular curve associated to the congruence subgroup Gamma0(37)
- (william) Move functions out of abvar_modsym_factor into abvar and delete that file.
- (william) Torsion subgroups:
- Refactor base class
- Get implementation to work with defining data being (lattice, abvar); compute generators.
- Quotients by finite subgroup
- (william) Decomposition:
- three types:
- ungrouped as simple abvars (default)
- groups abvars
- over End(A)
- deprecate hecke_decomposition
- label function
- create from label
- three types:
(craig) Compute the Hecke algebra image in End(A) and find a good clean way to represent for Hecke stable. New object that is a subring of End(A). Have methods like R.index_in(S).
- (craig) Compute End(A):
for simple A_f
- in general.
- (craig) Degeneracy maps
- (william/craig) Morphisms:
- Kernels
- Cokernels
- (william/craig) Isogenies:
- Complementary -- invert matrix, clear denom.
- Dual
- (william) Intersection pairing
- (?) Poincare Reducibility:
- projection
- quotients by abelian subvariety
- (craig/william) Minimal isogeny degree for A, B simple.
- (craig/william) Create a small mock database
Todo on Monday, March 17
- Write doctests, etc., for everything above.
- Optimize everything
Todo on Tuesday, March 18
- Write paper
Todo on Wednesday, March 19
- Write paper