The homotopical 2-systole conjecture

Let (M,g)(M,g) be a closed Riemannian manifold with scalar curvature R(g)2R(g)\geq 2, and suppose that its universal covering is homotopic to the 22-sphere. Define the homotopical 22-systole by

sys2(M,g)=inf{area(S2,ig)i:S2M is smooth and [i] is homotopically nontrivial}.\operatorname{sys}_2(M,g)=\inf\left\{\operatorname{area}(\mathbf S^2,i^*g)\mid i:\mathbf S^2\to M\text{ is smooth and }[i]\text{ is homotopically nontrivial}\right\}.

Homotopical 22-systole conjecture. Under these hypotheses,

sys2(M,g)4π.\operatorname{sys}_2(M,g)\leq 4\pi.

The conjecture is motivated by the sharp estimate proved in the paper for dimensions 2n52\leq n\leq 5 under a nonzero-degree domination hypothesis whose target has universal-cover homology vanishing in degrees at least three. The supplied text does not state whether the conjecture has been resolved in general.

Sources & referencesView supporting material

Primary source

Jintian Zhu, “The Gauss-Bonnet inequality beyond aspherical conjecture”, arXiv:2206.07955 (2022).

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.