Dynamics of polynomial Hamiltonian vector fields in \(\mathbb{C}^{2k}\) (Q1348878)

Let \(p:\mathbb{C}\to\mathbb{C}\) be an entire function. Consider the holomorphic Hamiltonian vector field \[ X_p=\left({\partial p\over \partial w},-{\partial p\over \partial z}\right) ={\partial p\over \partial w}{\partial \over \partial z} - {\partial p\over \partial z} {\partial \over \partial w} \] associated to the Hamiltonian \(p\), and the symplectic form \(\omega=dz\wedge dw\). Fixing the degree of polynomials \(p\), the author provides in Sections 2-4 a rather complete picture of the dynamics of a generic class of polynomial Hamiltonian vector fields in \(\mathbb{C}^2\). The main result here is this. Theorem. Let \(d\geq 4\). There exists a set \(E\) of measure zero in the the space \(\mathcal P_d\) of polynomials of degree \(d\) such that for any \(p\in \mathcal P_d\setminus E\), the set of points with bounded positive orbit for \(X_p\) is contained in at most countable union \(\Sigma\) of real hyperspaces in \(\mathbb{C}^2\). If \(x\in\mathbb{C}^2\setminus \Sigma\), then either: (a) the flow \(\Phi(t,x)\) does not exist for \(t\in \mathbb{R}^{+}\), that is, \(\Phi(t,x)\) tends to infinity in finite positive time (\(x\) belongs to the set of separatrices); or (b) the flow \(\Phi(t,x)\) exists for \(t\in \mathbb{R}^{+}\), in which case \(O^+(x)\) is recurrent and the limit set of \(x\) has nonempty interior in \(\{p=p(x)\}\). Moreover, this latter set has full measure in \(\mathbb{C}^2\setminus \Sigma\). In Sections~5 and 6 the author deals with exploiding orbits of holomorphic Hamiltonian vector fields. Let us recall that an orbit explodes if it reaches infinity in finite time. Let \(\mathcal E_k\) denote the space of entire functions in \(\mathbb{C}^{2k}\). Using the concept of Fatou-Bieberbach domains, the author proves the following two results. Theorem. There is a dense subset \(G\subset\mathcal E_1\) such that for every \(H\in G\), the set of points with nonexploding orbits for \(X_H\) is contained in at most countable union of real hyperspaces. and Theorem. For every \(k\geq 1\) there is a dense subset \(G\subset\mathcal E_k\) such that if \(H\in G\), then the set of points with exploding orbits for \(X_H\) is a dense \(G_\delta\).