Visibility domains that are not pseudoconvex
Annapurna Banik
TL;DR
The paper addresses whether every visibility domain with respect to the Kobayashi distance must be pseudoconvex. It demonstrates the existence of non-pseudoconvex, hence not Kobayashi complete, visibility domains by removing carefully chosen sets from a bounded strongly pseudoconvex domain: first a finite set, then a broader class of compact sets $A$ with $\mathcal{H}^{2n-2}(A)=0$ under a Lipschitz-path constraint. A corollary uses pseudo-arcs to produce explicit $A$ and shows the general construction applies widely. By leveraging almost-geodesics, Hartogs phenomena, and boundary metric estimates, the work decouples visibility from pseudoconvexity and completeness, expanding the zoo of visibility domains and clarifying the geometric limits of current intuition.
Abstract
The earliest examples of visibility domains, given by Bharali--Zimmer, are pseudoconvex. In fact, all known examples of visibility domains are pseudoconvex. We show that there exist non-pseudoconvex visibility domains. We supplement this proof by a general method to construct a wide range of non-pseudoconvex, hence non-Kobayashi-complete, visibility domains.
