Топологический инвариант, грубо классифицирующий интегрируемые строго невырожденные гамильтонианы на четырехмерных симплектических многообразиях

Изучаются интегрируемые гамильтоновы системы на четырехмерных симплектических многообразиях в областях, где отсутствуют изолированные особые точки, т.е. предполагается, что в каждой точке области либо поле $\operatorname{sgrad}H$, либо $\operatorname{sgrad}f$ отлично от нуля. Кроме того, наложены дополнительные условия на функции $H$ и $f$, чтобы максимально упростить ситуацию: нерезонансность, боттовость, строгая невырожденность.