![Page 1: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/1.jpg)
Die Bogomolov-Vermutung fur Kurven
Walter Gubler
Universitat Tubingen
20. Oktober 2009
![Page 2: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/2.jpg)
Die Bogomolov-Vermutung fur Kurven
1. Inhaltsverzeichnis
1 Inhaltsverzeichnis
2 Hohen
3 Bogomolov-Vermutung
4 Funktionenkorper
![Page 3: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/3.jpg)
Die Bogomolov-Vermutung fur Kurven
1. Inhaltsverzeichnis
Referenzen
[BG] E. Bombieri, W. Gubler: Heights in diophantine geometry.
[Fu] W. Fulton: Intersection theory.
[GH] Ph. Griffiths, J. Harris: Principles of algebraic geometry.
[Ha] R. Hartshorne: Algebraic geometry.
[So] C. Soule et al.: Arakelov geometry.
![Page 4: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/4.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
1 Inhaltsverzeichnis
2 Hohen
3 Bogomolov-Vermutung
4 Funktionenkorper
![Page 5: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/5.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
![Page 6: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/6.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
Affine Varietat = Nullstellenmenge von Polynomen aus K [x1, . . . , xn]
![Page 7: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/7.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
Affine Varietat = Nullstellenmenge von Polynomen aus K [x1, . . . , xn]
Zariski-Topologie: Abgeschlossene Mengen = Teilmengen, die selberalgebraische Varietaten sind (Untervarietaten)
![Page 8: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/8.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
Affine Varietat = Nullstellenmenge von Polynomen aus K [x1, . . . , xn]
Zariski-Topologie: Abgeschlossene Mengen = Teilmengen, die selberalgebraische Varietaten sind (Untervarietaten)
Projektive Varietat = Nullstellenmenge von homogenen Polynomen
![Page 9: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/9.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
Affine Varietat = Nullstellenmenge von Polynomen aus K [x1, . . . , xn]
Zariski-Topologie: Abgeschlossene Mengen = Teilmengen, die selberalgebraische Varietaten sind (Untervarietaten)
Projektive Varietat = Nullstellenmenge von homogenen Polynomen
Abelsche Varietat = projektive Gruppenvarietat
![Page 10: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/10.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Algebraische Varietaten
K sei beliebiger Korper.
Affine Varietat = Nullstellenmenge von Polynomen aus K [x1, . . . , xn]
Zariski-Topologie: Abgeschlossene Mengen = Teilmengen, die selberalgebraische Varietaten sind (Untervarietaten)
Projektive Varietat = Nullstellenmenge von homogenen Polynomen
Abelsche Varietat = projektive Gruppenvarietat
Beispiel
Abelsche Varietaten der Dimension 1 heißen elliptische Kurven undkonnen durch eine polynomiale Gleichung y2 = x3 + ax + b beschriebenwerden.
![Page 11: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/11.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Gruppengesetz elliptischer Kurven
r
r
r
r
P + Q
P
Q
y
x
R
![Page 12: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/12.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
![Page 13: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/13.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
Allgemeiner gilt fur einen Zahlkorper K die Mordell-Vermutung:
![Page 14: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/14.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
Allgemeiner gilt fur einen Zahlkorper K die Mordell-Vermutung:
Theorem (Faltings 1983)
Eine algebraische Kurve vom Geschlecht g > 1 hat nur endlich viele
Punkte mit Koordinaten in K.
![Page 15: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/15.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
Allgemeiner gilt fur einen Zahlkorper K die Mordell-Vermutung:
Theorem (Faltings 1983)
Eine algebraische Kurve vom Geschlecht g > 1 hat nur endlich viele
Punkte mit Koordinaten in K.
Zentrales Hilfsmittel ist die Hohe eines Punktes.
![Page 16: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/16.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
Allgemeiner gilt fur einen Zahlkorper K die Mordell-Vermutung:
Theorem (Faltings 1983)
Eine algebraische Kurve vom Geschlecht g > 1 hat nur endlich viele
Punkte mit Koordinaten in K.
Zentrales Hilfsmittel ist die Hohe eines Punktes.
Sie misst arithmetische Komplexitat der Koordinaten.
![Page 17: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/17.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Diophantische Geometrie
Beispiel
Die diophantische Gleichung x4 − y4 = 5 hat nur endlich viele rationaleLosungen, z.B. (3
2,
12).
Allgemeiner gilt fur einen Zahlkorper K die Mordell-Vermutung:
Theorem (Faltings 1983)
Eine algebraische Kurve vom Geschlecht g > 1 hat nur endlich viele
Punkte mit Koordinaten in K.
Zentrales Hilfsmittel ist die Hohe eines Punktes.
Sie misst arithmetische Komplexitat der Koordinaten.
z.B. gilt H(32,
12) = 3, da projektive Losung (2 : 3 : 1).
![Page 18: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/18.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
![Page 19: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/19.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
![Page 20: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/20.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
Auf projektiver Varietat erhalten wir h durch Einschrankung.
![Page 21: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/21.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
Auf projektiver Varietat erhalten wir h durch Einschrankung.
Definition
Sei A abelsche Varietat. Fur P ∈ A haben wir die Neron–Tate-Hohe
h(P) = limm→∞ m−2h(mP).
![Page 22: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/22.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
Auf projektiver Varietat erhalten wir h durch Einschrankung.
Definition
Sei A abelsche Varietat. Fur P ∈ A haben wir die Neron–Tate-Hohe
h(P) = limm→∞ m−2h(mP).
positiv semi-definite quadratische Form
![Page 23: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/23.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
Auf projektiver Varietat erhalten wir h durch Einschrankung.
Definition
Sei A abelsche Varietat. Fur P ∈ A haben wir die Neron–Tate-Hohe
h(P) = limm→∞ m−2h(mP).
positiv semi-definite quadratische Form
Kern der ass. Bilinearform = Torsionspunkte
![Page 24: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/24.jpg)
Die Bogomolov-Vermutung fur Kurven
2. Hohen
Definition
Fur P = [x0 : · · · : xn] ∈ Pn(K ) sei
H(P) =∏
v∈MK
maxj
|xj |v .
Wir benutzen h(P) = log(H(P)) ≥ 0, unabhangig von K .
Auf projektiver Varietat erhalten wir h durch Einschrankung.
Definition
Sei A abelsche Varietat. Fur P ∈ A haben wir die Neron–Tate-Hohe
h(P) = limm→∞ m−2h(mP).
positiv semi-definite quadratische Form
Kern der ass. Bilinearform = Torsionspunkte
Kanonische Semidistanz d(P, Q) := h(P − Q) auf A.
![Page 25: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/25.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
1 Inhaltsverzeichnis
2 Hohen
3 Bogomolov-Vermutung
4 Funktionenkorper
![Page 26: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/26.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
![Page 27: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/27.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
Fur eine Untervarietat X von A haben wir die Bogomolov-Vermutung:
![Page 28: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/28.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
Fur eine Untervarietat X von A haben wir die Bogomolov-Vermutung:
Theorem (Ullmo 1998 fur Kurven, Zhang 1998 allgemein)
Es gibt nur endlich viele maximale Torsionsuntervarietaten in X .
Auf ihrem Komplement in X ist h positiv nach unten beschrankt.
![Page 29: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/29.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
Fur eine Untervarietat X von A haben wir die Bogomolov-Vermutung:
Theorem (Ullmo 1998 fur Kurven, Zhang 1998 allgemein)
Es gibt nur endlich viele maximale Torsionsuntervarietaten in X .
Auf ihrem Komplement in X ist h positiv nach unten beschrankt.
Dies ist eine Aussage fur Punkte mit Koordinaten in K .
![Page 30: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/30.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
Fur eine Untervarietat X von A haben wir die Bogomolov-Vermutung:
Theorem (Ullmo 1998 fur Kurven, Zhang 1998 allgemein)
Es gibt nur endlich viele maximale Torsionsuntervarietaten in X .
Auf ihrem Komplement in X ist h positiv nach unten beschrankt.
Dies ist eine Aussage fur Punkte mit Koordinaten in K .
Die Torsionspunkte sind dicht in jeder Torsionsuntervarietat.
![Page 31: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/31.jpg)
Die Bogomolov-Vermutung fur Kurven
3. Bogomolov-Vermutung
Definition
Eine Torsionsuntervarietat einer abelschen Varietat A hat die FormB + t mit B abelsche Untervarietat und t ein Torsionspunkt in A.
Fur eine Untervarietat X von A haben wir die Bogomolov-Vermutung:
Theorem (Ullmo 1998 fur Kurven, Zhang 1998 allgemein)
Es gibt nur endlich viele maximale Torsionsuntervarietaten in X .
Auf ihrem Komplement in X ist h positiv nach unten beschrankt.
Dies ist eine Aussage fur Punkte mit Koordinaten in K .
Die Torsionspunkte sind dicht in jeder Torsionsuntervarietat.
Der Beweis benutzt Arakelov-Geometrie.
![Page 32: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/32.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
1 Inhaltsverzeichnis
2 Hohen
3 Bogomolov-Vermutung
4 Funktionenkorper
![Page 33: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/33.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
![Page 34: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/34.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
Analogie zwischen Zahlkorpern und Funktionenkorpern
![Page 35: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/35.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
Analogie zwischen Zahlkorpern und Funktionenkorpern
Stellenmenge MK = B, Bewertungen = Multiplizitaten
![Page 36: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/36.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
Analogie zwischen Zahlkorpern und Funktionenkorpern
Stellenmenge MK = B, Bewertungen = Multiplizitaten
Produktformel gilt und damit haben wir Hohentheorie.
![Page 37: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/37.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
Analogie zwischen Zahlkorpern und Funktionenkorpern
Stellenmenge MK = B, Bewertungen = Multiplizitaten
Produktformel gilt und damit haben wir Hohentheorie.
Viele Beweise sind einfacher bei Funktionenkorpern:
![Page 38: Die Bogomolov-Vermutung f r Kurven · B +t mit B abelsche Untervariet¨at und t ein Torsionspunkt in A. F¨ur eine Untervariet ¨at X von A haben wir die Bogomolov-Vermutung: Theorem](https://reader030.vdokument.com/reader030/viewer/2022041204/5d5598ff88c9930d778bdb2d/html5/thumbnails/38.jpg)
Die Bogomolov-Vermutung fur Kurven
4. Funktionenkorper
Funktionenkorper
Sei ab jetzt K = k(B) Funktionenkorper einer glatten projektivenKurve B uber algebraisch abgeschlossenem Korper k .
Analogie zwischen Zahlkorpern und Funktionenkorpern
Stellenmenge MK = B, Bewertungen = Multiplizitaten
Produktformel gilt und damit haben wir Hohentheorie.
Viele Beweise sind einfacher bei Funktionenkorpern:
Fermatsche Vermutung:Tschebyscheff, Liouville, Korkine, 19. JahrhundertMordell Vermutung:Manin, Grauert, Samuel, 1963-1966