Hölder estimates for the \(\overline \partial\)-equation on surfaces with simple singularities (Q2469333)

The authors study the existence of a solution for the equation \( \bar\partial g = \lambda\) in the neighbourhood of the origin, where \(\lambda\) is a \(\widetilde\partial\)-closed (0,1) form defined on a subvariety \(\Sigma\), minus the origin. The subvariety \(\Sigma \subset \mathbb{C}^{2}\) is of the form \(X_{N}: x_{1}x_{2}=x_{3}^{N}\) or \(Y_{N}:y_{1}^{2}y_{3}+y_{2}^{2}=y_{3}^{N+1}\) where N is a natural number \(\geqslant 2\). The result obtained generalizes a result of \textit{J. E. Fornæss} and \textit{E. A. Gavosto} [Duke Math. J. 93, No.~3, 453--477 (1998; Zbl 1047.32500)]. The technique used is different from that used by Fornæss-Gavosto. More precisely, instead of considering \(\Sigma\) as a branched covering over \(\mathbb{C}^{2}\), solving the corresponding equation on \(\mathbb{C}^{2}\), and to lift the solution from \(\mathbb{C}^{2}\) into \(\Sigma\) again, the authors use the \(N\)-branched covering \(\pi_{N}:\mathbb{C}^{2}\rightarrow X_{N}\), respectively, \(\eta:X_{2N}\rightarrow Y_{N}\). In the case \(N=2\), let \(\phi_{z}=-z\) be the antipodal automorphism which allows to jump between the different branches of \(\pi_{2}\), and the operators \(\pi_{2}^{\ast}\) and \(\overline\partial\)-commute. If \(B_{R}\) is a ball centered in the origin of radius R (sufficiently small) and if \(\overline\partial g=\pi_{2}^{\ast}\lambda\) has a solution on \(B_{R}\), the sum \(g+\phi^{\ast}g\) is constant in the fibers of \(\pi_{2}\) so there exists a continuous \(f\) on \(B_{R}\) such that \(\pi_{2}^{\ast}f\) is equal to \(g+\phi^{\ast}g\), and \(\bar\partial f=2\lambda\) on \(\pi_{2}(B_{R})\). If \(\lambda\) is continuous on \(\pi_{2}(\overline{B_{R}})\), one can apply results of Henkin-Leiterer in order to get also Hölder estimates. The main point is to estimate the distance \(\|z - \xi\|\) with respect to \(\|\pi_2(z) - \pi_2(\xi)\|\). When \(N \geq 3\), the authors define the automorphism \(\phi_k : \mathbb{C}^2\to \mathbb{C}^L\) for each natural \(k\), \(\phi_k(z, z_n) = (\rho_N^k z_1, \rho_N^{-k} z_2)\), \(\rho_N = e^{2\pi i/N}\), and \(\pi_N : \mathbb{C}^2 \to X_N\), where \(\pi_N(z_1, z_2) = (z_1^N, z_2^N, z_1z_2)\) is a branched \(N\)-covering and \(\pi_N^{-1}(x)\) is of the form \(\{\phi_k(z)\}_{1 \leq k \leq N} \; \forall \; x \in X_N\) and thus the \(\phi_x\) allow to jump between the different branches of \(\pi_N\), and in particular \(\pi_N = \phi_k^* \pi_N\) for every \(k\) and \(\pi_N^*\) and \(\bar\partial\) commute. Again, as in the case \(N = 2\), the key point is a precise estimation of the distance \(\|z - \xi\|\) with respect to the projection \(\|\pi_N(z) - \pi_N(\xi) \|\). The rest of the proof (in the case \(N \geq 3\)) follows exactly that given in the case \(N = 2\). In the case of the subvariety \(Y_N\), the mapping \(\eta_2 : X_{2N} \to Y_N\), \[ \eta_2 (x_1, x_2, x_3) = \left( \frac{x_1 + x_2}{2}, x_3 \frac{x_1 - x_2}{2i}, x_3^2\right) \] is a branched 2-covering and the composition \(\eta_2 \circ \pi_{2N}\) is a covering from \(\mathbb{C}^2\) onto \(\gamma_N\) allows, to apply the previous existence results.