Strong Relative Aspherical Conjecture for positive scalar curvature

About 2 years old · traced to

Let Yn+kY^{n+k} be a compact manifold and let XnX^n be a codimension-kk submanifold with trivial normal bundle. Say that YY is weakly aspherical relative to XX when the map π1(X)→π1(Y)\pi_1(X)\to\pi_1(Y) is injective, the maps

πi(X)⟶πi(Y)\pi_i(X)\longrightarrow\pi_i(Y)

are isomorphisms for i=2,…,k−1i=2,\dots,k-1, and the map

πk(X)⟶πk(Y)\pi_k(X)\longrightarrow\pi_k(Y)

is surjective.

Strong Relative Aspherical Conjecture. If n≠4n\ne 4, YY is weakly aspherical relative to XX, and XX admits no metric of positive scalar curvature, then YY admits no metric of positive scalar curvature.

This is a weaker homotopy-theoretic hypothesis than full relative asphericity and is intended to extend positive-scalar-curvature obstructions to broader relative settings. Its general status is open.

References

Primary source

Shihang He, “Relative aspherical conjecture and higher codimensional obstruction to positive scalar curvature”, arXiv:2403.11957 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.