En Shimura-manifold (nogle gange en Shimura -manifold ) er en analog af den modulære kurve i højere dimensioner, der opstår som en kvotient af et hermitisk symmetrisk rum af en kongruent undergruppe af den reduktive algebraiske gruppe defineret over Q . Udtrykket "Shimura-manifold" refererer til høje dimensioner, i tilfælde af en-dimensionelle manifold taler man om Shimura-kurver . Modulære Hilbert-overflader og modulære Siegel-manifolder er blandt de bedst kendte klasser af Shimura-manifolder.
Særlige tilfælde af Shimura-varianter blev introduceret af Goro Shimura i løbet af generaliseringen af teorien om kompleks multiplikation (modulære kurver). Shimura viste, at objekter, initialt defineret analytisk, er aritmetiske i den forstand, at de opfylder modeller defineret over et talfelt , refleksionsfeltet af en Shimura-manifold. I 1970'erne skabte Pierre Deligne en aksiomatisk ramme for Shimuras arbejde. Omtrent på samme tid bemærkede Robert Langlands , at Shimura-varianter udgør et naturligt domæne af eksempler, hvor ækvivalensen mellem motiviske og automorfe L-funktioner , postuleret i Langlands-programmet , kan verificeres. Automorfe former , som implementeret i Shimura-manifold-kohomologien, er mere tilgængelige at studere end de generelle automorfe former . Især er der en konstruktion, der knytter Galois-repræsentationer til dem .
Lad S = Res C / R G m være Weil-begrænsningen af den multiplikative gruppe fra komplekse tal til reelle tal . Det er en algebraisk gruppe, hvis gruppe af R - punkter er S ( R ) -C * , og gruppen af C - punkter er . Shimuras indledende data er et par ( G , X ) bestående af en reduktiv algebraisk gruppe G defineret over feltet Q af rationelle tal og en G ( R ) konjugationsklasse X af homomorfismer h : der opfylder følgende aksiomer:
Disse aksiomer indebærer, at X har en unik (muligvis afbrudt) kompleks mangfoldig struktur , således at for enhver repræsentation er familien en holomorf familie af Hodge-strukturer . Desuden danner den en variation af Hodge-strukturen, og X er en endelig forening af (usammenhængende) Hermitian-symmetriske områder .
Lad A ƒ være adele-ringen i gruppen Q . For enhver tilstrækkelig lille kompakt åben undergruppe K af G ( A ƒ ) den dobbelte coset
er en endelig forening af lokalt symmetriske mangfoldigheder af formen , hvor det hævede plus angiver en forbundet komponent . Varieteterne er komplekse algebraiske varianter og de danner et omvendt system over alle tilstrækkeligt små kompakte åbne undergrupper af K . Dette omvendte system
adlyder naturlige rigtige handlinger . Det kaldes også Shimura-manifolden forbundet med de originale Shimura-data ( G , X ) og betegnes Sh ( G , X ).
For specielle typer af hermitiske-symmetriske domæner og kongruente undergrupper Γ blev den algebraiske variation af formen og dens komprimering introduceret i en række artikler af Goro Shimura i løbet af 1960'erne. Shimuras tilgang, senere præsenteret i hans monografier, var i høj grad fænomenologisk og forfulgte målet om en bred generalisering af formuleringen af gensidighedsloven for teorien om kompleks multiplikation (modulære kurver). Retrospektivt blev navnet "Shimura-manifold" opfundet af Deligne , som forsøgte at isolere de abstrakte egenskaber, der spiller en rolle i Shimuras teori. I Delignes formulering er Shimura-manifolderne domænet af parametre af en eller anden type Hodge-struktur . Derefter danner de en naturlig generalisering af højere-dimensionelle modulære kurver , der betragtes som modulrum af elliptiske kurver med en niveaustruktur.
Lad F være et helt reelt talfelt og D en divisionskvaternionalgebra over F . Den multiplikative gruppe D × genererer en Shimura kanonisk variant. Dens dimension d er antallet af uendelige steder, som D opdeles i. Især hvis d = 1 (f.eks. hvis F = Q og ), fikserer vi en tilstrækkelig lille aritmetisk undergruppe af gruppen D × , får vi Shimura-kurven, og kurverne, der stammer fra denne konstruktion, er allerede kompakte (det vil sige projektive ).
Nogle eksempler på kurver med kendte ligninger givet af lav slægt Hurwitz overflader :
og Fermat-kurven af grad 7 [1] .
Andre eksempler på Shimura manifolds omfatter Picard modulære overflader og Hilbert-Blumenthal manifolds .
Enhver Shimura-variant, der kan defineres over et kanonisk talfelt E , kaldes et refleksionsfelt . Dette vigtige resultat, på grund af Shimura, viser, at Shimura-varianter, som a priori kun er komplekse varianter, har et algebraisk definitionsfelt og derfor har en aritmetisk værdi. Dette danner udgangspunktet i formuleringen af gensidighedsloven, hvor visse aritmetisk definerede særpunkter spiller en vigtig rolle .
Den kvalitative karakter af Zariski-lukningen af sæt af punkter på en Shimura-manifold er beskrevet af André-Oort-formodningen . Betingede resultater kan udledes af denne hypotese, baseret på den generaliserede Riemann-hypotese .
Shimura-manifolderne spiller en fremtrædende rolle i Langlands-programmet . Det følger af Eichler-Shimura kongruensrelationen , at Hasse-Weyl zeta-funktionen af en modulær kurve er produktet af L-funktioner forbundet med eksplicit definerede modulære former for vægt 2. Faktisk introducerede Goro Shimura sine varianter og beviste hans gensidighedslov i generalisering af denne sætning. Zeta-funktionerne af Shimura-varieteter forbundet med GL 2 -gruppen over andre talfelter og deres indre former (det vil sige de multiplikative grupper af quaternion-algebraer) blev studeret af Eichler, Shimura, Kuga, Sato og Ihara. Baseret på deres resultater forudsagde Robert Langlands , at Weyl zeta-funktionen af enhver algebraisk varietet W defineret over et talfelt skal være produktet af positive og negative potenser af automorfe L-funktioner, dvs. den skal opstå fra et sæt automorfe repræsentationer . Udsagn af denne type kan dog bevises, hvis W er en Shimura-sort. Ifølge Langlands:
Påstanden om, at alle L-funktioner forbundet med Shimura-varieteter, og derefter med ethvert motiv defineret af en Shimura-sort, kan udtrykkes i form af automorfe L-funktioner [af hans 1970-opgave] er svagere, endda meget svagere, end påstanden om, at alle motiviske L-funktioner er lig med sådanne L-funktioner. Men mens den strengere udsagn forventes at være sand, er der mig bekendt ingen god grund til at forvente, at alle motiviske L-funktioner er knyttet til Shimura-varianter.