Christopher Deninger - Christopher Deninger

Christopher Deninger
Christopher Deninger.jpg
Født ( 1958-04-08 )8. april 1958 (63 år)
Alma mater Universitetet i Köln
Vitenskapelig karriere
Enger Matematikk
Institusjoner Universitetet i Münster
Doktorgradsrådgiver Curt Meyer
Doktorgradsstudenter Annette Huber-Klawitter
Annette Werner

Christopher Deninger (født 8. april 1958) er en tysk matematiker ved Universitetet i Münster . Deningers forskning fokuserer på aritmetisk geometri , inkludert applikasjoner på L- funksjoner .

Karriere

Deninger tok doktorgraden sin fra Universitetet i Köln i 1982, under veiledning av Curt Meyer . I 1992 delte han en Gottfried Wilhelm Leibniz-pris med Michael Rapoport , Peter Schneider og Thomas Zink . I 1998 var han plenumstaler ved den internasjonale matematikerkongressen i 1998 i Berlin. I 2012 ble han stipendiat i American Mathematical Society .

Matematisk arbeid

Artin – Verdier dualitet

I en serie papirer mellom 1984 og 1987 studerte Deninger utvidelser av Artin – Verdier dualitet . I det store og hele er Artin – Verdier dualitet, en konsekvens av klassefeltteori , en aritmetisk analog av Poincaré-dualiteten , en dualitet for skovkohomologi på en kompakt manifold. I denne parallellen tilsvarer ( spektrum av) ringen av heltall i et tallfelt en 3-manifold . Ved å følge arbeidet til Mazur , Deninger (1984) utvidet artin-Verdier tosidigheten til funksjonsfelt . Deninger utvidet deretter disse resultatene i forskjellige retninger, for eksempel ikke-torsjonsskiver ( 1986 ), aritmetiske overflater ( 1987 ), samt høyere dimensjonale lokale felt ( med Wingberg, 1986 ). Utseendet til Blochs motivkomplekser som ble vurdert i sistnevnte papirer, påvirket arbeidet til flere forfattere, inkludert Geisser (2010) , som identifiserte Blochs komplekser som dualiserende komplekser over høyere dimensjonale ordninger.

Spesielle verdier for L- funksjoner

En annen gruppe av Deningers papirer studerer L- funksjoner og deres spesielle verdier. Et klassisk eksempel på en L- funksjon er Riemann zeta-funksjonen ζ ( s ), for hvilke formler som

ζ (2) = π 2 / til 6

er kjent siden Euler. I en landemerke hadde Beilinson (1984) foreslått et sett med vidtrekkende antagelser som beskriver de spesielle verdiene til L- funksjoner, dvs. verdiene til L- funksjoner ved heltall. I svært grove termer, Beilinson er formodninger påstå at for en glatt projektiv algebraisk rekke X løpet Q , motivisk cohomology av X bør være nært knyttet til Deligne cohomology av X . I tillegg bør forholdet mellom disse to kohomologiteoriene forklare, ifølge Beilinsons antagelser, polordene og verdiene til

L ( h n ( X ), s )
Hvilke som helst to av de tre Borromean-ringene kan trekkes fra hverandre, men de tre ringene henger sammen. Massey-produktet fra de tre kohomologiklassene gitt ved vikling rundt hver sirkel kan brukes til å fange opp dette fenomenet algebraisk.

ved heltall s . Bloch og Beilinson viste seg å være viktige deler av denne formodningen for h 1 ( X ) i tilfelle der X er en elliptisk kurve med kompleks multiplikasjon og s = 2. I 1988 redegjorde Deninger & Wingberg for dette resultatet. I 1989 og 1990 utvidet Deninger dette resultatet til visse elliptiske kurver vurdert av Shimura, i det hele tatt s ≥2. Deninger & Nart ( 1995 ) uttrykte høyde sammenkobling , en viktig ingrediens i Beilinson formodning, som en naturlig sammenkobling av EXT-grupper i en bestemt kategori av motiver. I 1995 studerte Deninger Massey-produkter i Deligne-kohomologi og antok en formel for den spesielle verdien for L- funksjonen til en elliptisk kurve ved s = 3, som senere ble bekreftet av Goncharov (1996) . Fra og med 2018 er fremdeles Beilinsons antagelser vidåpne, og Deningers bidrag er fortsatt noen av de få tilfellene der Beilinsons antagelser er blitt vellykket angrepet (undersøkelser om emnet inkluderer Deninger & Scholl (1991) , Nekovář (1994) ).

