In this paper, we prove the Soul Conjecture in Alexandrov geometry in dimension $4$, i.e. if $X$ is a complete non-compact $4$-dimensional Alexandrov space of non-negative curvature and positive curvature around one point, then a soul of $X$ is a point.
Download