Semi-local Liouville equivalence of complex Hamiltonian systems defined by rational Hamiltonian (Q2352126)

The aim of the paper under review is to give a semi-local topological classification of foliations generated by a holomorphic function of the form \(f(z,w):= az^2 + R(w):M\to \mathbb C\), where \(a\in \mathbb C \setminus \{0\}\) and \(M = \mathbb C \times (\mathbb C \setminus \{d_1,\ldots,d_s\})\), where \(d_1,\ldots,d_s\) are the poles of the rational function \(R\). The problem of finding a topological classification of foliations is related to Hamiltonian systems. In the integrable case, the Liouville theorem provides a description of the fibers of the Liouville foliation associated to the integrable Hamiltonian system. In this paper, the author studies Liouville foliations in small neighborhoods of (singular) fibers of integrable systems up to Liouville equivalence. The investigated Hamitonian system is given by \((M, \text{Re} (dz\wedge dw), \text{Re } f)\). The main result of the paper is the following theorem. Suppose either \(\zeta_0\neq f_1(0,\infty)\) and \(\zeta_0\neq f_2(0,\infty)\) or \(\zeta_0=f_1(0,\infty)=\zeta_0\neq f_2(0,\infty)\). Then the rational Hamiltonians \(f_1, f_2\) are semi-local Liouville equivalent with respect to \(\zeta_0\) if and only if the fibers \(T_{\zeta_0}^1\) and \(T_{\zeta_0}^2\) are homeomorphic and have the same sets of multiplicities of singular points including the multiplicity of the point \((0,\infty)\) when \(\zeta_0=f_j(0,\infty)\), \(j=1,2\). In case \(\zeta_0=f_1(0,\infty)\neq f_2(0,\infty)\), the Hamiltonians \(f_1\) and \(f_2\) are not semi-local Liouville equivalent with respect to \(\zeta_0\).