BSD Plan for 2007-04-18

1. Today: 
   * Definition of Sha(E) and facts about it. 
   Friday: The BSD conjectural formula 
   Next week: p-adic analogues of BSD formula

2. Kummer sequence for elliptic curves

3. Descent; proof of Mordell-Weil theorem

4. Define Sha

5. Conjecture and theorems about structure of Sha.

6. Visibility of Sha.

------------------------------------------
1. Talk about projects:
 a. Robert B -- 2-descent
 b. Dustin M -- ap lists
 c. Robert M -- congruence graph
 d. Koopa K -- what we just did; finiteness of Sha's

New project (?):
   * Heegner points package in SAGE (they are coming up)