Parametric mod-2 isoperimetric inequality for relative cycles

Let F:XZk([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:XIk+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))nk1nk}.\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.

Sources & referencesView supporting material

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.