Sufficient condition for compactness of the $\bar{\mathrm{\partial }}$-Neumann operator using the Levi core

On a smooth, bounded pseudoconvex domain $\mathrm{\Omega }$ in ${\mathbb{C}}^n$, to verify that Catlin’s Property ($P$) holds for $b\mathrm{\Omega }$, it suffices to check that it holds on the set of D’Angelo infinite type boundary points. In this note, we consider the support of the Levi core, $S_{\mathfrak{C}(\mathcal{N})}$, a subset of the infinite type points, and show that Property ($P$) holds for $b\mathrm{\Omega }$ if and only if it holds for $S_{\mathfrak{C}(\mathcal{N})}$. Consequently, if Property ($P$) holds on $S_{\mathfrak{C}(\mathcal{N})}$, then the $\bar{\mathrm{\partial }}$-Neumann operator $N_1$ is compact on $\mathrm{\Omega }$.