La science et l'hypothèse
《La science et l'hypothèse》 · 第 310 页 · Section 8.3,In the fullest generality 的完整构造;方向与重数另见随后段落
In the fullest generality, a logarithmic transformation consists of locating a torus \(T\) embedded in a 4-manifold \(X\) with trivial normal bundle \(\nu T\approx T\times D^2\), removing \(\operatorname{int}\nu T\) from \(X\) and gluing in \(T^2\times D^2\) by some diffeomorphism \(\phi:T^2\times S^1\to\partial\nu T\).