The generalized filling radius conjecture

Let (Mn,g)(M^n,g) be an orientable closed Riemannian manifold. Suppose that MM has Tl\mathbb T^l-stabilized scalar curvature R1R\geq 1, meaning that there are positive smooth functions v1,v2,,vlv_1,v_2,\ldots,v_l on MM such that (M×Tl,g+ivi2dθi2)(M\times\mathbb T^l,g+\sum_i v_i^2\mathrm d\theta_i^2) has scalar curvature given by the Tl\mathbb T^l-invariant extension of RR. Define the filling radius by

rf(M,g):=inf{r>0K:Hn(M,Z)Hn(Ur(K(M)),Z) is the zero map},r_f(M,g):=\inf\{r>0\mid \mathcal K_*:H_n(M,\mathbb Z)\to H_n(U_r(\mathcal K(M)),\mathbb Z)\text{ is the zero map}\},

where K:ML(M)\mathcal K:M\to L^\infty(M) is the Kuratowski embedding pdistg(p,)p\mapsto \operatorname{dist}_g(p,\cdot) and Ur(K(M))U_r(\mathcal K(M)) is the rr-neighborhood of K(M)\mathcal K(M) in L(M)L^\infty(M).

Generalized filling radius conjecture. The filling radius of (M,g)(M,g) is no greater than C(n)C(n).

Gromov's reduction relates this conjecture in dimension n2n-2 to the aspherical conjecture in dimension nn. The assertion is presented as a conjecture in the source, and no resolution is supplied there.

Sources & referencesView supporting material

Primary source

Shihang He and Jintian Zhu, “A note on rational homology vanishing theorem for hypersurfaces in aspherical manifolds”, arXiv:2311.14008 (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.