Odstupňované potrubí

Graded manifolds jsou rozšířením konceptu manifold na základě pojmů supersymetrie a komutativní odstupňované algebry . Stupňované manifoldy nejsou supermanifoldy , i když existuje určitá korespondence mezi odstupňovanými manifoldy a DeWittovými supermanifoldy . Jak odstupňované variety, tak supervariety jsou definovány v termínech svazkůodstupňovaných algeber . Nicméně, odstupňované rozvody jsou charakterizovány svazky na hladkých potrubích , zatímco supermanifoldy jsou definovány slepením svazků supervektorových prostorů.

Odstupňované rozdělovače

Odstupňovaná varieta dimenze je definována jako lokálně prstencový prostor , kde je -dimenzionální hladká varieta a  je svazkem Grassmannových algeber o hodnosti , kde  je svazek hladkých reálných funkcí na . Svazek se nazývá strukturální svazek odstupňovaného potrubí a hladký svazek  se nazývá tělo . Sekce svazku se nazývají odstupňované funkce na odstupňovaném varietu . Tvoří komutativní odstupňovaný prsten , nazývaný strukturní prstenec . Známá Batchelorova věta a Serre-Swanova věta charakterizují odstupňované variety následujícím způsobem.

Věta

Nechť  je odstupňovaný různý. Existuje vektorový svazek s - dimenzionálním generickým vláknem , takže strukturní svazek odstupňované manifoldy je izomorfní ke strukturnímu svazku sekcí vnějšího produktu svazku , jehož typickým vláknem je Grassmannova algebra .

Nechť  je hladký rozdělovač. Stupňovaná komutativní -algebra je izomorfní ke strukturnímu okruhu odstupňované variety s dělicím kruhem právě tehdy, když je vnější algebrou nějakého projektivního -modulu konečné úrovně.

Odstupňované funkce

I když výše zmíněný isomorfismus Batchelor není kanonický, v mnoha aplikacích je zpočátku opraven. V tomto případě jakýkoli místní trivializační diagram vektorového svazku generuje místní rozdělení odstupňovaného potrubí , kde  je základ vlákna svazku . Stupňované funkce na takové mapě jsou reprezentovány funkcemi -valued

,

kde  jsou hladké reálné funkce zapnuté a  jsou liché generující prvky Grassmannovy algebry .

Stupňovaná vektorová pole

Nechť je dána stupňovitá varieta . Stupňované derivace strukturního kruhu stupňovaných funkcí se nazývají stupňovaná vektorová pole na . Tvoří skutečnou Lieovu superalgebru s ohledem na superzávorky

,

kde označuje Grassmannovu paritu . Stupňovaná vektorová pole mají lokálně tvar

.

Jednají o odstupňovaných funkcích podle zákona

.

Absolvované externí formy

Modul duální k modulu stupňovaných vektorových polí se nazývá modul stupňovaných vnějších jednotvarů . Stupňované vnější jednotvary jsou lokálně tvaru , takže vnitřní součin mezi a je dán vztahem

.

Vybaveno stupňovaným provozem vnějšího produktu

,

odstupňované jedno-formy generují odstupňovanou vnější algebru odstupňovaných vnějších forem na odstupňovaném varietu. Uspokojují vztahy

,

kde  je stupeň tvaru . Stupňovaná vnější algebra je diferenciální odstupňovaná algebra s ohledem na odstupňovaný vnější diferenciál

,

kde stupňovité derivace , stupňované komutativní se stupňovitými tvary a . Spravedlivé poměry

.

Gradovaná diferenciální geometrie

V kategorii odstupňovaných variet uvažujeme odstupňované Lieovy grupy, odstupňované svazky a odstupňované hlavní svazky. Zavádí se také pojem proudnice odstupňovaných rozdělovačů, které se však liší od proudnic sekcí odstupňovaných svazků.

Stupňovaný diferenciální počet

Diferenciální počet na stupňovaných varietách je formulován jako diferenciální počet přes komutativní stupňované algebry, analogicky k diferenciálnímu počtu přes komutativní algebry .

Fyzikální aplikace

Díky výše zmíněné Serre-Swanově větě jsou lichá klasická pole na hladké varietě popisována spíše v termínech stupňovitých variet než supermanifoldů. Variační bikomplex , zobecněný na odstupňované variety, poskytuje rigorózní matematickou formulaci Lagrangovy teorie sudých a lichých klasických polí a Lagrangovy teorie BRST .

Viz také

Literatura

Odkazy

Teoretická fyzika