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.
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é.
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 .