[论文解读] Homological and homotopical higher-order filling functions

Robert M. Young|ArXiv.org|May 5, 2008

Geometric and Algebraic Topology参考文献 6被引用 4

一句话总结

本文构造了有限表示的群，其中三阶同调填充函数 $FV^3(n)$ 与二阶德恩函数 $\bar{\rho}^2(n)$ 不等价，并证明对于 $k \geq 3$，存在群使得第 $k$ 阶德恩函数 $\bar{\rho}^k(n)$ 不是次递归的。该构造依赖于一个填充大小非次递归的群 $G$，随后通过乘积群和链范数的线性代数界，证明了高阶填充函数中存在非等价性和非次递归增长。

ABSTRACT

We construct groups in which FV^3(n) != δ^2(n). This construction also leads to groups G_k, k >= 3 for which δ^{k}(n) is not subrecursive.

研究动机与目标

• 证明三阶同调填充函数 $FV^3(n)$ 与二阶德恩函数 $\bar{\rho}^2(n)$ 在一般情况下不等价，即使对于字问题可解的群也是如此。
• 构造当 $k \geq 3$ 时，第 $k$ 阶德恩函数 $\bar{\rho}^k(n)$ 不是次递归的群，表明此类函数可比任何可计算函数增长得更快。
• 证明某些群的填充大小函数 $\operatorname{FSize}_G(n)$ 不是次递归的，并利用此性质推导出乘积群的高阶填充函数的非次递归行为。
• 阐明不同填充函数之间（特别是 $FV^k$、$\bar{\rho}^k$ 和 $\bar{\rho}^M$）的关系，并表明 Brady 等人的等价性结果不适用于三维情形。
• 研究边界流形的拓扑结构（例如非平凡基本群）如何影响填充复杂度，尤其与球面填充进行对比。

提出的方法

• 通过具有有界长度关系式的有限阿斯pherical 表示，构造一个填充大小 $\operatorname{FSize}_G(n)$ 非次递归的群 $G$。
• 在 $\mathbb{R}$ 上使用线性代数，将填充链 $\gamma$ 的 $\ell^1$-范数以支撑集大小为条件进行有界，表明 $FV_{X,\mathbb{R}}^k(n)$ 受 $\operatorname{FSize}_X(n)$ 的递归函数有界。
• 应用定理 2 表明，若 $\operatorname{FSize}_G(n)$ 非次递归，则对所有 $k \geq 1$，有 $FV^k_{G^k,\mathbb{Z}}(n)$ 也非次递归。
• 利用 Brady 等人的定理 4，将 $\delta^M(n)$ 与 $\delta^k(n)$ 关联于维数为 $k+1 \geq 4$ 的流形 $M$，并将其推广，以证明当 $k \geq 3$ 时 $\delta^k_{G^k}(n)$ 的非次递归增长。
• 分析映射 $\alpha$ 下 $k$-球面的像，表明其产生的填充映射包含非递归大的 2-圆盘，尽管 $k$-体积保持不变，但复杂度仍增加。
• 利用已知结果（如 Papasoglu 定理）表明 $\delta^2_G(n)$ 对 $\mathcal{F}^3$ 群是次递归的，并结合 $FV^3_{G\times G,\mathbb{Z}}(n)$ 的非次递归增长，建立其与 $\delta^2_{G\times G}(n)$ 的非等价性。

实验结果

研究问题

• RQ1 在有限表示群中，三阶同调填充函数 $FV^3(n)$ 是否可能与二阶德恩函数 $\delta^2(n)$ 不等价？
• RQ2 是否存在当 $k \geq 3$ 时，第 $k$ 阶德恩函数 $\delta^k(n)$ 不是次递归的群？
• RQ3 填充大小 $\operatorname{FSize}_G(n)$（即填充中不同 2-单元的数量）在某些群中是否非次递归？若是，这对高阶填充函数有何影响？
• RQ4 边界流形的拓扑结构（如非平凡基本群）如何影响填充复杂度，尤其与球面填充相比？
• RQ5 能否找到使得填充亏格 $g$ 曲面比填充环面更困难的群？其结构特征可能是什么？

主要发现

• 存在一个群 $G$，使得 $FV^3_{G,\mathbb{Z}}(n) \nsim \delta^2_G(n)$，表明同调与同伦高阶填充函数在一般情况下不等价。
• 对于 $k \geq 3$，存在群 $G_k$，使得第 $k$ 阶德恩函数 $\delta^k_G(n)$ 非次递归，即其增长快于任何可计算函数。
• 对于某个群 $G$，填充大小函数 $\operatorname{FSize}_G(n)$ 非次递归，且此性质意味着对所有 $k \geq 1$，$FV^k_{G^k,\mathbb{Z}}(n)$ 也非次递归。
• 该构造导致映射 $\alpha^\prime$ 的像中包含非递归大的 2-圆盘，尽管 $k$-体积恒定，但其利普希茨常数和单纯复形中的单形数量仍显著增加。
• 对于 $G = BS(1,2)$，乘积群 $G \times G$ 满足 $FV^3_{G\times G,\mathbb{Z}}(n) \succeq 2^{\sqrt{n}}$，而 $\delta^2_{G\times G}(n) \preceq n^2$，表明填充环面与填充球面之间存在显著差距。
• 即使对于字问题可解的群，结果 $FV^3_{G,\mathbb{Z}}(n) \nsim \delta^2_G(n)$ 依然成立，如以 $G = BS(1,2) \times BS(1,2)$ 为例所示。