2 Loren D. Olson Normat 1/2010
ham fra tid til annen. (Lang var ikke min veileder, det var det Heisuke Hironaka
som var). En dag stakk Lang til meg noe som het “Galois cohomology of abelian
varieties over p-adic fields” med kommentaren: “Her, les dette!”. Det var noe som
Tate hadde gjort, men som Lang hadde skrevet opp ([4]). Bortsett fra å formidle
en personlig erfaring med Tate som professor, er det et poeng for meg her å vise at
Tates resultater var kjente og sirkulerte i student- og forskermiljøet i lang tid før
de ble allment kjente og publiserte. Arbeidet hans var kjent og benyttet allerede
fra 50-tallet.
2 Elliptiske kurver
La k være en kropp.
Definisjon 2.1. En elliptisk kurve E definert over en kropp k er en ikke-singulær
kurve av genus 1 samt et k-rasjonalt punkt e på E.
La E(k) være mengden av alle k-rasjonale punkter på E. E(k) har en gruppe-
struktur med e som identitetselement. E(k) kalles for Mordell-Weil gruppa til E.
Det er svært vanlig å beskrive elliptiske kurver ved en Weierstrassligning:
Y
3
+ a
1
XY + a
3
Y = X
3
+ a
2
X
2
+ a
4
X + a
6
der a
i
∈ k og der man krever at diskriminanten ∆ 6= 0. Dette er ekvivalent med
å si at kurven er ikke-singulær. Vi tar punktet (0, 1, 0) = e i det projektive planet
som identitetselementet for gruppestrukturen.
Teorem 2.2. Mordel l-Weil. La k være en algebraisk tallkropp. E(k) er endelig
generert.
Skriv E(k)
∼
=
E(k)
tors
⊕ Z
r
der r er rangen til E(k). E(k)
tors
er grei å beregne.
Verre er det å beregne r og et sett generatorer for E(k). For å komme videre med
å få tak i r og presise resultater om de såkalte L-funksjoner har vi bruk for et nytt
begrep som Tate tildels er ansvarlig for.
3 Tate-Šafarevič grupper
Tar vi utgangspunkt i en gitt elliptisk kurve E kan vi studere ikke-singulære kurver
D av genus 1 som har E som Jacobivarietet. Slike har følgende struktur:
(1.) µ : D × E −→ D over k slik at µ(y, e) = y og µ(µ(y, x
1
), x
2
) = µ(y, x
1
+ x
2
) og
(2.) ν : D × D −→ E over k slik at µ(y
1
, x) = y
2
⇐⇒ ν(y
2
, y
1
) = x.
D kalles for et prinsipalt homogent rom over (E, e). Vi kan innføre en ekviva-
lensrelasjon på disse. Weil (1955) definerte en gruppestruktur på disse ekvivalens-
klassene og vi får W C(E, k), Weil-Châtelet gruppa. Det er viktig å legge merke til
at en ekvivalensklasse i W C(E, k) er 0 ⇐⇒ kurvene D som representerer klassen
har et k-rasjonalt punkt.
Dersom K/k er en kroppsutvidelse, så har vi en homomorfi
W C(E, k) −→ W C(E, K). Spesielt for k en algebraisk tallkropp og k
v
en komplet-
tering mht. en tallverdi v, har vi WC(E, k) −→ W C(E, k
v
).