Конечномерная ТКТП на кусочно-линейных шаровых комплексах: теория и вычисления

Строится конечномерная фермионная топологическая квантовая теория поля (ТКТП) на кусочно-линейных многообразиях, представленных в виде шаровых комплексов, то есть таких клеточных комплексов, где граница каждой $k$-мерной клетки является $(k-1)$-мерной сферой. Эта теория получается из сопоставления клеткам (шарам) величин, связанных с геометрией аффинной группы комплексной прямой, и может быть построена для многообразий любой размерности. Для вычисления инвариантов, возникающих в этой теории, создаётся пакет программ в системе GAP, который может быть также полезен и для других задач, связанных с шаровыми комплексами и триангуляциям.