En geometría aritmética , la conjetura de Bombieri-Lang es un problema no resuelto conjeturado por Enrico Bombieri y Serge Lang sobre la densidad de Zariski del conjunto de puntos racionales de una variedad algebraica de tipo general .
Declaración
La conjetura débil de Bombieri-Lang para superficies establece que si es una superficie lisa de tipo general definida sobre un campo numérico, entonces el -puntos racionales de no forman un conjunto denso en la topología de Zariski en. [1]
La forma general de la conjetura de Bombieri-Lang establece que si es una variedad algebraica de tipo general definida sobre un campo numérico , entonces el -puntos racionales de no forman un conjunto denso en la topología de Zariski. [2] [3] [4]
La forma refinada de la conjetura de Bombieri-Lang establece que si es una variedad algebraica de tipo general definida sobre un campo numérico , entonces hay un subconjunto abierto denso de tal que para todas las extensiones de campo numérico encima , el conjunto de -puntos racionales en es finito. [4]
Historia
La conjetura de Bombieri-Lang fue planteada de forma independiente por Enrico Bombieri y Serge Lang. En una conferencia de 1980 en la Universidad de Chicago , Enrico Bombieri planteó un problema sobre la degeneración de puntos racionales para superficies de tipo general. [1] Independientemente en una serie de artículos que comenzaron en 1971, Serge Lang conjeturó una relación más general entre la distribución de puntos racionales y la hiperbolicidad algebraica , [1] [5] [6] [7] formulada en la "forma refinada" de la conjetura de Bombieri-Lang. [4]
Generalizaciones e implicaciones
La conjetura de Bombieri-Lang es análoga a las superficies del teorema de Faltings , que establece que las curvas algebraicas del género mayor que uno solo tienen un número finito de puntos racionales. [8]
De ser cierta, la conjetura de Bombieri-Lang resolvería el problema de Erdős-Ulam , ya que implicaría que no existen subconjuntos densos del plano euclidiano cuyas distancias por pares son racionales. [8] [9]
En 1997, Lucia Caporaso , Barry Mazur , Joe Harris y Patricia Pacelli demostraron que la conjetura de Bombieri-Lang implica una conjetura de delimitación uniforme para puntos racionales : hay una constante dependiendo solo de y tal que el número de puntos racionales de cualquier género curva sobre cualquier grado el campo numérico es como máximo . [2] [3]
Referencias
- ^ a b c Das, Pranabesh; Turchet, Amos (2015), "Invitación a puntos integrales y racionales en curvas y superficies", en Gasbarri, Carlo; Lu, Steven; Roth, Mike; Tschinkel, Yuri (eds.), Puntos racionales, curvas racionales y curvas holomorfas enteras sobre variedades proyectivas , Matemáticas contemporáneas, 654 , American Mathematical Society, págs. 53–73, arXiv : 1407.7750
- ^ a b Poonen, Bjorn (2012), Delimitación uniforme de puntos racionales y puntos preperiódicos , arXiv : 1206.7104
- ^ a b Conceição, Ricardo; Ulmer, Douglas ; Voloch, José Felipe (2012), "Ilimitación del número de puntos racionales en curvas sobre campos funcionales", New York Journal of Mathematics , 18 : 291-293.
- ^ a b c Hindry, Marc; Silverman, Joseph H. (2000), "F.5.2. La conjetura de Bombieri-Lang" , Geometría diofántica: Introducción , Textos de posgrado en matemáticas, 201 , Springer-Verlag, Nueva York, págs. 479–482, doi : 10.1007 / 978-1-4612-1210-2 , ISBN 0-387-98975-7, MR 1745599
- ^ Lang, Serge (1971), "Números trascendentales y aproximaciones diofánticas" , Bulletin of the American Mathematical Society , 77 (5), págs. 635–678, doi : 10.1090 / S0002-9904-1971-12761-1 , ISSN 0002- 9904
- ^ Lang, Serge (1974), "Problemas diofánticos de dimensiones superiores" , Boletín de la Sociedad Americana de Matemáticas , 80 (5), págs. 779–788, doi : 10.1090 / S0002-9904-1974-13516-0 , ISSN 0002-9904
- ^ Lang, Serge (1983), Fundamentos de la geometría diofántica , Nueva York: Springer-Verlag , p. 224, ISBN 0-387-90837-4
- ^ a b Tao, Terence (20 de diciembre de 2014), "El problema de Erdos-Ulam, variedades de tipo general y la conjetura de Bombieri-Lang" , Novedades
- ^ Shaffaf, Jafar (mayo de 2018), "Una solución del problema de Erdős-Ulam en conjuntos de distancias racionales asumiendo la conjetura de Bombieri-Lang", Geometría discreta y computacional , 60 (8), arXiv : 1501.00159 , doi : 10.1007 / s00454-018 -0003-3