可定向n流形B下，A#B同胚于C#B能否推出A与C同胚？

嘿，这个问题问得非常到位！咱们来一步步拆解核心疑问：当B是可定向闭n流形时，不管A、C是可定向还是不可定向的闭n流形，是不是只要A#B同胚于C#B，就一定能推出A和C同胚？

我们分几种情况来聊，同时结合不同维度的拓扑特性分析：

1. 当A和C一个可定向、一个不可定向时 #

这种情况其实很直接：

• 可定向流形和可定向流形的连通和（A#B）还是可定向的；
• 不可定向流形和可定向流形的连通和（C#B）则是不可定向的。

可定向性是拓扑不变量，这俩类型的流形根本不可能同胚，所以命题里的前提「A#B ≅ C#B」从一开始就不成立，那整个蕴含式自然是成立的（毕竟“假推任何”都是真命题嘛）。

2. 当A和C都是可定向闭n流形时 #

这是最关键的场景，结论得看维度：

• n ≠ 4：消去律完全成立！也就是说，只要A#B和C#B同胚，A和C一定同胚。
  这背后的逻辑是，对于非4维的闭可定向流形，连通和的拓扑不变量（比如同调群、同伦群）是可“拆分”的——连通和的同调群基本是原流形同调群的直和（除了0维和n维）。结合Whitehead定理这类工具，就能推导出A和C的所有关键拓扑不变量都一致，自然就同胚了。
• n = 4：这里有反例，消去律不成立！
  4维流形堪称拓扑学里的“奇葩维度”，Freedman的经典工作告诉我们：存在闭可定向4流形A和C，它们明明不同胚，但A#CP²（CP²是复射影平面，典型的可定向4流形）却和C#CP²同胚。这类反例的根源在于，4维流形里存在很多同伦等价但拓扑不同胚的流形，连通和某个特定的可定向4流形后，就能“抹平”它们的拓扑差异。

3. 当A和C都是不可定向闭n流形时 #

同样分维度来看：

• n = 2：消去律肯定成立！
  2维不可定向曲面的拓扑类型完全由欧拉示性数决定，而连通和的欧拉示性数满足公式：χ(A#B) = χ(A) + χ(B) - 2。如果A#B和C#B同胚，那它们的欧拉示性数必然相等，代入公式就能算出χ(A)=χ(C)，所以A和C肯定同胚。
• n ≥ 3：消去律依然成立（至少对于绝大多数常见的不可定向流形来说）。
  这里可以用「定向覆盖」的思路来推导：不可定向流形的定向覆盖是一个2重的可定向流形，而A#B的定向覆盖其实就是A的定向覆盖Â和B的连通和（具体是Â#B#B）。如果A#B≅C#B，那它们的定向覆盖也同胚，也就是Â#B#B≅Ĉ#B#B。根据非4维可定向流形的消去律，我们能推出Â≅Ĉ，进而就能得到A≅C。

总结一下 #

• 当维度n≠4时，不管A、C是可定向还是不可定向，只要B是可定向闭n流形，命题「A#B≅C#B ⇒ A≅C」都成立；
• 当维度n=4时，只有当A、C是可定向流形时命题不成立（存在反例），其他情况（定向性不同或都是不可定向）命题依然成立。

内容的提问来源于stack exchange，提问作者Akt