Conjetura de Weil
En matemáticas, las conjeturas de Weil fueron algunas propuestas muy influyentes realizadas por André Weil, que condujo a un exitoso programa de varias décadas para probarlas, en el que muchos investigadores líderes desarrollaron el marco de la geometría algebraica moderna y la teoría de números.
Las conjeturas se refieren a las funciones generadoras (conocidas como funciones zeta locales) derivadas de contar el número de puntos en variedades algebraicas sobre campos finitos. Una variedad V sobre un campo finito con q elementos tiene un número finito de puntos racionales (con coordenadas en el campo original), así como puntos con coordenadas en cualquier extensión finita del campo original. La función generadora tiene coeficientes derivados de los números Nk de puntos sobre el campo de extensión con qk elementos.
Weil conjeturó que tales funciones zeta para variedades suaves deberían ser funciones racionales, deberían satisfacer una forma de ecuación funcional y deberían tener sus ceros en lugares restringidos. Las dos últimas partes fueron modeladas de manera bastante consciente en la función zeta de Riemann, un tipo de función generadora de enteros primos, que obedece a una ecuación funcional y (conjeturalmente) tiene sus ceros restringidos por la hipótesis de Riemann. La racionalidad fue probada por Bernard Dwork, la ecuación funcional por Alexander Grothendieck, y el análogo de la hipótesis de Riemann por Pierre Deligne (1974).
El primer antecedente de las conjeturas de Weil es obra de Carl Friedrich Gauss y aparece en la sección VII de sus Disquisitiones Arithmeticae (Mazur, 1974), relacionado con las raíces de la unidad y los períodos gaussianos. En el artículo 358, pasa de los períodos que construyen torres de extensiones cuadráticas, para la construcción de polígonos regulares; y supone que p es un número primo tal que p − 1 es divisible por 3. Entonces existe un campo cúbico cíclico dentro del campo ciclotómico de las p raíces de la unidad, y una base integral normales de periodos para los números enteros de este campo (una instancia del teorema de Hilbert-Speiser). Gauss construyó los períodos de orden 3, correspondientes al grupo cíclico (Z/pZ)× de los residuos de módulo p distintos de cero bajo la multiplicación y su subgrupo único de índice tres. Gauss deja , y sean sus clases laterales. Tomando los períodos (sumas de raíces de la unidad) correspondientes a estas clases laterales aplicadas a exp(2πi/p), observó que estos períodos tienen una tabla de multiplicación que es accesible para el cálculo. Los productos son combinaciones lineales de los períodos, y determinó sus coeficientes. Estableció, por ejemplo, igual al número de elementos de Z/pZ que están en y que, después de aumentar en uno, también están en . Probó que este número y los relacionados son los coeficientes de los productos de los períodos. Para ver la relación de estos conjuntos con las conjeturas de Weil, obsérvese que si α y α + 1 están ambos en , entonces existen x e y en Z/pZ de modo que x3 = α e y3 = α + 1; en consecuencia, x3 + 1 = y3. Por lo tanto es el número de soluciones para x3 + 1 = y3 en el campo finito Z/pZ. Los otros coeficientes tienen interpretaciones similares. La determinación de Gauss de los coeficientes de los productos de los períodos, por lo tanto, cuenta el número de puntos en estas curvas elípticas, y como subproducto demuestra el análogo de la hipótesis de Riemann.
Emil Artin (1924) estudió las conjeturas de Weil en el caso especial de las curvas algebraicas. Por su parte, Weil probó el caso de las curvas sobre campos finitos, terminando el proyecto iniciado por el teorema de Hasse sobre curvas elípticas sobre campos finitos. Su interés era bastante obvio desde dentro de la teoría de números: implicaban límites superiores para sumas exponenciales, una preocupación básica en la teoría analítica de números (Moreno, 2001).
Lo que fue realmente llamativo, desde el punto de vista de otras áreas matemáticas, es la conexión propuesta con la topología algebraica. Dado que los campos finitos son de naturaleza discreta, y la topología solo habla de lo continuo, la formulación detallada de Weil (basada en la elaboración de algunos ejemplos) fue sorprendente y novedosa. Sugirió que la geometría sobre campos finitos debería encajar en patrones bien conocidos relacionados con los números de Betti, o con el teorema de punto fijo de Lefschetz entre otros.
La analogía con la topología sugirió que se estableciera una nueva teoría homológica aplicable dentro de la geometría algebraica. Esto llevó dos décadas (era un objetivo central del trabajo y la escuela de Alexander Grothendieck) a partir de las sugerencias iniciales de Serre. La parte racional de las conjeturas fue probada primero por Bernard Dwork (1960), utilizando métodos p-ádicos. Grothendieck (1965) y sus colaboradores establecieron la conjetura racional, la ecuación funcional y el enlace a los números de Betti utilizando las propiedades de cohomología étale, una nueva teoría de la cohomología desarrollada por Grothendieck y Artin para atacar las conjeturas de Weil, como se describe en Grothendieck (1960). De las cuatro conjeturas, la del análogo de la hipótesis de Riemann fue la más difícil de probar. Motivado por la prueba de Serre (1960) de un análogo de las conjeturas de Weil para variedades de Kähler, Grothendieck imaginó una prueba basada en sus conjeturas estándar sobre ciclos algebraicos (Kleiman, 1968). Sin embargo, las conjeturas estándar de Grothendieck permanecen abiertas (excepto el teorema de Lefschetz fuerte, que Deligne probó al extender su trabajo sobre las conjeturas de Weil), y Deligne probó el análogo de la hipótesis de Riemann, utilizando la teoría de la cohomología étale pero evitando el uso de conjeturas estándar mediante un argumento ingenioso.
Deligne (1980) encontró y probó una generalización de las conjeturas de Weil, delimitando los pesos del empuje de un haz.
Supóngase que X es una variedad algebraica proyectiva n dimensional no singular sobre el campo Fq con q elementos. La función zeta ζ(X, s) de X es por definición
donde Nm es el número de puntos de X definidos sobre la extensión de grado m Fqm de Fq.
Las conjeturas de Weil indican:
El ejemplo más simple (que no sea un punto) es tomar X como la recta proyectiva. El número de puntos de X sobre un campo con qm elementos es solo Nm = qm + 1 (donde el " + 1 " proviene del "punto en el infinito"). La función zeta es
Es fácil verificar todas las partes de las conjeturas de Weil directamente. Por ejemplo, la variedad compleja correspondiente es la esfera de Riemann y sus números iniciales de Betti son 1, 0, 1.
No es mucho más difícil comprobarlo con el espacio proyectivo n dimensional. El número de puntos de X sobre un campo con qm elementos es solo Nm = 1 + qm + q2m + ⋯ + qnm. La función zeta es
Nuevamente es fácil verificar todas las partes de las conjeturas de Weil directamente (el espacio proyectivo complejo da los números Betti relevantes, que casi determinan la respuesta).
El número de puntos en la línea proyectiva y el espacio proyectivo son muy fáciles de calcular porque pueden escribirse como uniones disjuntas de un número finito de copias de espacios afines. También es fácil probar las conjeturas de Weil para otros espacios, como los Grassmannianos y las variedades de bandera, que tienen la misma propiedad de "teselado".
Son los primeros casos no triviales de las conjeturas de Weil (demostrados por Hasse). Si E es una curva elíptica sobre un campo finito con q elementos, entonces el número de puntos de E definidos sobre el campo con qm elementos es 1 − αm − βm + qm, donde α y β son conjugados complejos con valor absoluto √q. La función zeta es
Weil sugirió que las conjeturas se derivarían de la existencia de una "teoría de la cohomología de Weil" adecuada para variedades sobre campos finitos, similar a la cohomología habitual con coeficientes racionales para variedades complejas. Su idea era que si F es el automorfismo de Frobenius sobre el campo finito, entonces el número de puntos de la variedad X sobre el campo de orden qm es el número de puntos fijos de Fm (que actúa sobre todos los puntos de la variedad X definidos sobre el cierre algebraico). En la topología algebraica, el número de puntos fijos de un automorfismo puede calcularse utilizando el teorema del punto fijo de Lefschetz, dado como una suma alterna de trazas en los grupos de cohomología. Entonces, si hubiera grupos de cohomología similares para variedades sobre campos finitos, la función zeta podría expresarse en términos de ellos.
El primer problema con esta proposición es que el campo de coeficientes para una teoría de la cohomología de Weil no puede ser el de los números racionales. Para ver esto, considérese el caso de una curva elíptica supersingular sobre un campo finito de característica p. Su anillo de endomorfismo es un orden en un álgebra de cuaterniones sobre los números racionales, y debe actuar sobre el primer grupo de cohomología, que debe ser un espacio vectorial bidimensional sobre el campo del coeficiente por analogía con el caso de una curva elíptica compleja. Sin embargo, un álgebra de cuaterniones sobre los racionales no puede actuar en un espacio vectorial bidimensional sobre los racionales. El mismo argumento elimina la posibilidad de que el campo de coeficientes sean los números reales o los números p-ádicos, porque el álgebra de cuaterniones sigue siendo un álgebra de división sobre estos campos. Sin embargo, no elimina la posibilidad de que el campo del coeficiente sea el campo de los números l-ádicos para algunos primos l ≠ p, porque sobre estos campos la división del álgebra se divide y se convierte en un álgebra matricial, que puede actuar en un espacio vectorial bidimensional. Grothendieck y Michael Artin lograron construir teorías de cohomología adecuadas sobre el campo de los números l-ádicos para cada primo l ≠ p, llamadas cohomologías l-ádicas.
A finales de 1964, Grothendieck junto con Artin y Jean-Louis Verdier (y el trabajo anterior de 1960 de Dwork) demostraron las conjeturas de Weil, aparte de la tercera conjetura más difícil anterior (la conjetura de la "hipótesis de Riemann") (Grothendieck 1965). Los teoremas generales sobre la cohomología étale le permitieron a Grothendieck probar un análogo de la fórmula del punto fijo de Lefschetz para la teoría de la cohomología l-ádica, y al aplicarla al automorfismo de Frobenius F pudo probar la fórmula conjeturada para la función zeta:
donde cada polinomio Pi es el determinante de I - TF en el grupo de cohomología I-ádico Hi.
La racionalidad de la función zeta se sigue de inmediato. La ecuación funcional para la función zeta se deriva de la dualidad de Poincaré para la cohomología l-ádica, y la relación con los números de Betti complejos de una elevación se deriva de un teorema de comparación entre la cohomología l-ádica y la cohomología ordinaria para variedades complejas.
De manera más general, Grothendieck demostró una fórmula similar para la función zeta (o "función L generalizada") de un haz F0:
como producto sobre grupos de cohomología:
El caso especial del haz constante proporciona la función zeta habitual.
Verdier (1974), Serre (1975), Katz (1976) y Freitag y Kiehl (1988) dieron explicaciones de la primera prueba de Deligne (1974). Mucho del trabajo de fondo sobre cohomología l-ádica es descrito en (Deligne, 1977).
La primera prueba de Deligne de la tercera conjetura de Weil restante (la "conjetura de la hipótesis de Riemann") utilizó los siguientes pasos:
El núcleo de la prueba de Deligne es mostrar que el haz E sobre U es puro, en otras palabras, encontrar los valores absolutos de los valores propios de Frobenius en sus fibras. Esto se hace estudiando las funciones zeta de las potencias pares Ek de E y aplicando la fórmula de Grothendieck para las funciones zeta como productos alternos sobre grupos de cohomología. La idea crucial de considerar incluso k potencias de E fue inspirada por un artículo de Rankin (1939), que utilizó una idea similar con k = 2 para delimitar la función tau de Ramanujan. Langlands (1970) señaló que una generalización del resultado de Rankin para valores pares más altos de k implicaría la conjetura de Ramanujan, y Deligne se dio cuenta de que en el caso de las funciones zeta de variedades, la teoría de Grothendieck de las funciones zeta de los haces proporcionaba un análogo de esta generalización.
La deducción de la hipótesis de Riemann a partir de esta estimación es principalmente un uso bastante sencillo de las técnicas estándar y se realiza de la siguiente manera:
Deligne (1980) encontró y probó una generalización de las conjeturas de Weil, limitando los pesos del empuje de un haz. En la práctica, es esta generalización, más que las conjeturas originales de Weil, la que se usa principalmente en aplicaciones, como el Teorema de Lefschetz duro. Gran parte de la segunda prueba es una reorganización de las ideas de su primera prueba. La idea adicional principal necesaria es un argumento estrechamente relacionado con el teorema de Jacques Hadamard y de la Vallée Poussin, utilizado por Deligne para mostrar que varias series L no tienen ceros con la parte real 1.
Un haz construible en una variedad sobre un campo finito se llama puro de peso β si para todos los puntos x los valores propios del Frobenius en x tienen valor absoluto N(x)β/2, y se llama mezcla de peso ≤ β si puede escribirse como extensiones repetidas de haces puros con pesos ≤ β..
El teorema de Deligne establece que si f es un morfismo de esquemas de tipo finito sobre un campo finito, entonces Rif! lleva haces mixtos de peso ≤ β a haces mixtos de peso ≤ β+i.
Las conjeturas originales de Weil siguen tomando f para ser un morfismo de una variedad suave y proyectiva a un punto y considerando la constante gavilla Q l en la variedad. Esto proporciona un límite superior en los valores absolutos de los valores propios de Frobenius, y la dualidad de Poincaré muestra que este también es un límite inferior.
En general Rif! no lleva haces puros a haces puros. Sin embargo, ocurre cuando existe una forma adecuada de dualidad de Poincaré, por ejemplo, si f es suave y adecuada, o si se trabaja con haces perversos en lugar de haces como en Beilinson, Bernstein y Deligne (1982).
Inspirado por el trabajo de Witten (1982) sobre la teoría de Morse, Laumon (1987) encontró otra prueba, utilizando la transformación de Fourier l-ádica de Deligne, que le permitió simplificar la prueba de Deligne evitando el uso del método de Hadamard y de la Vallée Poussin. Su prueba generaliza el cálculo clásico del valor absoluto de las sumas de Gauss utilizando el hecho de que la norma de una transformada de Fourier tiene una relación simple con la norma de la función original. Kiehl y Weissauer (2001) utilizaron la prueba de Laumon como base para su exposición del teorema de Deligne. Katz (2001) dio una nueva simplificación de la prueba de Laumon, utilizando la monodromía en el espíritu de la primera prueba de Deligne. Kedlaya (2006) dio otra prueba usando la transformada de Fourier, reemplazando la cohomología etale por una cohomología rígida.