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á 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.
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ě.
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 .
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
.
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
.
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ů.
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 .
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 .