莫德尔猜想
 格尔德·法尔廷斯 | |
| 领域 | 算术几何 |
|---|---|
| 猜想提出者 | 路易·莫德尔 |
| 猜想提出年 | 1922 |
| 最初证明者 | 格尔德·法尔廷斯 |
| 最初证明年 | 1983 |
| 推广 | 邦别里－朗猜想 莫德尔－朗猜想 |
| 可得结果 | 西葛尔的整数点定理 |
莫德尔猜想（Mordell conjecture），又称法尔廷斯定理（Faltings's theorem），是一个由路易·莫德尔[1]提出的算术几何猜想，这猜想认为，任何有理数域上亏格数大于一的曲线至多只有有限多个有理点。这猜想于1983年为格尔德·法尔廷斯所证明[2]，并从此改名为法尔廷斯定理，而之后这猜想被推广至任何代数数域上。
背景
[编辑]设C为一个非特异的、位于有理数域上且亏格数为g的代数曲线，则C上的有理点可由下列关系决定：
- 当g = 0时，C要不没有有理点，要不有无限多的有理点，此情况下C可视为圆锥曲线。
- 当g = 1时，C没有有理点，或者为一个有理点构成有限生成阿贝尔群的椭圆曲线（此即莫德尔定理，之后被推广为莫德尔－韦伊定理）；此外，马祖尔挠定理对相关的挠子群的结构做出限制。
- 当g > 1时，根据现在又称法尔廷斯定理的莫德尔猜想，C只有有限多的有理点。
证明
[编辑]伊戈尔·沙法列维奇曾猜想说在一个固定的数域上有着固定的维度与极化度（polarization degree）、且在固定的位构成的有限集合之外有着良好简化（Good reduction）的交换簇之上，只有有限个同构类，而这即是沙法列维奇的有限猜想。[3]阿列克谢·帕辛使用现在称为帕辛技巧的方法，指出说沙法列维奇的有限猜想可推出莫德尔猜想。[4]
格尔德·法尔廷斯利用了泰特猜想一个情况已知的简化，以及包括内伦模型等源自代数几何的工具，证明了沙法列维奇的有限猜想。[5]而这证明的主要想法，是利用西葛尔模簇来比较高度函数中的法尔廷斯高度及古典高度。[a]
后来的证明
[编辑]- 保罗·波伊大给出一个基于丢番图逼近的证明；[6]之后恩里科·邦别里找到了波伊大的证明中一个更加初等的版本。[7]
- 布莱恩·劳伦斯（Brian Lawrence）及阿克沙伊·文卡泰什给出一个基于p进数霍奇定理的证明，而这证明借凿了法尔廷斯原始证明中一些较简单的成分。[8]
可得结果
[编辑]法尔廷斯在1983年的论文可推出一系列先前受猜想的内容：
法尔廷斯定里的一个应用是费马最后定理的弱形式：对于任意大于等于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 [2022-12-27]. MR 1093712. （原始内容存档于2022-12-27）.
- 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 [2022-12-27]. ISSN 1618-1913. MR 0222087. doi:10.1007/BF02684399. （原始内容存档于2022-12-14）.
- 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.
