Connected sum

Connected sum

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.

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.

Illustration of connected sum.

Contents

Connected sum at a point

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 which gives a unique well defined connected sum. This uniqueness depends crucially on the disc theorem, which is not at all obvious.

The operation of connected sum is denoted by \#; for example A \# B denotes the connected sum of A and B.

The operation of connected sum has the sphere Sm as an identity; that is, M \# S^m is homeomorphic (or diffeomorphic) to M.

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 g of tori and some number k of real projective planes.

Connected sum along a submanifold

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

\psi: N_{M_1} V \to N_{M_2} V

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

N_1 \setminus V \cong N_{M_1} V \setminus V \to N_{M_2} V \setminus V \to N_{M_2} V \setminus V \cong N_2 \setminus V,

where each normal bundle N_{M_i} V is diffeomorphically identified with a neighborhood Ni of V in Mi, and the map

N_{M_2} V \setminus V \to N_{M_2} V \setminus V

is the orientation-reversing diffeomorphic involution

v \mapsto v / |v|^2

on normal vectors. The connected sum of M1 and M2 along V is then the space

(M_1 \setminus V) \bigcup_{N_1 \setminus V = N_2 \setminus V} (M_2 \setminus V)

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

(M_1, V) \# (M_2, V).

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

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

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

Connected sum along a codimension-two submanifold

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

e(N_{M_1} V) = -e(N_{M_2} V).

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

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

Local operation

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

Connected sum of knots

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 (all knots are circles) 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.

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.
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.

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:

  1. Consider a planar projection of each knot and suppose these projections are disjoint.
  2. 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.
  3. 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 n-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 istotopy 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.

See also

References

  • 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.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Connected dominating set — In graph theory, a connected dominated set and a maximum leaf spanning tree are two closely related structures defined on an undirected graph. Contents 1 Definitions 2 Complementarity 3 Algorithms 4 Applic …   Wikipedia

  • Connected Load —   The sum of the ratings of the electricity consuming apparatus connected to a generating system …   Energy terms

  • Connected load —   The sum of the continuous ratings or the capacities for a system, part of a system, or a customer s electric power consuming apparatus.   U.S. Dept. of Energy, Energy Information Administration s Energy Glossary …   Energy terms

  • Symplectic sum — 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… …   Wikipedia

  • Clique-sum — A clique sum of two planar graphs and the Wagner graph, forming a K5 free graph. In graph theory, a branch of mathematics, a clique sum is a way of combining two graphs by gluing them together at a clique, analogous to the connected sum operation …   Wikipedia

  • Band sum — In geometric topology, a band sum of two n dimensional knots K {1} and K {2} along an n+1 dimensional 1 handle h called a band is an n dimensional knot K such that:* There is an n+1 dimensional 1 handle h connected to (K {1},K {2}) embedded in… …   Wikipedia

  • Gauss sum — In mathematics, a Gauss sum or Gaussian sum is a particular kind of finite sum of roots of unity, typically: G ( chi;, psi;) = Sigma; chi;( r ) psi;( r )where the sum is over elements r of some finite commutative ring R , psi;( r ) is a group… …   Wikipedia

  • Character sum — In mathematics, a character sum is a sum of values of a Dirichlet character χ modulo N, taken over a given range of values of n. Such sums are basic in a number of questions, for example in the distribution of quadratic residues, and in… …   Wikipedia

  • corpus cal|lo|sum — «kuh LOH suhm», plural corpora cal|losa. the transverse band of nerve fibers connecting the cerebral hemispheres in man and other mammals: »... the functions of the corpus callosum, that immense band of fibres, nearly 200 million in number, which …   Useful english dictionary

  • Surface — This article discusses surfaces from the point of view of topology. For other uses, see Differential geometry of surfaces, algebraic surface, and Surface (disambiguation). An open surface with X , Y , and Z contours shown. In mathematics,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”