En una serie de artículos entre 1984 y 1987, Deninger estudió las extensiones de la dualidad Artin-Verdier . En términos generales, la dualidad Artin-Verdier, una consecuencia de la teoría de campos de clases , es un análogo aritmético de la dualidad de Poincaré , una dualidad para la cohomología de gavillas en una variedad compacta. En este paralelo, el ( espectro del) anillo de números enteros en un campo numérico corresponde a una variedad 3 . Siguiendo el trabajo de Mazur , Deninger (1984) extendió la dualidad Artin-Verdier a los campos funcionales . Luego, Deninger amplió estos resultados en varias direcciones, como poleas sin torsión (1986), superficies aritméticas (1987), así como campos locales de dimensiones superiores (con Wingberg, 1986). La aparición de los complejos motívicos de Bloch considerados en estos últimos artículos influyó en el trabajo de varios autores, incluido Geisser (2010), quien identificó los complejos de Bloch como complejos dualizantes sobre esquemas de dimensiones superiores.
Valores especiales de funciones L
Otro grupo de artículos de Deninger estudia las funciones L y sus valores especiales. Un ejemplo clásico de una función L es la función zeta de Riemann ζ( s ), para la cual fórmulas como
son conocidos desde Euler. En un artículo histórico, Beilinson (1984) había propuesto un conjunto de conjeturas de gran alcance que describían los valores especiales de L -funciones, es decir, los valores de L -funciones en números enteros. En términos muy generales, las conjeturas de Beilinson afirman que para una variedad algebraica proyectiva suave X sobre Q , la cohomología motívica de X debería estar estrechamente relacionada con la cohomología de Deligne de X. Además, la relación entre estas dos teorías de cohomología debería explicar, según la conjetura de Beilinson, los órdenes de los polos y los valores de
L ( h norte ( X ), s )
Dos de los tres anillos borromeos pueden separarse, pero los tres anillos están unidos. El producto de Massey de las tres clases de cohomología dadas al enrollar cada círculo se puede utilizar para capturar este fenómeno algebraicamente.
en números enteros s . Bloch y Beilinson demostraron partes esenciales de esta conjetura para h 1 ( X ) en el caso en que X es una curva elíptica con multiplicación compleja y s =2. En 1988, Deninger & Wingberg expusieron ese resultado. En 1989 y 1990, Deninger amplió este resultado a determinadas curvas elípticas consideradas por Shimura, en todo s ≥2. Deninger y Nart (1995) expresaron el emparejamiento de altura , un ingrediente clave de la conjetura de Beilinson, como un emparejamiento natural de grupos Ext en una determinada categoría de motivos. En 1995, Deninger estudió los productos de Massey en cohomología de Deligne y a partir de ahí conjeturó una fórmula para el valor especial de la función L de una curva elíptica en s =3, que fue posteriormente confirmada por Goncharov (1996). A partir de 2018, la conjetura de Beilinson todavía está abierta y las contribuciones de Deninger siguen siendo algunos de los pocos casos en los que la conjetura de Beilinson ha sido atacada con éxito (las encuestas sobre el tema incluyen Deninger & Scholl (1991), Nekovář (1994)).
Funciones L a través de determinantes regularizados
para cada número primo p . Para obtener una ecuación funcional para ζ( s ), es necesario multiplicarlos por un término adicional que involucre la función Gamma :
Las funciones L más generales también están definidas por productos de Euler, que involucran, en cada lugar finito, el determinante del endomorfismo de Frobenius que actúa sobre la cohomología l-ádica de alguna variedad X / Q , mientras que los factores de Euler para el lugar infinito son, según Serre , productos de funciones Gamma dependiendo de las estructuras de Hodge unidas a X / Q . Deninger (1991) expresó estos factores Γ en términos de determinantes regularizados y pasó, en 1992 y en mayor generalidad en 1994, a unificar los factores de Euler de funciones L tanto en lugares finitos como infinitos utilizando determinantes regularizados. Por ejemplo, para los factores de Euler de la función zeta de Riemann, esta descripción uniforme dice
Aquí p es un número primo o infinito, correspondiente a los factores de Euler no de Arquímedes y al factor de Euler de Arquímedes respectivamente, y R p es el espacio de series finitas de Fourier con valores reales en R /log( p ) Z para un número primo p , y R ∞ = R [exp(−2 y )]. Finalmente, Θ es la derivada de la R -acción dada al desplazar tales funciones. Deninger (1994) también exhibió un enfoque unificador similar para los factores ε (que expresan la relación entre funciones L completadas en s y en 1− s ).
El sitio aritmético
Estos resultados llevaron a Deninger a proponer un programa sobre la existencia de un "sitio aritmético" Y asociado a la compactación de Spec Z. Entre otras propiedades, este sitio estaría dotado de una acción de R , y cada número primo p correspondería a una órbita cerrada de la acción R de longitud log( p ). Además, las analogías entre fórmulas de la teoría analítica de números y la dinámica de espacios foliados llevaron a Deninger a conjeturar la existencia de una foliación en este sitio. Además, se supone que este sitio está dotado de una teoría de cohomología de dimensión infinita tal que la función L de un motivo M está dada por
Aquí M es un motivo , como los motivos h n ( X ) que aparecen en la conjetura de Beilinson, y F ( M ) se concibe como la gavilla de Y unida al motivo M. El operador Θ es el generador infinitesimal del flujo dado por la acción R. La hipótesis de Riemann sería, según este programa, consecuencia de propiedades paralelas a la positividad del par de intersección en la teoría de Hodge . Deninger (1993) ha demostrado por otros medios una versión de la fórmula de trazas de Lefschetz en este sitio, que sería parte de esta configuración conjetural. En 2010, Deninger demostró que las conjeturas clásicas de Beilinson y Bloch sobre la teoría de la intersección de ciclos algebraicos serían consecuencias adicionales de su programa.
Este programa fue examinado por Deninger en sus charlas en el Congreso Europeo de Matemáticos en 1992, en el Congreso Internacional de Matemáticos en 1998, y también por Leichtnam (2005). En 2002, Deninger construyó un espacio foliado que corresponde a una curva elíptica sobre un campo finito , y Hesselholt (2016) demostró que la función zeta de Hasse-Weil de una variedad propia suave sobre F p se puede expresar utilizando determinantes regularizados que involucran a Hochschild topológico. homología . Además, la analogía entre nudos y números primos se ha estudiado fructíferamente en topología aritmética . Sin embargo, a partir de 2018, la construcción de un espacio foliado correspondiente a la especificación Z sigue siendo difícil de alcanzar.
En Deninger y Werner (2005) establecieron un análogo p -ádico del mismo: para una curva algebraica proyectiva suave sobre C p , obtenida por cambio de base de , construyeron una acción del grupo fundamental etale π 1 (X) sobre las fibras en ciertos haces de vectores, incluidos los de grado 0 y que tienen una reducción potencialmente fuertemente semiestable. En otro artículo de 2005, relacionaron las representaciones resultantes del grupo fundamental de la curva X con representaciones del módulo de Tate de la variedad jacobiana de X. En 2007 y 2010 continuaron este trabajo mostrando que dichos paquetes de vectores forman una categoría Tannakiana que equivale a identificar esta clase de paquetes de vectores como una categoría de representaciones de un determinado grupo.
Foliaciones y el grupo de Heisenberg.
En varios artículos conjuntos, Deninger y Wilhelm Singhof estudiaron cocientes del grupo H de Heisenberg de n dimensiones mediante la red estándar que consta de matrices con valores enteros,
El hecho clásico de la teoría de Hodge de que cualquier clase de cohomología en una variedad de Kähler admite un armónico único había sido generalizado por Álvarez López y Kordyukov (2001) a foliaciones riemannianas . Deninger y Singhof (2001) muestran que las foliaciones en el espacio X anterior , que satisfacen sólo condiciones ligeramente más débiles, no admiten tales propiedades teóricas de Hodge. En otro trabajo conjunto de 2001, establecieron una fórmula dinámica de trazas de Lefschetz: relaciona la traza de un operador en formas armónicas con las trazas locales que aparecen en las órbitas cerradas (en ciertos espacios foliados con acción R ). Este resultado sirve como una corroboración del programa de Deninger mencionado anteriormente en el sentido de que verifica una predicción hecha por este programa en el lado analítico, es decir, el relativo a la dinámica en espacios foliados.
Medidas de entropía y Mahler
Otro grupo de trabajos de Deninger gira en torno al espacio
donde Γ es un grupo discreto, f es un elemento de su anillo de grupo Z Γ, y el sombrero denota el dual de Pontryagin . Para Γ = Z n y , Lind, Schmidt y Ward (1990) habían demostrado que la entropía de la acción Γ sobre X f viene dada por la medida de Mahler.
Además, se sabía que las medidas de Mahler de ciertos polinomios eran expresables en términos de valores especiales de ciertas funciones L. En 1997, Deninger observó que el integrando en la definición de la medida de Mahler tiene una explicación natural en términos de cohomología de Deligne. Utilizando casos conocidos de la conjetura de Beilinson, dedujo que m ( f ) es la imagen del símbolo { f , t 1 , ..., t n } bajo el regulador de Beilinson, donde la variedad es el complemento en la dimensión n . toro del conjunto cero de f . Esto condujo a una explicación conceptual de las fórmulas antes mencionadas para las medidas de Mahler. Besser y Deninger (1999) y Deninger más tarde en 2009 trasladaron estas ideas al mundo p -ádico, reemplazando el mapa regulador de Beilinson con la cohomología de Deligne por un mapa regulador con la cohomología sintómica , y el logaritmo que aparece en la definición de la entropía por un logaritmo p -ádico .
Joachim Cuntz y Deninger trabajaron juntos en los vectores de Witt . En dos artículos alrededor de 2014, simplificaron la teoría al dar una presentación del anillo de vectores de Witt en términos de una finalización del álgebra monoide Z R. Este enfoque evita los polinomios universales utilizados en la definición clásica de la suma de vectores de Witt.
Bibliografía seleccionada
Dualidad Artin-Verdier
Deninger, Christopher (1984), "Sobre la dualidad Artin-Verdier para campos funcionales", Mathematische Zeitschrift , 188 (1): 91–100, doi :10.1007/BF01163876, MR 0767366, S2CID 123090400
Deninger, Christopher (1986), "Una extensión de la dualidad Artin-Verdier a gavillas sin torsión", J. Reine Angew. Matemáticas. , 1986 (366): 18–31, doi :10.1515/crll.1986.366.18, SEÑOR 0833011, S2CID 116275426
Deninger, Christopher; Wingberg, Kay (1986), "Dualidad Artin-Verdier para campos locales n -dimensionales que involucran poleas K algebraicas superiores ", Journal of Pure and Applied Algebra , 43 (3): 243–255, doi : 10.1016/0022-4049 ( 86)90066-6 , SEÑOR 0868985
Deninger, Christopher (1987), "Dualidad en la cohomología étale de generalizaciones y esquemas propios unidimensionales", Mathematische Annalen , 277 (3): 529–541, doi :10.1007/BF01458330, MR 0891590, S2CID 120941469
Funciones L y conjetura de Beilinson
Deninger, Christopher; Wingberg, Kay (1988), "Sobre las conjeturas de Beilinson para curvas elípticas con multiplicación compleja", Conjeturas de Beilinson sobre valores especiales de funciones L , Perspectiva. Matemáticas, vol. 4, Boston, MA: Academic Press, SEÑOR 0944996
Deninger, Christopher (1989), "Reguladores superiores y serie L de Hecke de campos cuadráticos imaginarios. I", Inventiones Mathematicae , 96 (1): 1–69, Bibcode :1989InMat..96....1D, doi :10.1007 /BF01393970, SEÑOR 0981737, S2CID 122586535
Deninger, Christopher (1990), "Reguladores superiores y serie L de Hecke de campos cuadráticos imaginarios. II", Annals of Mathematics , Segunda serie, 132 (1): 131–158, doi :10.2307/1971502, JSTOR 1971502, MR 1059937
Deninger, Christopher; Scholl, Anthony J. (1991), "Las conjeturas de Beĭlinson",Funciones L y aritmética (Durham, 1989) , London Math. Soc. Serie de notas de conferencia, vol. 153, Universidad de Cambridge. Prensa, págs. 173–209, doi :10.1017/CBO9780511526053.007, ISBN 9780521386197, señor 1110393
Deninger, Christopher (1991), "Sobre los factores Γ adjuntos a los motivos", Inventiones Mathematicae , 104 (2): 245–261, Bibcode :1991InMat.104..245D, doi :10.1007/BF01245075, MR 1098609, S2CID 123206613
Deninger, Christopher (1992), " Factores L locales de motivos y determinantes regularizados", Inventiones Mathematicae , 107 (1): 135–150, Bibcode :1992InMat.107..135D, doi :10.1007/BF01231885, MR 1135468, S2CID 120740473
Deninger, Christopher (1993), "Fórmulas de trazas de Lefschetz y fórmulas explícitas en la teoría analítica de números", Journal für die reine und angewandte Mathematik , 1993 (441): 1–15, doi :10.1515/crll.1993.441.1, S2CID 116031228, Zbl 0782.11034
Deninger, Christopher (1994a), "Factores ε de Motivic en el infinito y dimensiones regularizadas", Indag. Matemáticas. , Nueva serie, 5 (4): 403–409, doi : 10.1016/0019-3577(94)90015-9 , SEÑOR 1307961
Deninger, Christopher (1994b), " Funciones L motívicas y determinantes regularizados", Motives (Seattle, WA, 1991) , Proc. Simposios. Matemáticas puras, vol. 55, Providencia, Rhode Island: Amer. Matemáticas. Sociedad, señor 1265547
Deninger, Christopher (1994c), "Evidencia de un enfoque cohomológico de la teoría analítica de números", Primer Congreso Europeo de Matemáticas, vol. I (París, 1992) , Progr. Matemáticas, vol. 119, Birkhäuser, Basilea, págs. 491–510, SEÑOR 1341834
Deninger, Christopher; Nart, Enric (1995), "Sobre la Ext 2 de motivos sobre curvas aritméticas", Amer. J. Matemáticas. , 117 (3): 601–625, doi :10.2307/2375082, JSTOR 2375082, SEÑOR 1333938
Deninger, Christopher (1995), "Operaciones de orden superior en cohomología de Deligne", Invent. Matemáticas. , 120 (2): 289–315, Bibcode :1995InMat.120..289D, doi :10.1007/BF01241130, MR 1329043, S2CID 121481341
Deninger, Christopher (1998), "Algunas analogías entre la teoría de números y los sistemas dinámicos en espacios foliados", Actas del Congreso Internacional de Matemáticos, vol. I (Berlín, 1998) , Documenta Mathematica (Extra Vol. I), págs. 163–186, MR 1648030
Deninger, Christopher (2002), "Sobre la naturaleza de las" fórmulas explícitas "en la teoría analítica de números: un ejemplo simple", Métodos teóricos de números (Iizuka, 2001) , Dev. Matemáticas, vol. 8, Dordrecht: Kluwer Acad. Publ., págs. 97–118, arXiv : math/0204194 , doi :10.1007/978-1-4757-3675-5_7, ISBN 978-1-4419-5239-4, SEÑOR 1974137, S2CID 17829739
Deninger, Christopher (2010), "La estrategia de Hilbert-Polya y los pares de altura", Fuerza de Casimir, operadores de Casimir y la hipótesis de Riemann , Walter de Gruyter, Berlín, págs. 275–283, MR 2777722
paquetes de vectores p -ádicos
Deninger, Christopher; Werner, Annette (2005), "Conjuntos de vectores sobre curvas p-ádicas y transporte paralelo", Annales Scientifiques de l'École Normale Supérieure , Quatrième Série, 38 (4): 553–597, arXiv : math/0403516 , doi :10.1016 /j.ansens.2005.05.002, SEÑOR 2172951, S2CID 8884837
Deninger, Christopher; Werner, Annette (2005), "Paquetes de líneas y caracteres p -ádicos", Campos numéricos y campos funcionales: dos mundos paralelos , Progr. Matemáticas, vol. 239, págs. 101–131, arXiv : matemáticas/0407511 , doi : 10.1007/0-8176-4447-4_7, ISBN 978-0-8176-4397-3, SEÑOR 2176589, S2CID 119669442
Deninger, Christopher; Werner, Annette (2007), "Sobre la dualidad de Tannaka para paquetes de vectores en curvas p -ádicas", Motivos y ciclos algebraicos. vol. 2 , Matemáticas de Londres. Soc. Serie de notas de conferencia, vol. 344, págs. 94-111, SEÑOR 2187151
Deninger, Christopher; Werner, Annette (2010), "Conjuntos de vectores en curvas p -ádicas y transporte paralelo II", Estructuras algebraicas y aritméticas de espacios de módulos (Sapporo 2007) , Adv. Semental. Matemáticas puras, vol. 58, págs. 1 a 26, doi : 10.2969/aspm/05810001 , ISBN 978-4-86497-008-2, señor 2676155
El grupo de Heisenberg, álgebras de Lie y foliaciones.
Deninger, Christopher; Singhof, Wilhelm (1984), "La e -invariante y el espectro del laplaciano para variedades nil compactas cubiertas por grupos de Heisenberg", Inventiones Mathematicae , 78 (1): 101–112, Bibcode :1984InMat..78..101D, doi :10.1007/BF01388716, SEÑOR 0762355, S2CID 119465585
Deninger, Christopher; Singhof, Wilhelm (1988), "Sobre la cohomología de álgebras de Lie nilpotentes", Bull. Soc. Matemáticas. Francia , 116 (1): 3–14, doi : 10.24033/bsmf.2087 , SEÑOR 0946276
Deninger, Christopher; Singhof, Wilhelm (2001), "Un contraejemplo para suavizar la descomposición de Hodge en hojas para foliaciones generales y para un tipo de fórmulas de trazas dinámicas", Ann. Inst. Fourier (Grenoble) , 51 (1): 209–219, doi : 10.5802/aif.1821 , SEÑOR 1821074
Deninger, Christopher; Singhof, Wilhelm (2001b), "Una nota sobre fórmulas de trazas dinámicas", Funciones zeta dinámicas, espectrales y aritméticas (San Antonio, TX, 1999) , Contemp. Matemáticas, vol. 290, AMS, págs. 41 a 55, doi : 10.1090/conm/290/04572 , ISBN 9780821820797, señor 1868467
entropía
Deninger, Christopher (1997), "Deligne períodos de motivos mixtos, teoría K y la entropía de ciertas acciones Z n ", Revista de la Sociedad Matemática Estadounidense , 10 (2): 259–281, doi : 10.1090/S0894- 0347-97-00228-2 , SEÑOR 1415320
Deninger, Christopher (2006), "Determinantes de Fuglede-Kadison y entropía para acciones de grupos discretos susceptibles", Journal of the American Mathematical Society , 19 (3): 737–758, arXiv : math/0502233 , doi :10.1090/S0894- 0347-06-00519-4, SEÑOR 2220105, S2CID 7741105
Deninger, Christopher; Schmidt, Klaus (2007), "Acciones algebraicas expansivas de grupos susceptibles residualmente finitos discretos y su entropía", Teoría ergódica y sistemas dinámicos , 27 (3): 769–786, arXiv : math/0605723 , doi :10.1017/S0143385706000939, MR 2322178, S2CID 12803685
Besser, Amnón; Deninger, Christopher (1999), " medidas p -adic Mahler", Journal für die reine und angewandte Mathematik , 1999 (517): 19–50, doi :10.1515/crll.1999.093, MR 1728549
Deninger, Christopher (2009), " p -entropía ádica y determinante p -ádico de Fuglede-Kadison", Álgebra, aritmética y geometría: en honor a Yu. I. Manín. vol. Yo , Progr. Matemáticas, vol. 269, Birkhäuser, págs. 423–442, arXiv : math/0608539 , doi : 10.1007/978-0-8176-4745-2_10, ISBN 978-0-8176-4744-5, SEÑOR 2641178, S2CID 6186513
Vectores de wit
Cuntz, Joaquín; Deninger, Christopher (2015), "Anillos vectoriales de Witt y el complejo relativo de Rham Witt", Journal of Algebra , 440 : 545–593, arXiv : 1410.5249 , doi : 10.1016/j.jalgebra.2015.05.029, MR 3373405, S2CID 119171724
Cuntz, Joaquín; Deninger, Christopher (2014), "Una alternativa a Witt Vectors", Münster Journal of Mathematics , 7 (1): 105–114, Arxiv : 1311.2774 , Bibcode : 2013arxiv1311.2774c, doi : 10.1080/18756891.2013.858905, mr 3274c, doi: 10.1080/18756891.2013.858905, mr 327124124124
^ Deninger, Christopher (1998). "Algunas analogías entre la teoría de números y los sistemas dinámicos en espacios foliados". Doc. Matemáticas. (Bielefeld) Vol. adicional. ICM Berlín, 1998, vol. I . págs. 163–186.
^ Lista de miembros de la Sociedad Estadounidense de Matemáticas, consultado el 10 de noviembre de 2012.
Álvarez López, Jesús; Kordyukov, Yuri A. (2001), "Comportamiento prolongado del flujo de calor en las hojas para foliaciones riemannianas", Compositio Mathematica , 125 (2): 129–153, doi : 10.1023/A:1002492700960 , MR 1815391
Beilinson, AA (1984), "Reguladores superiores y valores de funciones L ", Problemas actuales en matemáticas, vol. 24 , Itogi Nauki i Tekhniki, Moscú: Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. Yo Techn. Informar., SEÑOR 0760999
Geisser, Thomas (2010), "Dualidad a través de complejos de ciclos", Annals of Mathematics , Segunda Serie, 172 (2): 1095–1127, arXiv : math/0608456 , doi : 10.4007/annals.2010.172.1095 , MR 2680487
Goncharov, AB (1996), "Conjetura de Deninger sobre funciones L de curvas elípticas en s = 3", Journal of Mathematical Sciences , 81 (3): 2631–2656, doi : 10.1007/BF02362333 , MR 1420221, S2CID 15570808
Hesselholt, Lars (2016), Homología topológica de Hochschild y función zeta de Hasse-Weil , Matemáticas contemporáneas, vol. 708, págs. 157–180, arXiv : 1602.01980 , Bibcode : 2016arXiv160201980H, doi : 10.1090/conm/708/14264, ISBN 9781470429119, S2CID 119145574
Leichtnam, Eric (2005), "Una invitación al trabajo de Deninger sobre funciones aritméticas zeta", Geometría, teoría espectral, grupos y dinámica , Contemp. Matemáticas, vol. 387, Providencia, Rhode Island: Amer. Matemáticas. Soc., págs. 201–236, doi :10.1090/conm/387/07243, ISBN 9780821837108, señor 2180209
Lind, Douglas; Schmidt, Klaus; Ward, Tom (1990), "Medida de Mahler y entropía para conmutar automorfismos de grupos compactos" (PDF) , Inventiones Mathematicae , 101 (3): 593–629, Bibcode :1990InMat.101..593L, doi :10.1007/BF01231517, SEÑOR 1062797, S2CID 17077751
Nekovář, Jan (1994), "Conjeturas de Beĭlinson", Motives (Seattle, WA, 1991) , Proc. Simposios. Matemáticas puras, vol. 55, Providencia, Rhode Island: Amer. Matemáticas. Sociedad, señor 1265544