Invariant sets associated with singular holomorphic foliations in \(\mathbb C^2\) (Q558357)

Let \(\mathcal F\) be a holomorphic foliation near the origin in \(\mathbb C^2\) such that \(O\) is the only isolated singularity of \(\mathcal F\). Let \(\widetilde{\mathcal F}\) be the Seidenberg resolution of \(\mathcal F\) which has only reduced isolated singularities on the exceptional divisor over the origin. According to [\textit{J.-F. Mattei} and \textit{R. Moussu}, Ann. Sci. Éc. Norm. Supér. (4) 13, 469--523 (1980; Zbl 0458.32005)] for each irreducible component \(D_i\) of the exceptional divisor one can consider the (local) holonomy group \(G_i\) of \(\widetilde{\mathcal F}\) around \(D_i\). Due to a theorem of \textit{I. Nakai} [Ann. Inst. Fourier 44, 569--599 (1994; Zbl 0804.57022)], if \(G_i\) is not solvable then either the orbits of \(G_i\) are dense or there exists a (germ of) invariant real analytic set \(\gamma_i\), called a Nakai separatrix. In the paper under review, the author is interested in studying (in terms of Nakai's separatrices) the (necessary) conditions for the existence of an invariant set \(K\) for \(\widetilde{\mathcal F}\) near a corner in presence of non-solvable local holonomies. More precisely, let \(D_i, D_{i+1}\) be two invariant divisors in the exceptional divisor which intersect in a normal crossing. Let \(G_i, G_{i+1}\) denote the local holonomies of \(\widetilde{\mathcal F}\) around \(D_i\) and \(D_{i+1}\), respectively. If \(G_i\) is non-solvable and has Nakai's separatrix \(\gamma_i\), denote by \(K_i\) the saturation of \(\gamma_i\) by \(\widetilde{\mathcal F}\). The author proves that if \(G_i\) is non solvable with Nakai's separatrix \(\gamma_i\) and if there exists an \(\widetilde{\mathcal F}\)-invariant set \(K\) near \(D_i\cup D_{i+1}\) such that \(K| _{D_i}=K_i\), then either \(G_{i+1}\) is abelian or the corner \(D_i\cap D_{i+1}\) is a resonant linearizable singularity of \(\widetilde{\mathcal F}\). The proof is based on a careful examination of each possible case for the singularity \(D_i\cap D_{i+1}\).