摘要
迈克尔·弗里德曼（Michael Freedman）提出的一个由来已久的猜想断言，四维拓扑外科猜想对于非阿贝尔自由群是失败的，或者等价地说，一系列链接的规范示例（广义波罗米环）不是$A-B$切片。对这个猜想的一个更有力的解释是，博罗米安环甚至不是弱的$A-B$切片，其中去掉了问题的等变方面，这是寻找手术障碍的主要焦点。我们证明了Borromean环，以及更普遍的所有具有平凡连接数的连接，实际上是弱$A-B$切片。这一结果表明，在$4$维度上缺乏亚历山大对偶的非阿贝尔扩张，也缺乏米尔诺的链接同伦理论对$4$球的一般分解的类似物。
