Построение рода Виттена через деформационное квантование

По любой эллиптической кривой над C можно построить эллиптическую комплексно-ориентированную обобщённую теорию когомологий. С любой такой теорией стандартной процедуой связан C-значный род Хирцебруха. Род Виттена - это в некотором смысле универсальный эллиптический род. Он был определён (используя физические аргументы) в статье "E. Witten, Elliptic genera and quantum field theory" как суперконформный индекс в некоторой двумерной теории поля. В статье "A geometric construction of the Witten genus II" в качестве приложение развитого им подхода к теориям поля Кэвин Костелло приводит строгое математическое обоснование определения Виттена. Нужная теория поля для многообразия X получается деформационным кантованием классической теории построенной по (производному) пространству отображений из эллиптической кривой в T^* X. В своём докладе я расскажу этот подход Костелло.