stringtranslate.com

Personaje de Dirichlet

En la teoría analítica de números y ramas relacionadas de las matemáticas, una función aritmética de valor complejo es un carácter de Dirichlet de módulo (donde es un entero positivo) si para todos los números enteros y : [1]

  1. es decir, es completamente multiplicativa .
  2. (mcd es el máximo común divisor )
  3. ; es decir, es periódica con período .

El carácter más simple posible, llamado carácter principal , generalmente denotado como , (ver Notación a continuación) existe para todos los módulos: [2]

El matemático alemán Peter Gustav Lejeune Dirichlet —de quien toma el nombre el personaje— introdujo estas funciones en su artículo de 1837 sobre los números primos en progresiones aritméticas . [3] [4]

Notación

es la función totiente de Euler .

es una raíz n-ésima primitiva compleja de la unidad :

pero

es el grupo de unidades mod . Tiene orden

es el grupo de personajes de Dirichlet mod .

etc. son números primos .

es una abreviatura estándar [5] [6] para

etc. son caracteres de Dirichlet. (la letra griega minúscula chi significa "carácter")

No existe una notación estándar para los caracteres de Dirichlet que incluya el módulo. En muchos contextos (como en la demostración del teorema de Dirichlet), el módulo es fijo. En otros contextos, como en este artículo, aparecen caracteres con módulos diferentes. Cuando corresponde, este artículo emplea una variación del etiquetado de Conrey (introducido por Brian Conrey y utilizado por la LMFDB).

En este etiquetado, los caracteres para el módulo se indican donde el índice se describe en la sección del grupo de caracteres que aparece a continuación. En este etiquetado, denota un carácter no especificado y denota el carácter principal mod .

Relación con los personajes del grupo

La palabra " carácter " se utiliza de varias formas en matemáticas. En esta sección se refiere a un homomorfismo de un grupo (escrito multiplicativamente) al grupo multiplicativo del cuerpo de números complejos:

El conjunto de caracteres se denota Si el producto de dos caracteres se define por multiplicación puntual, la identidad por el carácter trivial y la inversa por inversión compleja , entonces se convierte en un grupo abeliano. [7]

Si es un grupo abeliano finito entonces [8] existe un isomorfismo y las relaciones de ortogonalidad: [9]

    y    

Los elementos del grupo abeliano finito son las clases de residuos donde

Un carácter de grupo se puede extender a un carácter de Dirichlet definiendo

y a la inversa, un mod de personaje de Dirichlet define un personaje de grupo en

Parafraseando a Davenport [10], los caracteres de Dirichlet pueden considerarse un caso particular de caracteres de grupo abeliano. Pero este artículo sigue a Dirichlet al ofrecer una explicación directa y constructiva de ellos. Esto se debe en parte a razones históricas, ya que el trabajo de Dirichlet precedió en varias décadas al desarrollo de la teoría de grupos, y en parte a una razón matemática, a saber, que el grupo en cuestión tiene una estructura simple e interesante que se oscurece si se lo trata como se trata al grupo abeliano general.

Datos elementales

4) Como lo dice la propiedad 2) , se puede cancelar desde ambos lados de :

[11]

5) La propiedad 3) es equivalente a

Si   entonces

6) La propiedad 1) implica que, para cualquier entero positivo

7) El teorema de Euler establece que si entonces Por lo tanto,

Es decir, los valores distintos de cero de son raíces -ésimas de la unidad :

para algún entero que depende de y . Esto implica que solo hay un número finito de caracteres para un módulo dado.

8) Si y son dos caracteres para el mismo módulo, entonces su producto está definido por la multiplicación puntual:

  ( obviamente satisface 1-3). [12]

El personaje principal es una identidad:

9) Sea la inversa de en . Entonces

por lo que se extiende 6) a todos los números enteros.

El conjugado complejo de una raíz de la unidad es también su inverso (ver aquí para más detalles), por lo que para

  ( obviamente también satisface 1-3).

