|
Size: 882
Comment:
|
Size: 1055
Comment: add link to primer on the OMS code
|
| 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]] | * 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]]. |
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.