20/04/14 23:30:54.56 mIlcNUlX.net
>>930 ｗ（＾＾；
ID:TosO5VR6さん
>Remark5の何が間違ってるかわからないorz
>スタンダードなファルティングスの有限性定理そのものだと思うけど
>望月反論ペーパー読んだら納得いきました
>「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プライドもあって言えないだろうし
これね（＾＾；
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Faltings's theorem
(抜粋)
In arithmetic geometry, the Mordell conjecture is the conjecture made by Mordell (1922) that a curve of genus greater than 1 over the field Q of rational numbers has only finitely many rational points. In 1983 it was proved by Gerd Faltings (1983, 1984), and is now known as Faltings's theorem.
The conjecture was later generalized by replacing Q by any number field.
Proofs
Faltings (1983) proved the Shafarevich finiteness conjecture using a known reduction to a case of the Tate conjecture, and a number of tools from algebraic geometry, including the theory of Neron models.
The main idea of Faltings' proof is the comparison of Faltings heights and naive heights via Siegel modular varieties.[1]
Later proofs
A proof based on diophantine approximation was given by Vojta (1991). A more elementary variant of Vojta's proof was given by Bombieri (1990).
Generalizations
Even more general conjectures have been put forth by Paul Vojta.
Footnotes
1^ "Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof." Bloch, Spencer (1984).
URLﾘﾝｸ(pdfs.semanticscholar.org)
"The Proof of the Mordell Conjecture" (PDF). The Mathematical Intelligencer. 6 (2): 44.
URLﾘﾝｸ(ja.wikipedia.org)
ファルティングスの定理