L- funksjoner via regulerte determinanter

Riemann ζ-funksjonen er definert ved hjelp av et produkt av Euler-faktorer

for hvert primtall s . For å oppnå en funksjonell ligning for ζ ( s ), må man multiplisere dem med en ekstra term som involverer Gamma-funksjonen :

Mer generelle L- funksjoner er også definert av Euler-produkter, som involverer, på hvert endelig sted, determinanten av Frobenius-endomorfismen som virker på l-adisk kohomologi av en eller annen variasjon X / Q , mens Euler-faktoren for det uendelige stedet er, i henhold til Serre , produkter av gammafunksjonen avhengig av de Hodge strukturer festet til X / Q . Deninger (1991) uttrykte disse Γ-faktorene i form av regulerte determinanter og gikk videre, i 1992 og i større allmennhet i 1994 , for å forene Euler-faktorene for L- funksjoner på både endelige og uendelige steder ved hjelp av regulerte determinanter. For eksempel, for Euler-faktorene til Riemann zeta-funksjonen, lyder denne ensartede beskrivelsen

Her er p enten et primtal eller uendelig, tilsvarende henholdsvis de ikke-arkimediske Euler-faktorene og den arkimediske Euler-faktoren, og R p er rommet for endelig reell verdsatt Fourier-serie på R / log ( p ) Z for et primtall p , og R = R [exp (−2 y )]. Til slutt er Θ derivatet av R -aksjonen gitt ved å skifte slike funksjoner. Deninger (1994) viste også en lignende samlende tilnærming for ε-faktorer (som uttrykker forholdet mellom fullførte L- funksjoner ved s og ved 1− s ).

Det aritmetiske nettstedet

Disse resultater ledet Deninger å foreslå et program om at det foreligger en "aritmetisk site" Y er knyttet til den compactification av Spes Z . Blant andre egenskaper vil dette stedet være utstyrt med en handling av R , og hvert primtall p vil svare til en lukket bane av R -aksjonen av lengdeloggen ( p ). Videre førte analogier mellom formler i analytisk tallteori og dynamikk på folierte rom Deninger til å gjette eksistensen av en foliering på dette nettstedet. Videre skal dette nettstedet være utstyrt med en uendelig dimensjonal kohomologi teori slik at L- funksjonen til et motiv M er gitt av

Her M er et motiv , slik som motiver h n ( X ) som forekommer i Beilinson formodning, og F ( M ) er tenkt å være bunten på Y er festet til motiv M . Operatøren Θ er den uendelig minste generatoren av strømmen gitt av R -aksjonen. Den Riemann hypotese ville være, i henhold til dette program, en konsekvens av egenskaper parallelt med positivitet av krysset sammenkobling i Hodge teori . En versjon av Lefschetz-sporingsformelen på dette nettstedet, som ville være en del av dette formodningsoppsettet, har blitt bevist på annen måte av Deninger (1993) . I 2010 , Deninger bevist at klassisk formodninger av Beilinson og Bloch om krysset teorien for algebraiske sykluser ville være ytterligere konsekvenser av hans program.

Dette programmet ble undersøkt av Deninger i sine samtaler på European Congress of Mathematicians i 1992 , på International Congress of Mathematicians i 1998 , og også av Leichtnam (2005) . I 2002 konstruerte Deninger et foliert rom som tilsvarer en elliptisk kurve over et endelig felt , og Hesselholt (2016) viste at Hasse-Weil zeta-funksjonen til en jevn riktig variasjon over F p kan uttrykkes ved hjelp av regulerte determinanter som involverer topologisk Hochschild homologi . I tillegg har analogien mellom knuter og primer blitt fruktbart studert i aritmetisk topologi . Fra og med 2018 forblir imidlertid konstruksjonen av et foliert rom tilsvarende Spec Z unnvikende.

Vektorpakker på p -adiske kurver

En rekke felles papir med Annette Werner undersøker vektorbunters -adic kurver. Et klassisk resultat som motiverte denne studien er Narasimhan – Seshadri-teoremet , en hjørnestein i Simpson-korrespondansen . Den hevder at en vektorpakke på en kompakt Riemann-overflate X er stabil hvis den oppstår fra en enhetlig representasjon av den grunnleggende gruppen π 1 ( X ).

