Gromovov-Wittenov invariant

Gromovove-Wittenove invarianty (GW) sú v matematike (konkrétne v sympletickej topológii a algebrickej geometrii) racionálne čísla, ktoré za istých situácií počítajú pseudohomologické krivky spĺňajúce predpísané podmienky za danej sympletickej priestorovosti. GW invarianty môžu byť zhrnuté ako homologická alebo kohomologická trieda vo vhodnom priestore, alebo ako deformovaný združený (cup) výsledok kvantovej kohomológie. Tieto invarianty sa používajú na rozlíšenie sympletických priestorovostí, ktoré boli predtým nerozlíšiteľné. Hrajú taktiež zásadnú úlohu v uzavretom type teórie strún IIA. Sú pomenované po Michailovi Gromovovi a Edwardovi Wittenovi.
Rigorózna matematická definícia Gromovových-Wittenových invariantov je zdĺhavá a zložitá a tak bude predmetom samostatného článku s názvom stabilná mapa. Tento článok sa pokúsi o viac intuitívne vysvetlenie toho čo invarianty sú, ako sa počítajú a prečo sú dôležité.

Výpočtové techniky

Gromovove-Wittenove invarianty sa vo všeobecnosti ťažko počítajú. Keďže sú definované pre akékoľvek vo všeobecnosti takmer komplexné štruktúry J, pre ktoré je linearizácia D operátora \bar \partial_{j, J} surjektívna, musia byť v skutočnosti počítané s ohľadom na špecifické vybraté J. Najvhodnejšie je vybrať J so špeciálnymi charakteristikami, ako sú nevšeobecné symetrie alebo integrovateľnosť. Výpočty sa skutočne často vykonávajú na Kählerových priestorovostiach používajúcich techniky algebrickej geometrie.
Avšak, špeciálne J môže indukovať nesurjektívne D a tým moduli priestor pseudoholomorfických kriviek, ktorý je väčší ako očakávaný. Voľne povedané, tento efekt sa koriguje formovaním z kokernelu Dvektorového zhluku nazývaného obštrukčný zhluk a následne realizáciou GW invariantu ako integrálu Eulerovej triedy obštrukčného zhluku. Vytvorenie presnej predstavy si vyžaduje značný technický argument za použitia Kuranishiho štruktúr polyzhlukov.
Hlavnou výpočtovou technikou je lokalizácia. Táto sa aplikuje,keď X je tórické, čo znamená, že sa s ním narába pomocou komplexného torusu alebo aspoň lokálne tóricky. Potom je možné použiť Atiyah-Bottovu teorému fixného bodu autorov Michael Atiyah, Raoul Botta na zredukovanie alebo lokalizáciu, výpočet GW invariantu pre integráciu na lokuse fixného bodu akcie.
Ďalší prístup je použiť sympletické rezy na vztiahnutie X na jeden alebo viacero priestorov, ktorých GW invarianty sa počítajú ľahšie. Samozrejme, je potrebné najskôr porozumieť tomu, ako sa invarianty v rezoch správajú. Pre takéto aplikácie sa často používajú rozvinutejšie relatívne GW invarianty, ktoré počítajú krivky s predpísanými podmienkami tangencie spolu so sympletickými podmnožinami priestorovostí X reálnej kodimenzie dva.

Príbuzné invarianty a ďalšie konštrukcie

Gromovove-Wittenove invarianty sú úzko spojené s množstvom ostatných konceptov v geometrii, vrátane Donaldsonových invariantov a Seibergových-Wittenových invariantov. Pre kompaktnú sympletickú metódu štvorrozmanitosti Clifford Taubes ukázal, že varianty Gromov-Wittenových invariantov (pozri Taubes-Gromovov invariant) sú ekvivalentné Seiberg-Wittenovým invariantom. Ich priesečníky obsahujú rovnaké informácie ako Donaldson-Thomasove invarianty a Gopakumar-Vafove invarianty, ktoré sú vyčíslené v integer hodnotách.
GW invarianty môžu byť definované taktiež pomocou jazyka algebrickej geometrie. V niektorých prípadoch GW invarianty súhlasia s klasickými vypočítavanými invariantami algebrickej geometrie. Avšak, vo všeobecnosti majú GW invarianty omnoho väčšiu výhodu nad vypočítavanými invariantami a to v existencii kompozičného zákona, ktorý popisuje, ako sa krivky k sebe navzájom prilínajú. GW invarianty môžu byť zahrnuté do kruhu kvantovej kohomológie rozmanitosti X, ktorá je deformáciou obyčajnej kohomologógie. Kompozičný zákon GW invariantov je to, čo spôsobuje asociatívnosť združeného (cup) produktu.
Kruh kvantovej kohomológie je známy ako izmorfný pre sympletickú Floerovu homológiu so svojím produktom typu pár.

Aplikácia vo fyzike

Gromovove-Wittenove invarianty sú so záujmom prijímané v teórii strún, odvetví fyziky, ktoré sa pokúša zjednotiť všeobecnú relativitu a kvantovú mechaniku. Podľa tejto teórie, všetko vo vesmíre, počínajúc elementárnymi časticami, je vytvorené z drobných strún. Ako struna cestuje v časopriestore, sleduje povrch, zvaný strunová schránka sveta. Žiaľ moduli priestor takýchto parametrizovaných povrchov, prinajmenšom a priori má nekonečnú veľkosť; nie je známe žiadne vhodné meradlo tohto priestoru a tak integrály ciest teórie nemajú rigoróznu definíciu.
Situácia sa zlepší vo variáciách známych ako uzatvorený A model topologickej teórie strún. Tu je šesť časopriestorových rozmerov, ktoré ustanovujú sympletickú priestorovosť a ukazuje sa, že svetové obálky sú nevyhnutne parametrizované pseudohomologickými krivkami, ktorých moduli priestory majú len konečné dimenzie. Gromov-Wittenove invarianty, ako integrály nad týmito moduli priestormi, sú potom integrálmi ciest tejto teórie. Obzvlášť, voľná energia A modelu pri géne g je generujúcou funkciou génu g Gromov-Wittenových invariantov.