|
Size: 1627
Comment:
|
Size: 1900
Comment: expanded project descriptions
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| From 22 July till 26 July 2013 there will be a [[http://www.lorentzcenter.nl/|Lorentz Center]] workshop on Arithmetic Geometry in Sage. There will be three main projects during this week. | From 22-26 July 2013 there will be a [[http://www.lorentzcenter.nl/|Lorentz Center]] workshop on Arithmetic Geometry in Sage. There will be three main projects during this week. |
| Line 5: | Line 5: |
| * The first project is to enhance the function field functionality of Sage. In particular, it is important to have algorithms for computing with Jacobians of algebraic curves. This project is motivated by the other two projects. | * The first project is to enhance the function field functionality of Sage. In particular, it is important to have algorithms for computing with Jacobians of algebraic curves. It is desirable to implement two different frameworks, each with its own advantages: one developed by F. Hess and the other developed by K. Khuri-Makdisi. This project is motivated by the other two projects. |
| Line 7: | Line 7: |
| * The second project is to work on a new implementation of the algorithm of [[http://press.princeton.edu/titles/9491.html|Edixhoven, Couveignes et al.]] for computing Galois representations attached to modular forms. | * The second project is to work on a new implementation of the algorithm of [[http://press.princeton.edu/titles/9491.html|Edixhoven, Couveignes, Bosman, de Jong, and Merkl]] for computing Galois representations over finite fields attached to modular forms. |
| Line 9: | Line 9: |
| * The third project is to work on computing semi stable models of curves over local fields. To be more precise the goal is to work towards a practical implementation of the algorithms that follow from the proof in: K. Arzdorf and S. Wewers, A local proof of the semistable reduction theorem. | * The third project is to work on computing semi-stable models of curves over local fields. The goal is a practical implementation of the algorithms that follow from the new proof of Deligne and Mumford's stable reduction theorem in: K. Arzdorf and S. Wewers, A local proof of the semistable reduction theorem (in preparation). |
| Line 11: | Line 11: |
| * A possible fourth project might be to speed up finite fields in sage. Faster finite fields will mean that the algorithms in the previous project will also be significantly faster. According to [[https://groups.google.com/forum/#!msg/sage-nt/4tu8csrrWJo/gxY95f8s5FkJ|a google group discussion]] it should be relatively easy to make finite fiels larger than 2^16 a factor 10 faster. If you are interested in working on this, please let us know. | * A possible fourth project might be to speed up operations with finite fields in Sage. Faster finite fields will mean that the algorithms in the other projects will also be significantly faster. According to [[https://groups.google.com/forum/#!msg/sage-nt/4tu8csrrWJo/gxY95f8s5FkJ|a Google groups discussion]] it should be relatively easy to speed up operations in finite fields of cardinality larger than 2^16 by a factor of 10. If you are interested in working on this, please let us know. |
| Line 14: | Line 14: |
| [[http://www.mderickx.nl/|Maarten Derickx]] [[http://www.math.leidenuniv.nl/~mkosters/|Michiel Kosters]] [[http://user.math.uzh.ch/bruin/|Peter Bruin]] | [[http://user.math.uzh.ch/bruin/|Peter Bruin]] [[http://www.mderickx.nl/|Maarten Derickx]] [[http://www.math.leidenuniv.nl/~mkosters/|Michiel Kosters]] |
Sage Days X > 48
From 22-26 July 2013 there will be a Lorentz Center workshop on Arithmetic Geometry in Sage. There will be three main projects during this week.
- The first project is to enhance the function field functionality of Sage. In particular, it is important to have algorithms for computing with Jacobians of algebraic curves. It is desirable to implement two different frameworks, each with its own advantages: one developed by F. Hess and the other developed by K. Khuri-Makdisi. This project is motivated by the other two projects.
The second project is to work on a new implementation of the algorithm of Edixhoven, Couveignes, Bosman, de Jong, and Merkl for computing Galois representations over finite fields attached to modular forms.
- The third project is to work on computing semi-stable models of curves over local fields. The goal is a practical implementation of the algorithms that follow from the new proof of Deligne and Mumford's stable reduction theorem in: K. Arzdorf and S. Wewers, A local proof of the semistable reduction theorem (in preparation).
A possible fourth project might be to speed up operations with finite fields in Sage. Faster finite fields will mean that the algorithms in the other projects will also be significantly faster. According to a Google groups discussion it should be relatively easy to speed up operations in finite fields of cardinality larger than 2^16 by a factor of 10. If you are interested in working on this, please let us know.
For further information, contact one of the organizers: Peter Bruin Maarten Derickx Michiel Kosters