No label defined (Q4949403)

Let \(\Omega\subset \mathbb{C}^n\) be a bounded domain with \(\mathbb{C}^\infty\)-boundary. The \(\overline\partial\)-Neumann problem for \((0,1)\)-forms on \(\Omega\) is a boundary value problem: \(\square u=f\) on \(\Omega\) with some boundary conditions, where \(u,f\) are \((0,1)\)-forms, and \(\square= \overline \partial \overline\partial^* +\overline\partial^* \overline\partial\), \(\overline \partial^*\) denoting the formal adjoint of \(\overline\partial\). The global regularity in \(\mathbb{C}^\infty\) of the Neumann problem means that for every \(f\in C^\infty (\overline\Omega)\), the \(\overline\partial\)-Neumann solution \(u\) also belongs to \(C^\infty (\overline\Omega)\). After reviewing the construction of the worm domains with emphasis on the features relevant to their role as counterexamples to global regularity, the author discusses the related results such as the commutation method and compactness estimates. A model in two real variables for global irregularity is discussed in detail. Finally the author enumerates several open problems, after summarising related works on real analytic regularity. For the entire collection see [Zbl 0933.00014].