On the fundamental groups of perforated surfaces

Abstract

A perforated surface is the complement $\mathringΣ:=Σ\setminus A$ of a countable dense subset $A$ in a connected paracompact surface $Σ$. It is known that the topological type of $Σ\setminus A$ is independent of the choice of $A$. Any perforated surface is one-dimensional, connected, locally path connected, and is not semi-locally simply connected at any of its points. In this paper we obtain a classification theorem for perforated surfaces, using the classification theorem for surfaces. We show that any connected covering of a perforated surface $\mathring Σ$ arises from a covering of a surface $Σ'$ such that $\mathringΣ\cong \mathringΣ'$. We show that the fundamental group of perforated surfaces are large. We also show that the fundamental groups of $\mathring Σ$, the Sierpiński curve and the Menger curve are not Hopfian.