Microlocal analyticity for \(\square_ b\) in block-decoupled pseudoconvex domains (Q1909560)

This paper is devoted to the proof of the so-called microlocal analytic hypoellipticity for the boundary Laplacian \(\square_b\) on block-decoupled pseudoconvex hypersurfaces. These are hypersurfaces of the following types in \(\mathbb{C}^{n+1}\), \(n \geq 2\), with local coordinates \((w, z_1, \dots, z_n)\) near 0. 1) \(\Gamma = \{(w, z_1, \dots, z_n) : {\mathfrak I} \text{m } w = \sum^n_{k =1} |h_k(z_k)|^2\}\) with \(h_k\) holomorphic, \(h_k \not\equiv 0\) near 0, \(n \geq 2\). These are the completely decoupled domains. 2) \(\Gamma = \{(w, z_1,\dots,z_n) : {\mathfrak I} \text{m }w = \sum^k_{j =1} |z_j|^2 + \widetilde{h}(|z''|^2)\) where \(z'' = (z_{k+1}, \dots, z_n)\) and \(|z''|^2 = \sum^n_{j = k + 1} |z_j|^2\), with suitable \(\widetilde {h}\). The use of microlocal technique, among giving a microlocal analytic regularity, allows to avoid, in case 2) the hypothesis \(k \geq 2\) and \(n - k \geq 2\), made in our previous works on the subject.