En geometría algebraica y teoría de números , la conjetura de torsión o conjetura de acotación uniforme para puntos de torsión para variedades abelianas establece que el orden del grupo de torsión de una variedad abeliana sobre un campo numérico puede estar acotado en términos de la dimensión de la variedad y el número. campo. Una versión más fuerte de la conjetura es que la torsión está limitada en términos de la dimensión de la variedad y el grado del campo numérico. La conjetura de la torsión se ha resuelto por completo en el caso de las curvas elípticas .
Curvas elípticas
Campo | Teoría de los números |
---|---|
Conjeturado por | Beppo Levi |
Conjeturado en | 1908 |
Primera prueba por | Barry MazurSheldon Kamienny Loïc Merel |
Primera prueba en | 1977–1996 |
De 1906 a 1911, Beppo Levi publicó una serie de artículos que investigaban los posibles órdenes finitos de puntos en las curvas elípticas sobre los racionales. [1] Mostró que hay infinitas curvas elípticas sobre las racionales con los siguientes grupos de torsión:
- C n con 1 ≤ n ≤ 10, donde C n denota el grupo cíclico de orden n ;
- C 12 ;
- C 2n × C 2 con 1 ≤ n ≤ 4, donde × denota la suma directa .
En el Congreso Internacional de Matemáticas de 1908 en Roma, Levi conjeturó que esta es una lista completa de grupos de torsión para curvas elípticas sobre las racionales. [1] La conjetura de torsión para curvas elípticas sobre los racionales fue reformulada independientemente por Trygve Nagell ( 1952 ) y nuevamente por Andrew Ogg ( 1971 ), y la conjetura se conoce comúnmente como conjetura de Ogg . [1]
Andrew Ogg ( 1971 ) trazó la conexión entre la conjetura de torsión para curvas elípticas sobre las racionales y la teoría de las curvas modulares clásicas . [1] A principios de la década de 1970, el trabajo de Gérard Ligozat, Daniel Kubert , Barry Mazur y John Tate mostró que varios valores pequeños de n no ocurren como órdenes de puntos de torsión en curvas elípticas sobre las racionales. [1] Barry Mazur ( 1977 , 1978 ) demostró la conjetura de torsión completa para curvas elípticas sobre las racionales. Sus técnicas fueron generalizadas por Kamienny (1992) y Kamienny & Mazur (1995) , quienes obtuvieron delimitación uniforme para campos cuadráticos y campos numéricos de grado como máximo 8 respectivamente. Finalmente, Loïc Merel ( 1996 ) demostró la conjetura de las curvas elípticas sobre cualquier campo numérico. [1]
Parent (1999) proporcionó un límite efectivo para el tamaño del grupo de torsión en términos del grado del campo numérico . También se ha proporcionado una lista completa de posibles grupos de torsión para curvas elípticas sobre campos numéricos cuadráticos. Hay resultados parciales sustanciales para los campos de números cuárticos y quínticos ( Sutherland 2012 ).
Ver también
Referencias
Bibliografía
- Kamienny, Sheldon (1992). "Puntos de torsión en curvas elípticas y-coefficients de formas modulares". Inventiones Mathematicae . 109 (2):. 221-229 bibcode : 1992InMat.109..221K . doi : 10.1007 / BF01232025 . MR 1.172.689 . S2CID 118.750.444 .
- Kamienny, Sheldon; Mazur, Barry (1995). Con un apéndice de A. Granville. "Torsión racional de primer orden en curvas elípticas sobre campos numéricos". Astérisque . 228 : 81-100. Señor 1330929 .
- Mazur, Barry (1977). "Curvas modulares y el ideal de Eisenstein" . Publicaciones Mathématiques de l'IHÉS . 47 (1): 33–186. doi : 10.1007 / BF02684339 . Señor 0488287 . S2CID 122609075 .
- Mazur, Barry (1978), con apéndice de Dorian Goldfeld , "Isogenias racionales de primer grado", Inventiones Mathematicae , 44 (2): 129-162, Bibcode : 1978InMat..44..129M , doi : 10.1007 / BF01390348 , MR 0482230 , S2CID 121987166
- Merel, Loïc (1996). "Bornes pour la torsion des courbes elliptiques sur les corps de nombres" [Límites para la torsión de curvas elípticas sobre campos numéricos]. Inventiones Mathematicae (en francés). 124 (1): 437–449. Código bibliográfico : 1996InMat.124..437M . doi : 10.1007 / s002220050059 . Señor 1369424 . S2CID 3590991 .
- Nagell, Trygve (1952). "Problemas en la teoría de puntos excepcionales en planos cúbicos del género uno". Den 11te Skandinaviske Matematikerkongress, Trondheim 1949, Oslo . Johan Grundt Tanum forlag . págs. 71–76.
- Ogg, Andrew (1971). "Puntos racionales de orden finito en curvas elípticas". Inventiones Mathematicae . 22 : 105-111.
- Ogg, Andrew (1973). "Puntos racionales en determinadas curvas modulares elípticas". Proc. Symp. Matemática pura . Actas de simposios en matemáticas puras. 24 : 221-231. doi : 10.1090 / pspum / 024/0337974 . ISBN 9780821814246.
- Padre, Pierre (1999). "Bornes effectives pour la torsion des courbes elliptiques sur les corps de nombres" [Límites efectivos para la torsión de curvas elípticas sobre campos numéricos]. Journal für die Reine und Angewandte Mathematik (en francés). 1999 (506): 85-116. arXiv : alg-geom / 9611022 . doi : 10.1515 / crll.1999.009 . Señor 1665681 .
- Schappacher, Norbert ; Schoof, René (1996), "Beppo Levi y la aritmética de las curvas elípticas" (PDF) , The Mathematical Intelligencer , 18 (1): 57–69, doi : 10.1007 / bf03024818 , MR 1381581 , Zbl 0849.01036
- Sutherland, Andrew V. (2012), Subgrupos de torsión de curvas elípticas sobre campos numéricos (PDF)