Теорема Римана–Роха для интегралов и сумм квазиполиномов по виртуальным многогранникам

Работа посвящена доказательству теоремы (называемой авторами теоремой Римана–Роха), связывающей интеграл и целочисленную сумму квазиполинома по выпуклой цепи из некоторого семейства. Показано, что существует линейный дифференциальный оператор (оператор Тодда), переводящий интеграл в сумму. Это дает многомерное обобщение известной формулы Эйлера–Маклорена.