I Deninger & Werner (2005) etablert et p -adic analog derav: for en glatt projiserende algebraisk kurve i løpet av C p , oppnådd ved baseendring fra , de konstruerte en virkning av den Etale grunnleggende enhet π 1 (X) på fibrene på enkelte vektorpakker, inkludert de av grad 0 og med potensielt sterkt semistabil reduksjon. I en annen artikkel fra 2005 , knyttet de de resulterende representasjon av den fundamentale gruppe av kurven X med representasjoner av Tate modulen av den Jacobian variasjon av X . I 2007 og 2010 fortsatte de dette arbeidet med å vise at slike vektorbunter danner en Tannakian-kategori som tilsvarer å identifisere denne klassen av vektorpakker som en kategori av representasjoner for en bestemt gruppe.

Foliations og Heisenberg-gruppen

I flere felles papirer, Deninger og Wilhelm Singhof studerte kvotienter av den n -dimensjonale Heisen gruppe H av standard gitter bestående av heltallsmatriser-verdi matrisene,

X = H / Γ,

fra ulike synsvinkler. I 1984 beregnet de e-invarianten til X i form av ζ (- n ), noe som fører til en konstruksjon av elementer i de stabile homotopigruppene av kuler av vilkårlig stor orden. I 1988 brukte de metoder for analytisk tallteori for å gi estimater på dimensjonen til kohomologien til nilpotente Lie-algebraer .

Det klassiske faktum fra Hodge-teorien om at enhver kohomologiklasse på en Kähler-manifold innrømmer en unik harmonisk, ble generalisert av Álvarez López & Kordyukov (2001) til Riemannian foliations . Deninger & Singhof (2001) viser at foliering på det ovennevnte rommet X , som bare tilfredsstiller litt svakere forhold, ikke innrømmer slike Hodge-teoretiske egenskaper. I en annen fellesoppgave fra 2001 etablerte de en dynamisk Lefschetz-sporformel: den relaterer sporet av en operatør på harmoniske former de lokale sporene som vises ved de lukkede banene (på visse folierte rom med en R- handling). Dette resultatet fungerer som en bekreftelse av Deningers program nevnt ovenfor i den forstand at det verifiserer en prediksjon fra dette programmet på den analytiske siden, dvs. den som gjelder dynamikk i folierte rom.

Entropi og Mahler måler

En annen gruppe Deningers papirer dreier seg om rommet

hvor Γ er en diskret gruppe, f er et element i grupperingen Z Γ, og hatten betegner Pontryagin-dualiteten . For Γ = Z n og , hadde Lind, Schmidt & Ward (1990) vist at entropien til Γ-handlingen på X f er gitt av Mahler-tiltaket

Videre hadde det vært kjent at Mahler-målinger av visse polynomer var kjent for å være uttrykkelige når det gjelder spesielle verdier for visse L-funksjoner. I 1997 observerte Deninger at integranden i definisjonen av Mahler-tiltaket har en naturlig forklaring når det gjelder Deligne-kohomologi. Ved å bruke kjente tilfeller av Beilinson-antagelsen, utledet han at m ( f ) er bildet av symbolet { f , t 1 , ..., t n } under Beilinson-regulatoren, der variasjonen er komplementet i det n -dimensjonale torus av nullsett av f . Dette førte til en konseptuell forklaring på de nevnte formlene for Mahler-tiltak. Besser & Deninger (1999) og Deninger overførte senere i 2009 disse ideene til den p -adiske verdenen ved å erstatte Beilinson-regulatorkartet til Deligne-kohomologi med et regulatorkart til syntomisk kohomologi , og logaritmen som vises i definisjonen av entropien av en p -adisk logaritme .

I 2006 og 2007 presset Deninger og Klaus Schmidt parallellen mellom entropi og Mahler-tiltak utover abeliske grupper, nemlig gjenværende endelige, tellbare diskrete mottagelige grupper Γ. De viste at Γ-handlingen på X f er ekspansiv hvis og bare hvis f er inverterbar i L 1 - konvolusjonsalgebra av Γ. Videre er logaritmen til Fuglede-Kadison-determinantenvon Neumann-algebra NΓ assosiert med Γ (som erstatter Mahler-tiltaket for Z n ) enig med entropien til handlingen ovenfor.

Witt-vektorer

Joachim Cuntz og Deninger jobbet sammen på Witt-vektorer . I to artikler i området rundt 2014, forenkles de teorien ved å gi en presentasjon av ringen av Witt vektorer i form av en fullførelse av monoid algebra Z- R . Denne tilnærmingen unngår de universelle polynomene som brukes i den klassiske definisjonen av tilsetning av Witt-vektorer.

