Parametric mod-2 isoperimetric inequality for relative cycles

About 4 years old · traced to

Let F:X→Zk([0,1]n,∂[0,1]n;Z2)F:X\rightarrow\mathcal{Z}_k([0,1]^n,\partial[0,1]^n;\mathbb{Z}_2) be a contractible family, and let Ik+1([0,1]n;Z2)I_{k+1}([0,1]^n;\mathbb{Z}_2) denote the (k+1)(k+1)-chains with mod-2 coefficients. Parametric mod-2 isoperimetric conjecture. There should exist a family H:X→Ik+1([0,1]n;Z2)H:X\rightarrow I_{k+1}([0,1]^n;\mathbb{Z}_2) such that ∂H(x)−F(x)\partial H(x)-F(x) is supported in ∂[0,1]n\partial[0,1]^n and

M⁡(H(x))≤c(n)max⁡{1,M⁡(F(x))n−k−1n−k}.\operatorname{\textbf{M}}(H(x))\leq c(n)\max\left\{1,\operatorname{\textbf{M}}(F(x))^{\frac{n-k-1}{n-k}}\right\}.

The conjecture is motivated by the small-cube Federer--Fleming filling estimate and is posed specifically for mod-2 coefficients because analogous controlled parametric fillings can fail for integer coefficients.

References

Primary source

Larry Guth and Yevgeny Liokumovich, “Parametric inequalities and Weyl law for the volume spectrum”, arXiv:2202.11805 (2025).

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.