In mathematics, specifically in topology, the operation of **connected sum** is a geometric modification on manifolds. Its effect is to join two given manifolds together near a chosen point on each. This construction plays a key role in the classification of closed surfaces.

- Connected sum at a point
- Connected sum along a submanifold
- Connected sum along a codimension-two submanifold
- Local operation
- Connected sum of knots
- See also
- Further reading
- References

More generally, one can also join manifolds together along identical submanifolds; this generalization is often called the **fiber sum**. There is also a closely related notion of a connected sum on knots, called the **knot sum** or **composition** of knots.

A **connected sum** of two *m*-dimensional manifolds is a manifold formed by deleting a ball inside each manifold and gluing together the resulting boundary spheres.

If both manifolds are oriented, there is a unique connected sum defined by having the gluing map reverse orientation. Although the construction uses the choice of the balls, the result is unique up to homeomorphism. One can also make this operation work in the smooth category, and then the result is unique up to diffeomorphism. There are subtle problems in the smooth case: not every diffeomorphism between the boundaries of the spheres gives the same composite manifold, even if the orientations are chosen correctly. For example, Milnor showed that two 7-cells can be glued along their boundary so that the result is an exotic sphere homeomorphic but not diffeomorphic to a 7-sphere.

However, there is a canonical way to choose the gluing of and which gives a unique well defined connected sum.^{ [1] } Choose embeddings and so that preserves orientation and reverses orientation. Now obtain from the disjoint sum

by identifying with for each unit vector and each . Choose the orientation for which is compatible with and . The fact that this construction is well-defined depends crucially on the disc theorem, which is not at all obvious. For further details, see ^{ [2] }

The operation of connected sum is denoted by ; for example denotes the connected sum of and .

The operation of connected sum has the sphere as an identity; that is, is homeomorphic (or diffeomorphic) to .

The classification of closed surfaces, a foundational and historically significant result in topology, states that any closed surface can be expressed as the connected sum of a sphere with some number of tori and some number of real projective planes.

Let and be two smooth, oriented manifolds of equal dimension and a smooth, closed, oriented manifold, embedded as a submanifold into both and Suppose furthermore that there exists an isomorphism of normal bundles

that reverses the orientation on each fiber. Then induces an orientation-preserving diffeomorphism

where each normal bundle is diffeomorphically identified with a neighborhood of in , and the map

is the orientation-reversing diffeomorphic involution

on normal vectors. The **connected sum** of and along is then the space

obtained by gluing the deleted neighborhoods together by the orientation-preserving diffeomorphism. The sum is often denoted

Its diffeomorphism type depends on the choice of the two embeddings of and on the choice of .

Loosely speaking, each normal fiber of the submanifold contains a single point of , and the connected sum along is simply the connected sum as described in the preceding section, performed along each fiber. For this reason, the connected sum along is often called the **fiber sum**.

The special case of a point recovers the connected sum of the preceding section.

Another important special case occurs when the dimension of is two less than that of the . Then the isomorphism of normal bundles exists whenever their Euler classes are opposite:

Furthermore, in this case the structure group of the normal bundles is the circle group ; it follows that the choice of embeddings can be canonically identified with the group of homotopy classes of maps from to the circle, which in turn equals the first integral cohomology group . So the diffeomorphism type of the sum depends on the choice of and a choice of element from .

A connected sum along a codimension-two can also be carried out in the category of symplectic manifolds; this elaboration is called the symplectic sum.

The connected sum is a local operation on manifolds, meaning that it alters the summands only in a neighborhood of . This implies, for example, that the sum can be carried out on a single manifold containing two disjoint copies of , with the effect of gluing to itself. For example, the connected sum of a two-sphere at two distinct points of the sphere produces the two-torus.

There is a closely related notion of the connected sum of two knots. In fact, if one regards a knot merely as a one-manifold, then the connected sum of two knots is just their connected sum as a one-dimensional manifold. However, the essential property of a knot is not its manifold structure (under which every knot is equivalent to a circle) but rather its embedding into the ambient space. So the connected sum of knots has a more elaborate definition that produces a well-defined embedding, as follows.

This procedure results in the projection of a new knot, a **connected sum** (or **knot sum**, or **composition**) of the original knots. For the connected sum of knots to be well defined, one has to consider **oriented knots** in 3-space. To define the connected sum for two oriented knots:

- Consider a planar projection of each knot and suppose these projections are disjoint.
- Find a rectangle in the plane where one pair of sides are arcs along each knot but is otherwise disjoint from the knots
**and**so that the arcs of the knots on the sides of the rectangle are oriented around the boundary of the rectangle in the**same direction**. - Now join the two knots together by deleting these arcs from the knots and adding the arcs that form the other pair of sides of the rectangle.

The resulting connected sum knot inherits an orientation consistent with the orientations of the two original knots, and the oriented ambient isotopy class of the result is well-defined, depending only on the oriented ambient isotopy classes of the original two knots.

Under this operation, oriented knots in 3-space form a commutative monoid with unique prime factorization, which allows us to define what is meant by a prime knot. Proof of commutativity can be seen by letting one summand shrink until it is very small and then pulling it along the other knot. The unknot is the unit. The two trefoil knots are the simplest prime knots. Higher-dimensional knots can be added by splicing the -spheres.

