В математике торическое многообразие является топологическим аналогом торического многообразия в алгебраической геометрии . Это четномерное многообразие с эффективным гладким действием -мерного компактного тора, локально стандартного с пространством орбит простого выпуклого многогранника . [1] [2]
Цель состоит в том, чтобы провести комбинаторику на факторполитопе и получить информацию о многообразии выше. Например, эйлерова характеристика и кольцо когомологий многообразия могут быть описаны в терминах многогранника.
Эта теорема утверждает, что образ отображения моментов гамильтонова торического действия является выпуклой оболочкой множества моментов точек, фиксируемых действием. В частности, этот образ является выпуклым многогранником.