Valgt bibliografi

Artin – Verdier dualitet

  • Deninger, Christopher (1984), "On Artin – Verdier duality for function fields", Mathematische Zeitschrift , 188 (1): 91–100, doi : 10.1007 / BF01163876 , MR  0767366 , S2CID  123090400
  • - (1986), "An extension of Artin – Verdier dualality to nontorsion sheaves", J. Reine Angew. Matte. , 1986 (366): 18–31, doi : 10.1515 / crll.1986.366.18 , MR  0833011 , S2CID  116275426CS1 maint: numeriske navn: forfatterliste ( lenke )
  • -; Wingberg, Kay (1986), "Artin – Verdier dualitet for n- dimensjonale lokale felt som involverer høyere algebraiske K- skiver", Journal of Pure and Applied Algebra , 43 (3): 243–255, doi : 10.1016 / 0022-4049 ( 86) 90066-6 , MR  0868985CS1 maint: numeriske navn: forfatterliste ( lenke )
  • - (1987), "Duality in the étale cohomology of end -dimensional proper schemes and generalizations", Mathematische Annalen , 277 (3): 529–541, doi : 10.1007 / BF01458330 , MR  0891590 , S2CID  120941469CS1 maint: numeriske navn: forfatterliste ( lenke )

L- funksjoner og Beilinsons antagelser

  • -; Wingberg, Kay (1988), "On the Beilinson conjectures for elliptic curves with complex multiplication", Beilinsons antagelser om spesielle verdier av L- funksjoner , Perspect. Math., 4 , Boston, MA: Academic Press, MR  0944996CS1 maint: numeriske navn: forfatterliste ( lenke )
  • - (1989), "Higher regulators and Hecke L -series of imaginary quadratic fields. I", Inventiones Mathematicae , 96 (1): 1–69, Bibcode : 1989InMat..96 .... 1D , doi : 10.1007 / BF01393970 , MR  0981737 , S2CID  122586535CS1 maint: numeriske navn: forfatterliste ( lenke )
  • - (1990), "Higher regulators and Hecke L -series of imaginary quadratic fields. II", Annals of Mathematics , Second Series, 132 (1): 131–158, doi : 10.2307 / 1971502 , JSTOR  1971502 , MR  1059937CS1 maint: numeriske navn: forfatterliste ( lenke )
  • -; Scholl, Anthony J. (1991), "The Beĭlinson conjectures",L- funksjoner og regning (Durham, 1989) , London Math. Soc. Forelesningsnotat Ser., 153 , Cambridge Univ. Press, s. 173–209, doi : 10.1017 / CBO9780511526053.007 , ISBN 9780521386197, MR  1110393CS1 maint: numeriske navn: forfatterliste ( lenke )

p -adiske vektorbunter

Heisenberg-gruppen, Lie algebras, og foliations

  • -; Singhof, Wilhelm (1984), "The e -invariant and the spectrum of the Laplacian for compact nilmanifolds dekket av Heisenberg grupper", Inventiones Mathematicae , 78 (1): 101–112, Bibcode : 1984InMat..78..101D , doi : 10.1007 / BF01388716 , MR  0762355 , S2CID  119465585CS1 maint: numeriske navn: forfatterliste ( lenke )
  • -; Singhof, Wilhelm (1988), "On the cohomology of nilpotent Lie algebras", Bull. Soc. Matte. Frankrike , 116 (1): 3–14, doi : 10.24033 / bsmf.2087 , MR  0946276CS1 maint: numeriske navn: forfatterliste ( lenke )
  • -; Singhof, Wilhelm (2001), "A counterexample to smooth leafwise Hodge decomposition for general foliations and to a type of dynamical trace formulas", Ann. Inst. Fourier (Grenoble) , 51 (1): 209–219, doi : 10.5802 / aif.1821 , MR  1821074CS1 maint: numeriske navn: forfatterliste ( lenke )
  • -; Singhof, Wilhelm (2001b), "A note on dynamical trace formulas", Dynamical, spectral, and arithmetic zeta functions (San Antonio, TX, 1999) , Contemp. Matematikk., 290 , AMS, s. 41–55, doi : 10.1090 / conm / 290/04572 , ISBN 9780821820797, MR  1868467CS1 maint: numeriske navn: forfatterliste ( lenke )

Entropi

Witt-vektorer

Referanser

Eksterne linker