In three dimensions, the unknot cannot be written as the sum of two non-trivial knots. This fact follows from additivity of knot genus; another proof relies on an infinite construction sometimes called the Mazur swindle. In higher dimensions (with codimension at least three), it is possible to get an unknot by adding two nontrivial knots.

If one does **not** take into account the orientations of the knots, the connected sum operation is not well defined on isotopy classes of (nonoriented) knots. To see this, consider two noninvertible knots *K, L* which are not equivalent (as unoriented knots); for example take the two pretzel knots *K* = *P*(3,5,7) and *L* = *P*(3,5,9). Let *K*_{+} and *K*_{−} be *K* with its two inequivalent orientations, and let *L*_{+} and *L*_{−} be *L* with its two inequivalent orientations. There are four oriented connected sums we may form:

*A*=*K*_{+}#*L*_{+}*B*=*K*_{−}#*L*_{−}*C*=*K*_{+}#*L*_{−}*D*=*K*_{−}#*L*_{+}

The oriented ambient isotopy classes of these four oriented knots are all distinct. And, when one considers ambient isotopy of the knots without regard to orientation, there are **two distinct** equivalence classes: { *A* ~ *B* } and { *C* ~ *D* }. To see that *A* and *B* are unoriented equivalent, simply note that they both may be constructed from the same pair of disjoint knot projections as above, the only difference being the orientations of the knots. Similarly, one sees that *C* and *D* may be constructed from the same pair of disjoint knot projections.

- Robert Gompf: A new construction of symplectic manifolds,
*Annals of Mathematics*142 (1995), 527–595 - William S. Massey,
*A Basic Course in Algebraic Topology*, Springer-Verlag, 1991. ISBN 0-387-97430-X.

In mathematics, a **diffeomorphism** is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are smooth.

In the part of mathematics referred to as topology, a **surface** is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In mathematics, **orientability** is a property of surfaces in Euclidean space that measures whether it is possible to make a consistent choice of surface normal vector at every point. A choice of a normal vector allows one to use the right-hand rule to define a "clockwise" direction of loops in the surface, as needed by Stokes' theorem for instance. More generally, orientability of an abstract surface, or manifold, measures whether one can consistently choose a "clockwise" orientation for all loops in the manifold. Equivalently, a surface is **orientable** if a two-dimensional figure in the space cannot be moved continuously on that surface and back to its starting point so that it looks like its own mirror image.

In mathematics, a **knot** is an embedding of a topological circle *S*^{1} in 3-dimensional Euclidean space, **R**^{3}, considered up to continuous deformations (isotopies).

In mathematics, **cobordism** is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are *cobordant* if their disjoint union is the *boundary* of a compact manifold one dimension higher.

In mathematics, **low-dimensional topology** is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

In mathematics, an *n*-dimensional **differential structure** on a set *M* makes *M* into an *n*-dimensional differential manifold, which is a topological manifold with some additional structure that allows for differential calculus on the manifold. If *M* is already a topological manifold, it is required that the new topology be identical to the existing one.

In mathematics, in the subfield of geometric topology, the **mapping class group** is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

In the mathematical field of geometric topology, a **Heegaard splitting** is a decomposition of a compact oriented 3-manifold that results from dividing it into two handlebodies.

In mathematics, a **handle decomposition** of an *m*-manifold *M* is a union

In mathematics, a **3-manifold** is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In differential topology, an **exotic sphere** is a differentiable manifold *M* that is homeomorphic but not diffeomorphic to the standard Euclidean *n*-sphere. That is, *M* is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

In mathematical knot theory, a **link** is a collection of knots which do not intersect, but which may be linked together. A knot can be described as a link with one component. Links and knots are studied in a branch of mathematics called knot theory. Implicit in this definition is that there is a *trivial* reference link, usually called the unlink, but the word is also sometimes used in context where there is no notion of a trivial link.

In mathematics, a **manifold** is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or *n-manifold* for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to the Euclidean space of dimension n.

In mathematics, specifically in geometric topology, **surgery theory** is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by John Milnor (1961). Originally developed for differentiable manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.

In mathematics, specifically in symplectic geometry, the **symplectic sum** is a geometric modification on symplectic manifolds, which glues two given manifolds into a single new one. It is a symplectic version of connected summation along a submanifold, often called a fiber sum.

In the mathematical theory of knots, a **satellite knot** is a knot that contains an incompressible, non boundary-parallel torus in its complement. Every knot is either hyperbolic, a torus, or a satellite knot. The class of satellite knots include composite knots, **cable knots** and **Whitehead doubles.** A satellite *link* is one that orbits a companion knot *K* in the sense that it lies inside a regular neighborhood of the companion.

In topology, an **Akbulut cork** is a structure that is frequently used to show that in 4-dimensions, the smooth h-cobordism theorem fails. It was named after Turkish mathematician Selman Akbulut.

In mathematics, the **Schoenflies problem** or **Schoenflies theorem**, of geometric topology is a sharpening of the Jordan curve theorem by Arthur Schoenflies. For Jordan curves in the plane it is often referred to as the **Jordan–Schoenflies theorem.**

**Computational anatomy** is an interdisciplinary field of biology focused on quantitative investigation and modelling of anatomical shapes variability. It involves the development and application of mathematical, statistical and data-analytical methods for modelling and simulation of biological structures.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.