Así, para todos los números enteros

  en otras palabras . 

10) La multiplicación y la identidad definidas en 8) y la inversión definida en 9) convierten el conjunto de caracteres de Dirichlet para un módulo dado en un grupo abeliano finito .

El grupo de personajes

Hay tres casos diferentes porque los grupos tienen estructuras diferentes dependiendo de si es una potencia de 2, una potencia de un primo impar o el producto de potencias primos. [13]

Potencias de primos impares

Si es un número impar es cíclico de orden ; un generador se llama raíz primitiva mod . [14] Sea una raíz primitiva y para definir la función (el índice de ) por

Porque si y sólo si Desde

  se determina por su valor en

Sea una raíz primitiva de la unidad. De la propiedad 7) anterior, los posibles valores de son Estos valores distintos dan lugar a caracteres de Dirichlet mod Para definir como

Entonces para y todos y

demostrando que es un personaje y
lo que da un isomorfismo explícito

Ejemplosmetro= 3, 5, 7, 9

2 es una raíz primitiva mod 3. ( )

Entonces los valores de son

.

Los valores distintos de cero de los caracteres mod 3 son

2 es una raíz primitiva mod 5. ( )

Entonces los valores de son

.

Los valores distintos de cero de los caracteres mod 5 son

3 es una raíz primitiva mod 7. ( )

Entonces los valores de son

.

Los valores distintos de cero de los caracteres mod 7 son ( )

.

2 es una raíz primitiva mod 9. ( )

Entonces los valores de son

.

Los valores distintos de cero de los caracteres mod 9 son ( )

.

Potencias de 2

es el grupo trivial con un elemento. es cíclico de orden 2. Para 8, 16 y potencias superiores de 2, no hay raíz primitiva; las potencias de 5 son las unidades y sus negativos son las unidades [15] Por ejemplo

Sea ; entonces es el producto directo de un grupo cíclico de orden 2 (generado por −1) y un grupo cíclico de orden (generado por 5). Para números impares definamos las funciones y por

Para impares y si y solo si y Para impares el valor de está determinado por los valores de y

Sea una raíz primitiva de la unidad. Los valores posibles de son Estos valores distintos dan lugar a caracteres de Dirichlet mod Para impares se define por

Entonces para impar y y todos y

demostrando que es un personaje y
demostrando que

Ejemplosmetro= 2, 4, 8, 16

El único personaje mod 2 es el personaje principal .

−1 es una raíz primitiva módulo 4 ( )

Los valores distintos de cero de los caracteres mod 4 son

−1 es y 5 generan las unidades mod 8 ( )

.

Los valores distintos de cero de los caracteres mod 8 son

−1 y 5 generan las unidades mod 16 ( )

.

Los valores distintos de cero de los caracteres mod 16 son

.

Productos de potencias primarias

Sea donde la factorización de en potencias primos. El grupo de unidades mod es isomorfo al producto directo de los grupos mod : [16]

Esto significa que 1) existe una correspondencia uno a uno entre y -tuplas donde y 2) la multiplicación mod corresponde a la multiplicación de coordenadas de -tuplas:

corresponde a
dónde

El teorema del resto chino (TRC) implica que son simplemente

Existen subgrupos tales que [17]

y

Entonces , y cada corresponde a una -tupla donde y Cada puede factorizarse de forma única como [18] [19]

Si es un mod de personaje en el subgrupo, debe ser idéntico a algún mod. Entonces

mostrando que cada mod de personaje es el producto del mod de personaje .

Para definir [20]

Entonces para y todos y [21]

demostrando que es un personaje y
mostrando un isomorfismo


Ejemplosmetro= 15, 24, 40

La factorización de los caracteres mod 15 es

Los valores distintos de cero de los caracteres mod 15 son

.

La factorización de los caracteres mod 24 es

Los valores distintos de cero de los caracteres mod 24 son

.

