Chern-klasserne (eller Chern-klassen ) er de karakteristiske klasser forbundet med komplekse vektorbundter .
Zhen klasser blev introduceret af Shiing-Shen Zhen [1] .
Zhen-klasserne er karakteristiske klasser . De er topologiske invarianter forbundet med vektorbundter på glatte manifolds. Spørgsmålet om, hvorvidt to tilsyneladende forskellige vektorbundter er det samme bundt, kan være et ganske vanskeligt problem. Chern-klasserne giver en simpel test — hvis Chern-klasserne i et par vektorbundter ikke stemmer overens, er vektorbundterne forskellige. Det omvendte er dog ikke sandt.
I topologi, differentialgeometri og algebraisk geometri er det ofte vigtigt at tælle, hvor mange lineært uafhængige sektioner et vektorbundt har. Chern-klasserne giver nogle oplysninger om dette gennem for eksempel Riemann-Roch-sætningen og Atiyah-Singer-indekssætningen .
Zhens klasser er også praktiske til praktiske beregninger. I differentialgeometri (og nogle typer algebraisk geometri) kan Chern-klasserne udtrykkes som polynomier i koefficienterne for krumningsformen .
Der er forskellige tilgange til klasser, der hver især fokuserer på lidt forskellige egenskaber ved Chern-klasserne.
Den oprindelige tilgang til Chern-klasser var en tilgang fra siden af algebraisk topologi - Chern-klasser opstår gennem teorien om homotopi , som gør det muligt at konstruere et kort over mangfoldigheden forbundet med bundtet V ind i klassificeringsrummet (en uendelig Grassmannian i dette tilfælde). For ethvert vektorbundt V over en manifold M eksisterer der en afbildning f fra M til et klassificeringsrum, således at bundtet V er lig med det omvendte billede (i forhold til f ) af det universelle bundt over klassificeringsrummet, og Chern. klasser af bundtet V kan derfor defineres som de omvendte billeder af Chern-klasserne af det universelle bundt. Disse universelle Chern-klasser kan til gengæld skrives eksplicit i form af Schubert-cyklusser .
Det kan vises, at to afbildninger f og g fra M til et klassificeringsrum, hvis inverse billeder er det samme bundt V , skal være homotopiske. Således skal de omvendte billeder med hensyn til f og g af enhver universel Chern-klasse i kohomologiklassen af M være den samme klasse. Dette viser, at Chern-klasserne af V er veldefinerede.
Zhengs tilgang trækker på differentialgeometri gennem brugen af krumning beskrevet i denne artikel. Zhen viste, at den tidligere definition i virkeligheden svarede til hans definition. Den resulterende teori er kendt som Chen-Weil-teorien .
Der er også tilgangen fra Alexander Grothendieck , som viste, at det aksiomatisk er tilstrækkeligt kun at definere klasserne af linjebundter.
Chern-klasserne opstår naturligt i algebraisk geometri . Generaliserede Chern-klasser i algebraisk geometri kan defineres for vektorbundter (eller mere præcist, lokalt frie skiver ) over enhver ikke-singular manifold. Zhens algebraisk-geometriske klasser pålægger ikke begrænsninger på hovedfeltet. Især behøver vektorbundter ikke være komplekse.
Uanset det oprindelige paradigme, vedrører den intuitive betydning af Chern-klassen 'nullerne' af sektioner af et vektorbundt. For eksempel en sætning, der siger, at det er umuligt at rede en kugle med hår ( pindsvinekæmningssætningen ). Selvom spørgsmålet strengt taget refererer til et ægte vektorbundt ("håret" på bolden er en kopi af den rigtige linje), er der generaliseringer, hvor "håret" er komplekst (se eksemplet med den komplekse pindsvinekæmning sætning nedenfor), eller for endimensionelle projektive rum over mange andre felter.
(Lad X være et topologisk rum af CW-kompleks homotopi-type .)
Et vigtigt specialtilfælde opstår, når V er et linjebundt . Så er den eneste ikke-trivielle Chern-klasse den første Chern-klasse, som er et element i den anden kohomologigruppe i rummet X. Da den er den højeste klasse af Zhen, er den lig med Euler-klassen i bundtet.
Den første Chern-klasse viser sig at være en fuldstændig invariant , ifølge hvilken komplekse linjebundter i den topologiske kategori klassificeres. Det vil sige, at der er en bijektion mellem klasserne af isomorfe linjebundter over X og elementerne i H 2 ( X ; Z ), der relaterer til linjebundtet dens første Chern-klasse. Desuden er denne bijektion en gruppehomomorfi (det vil sige en isomorfisme):
;tensorproduktet af komplekse linjebundter svarer til addition i den anden kohomologigruppe [2] [3] .
I algebraisk geometri er denne klassificering af (klasser af isomorfe) komplekse linjebundter efter den første Chern-klasse en grov tilnærmelse af klassificeringen af (klasser af isomorfe) holomorfe linjebundter efter klasser af lineært ækvivalente divisorer .
For komplekse vektorbundter med dimension større end én er Chern-klasserne ikke komplette invarianter.
Givet et komplekst hermitisk vektorbundt V af kompleks rang n over en differentierbar manifold M , er en repræsentant for hver Chern-klasse (kaldet Chern-formen ) c k ( V ) af bundtet V givet ved koefficienterne for det karakteristiske polynomium af krumningsformen af bundtet V .
Determinanten overtages en ring af n × n matricer , hvis elementer er polynomier i t med koefficienter fra den kommutative algebra af selv komplekse differentialformer på M . Krumningsformen af bundtet V er givet ved
hvor er forbindelsesformen , og d er den ydre differentiale , eller det samme udtryk , hvori er måleformen for målegruppen for bundtet V . Skalaren t bruges kun som en ukendt variabel til at generere summen fra determinanten, og E betyder en n × n identitetsmatrix .
Ordene som dette udtryk giver en repræsentant for Zhen-klassen betyder, at 'klassen' her er defineret op til den nøjagtige differentialform . Det vil sige, at Chern -klasserne er kohomologiklasser i betydningen de Rham-kohomologi . Det kan påvises, at kohomologiklassen af Chern-former ikke afhænger af valget af forbindelse i V .
Ved at bruge matrixidentiteten tr(ln( X ))=ln(det( X )) og Maclaurin-serien for ln( X + I ), udvides dette udtryk for Chern-formen til
Man kan definere Chern-klassen ud fra Euler-klassen. Denne tilgang er brugt i bogen af Milnor og Stashef [4] og understreger rollen som orientering af vektorbundtet .
Den vigtigste observation er, at det komplekse vektorbundt har en kanonisk orientering på grund af at være forbundet. Derfor kan man definere den højeste Chern-klasse i et bundt som dens Euler-klasse og arbejde med de resterende Chern-klasser ved induktion.
Den nøjagtige konstruktion er som følger. Ideen er at ændre grundlaget for at opnå et bundt af en lavere rang. Lad være et komplekst vektorbundt over et parakompakt rum B . I betragtning af B som et nul-sektion indlejret i E sætter og definerer vi et nyt vektorbundt:
hvis fiber er en faktor af fiberen F i bundtet E langs linjen spændt af vektoren v i F (et punkt i B' bestemmes af fiberen F i bundtet E og en vektor, der ikke er nul fra F .) [5] . Så har E' rang én mindre end rang af E. Fra Gisin-sekvensen for bundtet :
vi ser, hvad der er en isomorfi for k < 2 n − 1. Lad
Noget mere arbejde er nødvendigt for at verificere, at Zhen-klassens aksiomer holder for en sådan definition.
Lad CP 1 være Riemann-sfæren , et 1-dimensionelt komplekst projektivt rum . Antag, at z er en holomorf lokal koordinat på Riemann-sfæren. Lad V = T CP 1 være en blyant af komplekse tangentvektorer af formen a ∂/∂ z i hvert punkt, hvor a er et komplekst tal. Vi vil bevise en kompleks version af pindsvinekæmningssætningen : V har ingen ikke-forsvindende sektioner.
For at gøre dette har vi brug for følgende kendsgerning: den første Chern-klasse i et trivielt bundt er lig med nul, det vil sige,
Dette følger af, at et trivielt bundt altid har en flad forbindelse.
Lad os vise det
Overvej Kähler-metrikken
Det kan påvises, at 2-krumningsformen er givet ved
Desuden ifølge definitionen af den første klasse af Zhen
Vi skal vise, at denne kohomologitime ikke er nul. For at gøre dette er det tilstrækkeligt at beregne integralet over Riemann-sfæren:
efter overgangen til det polære koordinatsystem . Ved Stokes' sætning skal integralet af den nøjagtige form være lig med 0, så kohomologiklassen er ikke nul.
Dette beviser, at TCP1 ikke er et trivielt vektorbundt .
Der er en nøjagtig rækkefølge af bundter [6] :
hvor er en strukturel bunke (dvs. en triviel liniebundt), er en snoet Serre bunke (dvs. en bunke hyperplanes ), og den sidste ikke-nul-led er en tangent bunke /bundle.
Der er to måder at opnå ovenstående sekvens på:
Med andre ord er cotangens sheaf , som er et frit -modul med basis , inkluderet i den nøjagtige rækkefølge
hvor er grundlaget for mellemtiden. Den samme sekvens er så nøjagtig for hele det projektive rum, og ovenstående sekvens er dobbelt til det.I betragtning af additiviteten af den fulde Chern-klasse c = 1 + c 1 + c 2 + … (det vil sige Whitney-sumformlerne),
,hvor a er den kanoniske generator for kohomologigruppen . Det vil sige, taget med et minustegn, værdien af den første Chern-klasse i det tautologiske linjebundt (Bemærk: når E * er dualen af E .) Især for enhver ,
Chern-polynomiet er en praktisk måde at arbejde med Chern-klasser og relaterede koncepter på. Per definition, for et kompleks vektorbundt E , er Chern-polynomiet c t af bundtet E givet af:
Dette er ikke en ny invariant - den formelle ukendte t afspejler blot potensen c k ( E ) [9] . Især er det fuldstændigt defineret af hele Chern-klassen af bundtet E - .
Whitney-sumformlen, et af Chern-klassernes aksiomer (se nedenfor), siger, at c t er additiv i betydningen:
Hvis nu er en direkte sum af (komplekse) linjebundter, så indebærer Whitney-sumformlen:
hvor er de første Chern klasser. Rødderne kaldes Chern-rødderne af bundtet E , og de bestemmer polynomiets koefficienter. Det er,
hvor er elementære symmetriske polynomier . Med andre ord, hvis vi betragter a i som formelle variable, er c k "lige" . Det grundlæggende faktum om symmetriske polynomier er, at ethvert symmetrisk polynomium i f.eks. t i er et polynomium i elementære symmetriske polynomier i t i . Ifølge spaltningsprincippet eller fra ringteori nedbrydes et hvilket som helst Chern-polynomium til lineære faktorer efter en stigning i kohomologiringen. Derfor behøver E ikke at være en direkte sum af linjebundter. Konklusion
"Man kan beregne et hvilket som helst symmetrisk polynomium f i et kompleks vektorbundt E ved at skrive f som et polynomium i og derefter erstatte det med ."Eksempel : Vi har polynomier s k
med og så videre (se Newtons identiteter ). Sum
kaldes Chern-karakteren af bundtet E , hvis første par led er: (vi udelader E i notationen )
Eksempel : Todd-klassen i bundt E er givet af:
Bemærk : Observationen af, at Chern-klassen i det væsentlige er et elementært symmetrisk polynomium, kan bruges til at "definere" Chern-klasserne. Lad G n være en uendelig Grassmannian n -dimensionelle komplekse vektorrum. Det er et klassificeringsrum i den forstand, at givet et komplekst vektorbundt E af rang n over X , er der en kontinuerlig mapping
unik op til homotopi. Borel-sætningen siger, at kohomologiringen af den Grassmannske G n nøjagtig er ringen af symmetriske polynomier, som er polynomier i elementære symmetriske polynomier . For forbilledet f E
Hvor
Bemærkning : Enhver karakteristisk klasse er et polynomium i Chern-klasserne af følgende årsager. Lad være en kontravariant funktion , der forbinder med et CW-kompleks X sættet af klasser af isomorfe komplekse vektorbundter af rang n over X . Per definition er en karakteristisk klasse en naturlig transformation fra til en kohomologi-funktion Karakteristiske klasser danner en ring på grund af kohomologiringens ringstruktur. Yonedas lemma siger, at ringen af karakteristiske klasser er nøjagtig kohomologiringen af den græsmannske G n :
Givet et komplekst vektorbundt E over et topologisk rum X , er Chern-klasserne af bundt E en sekvens af kohomologielementer i rummet X . den k th Chern klasse af bundtet E , normalt betegnet med c k ( V ), er et element
H2k ( X ; Z ) , _kohomologi af rummet X med heltalskoefficienter . Man kan også definere en komplet Zhen-klasse
Fordi værdierne er i heltalskohomologigrupper snarere end kohomologi med reelle koefficienter, er disse Chern-klasser lidt klarere end dem i det Riemannske eksempel.
Zhen-klasserne opfylder følgende fire aksiomer:
Aksiom 1. for alle bundter E .
Aksiom 2. Naturlighed: Hvis er kontinuert , og f*E er det inducerede vektorbundt af bundtet E , så .
Aksiom 3. Whitney - sumformlen : Hvis er et andet kompleks vektorbundt, så er Chern-klasserne af den direkte sum givet af
det er,
Aksiom 4. Normalisering: Den fulde Chern-klasse af et tautologisk linjebundt over CP k er lig med 1 − H , hvor H er Poincaré-dualen af hyperplanet .
Alternativt erstattede Grothendieck [10] disse aksiomer med lidt færre aksiomer:
Han viste ved hjælp af Leray-Hirsch-sætningen , at den komplette Chern-klasse af et komplekst vektorbundt af endelig rang kan defineres i form af den første Chern-klasse af et tautologisk defineret linjebundt.
Nemlig ved at introducere projektiviseringen P ( E ) af et kompleks vektorbundt af rang n som et bundt på B , hvis fiber i et vilkårligt punkt er det projektive rum af fiberen Eb . Det samlede rum af dette bundt P ( E ) er udstyret med dets tautologiske komplekse linjebundt, som vi betegner med , og den første Chern-klasse
er begrænset på hvert lag af P ( E b ) til minus-fortegnsklassen (Poincaré dual) af hyperplanet, hvilket genererer lagets kohomologi.
Klasser
,danner således en familie af kohomologiklasser, der er begrænset til lagets kohomologigrundlag. Leray-Hirsch-sætningen siger, at enhver klasse i H* ( P ( E )) entydigt kan skrives som en lineær kombination af 1, a , a 2 , …, a n −1 med klasser i basis som koefficienter .
Især kan man definere Chern-klasserne i bundt E i betydningen Grothendieck, som betegnes ved at dekomponere klassen på følgende måde:
Du kan kontrollere, at denne alternative definition er den samme som enhver anden definition.
Faktisk definerer disse egenskaber entydigt Chern-klasserne. De resulterer blandt andet:
Der er en anden konstruktion af Chern-klasserne, der tager værdier i den algebro-geometriske analog af kohomologiringen , Zhou-ringen . Det kan vises, at der er en unik teori om Chern-klasser, således at der for et givet algebraisk vektorbundt over en kvasiprojektiv manifold eksisterer en sekvens af klasser , således at
Ved at bruge disse relationer kan vi udføre adskillige beregninger for vektorbundter. Bemærk først, at hvis vi har linjebundter , kan vi danne en kort nøjagtig sekvens af vektorbundter
Ved at bruge egenskaberne og får vi
Ved induktion får vi
Bundles dobbelt til linje bundterDa linjebundter på en glat projektiv varietet er defineret af divisorklassen , og dobbeltlinjebundtet er defineret af den negative divisorklasse , får vi
Ovenstående kan anvendes på Euler-sekvensen for det projektive rum
at beregne
hvor er klassen af hyperplaner af grad 1. Bemærk også, at i Zhou-ringen .
Beregningen af de karakteristiske klasser for et projektivt rum er grundlaget for beregningen af de karakteristiske klasser for mange andre rum, da der for enhver glat projektiv undervarietet er en kort nøjagtig sekvens
Tredimensionel quinticOvervej for eksempel en tredimensionel quintic i . Så er det normale bundt givet, og vi har en kort nøjagtig rækkefølge
Lad betegne klassen af hyperplaner i . Så giver Whitney sumformlen os
Da Zhou-ringen af en hyperoverflade er svær at beregne, vil vi betragte denne sekvens som en sekvens af sammenhængende skiver i . Dette giver os
Bemærk, at der er en formel power-serie
Ved at bruge dette kan vi få
Ved at bruge Gauss-Bonnet-sætningen kan vi integrere klassen for at beregne Euler-karakteristikken. Dette kaldes traditionelt Euler-klassen . Vi har
da klassen kan repræsenteres af fem punkter (ved Bézouts sætning . Euler-karakteristikken kan derefter bruges til at beregne Betti-tallene ved at bruge definitionen af Euler-karakteristikken og Lefschetz hyperplansektionssætning .
En anden nyttig beregning er cotangensbundtet for et projektivt rum. Vi kan dualisere Euler-sekvensen og få
Ved at bruge Whitney-sumformlen får vi
Chern-klasserne kan bruges til at konstruere en ringhomomorfi ud fra den topologiske K-teori om et rum for at fuldende dets rationelle kohomologi. For et linjebundt L er Chern-tegnet givet af
Mere generelt, hvis er en direkte sum af linjebundter med første Chern-klasser, er Chern- karakteren defineret additivt
Dette kan omskrives som følger [11] :
Dette sidste udtryk, understøttet af opdelingsprincippet , bruges som definition af ch(V) for vilkårlige vektorbundter V .
Hvis en forbindelse bruges til at definere Chern-klasserne, når basen er en manifold (det vil sige Chern-Weil-teorien ), er det eksplicitte udtryk for Chern-karakteren
hvor er krumningen af forbindelsen.
Chern-karakteren er blandt andet nyttig, fordi den gør det muligt at beregne Chern-klassen for et tensorprodukt. Mere præcist opfylder den følgende ligheder:
Som nævnt ovenfor, ved at bruge Grothendiecks additivitetsaksiom for Chern-klasser, kan den første af disse identiteter generaliseres til udsagnet om, at ch er en homomorfi af abelske grupper fra K-teori K ( X ) til det rationelle kohomologirum X. Den anden identitet fastslår det faktum, at denne homomorfi bevarer produktet i K ( X ), og derfor er ch en ringhomomorfi.
Chern-karakteren bruges i Hirzebruch-Riemann-Roch-sætningen .
Hvis vi arbejder med en orienteret manifold med dimension 2n , så kan ethvert produkt af Chern-klasser af fuld grad 2n parres med den grundlæggende klasse (eller "manifold-integreret"), hvilket giver et heltal, Chern-tallet for vektorbundtet. For eksempel, hvis manifolden har dimension 6, er der tre lineært uafhængige Chern-tal givet af c 1 3 , c 1 c 2 og c 3 . Generelt, hvis manifolden har dimension 2n , er antallet af uafhængige Chern-numre lig med antallet af partitioner af n .
Chern-tallene for tangentbundtet af en kompleks (eller næsten kompleks) manifold kaldes manifoldens Chern-tal og er vigtige invarianter.
Der er en generalisering af teorien om Chern-klasser, hvor de sædvanlige kohomologier erstattes af generaliserede . Teorier, for hvilke en sådan generalisering er mulig, kaldes kompleks orienterbar . De formelle egenskaber for Chern-klasserne forbliver de samme, med én kritisk forskel - reglen for beregning af den første Chern-klasse af tensorproduktet af linjebundter i forhold til de første Chern-klasser af dekomponeringen er ikke en (almindelig) tilføjelse, men er givet ved en formel koncernlov .
I algebraisk geometri er der en lignende teori om Chern-klasser af vektorbundter. Der er flere variationer, afhængigt af hvilke grupper Chern-klasserne tilhører:
Cherns klasseteori er kilden til kobordisme -invarianter for næsten komplekse strukturer .
Hvis M er en næsten kompleks manifold, så er dens tangentbundt et komplekst vektorbundt. Chern-klasserne af M defineres derefter som Chern-klasserne af dets tangentbundt . Hvis M også er kompakt og har dimension 2 d , så kan hvert monomial af fuld grad 2 d i Chern-klasserne parres med den fundamentale klasse af manifolden M , hvilket giver et heltal, Chern-tallet for manifolden M . Hvis M ′ er en anden næsten kompleks manifold af samme dimension, så er den grænsende til M , hvis og kun hvis Chern-tallet for manifolden M ′ er det samme som Chern-tallet for manifolden M .
Teorien generaliseres også til rigtige symplektiske vektorbundter ved at bruge kompatible næsten komplekse strukturer. Især symplektiske manifolder har en unikt defineret Chern-klasse.
(Se Arakelov geometrier )