Hodgeova teorie

Hodgeova teorie se zabývá studiem diferenciálních forem na hladkých varietách . Přesněji řečeno, tato teorie studuje, jak zobecněný Laplacián spojený s Riemannovou metrikou na varietě M ovlivňuje jeho kohomologické grupy s reálnými koeficienty.

Tuto teorii vyvinul William Hodge ve 30. letech 20. století jako zobecnění de Rhamovy cohomologie . Hodgeova teorie má hlavní aplikace na třech úrovních:

V dřívějších dokumentech se předpokládalo, že rozdělovač M je uzavřený (tj. kompaktní a bez ohraničení). Na všech třech úrovních měla teorie velký vliv na následnou práci, kterou používal Kunihiko Kodaira a později mnoho dalších.

Aplikace a příklady

De Rham cohomology

Hodge sám formuloval tuto teorii pro de Rham komplexy . Jestliže M  je kompaktní orientovatelná varieta vybavená hladkou metrikou g a Ω k ( M ) je svazek hladkých diferenciálních forem stupně k na M , pak je de Rhamův komplex posloupností diferenciálních operátorů

kde d k označuje vnější derivaci na Ω k ( M ). Pak de Rhamova kohomologie je jednoduše posloupnost vektorových prostorů definovaných jako

Je možné definovat operátor formálně konjugovaný s vnější derivací (vnějším diferenciálem) d , nazývaný kodiferenciál a označovaný jednoduše tím, že pro všechna α ∈ Ω k ( M ) a β ∈ Ω k +1 ( M ) platí vztah

kde  je metrika indukována na . Nyní může být Laplacián definován jako . To nám umožňuje definovat prostory harmonických forem:

To může být ukázáno , takže existuje kanonické mapování . První část Hodgeova teorému říká, že  jde o izomorfismus vektorových prostorů.

Jedním z hlavních důsledků toho je, že de Rhamovy kohomologické grupy na kompaktním manifoldu jsou konečné-dimenzionální. To vyplývá ze skutečnosti, že operátory jsou eliptické a jádro eliptického operátoru na kompaktní varietě je vždy konečnorozměrné.

Hodgeova teorie pro eliptické komplexy

Hodge struktury

Abstraktní definice (skutečných) Hodgeových struktur je následující: pro reálný vektorový prostor je Hodgeova struktura  rozkladem její komplexifikace na -gradovaný přímý součet .

navíc komplexní konjugace nepřeskupuje stupňované členy a :

Hlavním tvrzením je, že singulární kohomologické grupy s reálnými koeficienty nesingulární komplexní projektivní variety mají následující Hodgeovu strukturu:

kde  jsou Dolbeaultovy cohomologické skupiny manifoldu . To znamená vztah mezi čísly Betti a :

Hodgeova expanze původně vzešla z teorie harmonických forem (vlastní vektory Laplacianu v prostoru diferenciálních forem ) zobecňující lokálně konstantní harmonické funkce. Je dokázáno, že každá třída singulární kohomologie může být reprezentována jedinečnou harmonickou formou a že taková forma má nutně dobře definovaný bigrading (s ohledem na působení operátoru komplexní struktury). To znamená Hodgeovu expanzi. Následně byl Hodgeův rozklad získán čistě algebraicky, za použití teorie spektrálních sekvencí a skupin cohomologie svazku , v pracích Dolbeaulta.

V případě nekompaktních manifoldů nebo manifoldů se singularitami je nutné nahradit Hodgeovu strukturu smíšenou Hodgeovou strukturou , která se liší tím, že singulární rozklad kohomologie na přímý součet je nahrazen dvojicí filtrací . Tento případ se používá například v teorii monodromie .

Literatura