莫德尔猜想
莫德尔猜想（Mordell conjecture），又称法尔廷斯定理（Faltings's theorem），是一个由路易·莫德尔[1]提出的算术几何猜想，这猜想认为，任何有理数域上亏格数大于一的曲线至多只有有限多个有理点。这猜想于1983年为格尔德·法尔廷斯所证明[2]，并从此改名为法尔廷斯定理，而之后这猜想被推广至任何代数数域上。
 格尔德·法尔廷斯 | |
| 领域 | 算术几何 |
|---|---|
| 猜想提出者 | 路易·莫德尔 |
| 猜想提出年 | 1922 |
| 最初证明者 | 格尔德·法尔廷斯 |
| 最初证明年 | 1983 |
| 推广 | 邦别里－朗猜想 莫德尔－朗猜想 |
| 可得结果 | 西葛尔的整数点定理 |
背景
设C为一个非特异的、位于有理数域上且亏格数为g的代数曲线，则C上的有理点可由下列关系决定：
证明
伊戈尔·沙法列维奇曾猜想说在一个固定的数域上有着固定的维度与极化度（polarization degree）、且在固定的位构成的有限集合之外有着良好简化（Good reduction）的交换簇之上，只有有限个同构类，而这即是沙法列维奇的有限猜想。[3]阿列克谢·帕辛使用现在称为帕辛技巧的方法，指出说沙法列维奇的有限猜想可推出莫德尔猜想。[4]
格尔德·法尔廷斯利用了泰特猜想一个情况已知的简化，以及包括内伦模型等源自代数几何的工具，证明了沙法列维奇的有限猜想。[5]而这证明的主要想法，是利用西葛尔模簇来比较高度函数中的法尔廷斯高度及古典高度。[a]
后来的证明
可得结果
法尔廷斯在1983年的论文可推出一系列先前受猜想的内容：
- 莫德尔猜想，也就是在代数数域上亏格数大于1的曲线只有有限多个有理点；
- 同类定理（Isogeny theorem），也就是带有同构泰特模（也就是带有伽罗瓦作用的Qℓ－模）的交换簇是同类的。
法尔廷斯定里的一个应用是费马最后定理的弱形式：对于任意大于等于4的固定整数n，an + bn = cn至多只有有限的原始整数解（也就是彼此互质的解），而这是因为对于这样的n而言，费马曲线 xn + yn = 1的亏格数大于1之故。
推广
由于莫德尔－韦伊定理之故，因此法尔廷斯定理可重述为一个关于带有交换簇A的有限生成子群Γ的曲线C的交点的叙述，因此可透过将其中交换簇A改成半交换簇（semiabelian variety）、将C改成A的任意子簇，以及将Γ改成A的任意有限秩子集的作法，将之推广为莫德尔－朗猜想，而这猜想由麦克·麦奎兰[9]在洛朗（Laurent）、雷诺、辛追（Hindry）、波伊大以及法尔廷斯等人成就的基础上，于1995年所证明。
法尔廷斯定理的另一个高维推广是邦别里－朗猜想，也就是若X是一个在数域k上的伪典型簇（也就是“一般类型”的代数簇），那么X(k)在扎里斯基拓扑的意义上并非稠密的。保罗·波伊大并提出了更加一般化的猜想。
函数域上的莫德尔猜想由尤里·马宁[10]以及汉斯·格劳尔特[11]所证明，在1990年，罗伯特·F·科尔曼找到并修补了马宁证明中的一个漏洞。[12]
注解
- ^ “法尔廷斯借由西葛尔模空间的方法比较了高度的两种表记…这是证明的主要想法”（原文："Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof."）Bloch, Spencer. The Proof of the Mordell Conjecture. The Mathematical Intelligencer. 1984, 6 (2): 44. S2CID 306251. doi:10.1007/BF03024155.
引用
参考资料
- Bombieri, Enrico. The Mordell conjecture revisited. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 1990, 17 (4): 615–640. MR 1093712.
- Coleman, Robert F. Manin's proof of the Mordell conjecture over function fields. L'Enseignement Mathématique. 2e Série. 1990, 36 (3): 393–427. ISSN 0013-8584. MR 1096426. （原始内容存档于2011-10-02）.
- Cornell, Gary; Silverman, Joseph H. (编). Arithmetic geometry. Papers from the conference held at the University of Connecticut, Storrs, Connecticut, July 30 – August 10, 1984. New York: Springer-Verlag. 1986. ISBN 0-387-96311-1. MR 0861969. doi:10.1007/978-1-4613-8655-1. → Contains an English translation of Faltings (1983)
- Faltings, Gerd. Endlichkeitssätze für abelsche Varietäten über Zahlkörpern [Finiteness theorems for abelian varieties over number fields]. Inventiones Mathematicae. 1983, 73 (3): 349–366. Bibcode:1983InMat..73..349F. MR 0718935. doi:10.1007/BF01388432 （德语）.
- Faltings, Gerd. Erratum: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Inventiones Mathematicae. 1984, 75 (2): 381. MR 0732554. doi:10.1007/BF01388572 （德语）.
- Faltings, Gerd. Diophantine approximation on abelian varieties. Ann. of Math. 1991, 133 (3): 549–576. JSTOR 2944319. MR 1109353. doi:10.2307/2944319.
- Faltings, Gerd. Cristante, Valentino; Messing, William , 编. Barsotti Symposium in Algebraic Geometry. Papers from the symposium held in Abano Terme, June 24–27, 1991.. Perspectives in Mathematics. San Diego, CA: Academic Press, Inc. 1994. ISBN 0-12-197270-4. MR 1307396.
|chapter=被忽略 (帮助) - Grauert, Hans. Mordells Vermutung über rationale Punkte auf algebraischen Kurven und Funktionenkörper. Publications Mathématiques de l'IHÉS. 1965, 25 (25): 131–149. ISSN 1618-1913. MR 0222087. doi:10.1007/BF02684399.
- Hindry, Marc; Silverman, Joseph H. Diophantine geometry. Graduate Texts in Mathematics 201. New York: Springer-Verlag. 2000. ISBN 0-387-98981-1. MR 1745599. doi:10.1007/978-1-4612-1210-2. → Gives Vojta's proof of Faltings's Theorem.
- Lang, Serge. Survey of Diophantine geometry . Springer-Verlag. 1997: 101–122. ISBN 3-540-61223-8.
- Lawrence, Brian; Venkatesh, Akshay. Diophantine problems and p-adic period mappings. Invent. Math. 2020, 221 (3): 893–999. arXiv:1807.02721 . doi:10.1007/s00222-020-00966-7.
- Manin, Ju. I. Rational points on algebraic curves over function fields. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya. 1963, 27: 1395–1440. ISSN 0373-2436. MR 0157971 （俄语）. (Translation: Manin, Yu. Rational points on algebraic curves over function fields. American Mathematical Society Translations. Series 2. 1966, 59: 189–234. ISBN 9780821817506. ISSN 0065-9290. doi:10.1090/trans2/050/11. )
- McQuillan, Michael. Division points on semi-abelian varieties. Invent. Math. 1995, 120 (1): 143–159. doi:10.1007/BF01241125.
- Mordell, Louis J. On the rational solutions of the indeterminate equation of the third and fourth degrees. Proc. Cambridge Philos. Soc. 1922, 21: 179–192.
- Paršin, A. N. Quelques conjectures de finitude en géométrie diophantienne (PDF). Actes du Congrès International des Mathématiciens Tome 1. Nice: Gauthier-Villars: 467–471. 19701971 [2016-06-11]. MR 0427323. （原始内容 (PDF)存档于2016-09-24）.
- Parshin, A. N., Mordell conjecture, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Parshin, A. N. Algebraic curves over function fields I. Izv. Akad. Nauk. SSSR Ser. Math. 1968, 32 (5): 1191–1219. Bibcode:1968IzMat...2.1145P. doi:10.1070/IM1968v002n05ABEH000723.
- Shafarevich, I. R. Algebraic number fields. Proceedings of the International Congress of Mathematicians. 1963: 163–176.
- Vojta, Paul. Siegel's theorem in the compact case. Ann. of Math. 1991, 133 (3): 509–548. JSTOR 2944318. MR 1109352. doi:10.2307/2944318.