|
Size: 1194
Comment: add goal: families of OMS
|
← Revision 5 as of 2013-02-02 18:13:52 ⇥
Size: 1194
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| * Finish adding Rob Pollack's overconvergent modular symbols code to Sage. The current version of this code can be found [[https://github.com/haikona/OMS|here]]. A very short primer on the structure of the code is available [[http://wiki.sagemath.org/sagedays44/Projects?action=AttachFile&do=get&target=OMS_code_structure.pdf|here]]. * Generalize the above to work with other arithmetic groups arising from quaternion algebras. Roughly this amounts being able to compute with the (first) cohomology groups of such arithmetic groups with coefficients in measures on P^1^(Q_p), or on V-valued harmonic cocycles, where V is one either a symmetric power of Q^2^ or an overconvergent coefficient module as in the above project. This can be done (and we have code for it, although not overconvergent yet) when Gamma is indefinite. For Gamma being definite even the zeroth cohomology analogue is interesting, and this is what the btquotients code (available also [[https://github.com/haikona/OMS|here]]) does. |
* Finish adding Rob Pollack's overconvergent modular symbols code to Sage. The current version of this code can be found [[https://github.com/roed314/OMS|here]]. A very short primer on the structure of the code is available [[http://wiki.sagemath.org/sagedays44/Projects?action=AttachFile&do=get&target=OMS_code_structure.pdf|here]]. * Generalize the above to work with other arithmetic groups arising from quaternion algebras. Roughly this amounts being able to compute with the (first) cohomology groups of such arithmetic groups with coefficients in measures on P^1^(Q_p), or on V-valued harmonic cocycles, where V is one either a symmetric power of Q^2^ or an overconvergent coefficient module as in the above project. This can be done (and we have code for it, although not overconvergent yet) when Gamma is indefinite. For Gamma being definite even the zeroth cohomology analogue is interesting, and this is what the btquotients code (available also [[https://github.com/roed314/OMS|here]]) does. |
Our goals for this workshop are as follows:
Finish adding Rob Pollack's overconvergent modular symbols code to Sage. The current version of this code can be found here. A very short primer on the structure of the code is available here.
Generalize the above to work with other arithmetic groups arising from quaternion algebras. Roughly this amounts being able to compute with the (first) cohomology groups of such arithmetic groups with coefficients in measures on P1(Q_p), or on V-valued harmonic cocycles, where V is one either a symmetric power of Q2 or an overconvergent coefficient module as in the above project. This can be done (and we have code for it, although not overconvergent yet) when Gamma is indefinite. For Gamma being definite even the zeroth cohomology analogue is interesting, and this is what the btquotients code (available also here) does.
- Add the code for Hida families of overconvergent modular symbols to Sage. The current version of this code will be made available soon.