Graderet manifold

Graderede manifolder er en udvidelse af begrebet manifold baseret på forestillingerne om supersymmetri og kommutativ graderet algebra . Graderede manifolds er ikke supermanifolds , selvom der er en vis overensstemmelse mellem graderede manifolds og DeWitt supermanifolds . Både sorterede sorter og supervarieteter er defineret i form af skivergraderede algebraer . Graderede manifolds er dog kendetegnet ved skiver på glatte manifolds , mens supermanifolds defineres ved at lime skiver af supervektorrum sammen.

Graderede manifolder

En gradueret manifold af dimension er defineret som et lokalt ringmærket rum , hvor er en -dimensionel glat manifold og  er en -shed af Grassmann-algebraer af rang , hvor  er en bunke af glatte reelle funktioner på . Hylden kaldes den strukturelle gren af ​​den graderede manifold , og den glatte manifold  kaldes kroppen . Sektioner af skæret kaldes graderede funktioner på en graderet manifold . De danner en kommutativ graderet ring , kaldet strukturringen . Den velkendte Batchelor- sætning og Serre-Swan-sætningen karakteriserer graderede manifolder på følgende måde.

Sætning

Lad være  en graderet manifold. Der er et vektorbundt med dimensionelle generiske fibre , således at strukturskivet af den graderede manifold er isomorf i forhold til strukturskivet af sektioner af bundtets ydre produkt , hvis typiske fiber er Grassmann-algebraen .

Lad være  en glat manifold. En graderet kommutativ -algebra er isomorf med strukturringen af ​​en graderet manifold med divisionsring, hvis og kun hvis det er den ydre algebra af et projektivt -modul af endelig rang.

Graderede funktioner

Selvom Batchelor-isomorfien nævnt ovenfor ikke er kanonisk, er den i mange applikationer oprindeligt rettet. I dette tilfælde genererer ethvert lokalt trivialiseringsdiagram af et vektorbundt en lokal opsplitning af den graderede manifold , hvor  er en fiberbasis for bundtet . Graderede funktioner på et sådant kort er repræsenteret ved værdisatte funktioner

,

hvor  er glatte reelle funktioner på og  er ulige genererende elementer i Grassmann-algebraen .

Graderede vektorfelter

Lad en graderet manifold gives . Graderede afledninger af strukturringen af ​​graderede funktioner kaldes graderede vektorfelter på . De danner en rigtig Lie superalgebra med hensyn til superparenteser

,

hvor betegner Grassmann-pariteten . Graderede vektorfelter lokalt har formen

.

De handler på graderede funktioner i henhold til loven

.

Graduerede eksterne formularer

Modulet dual til modulet af graderede vektorfelter kaldes modulet med graderede ydre en-former . De graderede ydre en-former er lokalt af formen , så det indre produkt mellem og er givet ved

.

Udstyret med en graderet ydre produktdrift

,

graderede en-former genererer en graderet ydre algebra af graderede ydre former på en graderet manifold. De tilfredsstiller relationerne

,

hvor  er graden af ​​formen . En graderet ydre algebra er en differentialgraderet algebra med hensyn til en graderet ydre differential

,

hvor graderede afledninger , graderede kommutative med graderede former og . Fair forhold

.

Graderet differentialgeometri

I kategorien af ​​graderede manifolds betragter vi graderede Lie-grupper, graderede bundter og graderede hovedbundter. Begrebet jets af sorterede manifolder introduceres også, som dog adskiller sig fra jets af sektioner af graderede bundter.

Graderet differentialregning

Differentialregningen på graderede manifolder er formuleret som differentialregningen over kommutative graderede algebraer, analogt med differentialregningen over kommutative algebraer .

Fysiske applikationer

På grund af den førnævnte Serre-Swan-sætning beskrives ulige klassiske felter på en glat manifold i form af graderede manifolds snarere end supermanifolds. Ved at være generaliseret til graderede manifolds giver variationsbikomplekset en stringent matematisk formulering af den lagrangske teori om lige og ulige klassiske felter og lagrangiansk BRST-teori .

Se også

Litteratur

Links

Teoretisk fysik