La factorización de los caracteres mod 40 es

Los valores distintos de cero de los caracteres mod 40 son

.

Resumen

Sea , la factorización de y supongamos

Existen caracteres de Dirichlet mod Se denotan por donde es equivalente a La identidad es un isomorfismo [22]

Cada mod de personaje tiene una factorización única como el producto de los mods de personajes por las potencias primos dividiendo :

Si el producto es un caracter donde se da por y

Además, [23] [24]

Ortogonalidad

Las dos relaciones de ortogonalidad son [25]

    y    

Las relaciones se pueden escribir en forma simétrica

    y    

La primera relación es fácil de demostrar: Si hay sumandos distintos de cero, cada uno igual a 1. Si hay [26] algún  Entonces

[27]   lo que implica
  Dividiendo por el primer factor se obtiene QED. La identidad para muestra que las relaciones son equivalentes entre sí.

La segunda relación se puede demostrar directamente de la misma manera, pero requiere un lema [28]

Dado que hay una

La segunda relación tiene un corolario importante: si se define la función

  Entonces

Esta es la función indicadora de la clase de residuo . Es básica en la demostración del teorema de Dirichlet. [29] [30]

Clasificación de personajes

Conductor; Caracteres primitivos e inducidos

Cualquier personaje mod de una potencia principal es también un personaje mod de cada potencia mayor. Por ejemplo, mod 16 [31]

tiene periodo 16, pero tiene periodo 8 y tiene periodo 4:   y  

Decimos que un carácter de módulo tiene un cuasiperiodo de si para todo , coprimo con que satisfaga mod . [32] Por ejemplo, , el único carácter de Dirichlet de módulo , tiene un cuasiperiodo de , pero no un periodo de (aunque tiene un periodo de ). El entero positivo más pequeño para el cual es cuasiperiódico es el conductor de . [33] Así, por ejemplo, tiene un conductor de .

El conductor de es 16, el conductor de es 8 y el de y es 4. Si el módulo y el conductor son iguales el carácter es primitivo , en caso contrario es imprimitivo . Un carácter imprimitivo es inducido por el carácter para el módulo más pequeño: se induce a partir de y y se inducen a partir de .

Un fenómeno relacionado puede ocurrir con un carácter modificado por el producto de números primos; sus valores distintos de cero pueden ser periódicos con un período más pequeño.

Por ejemplo, mod 15,

.

Los valores distintos de cero tienen período 15, pero los de tienen período 3 y los de tienen período 5. Esto es más fácil de ver al yuxtaponerlos con caracteres módulo 3 y 5:

.

Si un mod de personaje se define como

, o equivalentemente como

Sus valores distintos de cero están determinados por el mod del carácter y tienen período .

El período más pequeño de los valores distintos de cero es el conductor del carácter. Por ejemplo, el conductor de es 15, el conductor de es 3 y el de es 5.

Al igual que en el caso de potencias primarias, si el conductor es igual al módulo, el carácter es primitivo , en caso contrario es imprimitivo . Si es imprimitivo, se induce a partir del carácter con el módulo más pequeño. Por ejemplo, se induce a partir de y se induce a partir de

El personaje principal no es primitivo. [34]

El carácter es primitivo si y sólo si cada uno de los factores es primitivo. [35]

Los caracteres primitivos a menudo simplifican (o hacen posibles) fórmulas en las teorías de funciones L [36] y formas modulares .

Paridad

es par si y es impar si

Esta distinción aparece en la ecuación funcional de la función L de Dirichlet .

Orden

El orden de un carácter es su orden como elemento del grupo , es decir, el entero positivo más pequeño tal que Debido al isomorfismo, el orden de es el mismo que el orden de en El carácter principal tiene orden 1; otros caracteres reales tienen orden 2 y los caracteres imaginarios tienen orden 3 o mayor. Por el teorema de Lagrange, el orden de un carácter divide el orden de cuyo orden es

Personajes reales

