En matemáticas , el estudio de valores especiales de funciones L es un subcampo de la teoría de números dedicado a generalizar fórmulas como la fórmula de Leibniz para π , es decir
por el reconocimiento de que la expresión en el lado izquierdo es también donde es la función L de Dirichlet para el campo de números racionales gaussianos . Esta fórmula es un caso especial de la fórmula analítica del número de clase , y en esos términos se lee que el campo gaussiano tiene número de clase 1 . El factor en el lado derecho de la fórmula corresponde al hecho de que este campo contiene cuatro raíces de la unidad .
Hay dos familias de conjeturas, formuladas para clases generales de funciones L (el contexto más general es el de las funciones L asociadas a motivos de Chow sobre cuerpos numéricos ), y la división en dos refleja las preguntas de:
Se dan explicaciones subsidiarias para los valores enteros de para los cuales se puede esperar que se cumpla una fórmula de este tipo .
Las conjeturas para (a) se llaman conjeturas de Beilinson , para Alexander Beilinson . [1] [2] La idea es hacer abstracción del regulador de un cuerpo numérico hacia algún "regulador superior" (el regulador de Beilinson ), un determinante construido sobre un espacio vectorial real que proviene de la K-teoría algebraica .
Las conjeturas para (b) se denominan conjeturas de Bloch-Kato para valores especiales (para Spencer Bloch y Kazuya Kato ; este círculo de ideas es distinto de la conjetura de Bloch-Kato de la teoría K, que extiende la conjetura de Milnor , cuya prueba se anunció en 2009). También se denominan conjetura del número de Tamagawa , un nombre que surge a través de la conjetura de Birch-Swinnerton-Dyer y su formulación como un análogo de curva elíptica del problema del número de Tamagawa para grupos algebraicos lineales . [3] En una extensión adicional, se ha formulado la conjetura del número de Tamagawa equivariante (ETNC), para consolidar la conexión de estas ideas con la teoría de Iwasawa y su llamada conjetura principal .
Se sabe que todas estas conjeturas son verdaderas sólo en casos especiales.