The completeness of a polynomial vector field is determined by a transcendental trajectory (Q2497921): Difference between revisions

Given a holomorphic vector field \(X\) on \(\mathbb C^2\) and a point \(z\in \mathbb C^2\), one can define a holomorphic map \(\varphi_z:\mathbb D_r\to \mathbb C^2\) from the disc \(\mathbb D_r=\{\zeta\in\mathbb C: | \zeta| <r\}\), \(r>0\) to \(\mathbb C^2\)---the complex flow of \(X\)---such that \(\varphi_z(0)=z\) and \(\varphi_z'(\zeta)=X(\varphi_z(\zeta))\) for any \(\zeta\in\mathbb D_r\). Such a flow can be extended through analytic continuation to a map from a Riemann surface \(\Omega_z\) to \(\mathbb C^2\). The complex curve \(\varphi_z(\Omega_z)\) is called a complete trajectory if \(\Omega_z=\mathbb C\). A vector field for each all trajectories are complete is called a complete vector field. The aim of the present paper is to prove that a polynomial vector field on \(\mathbb C^2\) with a complete trajectory which is proper and non-algebraic (\textit{i.e.} transcendental) is complete. The result in here is pretty much related to the author's paper in [Indiana Univ. Math. J. 53, 647--666 (2004; Zbl 1080.32018)]. In fact, very roughly speaking, starting from the results therein, the author shows that under the hypothesis in his theorem, the vector field can only have two types of trajectories: (isomorphic to) \(\mathbb C\) or \(\mathbb C^\ast\). The first case being good, the author concentrates in excluding the second one proving that in such a case there exists a rational first integral.