|
Size: 5355
Comment:
|
Size: 6669
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| Possible talks: | == SATURDAY == 7pm -- Dinner at [http://www.penangusa.com/location_cambridge_menu_dinein.html Penang] in Harvard Square; 57 JFK Street, Harvard Square, Cambridge, MA 02138. |
| Line 5: | Line 6: |
| == SUNDAY == MORNING TALK 1 (9:15-10:15) {{{ Speaker: William Stein Title: On convergence in the Sato-Tate conjecture }}} Abstract: This is a talk on convergence in the Sato-Tate conjecture, in particular, it is an application of Sage to studying how quickly convergence happens in the Sato-Tate conjecture; this in fact leads to a new conjecture and new questions. This is joint work with Barry Mazur. MORNING TALK 2 (10:30-11:30) {{{ Speaker: David Roe Title: p-adic Arithmetic in SAGE }}} Abstract: I will outline the current status of $p$-adic arithmetic in Sage. In particular, I will discuss the different types of $p$-adics in Sage, extensions of $\mathbf Q_p$, polynomials and matrices over such local fields and their rings of integers. I will outline a number of algorithms for treating precision in polynomial and matrix computations. Come with comments on what aspects of $p$-adic arithmetic are most needed for your own projects. AFTERNOON TALK (1-2) {{{ Speaker: Fernando Rodriguez-Villegas Title: Identities between p-adic multi-polylogs and p-adic zeta values }}} Abstract: This is a talk about some work in progress which involves identities between $p$-adic multipolylogs and $p$-adic zeta values. Some I can (almost) prove others I can't and I find pretty surprising. Mostly I'd like to have some feedback on it. It wouldn't really be that computational except for the issue of how to compute linear relations among constants in the $p$-adics (but the again may be this is well known--to others). ORGANIZATIONAL MEETING After the afternoon talk today we will have an organizational meeting to discuss the plan for working groups for the remainder of the workshop. EVENING REPORTS (7-8) {{{ Speaker: William Stein and/or Robert Bradshaw Title: Algebraic Number Theory in SAGE, a Status Report }}} {{{ |
|
| Line 7: | Line 45: |
| Abstract: I'll give a short overview of the state of affairs of modular forms in SAGE. Mostly, I'll detail what we can do, what MAGMA can do that we can't, and some speed comparisons. | }}} Abstract: I'll give a short overview of the state of affairs of modular forms in SAGE. Mostly, I'll detail what we can do, what MAGMA can do that we can't, and some speed comparisons. |
| Line 11: | Line 48: |
| Speaker: Robert Bradshaw. Three possible talks: - Cython Status Report - Coercion Status Report (maybe a bit more of a status report, I intend to talk about the "right" way to discover coercion and why the idea of base extension is wrong.) - Coleman integration: I'm sure that Kiran Kedlaya would have more to say about this than me--I'll be in touch with him about this. |
EVENING WORKING SESSION (8pm-?) |
| Line 20: | Line 51: |
| Speaker: Somebody from FSF "Why not invite Brett Smith to SD6 or another SAGE meeting? Would you like to have someone speak to your organization about GPLv3 or other GNU licensing issues? FSF Licensing Compliance Engineer Brett Smith is happy to talk to groups about a wide variety issues. Please contact us for details. Us above is the FSF: [email protected]" |
== MONDAY == |
| Line 28: | Line 53: |
| Speaker: Gonzalo T. "PS: I was considering offering a talk on my work with darmon (stark-heegner points and shimura correspondence) but I still need a few hours to make a concrete proposal. Do you think this might be interesting for the program? " |
MORNING TALK 1 {{{ Speaker: Amnon Besser Title: On the Computation of p-adic Height Pairings on Jacobians of Hyperelliptic Curves }}} Abstract: The talk will present an algorithm for the computation of $p$-adic height pairings on hyperelliptic curves over number fields. Our work is not directly related to the work of Mazur Stein and Tate, though there are some similarities in the difficulties that occur and in the use of Kedlaya's algorithm. I will first explain where this height pairing arise, and how it decomposes into a sum of local terms at the places of the field. The most interesting is for places above the prime $p$. We use a description of these local terms given by Coleman and Gross that uses the theory of Coleman integration. There are two parts for the computation at these primes. One computes a certain projection from the space of meromorphic forms on the curve to its first de Rham cohomology, which can be computed using Coleman integration and the theory of the so called double index. The second involves computation of Coleman integrals, which are however mroe general than the ones computed in recent work on the subject (Gutnik, Kedlaya, ...) so there are some tricks involved which I'll explain. Finally I will discuss the situation at other primes, where there are still some delicate issues to resolve. |
| Line 34: | Line 67: |
| Speaker: Fernando Rodriguez-Villegas: " If there's a free slot I wouldn't mind talking about some work in progress which involves identities between p-adic multipolylogs and p-adic zeta values. Some I can (almost) prove others I can't and I find pretty surprising. Mostly I'd like to have some feedback on it. It wouldn't really be that computational except for the issue of how to compute linear relations among constants in the p-adics (but the again may be this is well known--to others). Noam: I thought this basically comes down to lattice basis reduction, much like linear relations among real numbers (or even vectors in R^n). Since gp's algdep() program has no problem recognizing p-adic numbers as algebraic I imagine that this is not just "known" but already implemented, at least in gp and for this special case. Or is there some specific context here that requires going beyond the usual lattice method? Speaker: W Stein p-adic BSD (joint with Wuthrich) "TITLE: Computing p-adic Invariants of Elliptic Curves and Applications of Iwasawa theory to BSD (the talk C. Wuthrich would have given if he could attend the workshop, but I could give, since it's a joint project between me and him -- in fact, I'd use his slides -- he gave the talk at a conference in England yesterday). " Speaker: W Stein or ?? TITLE: On convergence in the Sato-Tate conjecture (application of Sage to studying how quickly convergence happens in Sato-Tate; leads to conjecture; joint with Mazur). (by me and or Barry Mazur) |
MORNING TALK 2 {{{ Speaker: Robert Bradshaw & Kiran Kedlaya Title: Coleman integration }}} |
| Line 67: | Line 74: |
| AFTERNOON TALK {{{ Speaker: Martin Albrecht Title: Commutative Algebra and Sparse Linear Algebra in SAGE (Singular, PolyBoRi) }}} Abstract: I will cover libSINGULAR (with some examples, to show that the code isn't as scary as people believe), a bit of PolyBoRi, maybe something about CoCoALib, some benchmarks, and stuff we desperately need and don't know how to get. Obviously, I would throw in some benchmarks and stuff. Actually, I would like to add some (unrelated) slides on the state of sparse linear algebra over finite fields. That would cover what package can do it (not many!) and how SAGE is in that area (surprisingly good it seems for now) and what is done to improve it. Also, someone in the audience might have some input on William's echelon via solve idea adapted to this setting. EVENING REPORTS {{{ Speaker: Bill Hart Title: A short talk on short division : FLINT (Fast Library for Number Theory) a status report by Bill Hart. }}} Abstract: FLINT is a C library, in the very early stages of development, which has the aim of extending the state of the art in core arithmetic computations and eventually algebraic number theory. We will briefly discuss progress that has been made so far in polynomial and integer arithmetic, including a new variant/implementation of Mulder's recursive polynomial "short division" algorithm which we have worked up for doing faster polynomial division. {{{ Speaker: Michael Abshoff Title: Managing the SAGE development workflow }}} EVENING WORKING SESSION (8pm-?) == TUESDAY == MORNING TALK 1 {{{ Speaker: Gonzalo Tornaria Title: Stark-Heegner points and the Shimura correspondence }}} MORNING TALK 2 {{{ |
|
| Line 68: | Line 108: |
| "I can give my talk from UW on Explicit Heegner points. The title and the abstract are exactly the same! " |
Title: Computing Heegner points }}} |
| Line 71: | Line 111: |
| Speaker: Bill Hart " TITLE: FLINT status report - fast library for number > theory > (by Bill Hart) I can give a *short* talk. There are a couple of interesting things to say, however there will probably be more to say by SAGE days 6. " "A short talk on short division : FLINT (Fast Library for Number Theory) a status report by Bill Hart. FLINT is a C library, in the very early stages of development, which has the aim of extending the state of the art in core arithmetic computations and eventually algebraic number theory. We will briefly discuss progress that has been made so far in polynomial and integer arithmetic, including a new variant/implementation of Mulder's recursive polynomial "short division" algorithm which we have worked up for doing faster polynomial division. " |
AFTERNOON TALK {{{ Speaker: Michael Abshoff Title: [Ap]CoCoALib }}} |
| Line 90: | Line 117: |
| Speaker: David Roe "p-adics" " Speaker: Title: Status Report on p-Adic Arithmetic in Sage David Roe I will outline the current status of p-adic arithmetic in Sage. In particular, I will discuss the different types of p-adics in Sage, extensions of $Q_p$, polynomials and matrices over such local fields and their rings of integers. I will outline a number of algorithms for treating precision in polynomial and matrix computations. Come with comments on what aspects of p-adic arithmetic are most needed for your own projects. " |
EVENING REPORTS {{{ Speaker: Robert Bradshaw Title: Cython status report }}} |
| Line 98: | Line 123: |
| {{{ Speaker: Robert Bradshaw Title: Coercion Status Report }}} Abstract: In this controversial report, I will describe the "right" way to discover coercion and explain why the idea of using base extension is wrong. EVENING WORKING SESSION (8pm-?) == WEDNESDAY == MORNING TALK 1 {{{ Speaker: J-P. Serre Location: Science Center 507 Title: Finite Groups in Number Theory (part 3) }}} MORNING TALK 2 {{{ |
|
| Line 99: | Line 146: |
| > TITLE: Algebraic Number Theory in Sage, a Status Report > (by me and/or Robert Bradshaw) |
Title: Computing p-adic Invariants of Elliptic Curves and Applications of Iwasawa theory to BSD }}} |
| Line 102: | Line 149: |
| Speaker: M Abshoff > TITLE: Using trac to manage Sage development workflow > (by Michael Abshoff) |
AFTERNOON {{{ Speaker: Moderator Project Wrap-up }}} |
| Line 106: | Line 155: |
| Speaker: M Abshoff " TITLE: [Ap]CocoaLib |
3pm NUMBER THEORY SEMINAR: {{{ Title: Ranks of Elliptic Curves Speaker: Mark Watkins Location: Science Center 507 (Harvard) }}} |
| Line 109: | Line 162: |
| Speaker: M Albrecht "> Commutative Algebra in SAGE > I will cover libSINGULAR (with some examples, to show that the code isn't > as scary as people believe), a bit of PolyBoRi, maybe something about > CoCoALib, some benchmarks, and stuff we desperately need and don't know how > to get. Obviously, I would throw in some benchmarks and stuff. Actually, I would like to add some (unrelated) slides on the state of sparse linear algebra over finite fields. That would cover what package can do it (not many!) and how SAGE is in that area (surprisingly good it seems for now) and what is done to improve it. Also, someone in the audience might have some input on William's echelon via solve idea adapted to this setting. " |
EVENING WORKING SESSION: {{{ Informal working and coding session for people still around (e.g., William Stein, David Roe, etc.) }}} |
Sage Days 5 Schedule
SATURDAY
7pm -- Dinner at [http://www.penangusa.com/location_cambridge_menu_dinein.html Penang] in Harvard Square; 57 JFK Street, Harvard Square, Cambridge, MA 02138.
SUNDAY
MORNING TALK 1 (9:15-10:15)
Speaker: William Stein Title: On convergence in the Sato-Tate conjecture
Abstract: This is a talk on convergence in the Sato-Tate conjecture, in particular, it is an application of Sage to studying how quickly convergence happens in the Sato-Tate conjecture; this in fact leads to a new conjecture and new questions. This is joint work with Barry Mazur.
MORNING TALK 2 (10:30-11:30)
Speaker: David Roe Title: p-adic Arithmetic in SAGE
Abstract: I will outline the current status of p-adic arithmetic in Sage. In particular, I will discuss the different types of p-adics in Sage, extensions of \mathbf Q_p, polynomials and matrices over such local fields and their rings of integers. I will outline a number of algorithms for treating precision in polynomial and matrix computations. Come with comments on what aspects of p-adic arithmetic are most needed for your own projects.
AFTERNOON TALK (1-2)
Speaker: Fernando Rodriguez-Villegas Title: Identities between p-adic multi-polylogs and p-adic zeta values
Abstract: This is a talk about some work in progress which involves identities between p-adic multipolylogs and p-adic zeta values. Some I can (almost) prove others I can't and I find pretty surprising. Mostly I'd like to have some feedback on it. It wouldn't really be that computational except for the issue of how to compute linear relations among constants in the p-adics (but the again may be this is well known--to others).
ORGANIZATIONAL MEETING After the afternoon talk today we will have an organizational meeting to discuss the plan for working groups for the remainder of the workshop.
EVENING REPORTS (7-8)
Speaker: William Stein and/or Robert Bradshaw Title: Algebraic Number Theory in SAGE, a Status Report
Speaker: Craig Citro Title: Modular forms in SAGE: A status report
Abstract: I'll give a short overview of the state of affairs of modular forms in SAGE. Mostly, I'll detail what we can do, what MAGMA can do that we can't, and some speed comparisons.
EVENING WORKING SESSION (8pm-?)
MONDAY
MORNING TALK 1
Speaker: Amnon Besser Title: On the Computation of p-adic Height Pairings on Jacobians of Hyperelliptic Curves
Abstract: The talk will present an algorithm for the computation of p-adic height pairings on hyperelliptic curves over number fields. Our work is not directly related to the work of Mazur Stein and Tate, though there are some similarities in the difficulties that occur and in the use of Kedlaya's algorithm. I will first explain where this height pairing arise, and how it decomposes into a sum of local terms at the places of the field. The most interesting is for places above the prime p. We use a description of these local terms given by Coleman and Gross that uses the theory of Coleman integration. There are two parts for the computation at these primes. One computes a certain projection from the space of meromorphic forms on the curve to its first de Rham cohomology, which can be computed using Coleman integration and the theory of the so called double index. The second involves computation of Coleman integrals, which are however mroe general than the ones computed in recent work on the subject (Gutnik, Kedlaya, ...) so there are some tricks involved which I'll explain. Finally I will discuss the situation at other primes, where there are still some delicate issues to resolve.
MORNING TALK 2
Speaker: Robert Bradshaw & Kiran Kedlaya Title: Coleman integration
AFTERNOON TALK
Speaker: Martin Albrecht Title: Commutative Algebra and Sparse Linear Algebra in SAGE (Singular, PolyBoRi)
Abstract: I will cover libSINGULAR (with some examples, to show that the code isn't as scary as people believe), a bit of PolyBoRi, maybe something about CoCoALib, some benchmarks, and stuff we desperately need and don't know how to get. Obviously, I would throw in some benchmarks and stuff. Actually, I would like to add some (unrelated) slides on the state of sparse linear algebra over finite fields. That would cover what package can do it (not many!) and how SAGE is in that area (surprisingly good it seems for now) and what is done to improve it. Also, someone in the audience might have some input on William's echelon via solve idea adapted to this setting.
EVENING REPORTS
Speaker: Bill Hart Title: A short talk on short division : FLINT (Fast Library for Number Theory) a status report by Bill Hart.
Abstract: FLINT is a C library, in the very early stages of development, which has the aim of extending the state of the art in core arithmetic computations and eventually algebraic number theory. We will briefly discuss progress that has been made so far in polynomial and integer arithmetic, including a new variant/implementation of Mulder's recursive polynomial "short division" algorithm which we have worked up for doing faster polynomial division.
Speaker: Michael Abshoff Title: Managing the SAGE development workflow
EVENING WORKING SESSION (8pm-?)
TUESDAY
MORNING TALK 1
Speaker: Gonzalo Tornaria Title: Stark-Heegner points and the Shimura correspondence
MORNING TALK 2
Speaker: Dimitar Jetchev Title: Computing Heegner points
AFTERNOON TALK
Speaker: Michael Abshoff Title: [Ap]CoCoALib
EVENING REPORTS
Speaker: Robert Bradshaw Title: Cython status report
Speaker: Robert Bradshaw Title: Coercion Status Report
Abstract: In this controversial report, I will describe the "right" way to discover coercion and explain why the idea of using base extension is wrong.
EVENING WORKING SESSION (8pm-?)
WEDNESDAY
MORNING TALK 1
Speaker: J-P. Serre Location: Science Center 507 Title: Finite Groups in Number Theory (part 3)
MORNING TALK 2
Speaker: William Stein Title: Computing p-adic Invariants of Elliptic Curves and Applications of Iwasawa theory to BSD
AFTERNOON
Speaker: Moderator Project Wrap-up
3pm NUMBER THEORY SEMINAR:
Title: Ranks of Elliptic Curves Speaker: Mark Watkins Location: Science Center 507 (Harvard)
EVENING WORKING SESSION:
Informal working and coding session for people still around (e.g., William Stein, David Roe, etc.)