En matemáticas , una función zeta p -ádica , o más generalmente, una función L -ádica p , es una función análoga a la función zeta de Riemann , o más generalmente a las funciones L , pero cuyo dominio y objetivo son p-ádicos (donde p es un número primo ). Por ejemplo, el dominio podría ser los números enteros p -ádicos Z p , un p -grupo profinito o una familia p -ádica de representaciones de Galois , y la imagen podría ser los números p -ádicos Q p o su clausura algebraica .
La fuente de una función L p -ádica tiende a ser de uno de dos tipos. La primera fuente, de la que Tomio Kubota y Heinrich-Wolfgang Leopoldt dieron la primera construcción de una función L p -ádica (Kubota y Leopoldt 1964), es a través de la interpolación p -ádica de valores especiales de funciones L. Por ejemplo, Kubota-Leopoldt utilizó las congruencias de Kummer para los números de Bernoulli para construir una función L p -ádica , la función zeta p- ádica de Riemann ζ p ( s ), cuyos valores en números enteros impares negativos son los de la función zeta de Riemann en números enteros impares negativos (hasta un factor de corrección explícito). Las funciones L p -ádicas que surgen de esta manera se denominan típicamente funciones L p -ádicas analíticas . La otra fuente principal de funciones L p -ádicas —descubierta por primera vez por Kenkichi Iwasawa— proviene de la aritmética de campos ciclotómicos o, de manera más general, de ciertos módulos de Galois sobre torres de campos ciclotómicos o incluso torres más generales. Una función L p -ádica que surge de esta manera se denomina típicamente función L p -ádica aritmética , ya que codifica datos aritméticos del módulo de Galois involucrado. La conjetura principal de la teoría de Iwasawa (ahora un teorema debido a Barry Mazur y Andrew Wiles ) es la afirmación de que la función L p -ádica de Kubota-Leopoldt y un análogo aritmético construido por la teoría de Iwasawa son esencialmente lo mismo. En situaciones más generales donde se construyen (o esperan) funciones L p -ádicas tanto analíticas como aritméticas , la afirmación de que concuerdan se denomina conjetura principal de la teoría de Iwasawa para esa situación. Estas conjeturas representan declaraciones formales sobre la filosofía de que los valores especiales de las funciones L contienen información aritmética.
La función L de Dirichlet viene dada por la continuación analítica de
La función L de Dirichlet en números enteros negativos viene dada por
donde B n ,χ es un número de Bernoulli generalizado definido por
para χ un carácter de Dirichlet con conductor f .
La función L p -ádica de Kubota–Leopoldt L p ( s , χ) interpola la función L de Dirichlet con el factor de Euler en p eliminado. Más precisamente, L p ( s , χ) es la única función continua del número p -ádico s tal que
para enteros positivos n divisibles por p − 1. El lado derecho es simplemente la función L de Dirichlet habitual , excepto que se elimina el factor de Euler en p , de lo contrario no sería p -ádicamente continua. La continuidad del lado derecho está estrechamente relacionada con las congruencias de Kummer .
Cuando n no es divisible por p − 1 esto no suele cumplirse; en cambio
para números enteros positivos n . Aquí χ está torcido por una potencia del carácter de Teichmüller ω.
Las funciones L p -ádicas también pueden considerarse como medidas p -ádicas (o distribuciones p -ádicas ) en grupos de Galois p -profinitos. La traducción entre este punto de vista y el punto de vista original de Kubota-Leopoldt (como Q funciones p -valuadas en Z p ) se realiza a través de la transformada de Mazur-Mellin (y la teoría de campos de clases ).
Deligne y Ribet (1980), basándose en trabajos previos de Serre (1973), construyeron funciones L analíticas p -ádicas para cuerpos totalmente reales. Independientemente, Barsky (1978) y Cassou-Noguès (1979) hicieron lo mismo, pero sus enfoques siguieron el enfoque de Takuro Shintani para el estudio de los valores L.
