加载中…
We prove that there are homology three-spheres that bound definite four-manifolds, but any such bounding four-manifold must be built out of many handles. The argument uses the homology cobordism invariant from instanton Floer homology.

生成讲解博客的中文版本

生成AI智能校验的中文版本