The generalized filling radius conjecture

About 3 years old · traced to

Let (Mn,g)(M^n,g) be an orientable closed Riemannian manifold. Suppose that MM has Tl\mathbb T^l-stabilized scalar curvature R≥1R\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>0∣K∗: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:M→L∞(M)\mathcal K:M\to L^\infty(M) is the Kuratowski embedding p↦dist⁡g(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 n−2n-2 to the aspherical conjecture in dimension nn. The assertion is presented as a conjecture in the source, and no resolution is supplied there.

References

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.