A removability theorem for Sobolev functions and detour sets

Abstract: We study the removability of compact sets for continuous Sobolev functions. In particular, we focus on sets with infinitely many complementary components, called "detour sets", which resemble the Sierpi\'nski gasket. The main theorem is that if $K\subset \mathbb R^n$ is a detour set and its complementary components are sufficiently regular, then $K$ is $W^{1,p}$-removable for $p>n$. Several examples and constructions of sets where the theorem applies are given, including the Sierpi\'nski gasket, Apollonian gaskets, and Julia sets.