es real o cuadrático si todos sus valores son reales (deben ser ); de lo contrario, es complejo o imaginario.

es real si y sólo si ; es real si y sólo si ; en particular, es real y no principal. [37]

La prueba original de Dirichlet de que (que sólo era válida para módulos primos) tomó dos formas diferentes dependiendo de si era real o no. Su prueba posterior, válida para todos los módulos, se basó en su fórmula de número de clase . [38] [39]

Los caracteres reales son símbolos de Kronecker ; [40] por ejemplo, el carácter principal puede escribirse [41] .

Los personajes reales en los ejemplos son:

Principal

Si el personaje principal es [42]

             

Primitivo

Si el módulo es el valor absoluto de un discriminante fundamental hay un carácter primitivo real (hay dos si el módulo es múltiplo de 8); de lo contrario, si hay caracteres primitivos [35], son imaginarios. [43]

                   

Imprimitivo

             

         

         

Aplicaciones

Funciones L

La serie L de Dirichlet para un personaje es

Esta serie sólo converge para ; puede continuarse analíticamente hasta una función meromórfica

Dirichlet introdujo la función junto con los caracteres en su artículo de 1837.

Formas y funciones modulares

Los caracteres de Dirichlet aparecen en varios lugares de la teoría de formas y funciones modulares. Un ejemplo típico es [44]

Dejar y dejar ser primitivos.

Si

[45]

definir

, [46]  

Entonces

Si es una forma de cúspide también lo es

Consulte la serie theta de un carácter de Dirichlet para ver otro ejemplo.

Suma de Gauss

La suma de Gauss de un carácter de Dirichlet módulo N es

Aparece en la ecuación funcional de la función L de Dirichlet .

suma de jacobi

Si y son caracteres de Dirichlet mod a primo, su suma de Jacobi es

Las sumas de Jacobi se pueden factorizar en productos de sumas de Gauss.

Suma de Kloosterman

Si es un mod de carácter de Dirichlet y la suma de Kloosterman se define como [47]

Si es una suma de Gauss.

Condiciones suficientes

No es necesario establecer las propiedades definitorias 1) – 3) para demostrar que una función es un carácter de Dirichlet.

Del libro de Davenport

Si tal que

1)  
2)   ,
3) Si entonces , pero
4)   no siempre es 0,

entonces es uno de los personajes mod [48]

La condición de Sárközy

Un carácter de Dirichlet es una función completamente multiplicativa que satisface una relación de recurrencia lineal : es decir, si

para todos los enteros positivos , donde no son todos ceros y son distintos, entonces es un carácter de Dirichlet. [49]

La condición de Chudakov

Un carácter de Dirichlet es una función completamente multiplicativa que satisface las tres propiedades siguientes: a) solo toma un número finito de valores; b) se desvanece solo en un número finito de primos; c) hay un para el cual el resto

está uniformemente acotado, ya que . Esta definición equivalente de caracteres de Dirichlet fue conjeturada por Chudakov [50] en 1956, y demostrada en 2017 por Klurman y Mangerel. [51]

Véase también

