Differences between revisions 26 and 27
Revision 26 as of 2007-09-25 16:58:33
Size: 9292
Editor: was
Comment:
Revision 27 as of 2007-09-25 17:13:46
Size: 6544
Editor: was
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
7pm -- Dinner at [http://www.penangusa.com/location_cambridge_menu_dinein.html Penang] in Harvard Square
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 10: Line 9:
{{{
Speaker: William Stein
Title: On convergence in the Sato-Tate conjecture
}}}
On convergence in the Sato-Tate conjecture (application of Sage to studying how quickly convergence happens in the Sato-Tate conjecture; this leads to a new conjecture. This is joint work with Barry Mazur.
Line 11: Line 15:
Speaker: William Stein (or 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.
Line 13: Line 22:
Title: On convergence in the Sato-Tate conjecture AFTERNOON TALK (1-2)
{{{
Speaker: Fernando Rodriguez-Villegas
Title: Identities between p-adic multi-polylogs and p-adic zeta values
}}}
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).
Line 16: Line 30:
MORNING TALK 2 (10:30-11:30)
Line 18: Line 31:
Speaker: David Roe 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.
Line 20: Line 34:
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 $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

After the afternoon talk today we will have an organizational meeting
to discuss the plan for working groups for the remainder of the
workshop.
Line 36: Line 37:
{{{
Line 37: Line 39:
Title: Algebraic Number Theory in SAGE, a Status Report
}}}
Line 38: Line 42:
Title: Algebraic Number Theory in SAGE, a Status Report
{{{
Line 41: Line 44:
Line 43: Line 45:
}}}
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 47: Line 51:
Line 51: Line 54:
{{{
Line 53: Line 56:
Line 55: Line 57:
}}}
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 57: Line 68:
{{{
Speaker: Robert Bradshaw & Kiran Kedlaya
Title: Coleman integration
}}}
Line 58: Line 73:
Speaker: Robert Bradshaw & Kiran Kedlaya

Title: Coleman integration
Line 63: Line 75:
{{{
Line 65: Line 77:

Title: Commutative Algebra and Sparse Linear Algebra in SAGE (Singular, PoliBoRi)
Title: Commutative Algebra and Sparse Linear Algebra in SAGE (Singular, PolyBoRi)
}}}
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.
Line 70: Line 83:
{{{
Line 71: Line 85:
Title: 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.
Line 72: Line 89:
Title: FLINT status report
Line 74: Line 90:
{{{
Line 75: Line 92:
Line 77: Line 93:
}}}
Line 84: Line 100:
{{{
Line 86: Line 102:
Line 88: Line 103:
}}}
Line 90: Line 106:
{{{
Line 92: Line 108:
Line 94: Line 109:
}}}
Line 96: Line 112:
{{{
Line 98: Line 114:
Line 100: Line 115:
}}}
Line 102: Line 118:
{{{
Speaker: Robert Bradshaw
Title: Cython status report
}}}
Line 103: Line 123:
{{{
Line 104: Line 125:
Title: Coercion Status Report
}}}
In this controversial talk, I will describe the "right" way to discover coercion and explain why the idea of using base extension is wrong.
Line 105: Line 129:
Title: Cython status report

Speaker: Robert Bradshaw

Title: Coercion Status Report
Line 117: Line 136:
{{{
Line 118: Line 138:
Line 120: Line 139:
Line 122: Line 140:
}}}
Line 125: Line 144:
{{{
Line 126: Line 146:

Title: Computing p-adic Invariants of Elliptic Curves and

Applications of Iwasawa theory to BSD
Title: Computing p-adic Invariants of Elliptic Curves and Applications of Iwasawa theory to BSD
}}}
Line 132: Line 150:
{{{
Line 134: Line 152:
Line 136: Line 153:
}}}
Line 138: Line 156:
{{{
Line 140: Line 158:
Line 142: Line 159:
Line 144: Line 160:
}}}
Line 147: Line 163:
{{{
Line 149: Line 165:

========================================================================

Possible talks:

[technical math]
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 o!
n 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.

[general computer]
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.

[technical computer]
Speaker: Robert Bradshaw.
- Cython Status Report


[general/technical computer]
Speaker: Robert Bradshaw.
- 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.)

[technical math]
Speaker: Robert Bradshaw.
- 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.


[technical math]
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? "

[technical math]
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?

[technical math]
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). "

[general math]
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)

[technical math]
Speaker: Dimitar Jetchev
"I can give my talk from UW on Explicit Heegner points. The title and the
abstract are exactly the same! "


[general computer]
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. "

[general computing/math]
Speaker: David Roe
"p-adics"
"
Speaker: Title: Status Report on p-Adic Arithmetic in Sage
David Roe

"

[general computing]
Speaker: William Stein
> TITLE: Algebraic Number Theory in Sage, a Status Report
> (by me and/or Robert Bradshaw)

[general computing]
Speaker: M Abshoff
> TITLE: Using trac to manage Sage development workflow
> (by Michael Abshoff)

[general computing]
Speaker: M Abshoff
" TITLE: [Ap]CocoaLib

[general computing]
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. "
}}}

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

On convergence in the Sato-Tate conjecture (application of Sage to studying how quickly convergence happens in the Sato-Tate conjecture; this leads to a new conjecture. 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

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

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)

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.

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

In this controversial talk, 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.)

days5/sched (last edited 2008-11-14 13:42:00 by anonymous)