Small loops condition for the constructed non-Euclidean examples

Determine whether the limit continuum \(K\subset S^n\) in the constructed contractible, non-Euclidean locally conformally flat manifolds with positive scalar curvature satisfies the small loops condition.

Background

The paper constructs, for every dimension n4n\geq4, a nondegenerate continuum KSnK\subset S^n whose complement is contractible but not simply connected at infinity, and equips the complement with complete locally conformally flat metrics of positive scalar curvature.

These examples demonstrate that the two topological hypotheses in the Euclidean-rigidity theorem cannot be omitted simultaneously. However, the construction does not determine whether the conformal boundary continuum satisfies the small loops condition, so it does not show whether either hypothesis can be omitted while retaining the other.

References

We do not determine whether its limit continuum $K$ satisfies the small loops condition.

Locally Conformally Flat Manifolds with Positive Scalar Curvature: Kleinian Groups, Moduli Spaces, and Euclidean Rigidity  (2609.02267 - Deng, 2 Sep 2026) in Section 7, opening discussion of Non-Euclidean contractible LCF manifolds with PSC