Notas

  1. ^ Esta es la definición estándar; por ejemplo, Davenport, pág. 27; Landau, pág. 109; Ireland and Rosen, pág. 253
  2. ^ Nótese el caso especial del módulo 1: el carácter único módulo 1 es la constante 1; todos los demás caracteres son 0 en 0
  3. ^ Davenport pág. 1
  4. ^ Una traducción al inglés se encuentra en Enlaces externos
  5. ^ Utilizado en Davenport, Landau, Irlanda y Rosen
  6. ^ es equivalente a
  7. ^ Ver Carácter multiplicativo
  8. ^ Irlanda y Rosen pág. 253-254
  9. ^ Véase Grupo de caracteres#Ortogonalidad de caracteres
  10. ^ Davenport pág. 27
  11. ^ Estas propiedades se derivan en todas las introducciones al tema, por ejemplo, Davenport, pág. 27, Landau, pág. 109.
  12. ^ En general, el producto de un mod de personaje y un mod de personaje es un mod de personaje.
  13. ^ Excepto por el uso de la etiqueta Conrie modificada, esta sección sigue a Davenport, págs. 1-3, 27-30.
  14. ^ Hay un mod raíz primitivo que es un mod raíz primitivo y todas las potencias superiores de . Véase, por ejemplo, Landau p. 106
  15. ^ Landau págs. 107-108
  16. ^ Ver grupo de unidades para más detalles
  17. ^ Para construir el para cada uso se utiliza el CRT para encontrar dónde
  18. ^ Supongamos que corresponde a . Por construcción corresponde a , a etc. cuyo producto por coordenadas es
  19. ^ Por ejemplo, sea Entonces y La factorización de los elementos de es
  20. ^ Ver etiquetado de Conrey.
  21. ^ Porque estas fórmulas son verdaderas para cada factor.
  22. ^ Esto es cierto para todos los grupos abelianos finitos: ; Véase Ireland & Rosen, págs. 253-254
  23. ^ porque las fórmulas para potencias mod primos son simétricas en y y la fórmula para productos conserva esta simetría. Véase Davenport, p. 29.
  24. ^ Esto es lo mismo que decir que la n-ésima columna y la n-ésima fila en las tablas de valores distintos de cero son la misma.
  25. ^ Ver #Relación con los caracteres del grupo arriba.
  26. ^ por la definición de
  27. ^ porque multiplicar cada elemento de un grupo por un elemento constante simplemente permuta los elementos. Véase Grupo (matemáticas)
  28. ^ Davenport p. 30 (paráfrasis) Para demostrar [la segunda relación] uno tiene que usar ideas que hemos usado en la construcción [como en este artículo o Landau pp. 109-114], o apelar al teorema de la base para grupos abelianos [como en Ireland & Rosen pp. 253-254]
  29. ^ Davenport, caps. 1 y 4; Landau, pág. 114
  30. ^ Nótese que si es cualquier función ; consulte la transformada de Fourier en grupos finitos#Transformada de Fourier para grupos abelianos finitos
  31. ^ Esta sección sigue a Davenport, págs. 35-36,
  32. ^ Platt, Dave. "Caracteres de Dirichlet Def. 11.10" (PDF) . Consultado el 5 de abril de 2024 .
  33. ^ "Conductor de un personaje de Dirichlet (reseñado)". LMFDB . Consultado el 5 de abril de 2024 .
  34. ^ Davenport lo clasifica como ni primitivo ni imprimitivo; el LMFDB lo induce a partir de
  35. ^ ab Tenga en cuenta que si es dos veces un número impar, todos los caracteres mod son imprimitivos porque
  36. ^ Por ejemplo, la ecuación funcional de sólo es válida para primitivos . Véase Davenport, pág. 85.
  37. ^ De hecho, para el módulo primo es el símbolo de Legendre : Bosquejo de la prueba: es par (impar) si a es un residuo cuadrático (no residuo)
  38. ^ Davenport, caps. 1, 4.
  39. ^ La prueba de Ireland y Rosen, válida para todos los módulos, también tiene estos dos casos. pp. 259 y siguientes.
  40. ^ Davenport pág. 40
  41. ^ La notación es una forma más corta de escribir
  42. ^ El producto de números primos asegura que sea cero si ; los cuadrados aseguran que su único valor distinto de cero sea 1.
  43. ^ Davenport págs. 38-40
  44. ^ Koblittz, prop. 17b pág. 127
  45. ^ significa 1) donde y y 2) donde y Véase Koblitz Cap. III.
  46. ^ el giro de por
  47. ^ Definición de LMFDB de suma de Kloosterman
  48. ^ Davenport pág. 30
  49. ^ Sarkozy
  50. ^ Chudakov
  51. ^ Klurman

Referencias

Enlaces externos