- ... associates6.1
 
- See
  [MT83], [Sch82]
[Sch85], [Zar90], [Col91],
 [Nek93], [Pla94], [IW03], 
and [Bes04].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
 
- ...
conjecture.6.2
 
- See [Sch82], [Sch85]
  [MT83], [MT87],
  [PR03].
  See also important recent work of Jan Nekovár.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
 
- ...
ordinary6.3
 
- Kedlaya's algorithm only requires good
reduction; however, the application to computation of 
-adic
heights requires that 
 be ordinary as well.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
 
- ... algorithm6.4
 
- The reader is also encouraged to see
the exposition of Edixhoven [Edi], which
heavily influenced the writing of these notes.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
 
- ...Some7.1
 
- Dimitar Jetchev
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.