En matemáticas, una función L es una función meromórfica en el plano complejo , asociada a una de varias categorías de objetos matemáticos . Una serie L es una serie de Dirichlet , generalmente convergente en un semiplano , que puede dar lugar a una función L mediante continuación analítica . La función zeta de Riemann es un ejemplo de función L , y una conjetura importante que involucra funciones L es la hipótesis de Riemann y su generalización .
La teoría de las funciones L se ha convertido en una parte muy sustancial, y todavía en gran medida conjetural , de la teoría analítica de números contemporánea . En él se construyen amplias generalizaciones de la función zeta de Riemann y de la serie L para un carácter de Dirichlet , y se exponen de forma sistemática sus propiedades generales, en la mayoría de los casos todavía fuera del alcance de la prueba. Debido a la fórmula del producto de Euler existe una profunda conexión entre las funciones L y la teoría de los números primos .
El campo matemático que estudia las funciones L a veces se denomina teoría analítica de las funciones L.
Al principio distinguimos entre la serie L , una representación en serie infinita (por ejemplo, la serie de Dirichlet para la función zeta de Riemann ), y la función L , la función en el plano complejo que es su continuación analítica . Las construcciones generales comienzan con una serie L , definida primero como una serie de Dirichlet , y luego mediante una expansión como un producto de Euler indexado por números primos. Se requieren estimaciones para demostrar que esto converge en algún semiplano derecho de los números complejos . Entonces uno se pregunta si la función así definida puede continuar analíticamente en el resto del plano complejo (quizás con algunos polos ).
Es esta continuación meromórfica (conjetural) del plano complejo la que se denomina función L. En los casos clásicos, ya se sabe que la información útil está contenida en los valores y el comportamiento de la función L en los puntos donde la representación de la serie no converge. El término general L -función incluye aquí muchos tipos conocidos de funciones zeta. La clase de Selberg es un intento de capturar las propiedades centrales de L -funciones en un conjunto de axiomas, fomentando así el estudio de las propiedades de la clase en lugar de las funciones individuales.
Se pueden enumerar características de ejemplos conocidos de funciones L que desearíamos generalizar:
Un trabajo detallado ha producido una gran cantidad de conjeturas plausibles, por ejemplo sobre el tipo exacto de ecuación funcional que debería aplicarse. Dado que la función zeta de Riemann se conecta a través de sus valores en números enteros pares positivos (y enteros impares negativos) con los números de Bernoulli , se busca una generalización apropiada de ese fenómeno. En ese caso se han obtenido resultados para funciones L p -ádicas , que describen ciertos módulos de Galois .
Las estadísticas de las distribuciones cero son de interés debido a su conexión con problemas como la hipótesis generalizada de Riemann, la distribución de números primos, etc. También son de interés las conexiones con la teoría de matrices aleatorias y el caos cuántico . La estructura fractal de las distribuciones se ha estudiado mediante análisis de rango reescalado . [2] La autosimilitud de la distribución cero es bastante notable y se caracteriza por una gran dimensión fractal de 1,9. Esta dimensión fractal bastante grande se encuentra sobre ceros que cubren al menos quince órdenes de magnitud para la función zeta de Riemann , y también para los ceros de otras funciones L de diferentes órdenes y conductores.
Uno de los ejemplos influyentes, tanto para la historia de las funciones L más generales como para un problema de investigación aún abierto, es la conjetura desarrollada por Bryan Birch y Peter Swinnerton-Dyer a principios de los años sesenta. Se aplica a una curva elíptica E , y el problema que intenta resolver es la predicción del rango de la curva elíptica sobre los números racionales (u otro campo global ): es decir, el número de generadores libres de su grupo de puntos racionales. Gran parte del trabajo previo en el área comenzó a unificarse en torno a un mejor conocimiento de las funciones L. Esto fue algo así como un ejemplo paradigmático de la naciente teoría de las funciones L.
Este desarrollo precedió al programa Langlands por unos años y puede considerarse complementario a él: el trabajo de Langlands se relaciona en gran medida con las funciones L de Artin , que, como las funciones L de Hecke , se definieron varias décadas antes, y con las funciones L. adjunto a representaciones automorfas generales .
Gradualmente se hizo más claro en qué sentido la construcción de funciones zeta de Hasse-Weil podría funcionar para proporcionar funciones L válidas , en el sentido analítico: debería haber alguna entrada del análisis, lo que significaba análisis automórfico . El caso general unifica ahora a nivel conceptual varios programas de investigación diferentes.