Кіріспе

Математикада Клиффорд Таубестің Громов инварианты симплектикалық 4-көптікке енген (мүмкін байланысты емес) псевдоголоморфтық қисықтарды санайды, мұнда қисықтар көмекші үйлесімді күрделі құрылымға қатысты голоморфты болады. (0-ге дейін қиылысатын 2 тордың көптік жамылғылары да есептеледі.) Таубес осы инварианттағы ақпараттың Сейберг-Уиттен теңдеулерінен туындаған инварианттарға тең екенін төрт ұзақ мақала сериясында дәлелдеді. Бұл инвариантқа байланысты талдамалық күрделіліктің көп бөлігі, нәтиже күрделі құрылымды таңдауға тәуелсіз болуын қамтамасыз ететін көп рет жабылатын псевдоголоморфтық қисықтарды дұрыс санаудан туындайды. Негізгі мәселе – псевдоголоморфтық қисықтардың топологиялық түрде анықталған индексі, ол енгізілуін бақылайды және Фредгольм индексін шектейді. Майкл Хатчингс бұл жұмыстың кеңейтілген нұсқасы ретінде кіріктірілген контакттық гомологияны ұсынады. ECH – бұл симплектикалық өріс теориясы сияқты инвариант; атап айтқанда, бұл Y-дегі контактілік нысанның Реб орбиталарының белгілі бір комбинацияларымен құрылған тізбек кешенінің гомологиясы, ал оның дифференциалы белгілі бір кіріктірілген псевдоголоморфтық қисықтарды және "ECH индексі" 1-ге тең көп рет жабылатын псевдоголоморфтық цилиндрлерді санайды. ECH индексі – цилиндрлік жағдай үшін Таубес индексінің нұсқасы, және қисықтар сәйкес келетін күрделі құрылымға қатысты псевдоголоморфтық болады. Нәтижесінде Y-дің топологиялық инварианты пайда болады, Таубес оның монопольдік Флор гомологиясына изоморфты екенін дәлелдеді, бұл Y үшін Сейберг-Уиттен гомологиясының нұсқасы.